关于莫比乌斯几何射影模型与圆束关联的习题求解

咱先从基础定义入手，把这个问题拆解清楚，一步步来证：

背景回顾：二维莫比乌斯几何的射影模型$\mathbb{P}(\mathbb{R}^{3,1})$ #

• 莫比乌斯二次曲面$Q$的标准定义是基于$\mathbb{R}^{3,1}$的内积：$\langle x,x\rangle = x_0^2 + x_1^2 + x_2^2 - x_3^2 = 0$
• 二次曲面$Q$上的点对应点圆（也就是莫比乌斯几何里的“点”），$Q$外的点（满足$\langle x,x\rangle \neq 0$）对应普通圆
• 射影平面里的射影直线，对应$\mathbb{R}^{3,1}$中的二维子空间，我们需要按子空间上内积的符号差（即限制内积的惯性指数）来分类讨论

一、符号为$(+-)$的二维子空间对应椭圆圆束（过同两点的单参数圆族） #

符号$(+-)$意味着这个二维子空间上的内积是不定但非退化的：能找到子空间里的向量$u,v$，满足$\langle u,u\rangle>0$，$\langle v,v\rangle<0$，且$\langle u,v\rangle=0$（正交）。

证明步骤： #

1. 设这个二维子空间为$V$，对应的射影直线是$l = \mathbb{P}(V)$。我们要证：$l$上的所有圆（即$V$中不在$Q$上的点）都共享两个固定的点圆（$Q$上的点）。
2. 先看$V$和$Q$的交集：解方程组$\langle x,x\rangle=0$且$x\in V$。因为$V$上的内积是$(+-)$型的，这个方程组有两个不同的非零解（对应射影平面里两个不同的点），记为$p_1,p_2\in Q$——这就是两个公共的点圆（也就是圆族里所有圆都过的两个点）。
3. 反过来验证：任取过$p_1,p_2$的圆，对应的向量$x\in\mathbb{R}^{3,1}$必然满足$\langle x,p_1\rangle=0$且$\langle x,p_2\rangle=0$（莫比乌斯几何里，点圆$p$在圆$x$上当且仅当$\langle x,p\rangle=0$，这是核心关联条件）。
4. 所有满足$\langle x,p_1\rangle=0$且$\langle x,p_2\rangle=0$的向量，正好构成一个二维子空间，而这个子空间的内积符号就是$(+-)$：因为$p_1,p_2$是$Q$上的不同点，$\langle p_1,p_1\rangle=\langle p_2,p_2\rangle=0$，且$\langle p_1,p_2\rangle\neq0$，通过基变换就能得到内积的惯性指数为$(1,-1)$，也就是$(+-)$型。
5. 综上，符号$(+-)$的二维子空间对应的射影直线，就是过两个固定点的单参数圆族，也就是我们说的椭圆圆束。

二、符号为$(++)$的二维子空间对应双曲圆束（无公共点的单参数圆族） #

符号$(++)$意味着这个二维子空间上的内积是正定的：对任意非零向量$x\in V$，都有$\langle x,x\rangle>0$。

证明步骤： #

1. 先看$V$和$Q$的交集：解$\langle x,x\rangle=0$且$x\in V$。因为$V$上内积正定，这个方程只有零解——也就是说射影直线$l=\mathbb{P}(V)$上没有点圆，这意味着这个圆族里的所有圆，没有公共的实点。
2. 反过来，考虑无公共实点的单参数圆族，它们对应的向量构成的二维子空间$V$，内积必然是$(++)$型的：如果存在$x\in V$使得$\langle x,x\rangle\leq0$，要么$x$是点圆（$\langle x,x\rangle=0$，那这个点就是所有圆的公共点，矛盾），要么$\langle x,x\rangle<0$，但这类向量对应的圆如果和其他圆有公共点，就会回到之前的椭圆圆束情况，和“无公共点”矛盾。
3. 这种圆族就是双曲圆束，在欧氏几何里表现为不相交的圆，你可以通过反演变换把它们变成同心圆，它们的“公共点”是一对共轭虚点。

内容的提问来源于stack exchange，提问作者Polymorph