[论文解读] Towards a classification of Lorentzian holonomy groups

Thomas Leistner|arXiv (Cornell University)|May 9, 2003

Geometric Analysis and Curvature Flows参考文献 17被引用 22

一句话总结

本文通过证明：若不可约但非不可约的洛伦兹流形的仿射 holonomy 代数的 SO(n)-投影位于 𝔘(n/2) 内，或由单个不可约分量组成，则其为黎曼流形 holonomy 代数，从而对洛伦兹几何中的 holonomy 群进行了分类。该结果通过引入弱伯杰代数及实与复李代数的表示理论，将伯杰 holonomy 分类推广至洛伦兹几何。

ABSTRACT

If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group 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 the case if $G\subset U(n/2)$ or if the irreducible acting components of $G$ are simple.

研究动机与目标

• 通过分析其 holonomy 代数的 SO(n)-投影，对不可约但非不可约的洛伦兹流形的 holonomy 群进行分类。
• 确定洛伦兹 holonomy 代数的 SO(n)-投影是否必为黎曼 holonomy 代数。
• 通过引入并分析弱伯杰代数，将伯杰 holonomy 分类推广至洛伦兹几何。
• 建立洛伦兹流形 holonomy 代数由黎曼 holonomy 代数通过构造方法生成的条件。
• 研究 holonomy 代数的表示论结构，特别关注实与非实型复表示。

提出的方法

• 利用 de Rham–Wu 分解定理，将分类问题约化为具有唯一不变光锥子空间的不可约但非不可约洛伦兹流形。
• 将 holonomy 代数视为 (ℝ × 𝔰𝔬(n)) ⋉ ℝⁿ 的子代数，重点关注 SO(n)-投影 G = pr_{𝔰𝔬(n)}(Holₚ(M,h))。
• 引入弱伯杰代数作为满足类似伯杰代数曲率条件的李代数，其定义基于曲率算子空间 ℬₕ(𝔤)。
• 应用表示论对实与复李代数进行分类，通过不变形式 θ 与 β 区分实、复与四元数型。
• 利用实正交/辛表示与复酉/反酉表示之间的对应关系，分析非实型表示。
• 利用不可约非实型表示上正定不变形式迫使酉性，从而推出非正交性及对称双线性形式 β 的消失。

实验结果

研究问题

• RQ1 在何种条件下，洛伦兹 holonomy 代数的 SO(n)-投影为黎曼 holonomy 代数？
• RQ2 当弱伯杰代数满足由 ℬₕ(𝔤) 定义的曲率条件且位于 𝔘(n/2) 内时，是否可将其分类为黎曼 holonomy 代数？
• RQ3 SO(n)-分量的不可约性与单性在决定其是否为黎曼 holonomy 代数中起何作用？
• RQ4 实表示上的不变形式 θ 与 β 如何与表示的底层复结构及类型（实、复或四元数）相关联？
• RQ5 若非实型表示上存在正定不变双线性形式 h，是否意味着对应的复表示为酉表示？

主要发现

• 若不可约但非不可约的洛伦兹流形的 holonomy 代数的 SO(n)-投影 G 满足 G ⊂ 𝔘(n/2)，则 G 为黎曼 holonomy 代数。
• 若 G 的不可约分量为单个的，则 G 为黎曼 holonomy 代数。
• 在所述条件下，满足由 ℬₕ(𝔤) 定义的曲率条件的弱伯杰代数被证明为黎曼 holonomy 代数。
• 对具有正定不变形式 h 的不可约非实型表示，其对应的复表示为酉表示，且不可能为正交表示，故 β^h = 0。
• 在非实型表示上存在正定 h 的事实迫使复表示为酉表示，因此实表示为辛表示而非正交表示。
• 实正交/辛表示与复酉/反酉表示之间的对应关系，通过 Hermitian 形的实部与虚部建立。