[论文解读] Towards a classification of Lorentzian holonomy groups. Part II: Semisimple, non-simple weak-Berger algebras

Thomas Leistner|arXiv (Cornell University)|Sep 17, 2003

Advanced Topics in Algebra参考文献 6被引用 19

一句话总结

本文通过证明任意不可约、非不可约洛伦兹度量仿射代数的 so(n)-投影均为黎曼仿射代数，完成了洛伦兹仿射群的分类。利用根系分析与弱-伯杰代数条件，证明了半单但非单的复弱-伯杰代数均为黎曼仿射代数的复化，从而确立了所有此类洛伦兹仿射群均具有形式 G ⋉ ℝⁿ，其中 G 为黎曼仿射群。

ABSTRACT

The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group $(\mathbb{R} imes SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is always the case, completing our results of the first part math.DG/0305139. We draw consequences for the existence of parallel spinors on Lorentzian manifolds.

研究动机与目标

• 通过解决半单但非单的弱-伯杰代数这一开放问题，完成洛伦兹仿射群的分类。
• 证明任意不可约作用的半单但非单的复弱-伯杰代数均为黎曼仿射代数的复化。
• 确立不可约、非不可约洛伦兹仿射代数的 so(n)-投影始终为黎曼仿射代数。
• 将分类结果应用于洛伦兹流形上平行旋量场的存在性，表明其仿射群必须为 G ⋉ ℝⁿ 的形式，其中 G 为存在平行旋量的黎曼仿射代数。
• 对类型 3 和 4 的仿射代数提供结构表征，将其与具有中心分量的已知黎曼仿射代数联系起来。

提出的方法

• 利用通过张量空间 Bₕ(ℊ) 定义的弱-伯杰代数条件，该空间满足关于度量的循环对称性条件。
• 应用根空间与权空间分解技术，对复不可约弱-伯杰代数进行分类。
• 采用 [Lei03] 中的刻画：弱-伯杰代数相对于根与权满足特定的权集包含关系。
• 通过 Borel-Lichnerowicz 型分解将 so(n)-投影 G = pr_{so(n)}(Holₚ(M,h)) 的结构分解为不可约分量。
• 利用实型弱-伯杰代数的复化仍为弱-伯杰代数的事实，使复李代数技巧得以应用。
• 应用 [Bou00] 中的结果：通过从仿射代数中心到 ℝᵏ 的满同态，可由类型 1 或 2 构造出类型 3 或 4 的度量。

实验结果

研究问题

• RQ1 所有半单但非单的复弱-伯杰代数是否均为黎曼仿射代数的复化？
• RQ2 不可约、非不可约洛伦兹仿射代数的 so(n)-投影是否必然为黎曼仿射代数？
• RQ3 在洛伦兹流形上，哪些仿射类型（1–4）允许存在平行旋量场？
• RQ4 具有平行旋量的洛伦兹流形的仿射代数是否可能为类型 4，还是必须限制为类型 2？
• RQ5 so(n)-投影的中心在决定具有平行旋量的洛伦兹流形可能的仿射结构中起什么作用？

主要发现

• 任意不可约作用的半单但非单的复弱-伯杰代数均为黎曼仿射代数的复化。
• 不可约、非不可约洛伦兹流形的仿射代数的 so(n)-投影 G 始终为黎曼仿射代数。
• 所有弱-伯杰代数均为黎曼流形的仿射代数，从而完成了此类代数的分类。
• 对于具有平行旋量的洛伦兹流形，其仿射代数形式为 G ⋉ ℝⁿ，其中 G 为存在平行旋量的黎曼仿射代数。
• 类型 4 的仿射代数无法支持平行旋量场，因为其 so(n)-投影包含 𝔰𝔬(2) 分量，其旋量表示非平凡且无平凡子表示。
• 具有平行旋量的洛伦兹流形可能的黎曼仿射代数 G 仅有 {0}、𝔤₂、𝔟(7)、𝔰𝔭(k) 或 𝔰𝔲(k)。