[论文解读] On types of non-integrable geometries

Thomas Friedrich|ArXiv.org|May 14, 2002

Geometric Analysis and Curvature Flows参考文献 14被引用 48

一句话总结

本文通过黎曼流形上Levi-Civita联络与典型G-联络之差，提出了一种对非可积G-结构的统一分类方法，该差值以取值于李代数正交补的1-形式表示。关键结果为：在所有G-结构中，仅在8维空间中，Spin(7)-结构在温和的群论条件下，允许存在唯一具有完全反对称挠率的联络，从而在该类中唯一地被表征。

ABSTRACT

We study the types of non-integrable $\mathrm{G}$-structures on Riemannian manifolds. In particular, geometric types admitting a connection with totally skew-symmetric torsion are characterized. 8-dimensional manifolds equipped with a $\Spin(7)$-structure play a special role. Any geometry of that type admits a unique connection with totally skew-symmetric torsion. Under weak conditions on the structure group we prove that this geometry is the only one with this property. Finally, we discuss the automorphism group of a Riemannian manifold with a fixed non-integrable $\mathrm{G}$-structure.

研究动机与目标

• 通过黎曼流形上Levi-Civita联络与典型G-联络之差，建立非可积G-结构分类的统一框架。
• 解决非张量型几何结构（如5维空间中的SO(3)-结构和16维空间中的Spin(9)-结构）的分类问题，这些结构的传统张量方法失效。
• 识别哪些几何结构允许具有完全反对称挠率的联络，这是弦理论与特殊holonomy理论中的关键问题。
• 表征非可积G-结构的自同构群，扩展可积情形下的已有结果。
• 证明在弱条件限制下，8维空间中唯一允许具有完全反对称挠率的唯一联络的G-结构是Spin(7)-结构。

提出的方法

• 分类基于取值于so(n)中g的正交补m的1-形式Γ，其定义为Levi-Civita联络与典型G-联络之差。
• 利用R^n ⊗ m的不可约分量来定义非可积G-结构的不同类，推广经典方法。
• 通过主丛理论与联络理论，将方法应用于非张量型结构，避免依赖于定义张量。
• 推导出涉及G在R^n上的表示与伴随表示特征标的函数方程：对所有h∈G，有3χ(h)χ*(h) = χ^3(h) - χ(h^3)。
• 通过极大环面及二阶元素分析，约束可能的结构群G的维数与秩。
• 应用拓扑与代数约束，包括维数界与有限对合群作用下的不动点子空间，以分类可能的G与n。

实验结果

研究问题

• RQ1 哪些黎曼流形上的G-结构允许具有完全反对称挠率的联络？此类联络存在的充分必要条件是什么？
• RQ2 如何建立一种统一的分类方法，使其同时适用于张量定义与非张量定义的几何结构（如16维空间中的Spin(9)-结构）？
• RQ3 在结构群的弱假设下，8维空间中的Spin(7)-结构是否是唯一允许具有完全反对称挠率的唯一联络的G-结构？
• RQ4 非可积G-结构的自同构群结构如何？其与可积情形有何不同？
• RQ5 函数方程3χ(h)χ*(h) = χ^3(h) - χ(h^3)能否用于分类所有具有给定挠率联络性质的G-结构？

主要发现

• 在结构群的弱条件下，唯一允许具有完全反对称挠率的唯一联络的G-结构是8维空间中的Spin(7)-结构。
• 当n=8且G=Spin(7)时，Λ^3(R^8)与R^8 ⊗ m微分同构，且该同构表征了Spin(7)在R^8上的唯一不可约表示。
• 由特征标方程导出维数公式n² = 3·dim(G) + 1，该公式限制了可能的维数与群。
• 紧致群G的秩t被限制在五以内，且仅当t=3且k=2时存在一致解，对应dim(G)=21且n=8。
• t=1,2,4及t=5的情形因维数与秩的约束被排除，特别是由不等式4t² ≥ dim(G)推导出。
• 唯一可行解为SO(8)中的G=Spin(7)，确认Spin(7)-结构由存在唯一具有完全反对称挠率的联络唯一表征。