Minkowski空间的共形分裂和射影分裂

Minkowski代数${\mathbb{R}}_{1,1}$同构于$2\times 2$实矩阵代数$L_2(R)$。一般线性群与特殊线性群与${\mathbb{R}}_{1,1}$的乘法子群的同构关系是：
{ G ∈ R 1 , 1 ∣ G ∗ G † ≠ 0 } ≅ G L 2 ( R ) \{G\in\mathbb R_{1,1}|G^*G^\dag\neq0\}\cong GL_2(R) { G∈R1,1​∣G∗G†​=0}≅GL2​(R) { G ∈ R 1 , 1 ∣ G ∗ G † = 1 } ≅ S L 2 ( R ) \{G\in\mathbb R_{1,1}|G^*G^\dag=1\}\cong SL_2(R) { G∈R1,1​∣G∗G†=1}≅SL2​(R)

$S{L}_2(R)$群是一个三参数群，结构如下：$G=K_{\alpha }{T}_{\beta }{U}_{\phi }$，其中$U_{\phi }=e^{\phi E/2},K_{\alpha }=1+\alpha e_0=K_{\alpha }^{†},T_{\beta }=1+\beta e=T_{\beta }^{†}$。此式的标量参数$\alpha ,\beta ,\phi$的定义区间是$[-\infty ,\infty ]$，我们对此式的兴趣源于它与后面描述的保角群的关系。通篇的其余部分，我们将处理${\mathbb{R}}^{n+1,1}$，经常分解成直和的形式：${\mathbb{R}}^{n+1,1}={\mathbb{R}}^n\oplus {\mathbb{R}}^{1,1}$，这种分解称为共形分裂，因为它在本质上与${\mathbb{R}}^n$上的保角群有关。用黑体字表示向量在${\mathbb{R}}^n$的分量是很方便的，并且使用 { e o , e } \{e_o, e\} { eo​,e}表示${\mathbb{R}}^{1,1}$的空基。${\mathbb{R}}^{n+1,1}$中的任何向量$a$都可以分解为：$a=\text{a}+\alpha e_0+\beta e$。

共形分裂由${\mathbb{R}}^{1,1}$的单位伪标量$E$唯一确定。令$I$是${\mathbb{R}}^{n+1,1}$的单位伪标量，那么$\tilde{E}=E{I}^{-1}=-E{I}^{†}$就是${\mathbb{R}}^n$的伪标量，并且有如下的分裂：$a=P_E(a)+P_E^{\perp }(a)$，其中的射影算子由下式给出：$$P_E(a)=(a\cdot E)E=\alpha e_0+\beta e\in {\mathbb{R}}^{1,1}$$$$P_E^{\perp }(a)=(a\cdot \tilde{E}){\tilde{E}}^{†}=(a\wedge E)E=\text{a}\in {\mathbb{R}}^n$$

从上面的式子可以看出，Minkowski平面${\mathbb{R}}^{1,1}$是由$E$唯一确定的，因此称之为$E$平面。投影$P_E^{\perp }$可以视为$E$平面的排斥（rejection）。${\mathbb{R}}^n$中的点$\text{a}$用仨向量（trivector）$a\wedge E$来表示，这两种表示方法各有优点，但是它们对${\mathbb{R}}^n$的表示是同构的，所以通常忽略它们之间的差别。

${\mathbb{R}}^n$中“点”的齐次坐标的基本思想是通过将${\mathbb{R}}^n$嵌入高维空间来消除原点的影响。为做到这一点，一个有效的方法是射影分裂。令$e$是$E$平面上的向量，${\mathbb{R}}^{n+1,1}$中任意不垂直于$e$的向量$a$关于$e$的射影分裂定义为：$$ae=a\cdot e+a\wedge e=a\cdot e\left(1+\frac{a\wedge e}{a\cdot e}\right)$$

这是用双向量$\frac{a\wedge e}{a\cdot e}$来表示向量$a$，这个表示方法与标量无关，因此可以采用一个特定的标量：$a\cdot e=e_0\cdot e=-1$，这对$a$在${\mathbb{R}}^{}$