[论文解读] Definite signature conformal holonomy: a complete classification

Stuart Armstrong|ArXiv.org|Mar 18, 2005

Geometric Analysis and Curvature Flows参考文献 8被引用 6

一句话总结

本文通过Tractor联络和度量锥构造，对定号度量的共形全纯性群进行了完整分类。它确定了共形爱因斯坦与里奇平坦流形的所有可能不可约全纯性群，表明其为 $SO(n,1)$、$SO(n+1)$、$SU(m)$、$Sp(m)$、$G_2$、$Spin(7)$，或在里奇平坦情形下为 $\mathbb{R}^n$ 的半直积，且所有群均可实现为几何结构。

ABSTRACT

This paper aims to classify the holonomy of the conformal Tractor connection, and relate these holonomies to the geometry of the underlying manifold. The conformally Einstein case is dealt with through the construction of metric cones, whose Riemmanian holonomy is the same as the Tractor holonomy of the underlying manifold. Direct calculations in the Ricci-flat case and an important decomposition theorem complete the classification for definitive signature.

研究动机与目标

• 对定号度量黎曼流形上的共形Tractor联络的全息群进行分类。
• 将Tractor全息群与底层几何联系起来，特别是在共形爱因斯坦与里奇平坦情形下。
• 建立可能不可约全息群的完整列表，包括其几何实现。
• 通过度量锥构造与分解定理，将爱因斯坦情形的结果推广至里奇平坦情形。
• 证明 $SO(n+1,1)$ 的真不可约子群不能在 $\mathbb{R}^{n+1,1}$ 上不可约作用，从而确认全息群的极大性。

提出的方法

• 使用Tractor丛与Tractor联络作为共形几何的二阶重述，取代主丛方法。
• 应用度量锥构造，将共形爱因斯坦结构与具有相同全息群的里奇平坦伪黎曼流形联系起来。
• 利用分解定理，证明当存在秩 $k \neq 1,n$ 的保持子丛时，流形局部分解为具有特定曲率关系的爱因斯坦流形。
• 运用表示理论与李代数结构分析可能的全息代数，特别是抛物子代数 $\mathfrak{b} = \mathfrak{h} \oplus T_b$ 的结构。
• 利用 $\mathfrak{h}$ 在 $T_b$ 上的不可约性排除 $\mathfrak{l} \cong \mathfrak{h}$ 的可能性，从而证明 $\mathfrak{l} \cong \mathfrak{b}$，并因此在里奇平坦情形下确立半直积结构。
• 利用Di Scala与Olmos关于洛伦兹度量下全息子代数不可约性的结果，对可能的全息群施加约束。

实验结果

研究问题

• RQ1 在定号度量黎曼流形上，共形Tractor联络的可能全息群有哪些？
• RQ2 Tractor全息群如何与底层流形的几何相关联，特别是在爱因斯坦与里奇平坦情形下？
• RQ3 Tractor丛的子丛分解能否用于刻画共形几何中的局部积结构？
• RQ4 共形里奇平坦流形的不可约全息群的完整列表是什么？
• RQ5 是否存在非平凡的 $\mathfrak{so}(n+1,1)$ 的不可约子代数作用于 $\mathbb{R}^{n+1,1}$？若否，这对全息群分类有何影响？

主要发现

• 除全群 $\mathfrak{so}(n+1,1)$ 外，不存在在Tractor丛上不可约作用的局部全息代数。
• 若Tractor丛存在秩 $k \neq 1,n$ 的保持子丛，则流形局部分解为两个爱因斯坦流形的积，其曲率常数满足 $(n-l-1)a = (1-l)b$。
• 对于非零标量曲率的共形爱因斯坦流形，可能的Tractor全息群为 $SO(n,1)$、$SO(n+1)$、$SU(m)$（当 $2m = n+1$ 时）、$Sp(m)$（当 $4m = n+1$ 时）、$G_2$（当 $n=6$ 时）和 $Spin(7)$（当 $n=7$ 时），所有群均可实现。
• 对于共形里奇平坦流形，不可约Tractor全息群为 $SO(n)\rtimes\mathbb{R}^n$、$SU(m)\rtimes\mathbb{R}^{2m}$、$Sp(m)\rtimes\mathbb{R}^{4m}$、$G_2\rtimes\mathbb{R}^7$ 和 $Spin(7)\rtimes\mathbb{R}^8$，所有群均可几何实现。
• 度量锥构造产生一个里奇平坦的伪黎曼流形，其Tractor全息群与原始共形全息群一致，且该构造保持不可约性。
• 在不定号度量情形下，存在额外的不可约全息代数，且分解定理需增加条件：$K \cap K^\perp$ 的秩为 0 或 1。