[论文解读] Isometry groups of Lobachevskian spaces, similarity transformation groups of Euclidean spaces and Lorentzian holonomy groups

Anton S. Galaev|arXiv (Cornell University)|Apr 23, 2004

Mathematics and Applications参考文献 6被引用 6

一句话总结

本文提供了对伯纳德·伯热里与伊克马亨最初通过代数方法建立的 $\mathfrak{so}(1,n+1)$ 的弱不可约但非不可约子代数分类的几何证明。它建立了 $SO(V)_{\mathbb{R}p}$ 中连通弱不可约作用子群与 $n$ 维欧氏空间 $E$ 上连通传递相似变换子群之间的一一对应关系，从而实现了对 $(n+1)$ 维洛巴切夫斯基空间 $L^{n+1}$ 的等距变换群的完整分类，即 $SO^0(V)$ 或特定形式的半直积 $(A \times H)\rightthreetimes N$ 或 $(A^\Phi \times H)\rightthreetimes N$。其关键贡献在于通过闵可夫斯基空间几何与边界球面上的共形作用，对洛伦兹几何 holonomy 群进行了几何重解释。

ABSTRACT

Weakly-irreducible not irreducible subalgebras of $\so(1,n+1)$ were classified by L. Berard Bergery and A. Ikemakhen. In the present paper a geometrical proof of this result is given. Transitively acting isometry groups of Lobachevskian spaces and transitively acting similarity transformation groups of Euclidean spaces are classified.

研究动机与目标

• 提供对伯纳德·伯热里与伊克马亨先前通过代数方法建立的 $\mathfrak{so}(1,n+1)$ 的弱不可约但非不可约子代数分类的几何证明。
• 建立 $SO(V)_{\mathbb{R}p}$ 中连通弱不可约作用子群与 $n$ 维欧氏空间 $E$ 上连通传递相似变换子群之间的一一对应关系。
• 对 $SO(V)$ 的所有连通子群在 $(n+1)$ 维洛巴切夫斯基空间 $L^{n+1}$ 上的作用进行分类，识别出它们为 $SO^0(V)$ 或涉及缩放、旋转与抛物平移的特定半直积形式。

提出的方法

• 利用 $n+1$ 维洛巴切夫斯基空间 $L^{n+1}$ 的向量模型及其边界 $\partial L^{n+1}$，后者微分同胚于 $n$-球面。
• 将闵可夫斯基空间 $(V,\eta)$ 中对一个零向量线 $\mathbb{R}p$ 的稳定化子 $SO(V)_{\mathbb{R}p}$ 识别为欧氏空间 $E = (\mathbb{R}p)^{\perp_\eta} / \mathbb{R}p$ 上的相似变换群。
• 证明：$SO(V)_{\mathbb{R}p}$ 的连通子群 $G$ 在 $V$ 上弱不可约作用当且仅当其在同构 $SO(V)_{\mathbb{R}p} \simeq \mathrm{Sim}\,E$ 下的像在 $E$ 上传递作用。
• 采用分解 $SO^0(V)_{\mathbb{R}p} = (A \times K) \rightthreetimes N$，其中 $A$ 为缩放，$K$ 为 $E$ 上的旋转，$N$ 为抛物平移。
• 利用已知的 $\mathrm{Sim}\,E$ 的连通传递子群分类，推导出 $SO(V)_{\mathbb{R}p}$ 的四类弱不可约子群，与伯纳德·伯热里与伊克马亨定义的类型一致。
• 将该对应关系应用于 $L^{n+1}$ 的传递等距变换群的分类，表明仅 $SO^0(V)$ 以及类型 1 和 3（即 $(A \times H)\rightthreetimes N$ 与 $(A^\Phi \times H)\rightthreetimes N$）作用传递。

实验结果

研究问题

• RQ1 弱不可约但非不可约的 $\mathfrak{so}(1,n+1)$ 子代数具有何种几何意义？能否通过几何方法而非代数方法对其进行分类？
• RQ2 $SO(V)_{\mathbb{R}p}$ 在边界 $\partial L^{n+1} \setminus \{\mathbb{R}p\}$ 上的作用如何与欧氏空间 $E$ 上的相似变换相关联？
• RQ3 哪些 $SO(V)$ 的连通子群在 $(n+1)$ 维洛巴切夫斯基空间 $L^{n+1}$ 上作用传递？其结构形式为何？
• RQ4 能否从闵可夫斯基空间及其边界上的几何作用出发，推导出洛伦兹流形弱不可约但非不可约 holonomy 群的分类？
• RQ5 在 $L^{n+1}$ 上的传递作用与涉及缩放、旋转与抛物平移的半直积结构之间存在何种精确关系？

主要发现

• 本文通过同构 $SO(V)_{\mathbb{R}p} \simeq \mathrm{Sim}\,E$，建立了 $SO(V)_{\mathbb{R}p}$ 中连通弱不可约作用子群与 $E$ 上连通传递相似变换子群之间的一一对应关系。
• 在 $L^{n+1}$ 上的传递等距变换群恰好为 $SO^0(V)$ 以及形式为 $(A \times H)\rightthreetimes N$ 或 $(A^\Phi \times H)\rightthreetimes N$ 的子群，其中 $H \subset SO(E)$，$A$ 为缩放群，$N$ 为抛物平移群，$A^\Phi$ 为由非平凡同态 $\Phi: A \to K$ 定义的螺旋平移群。
• 伯纳德·伯热里与伊克马亨分类中的类型 2 和 4 群不作用于 $L^{n+1}$ 上的传递作用，因为它们无法将某些点（如 $\frac{1}{2}p - q$）映射到 $p - \frac{1}{2}q$。
• $A \rightthreetimes N$ 与 $A^\Phi \rightthreetimes N$ 是 $SO(V)$ 中唯一在 $L^{n+1}$ 上作用单次传递的连通子群，原因在于其维数匹配且 $L^{n+1}$ 的单连通性。
• 几何证明确认了 $\mathfrak{so}(1,n+1)$ 的四类弱不可约但非不可约子代数恰好对应于 $E$ 上四类传递相似变换群，与先前工作中的分类一致。
• 该结果为理解洛伦兹几何 holonomy 群提供了几何基础，将其与边界球面上的共形作用及双曲空间的等距变换联系起来。