[论文解读] Special Riemannian geometries and the Magic Square of Lie algebras

Jan Gutt|ArXiv.org|Oct 12, 2008

Advanced Differential Geometry Research参考文献 25被引用 4

一句话总结

本文通过利用秩三约当代数和弗罗本纽斯-蒂茨魔术正方形，扩展了努罗夫斯基对特殊黎曼几何的研究，构造了八个新的非可积 $G$-结构。它建立了一个统一的框架，将对称空间与 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何联系起来，证明了特征联络的存在性等价于定义张量上的基灵条件，并对所有此类支持特征联络的几何结构进行了分类。

ABSTRACT

We investigate nonintegrable Riemannian geometries modelled after certain symmetric spaces related to the Freudenthal-Tits Magic Square. The collection of four such structures found by Nurowski is extended by further eight. A focus is given to those admitting a compatible connection with completely skew torsion.

研究动机与目标

• 通过弗罗本纽斯-蒂茨魔术正方形中的对称空间，构造基于秩三约当代数的八个新的非可积 $G$-结构，以推广努罗夫斯基的四种特殊黎曼几何。
• 利用秩三约当代数及其相关的对称不变量，为这些几何结构提供统一的代数描述。
• 确定 $G$-结构在何种条件下可 admits 具有反对称 torsion 的特征联络。
• 对所有 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何结构进行分类，以确定其支持特征联络的条件。
• 通过代数方法构造这些几何结构的局部约化示例。

提出的方法

• 使用蒂茨构造法，从一对除法代数 $\mathbb{K}, \mathbb{K}'$ 构造对称对，从而得到李代数 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$。
• 利用秩三约当代数定义稳定正交群并将其约化为 $G$-结构的结构群 $G$ 的对称张量。
• 将 $G$-结构的固有挠率定义为 $\Lambda^3 TM$ 的截面，重点关注具有反对称 torsion 的联络。
• 通过定义张量 $\mathcal{Y}_M$ 上的基灵条件引入近似可积性的概念，即 $\nabla^{LC}_X \mathcal{Y}_M$ 的对称部分为零。
• 使用表示理论识别各向同性表示，并在切空间上构造 $G$-不变的对称双线性型。
• 利用 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$ 中的代数恒等式，证明特征联络存在的充要条件是定义张量 $\mathcal{Y}_M$ 为基灵张量。

实验结果

研究问题

• RQ1 哪些黎曼流形上的 $G$-结构可 admits 具有反对称 torsion 的特征联络？
• RQ2 定义张量 $\mathcal{Y}_M$ 需满足何种代数条件，才能确保此类联络的存在？
• RQ3 如何系统地利用弗罗本纽斯-蒂茨魔术正方形构造新的特殊黎曼几何？
• RQ4 $\mathcal{Y}_M$ 上的基灵条件与特征联络存在的关系是什么？
• RQ5 哪些 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何结构可 admits 特征联络，如何对它们进行分类？

主要发现

• 在 $G$-结构上存在特征联络，当且仅当定义张量 $\mathcal{Y}_M$ 是基灵张量，该结果将努罗夫斯基的结果推广至八个新的几何结构。
• 在新构造的 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何结构中，有四个支持特征联络，本文对它们进行了完整分类。
• 本文利用秩三约当代数和对称不变量，为所有 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何结构提供了统一的描述。
• 从 $G$-结构的代数结构出发，推导出自然复结构或四元数凯勒结构存在的条件。
• 本文通过代数方法构造了 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-几何结构的局部约化示例，证实了此类结构的存在性不仅限于对称空间。
• 通过涉及 $B^\alpha_{ij}$ 和 $\rho^\alpha_{ij}$ 的张量恒等式，代数验证了李代数 $\mathfrak{k}$ 的雅可比恒等式，从而确认了几何结构的可积性。