[论文解读] Prolongations of Lie algebras and applications

Paul-Andi Nagy|arXiv (Cornell University)|Dec 10, 2007

Geometric Analysis and Curvature Flows参考文献 24被引用 30

一句话总结

本文提出了一套系统框架，用于计算作用在欧几里得空间上的正交李代数的斜对称延拓，证明了此类延拓仅在表示为紧致单李代数的伴随表示时非平凡，此时其为1维，且由卡坦3-形式生成。主要贡献在于对这些延拓的完整分类，从而确立了具有3-形式 torsion 的度量联络的唯一性，并解决了关于普吕克型嵌入的一个猜想。

ABSTRACT

We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $Λ^3 \cap (Λ^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness results for connections with skew-symmetric torsion and also the proof of the Euclidean version of a conjecture posed in \cite{ofarill} concerning a class of Plücker-type embeddings. We also derive a classification of the metric k-Lie algebras (or Filipov algebras), in positive signature and finite dimension. Prolongations of Lie algebras can also be used to finish the classification, started in \cite{datri}, of manifolds admitting Killing frames, or equivalently flat connections with 3-form torsion. Next we study specific properties of invariant 4-forms of a given metric representation and apply these considerations to classify the holonomy representation of metric connections with vectorial torsion, that is with torsion contained in $Λ^1 \subseteq Λ^1 \otimes Λ^2$.

研究动机与目标

• 计算李子代数 𝔤 ⊆ 𝔰𝔬(n) 的斜对称延拓 Λ³ ∩ (Λ¹ ⊗ 𝔤)，在一般情况下提供完整分类。
• 建立在具有 G-结构的黎曼流形上，具有完全斜对称 torsion 的度量联络的唯一性条件。
• 通过分析度量 k-李代数的结构，解决欧几里得版本的关于普吕克型嵌入的猜想。
• 利用不变4-形式和卡西米尔算子对具有向量型 torsion 的度量联络的全纯表示进行分类。
• 通过延拓技术，完成对存在 Killing 框架（即具有3-形式 torsion 的平坦联络）的流形的分类。

提出的方法

• 将斜对称延拓定义为满足：对所有 X ∈ V，有 X ⌋ T ∈ 𝔤 的3-形式 T ∈ Λ³V，其中 (𝔤, V) 为忠实正交表示。
• 使用表示论技术及代数曲率张量的结构分析延拓空间，特别关注不可约表示和伴随表示。
• 应用伯杰代数分类法和卡西米尔算子理论，研究具有向量型 torsion 的联络的全holonomy 代数。
• 通过表示作用定义映射 a: S²𝔤 → Λ⁴V，分析其核与像，尤其关注与里奇曲率及正交补的关系。
• 利用维数计数和映射 I: S²𝔤 ∩ Ker(Ric) → S²𝔤⊥ 的单射性论证，约束可能的表示。
• 借助不可约全holonomy 代数和伯杰列表的已知结果，排除除8维中 spin(7) 情况外的所有情形，证明解的唯一性。

实验结果

研究问题

• RQ1 何时李代数表示的斜对称延拓是平凡的，何时是1维的？
• RQ2 在 G-结构流形上，具有3-形式 torsion 的度量联络在何种条件下存在且唯一？
• RQ3 哪些度量 k-李代数（菲利波夫代数）允许正定内积，如何对它们进行分类？
• RQ4 具有向量型 torsion 的度量联络的可能全holonomy 代数是什么，如何从代数上刻画它们？
• RQ5 哪些正交表示 (𝔤, V) 满足条件 Λ⁴V ∩ (Λ²V ⊗ 𝔤) = {0}，这对其表示结构意味着什么？

主要发现

• 斜对称延拓 Λ³V ∩ (Λ¹V ⊗ 𝔤) 仅在 (𝔤, V) 为紧致单李代数的伴随表示时非平凡，此时其为1维，且由卡坦3-形式张成。
• 在黎曼流形上具有不可约 G-结构时，具有3-形式 torsion 的度量联络存在且唯一，除非 G 是紧致单李代数的伴随群。
• 在例外情形中，若 G 为紧致单李代数的伴随群，则此类联络存在当且仅当在克利福德代数丛中存在一个平行3-形式 t 满足 t² = 1。
• 若作用不可约，则具有常数3-形式 torsion 的联络的全holonomy 代数为 𝔰𝔬(V) 或紧致单李代数的伴随代数。
• 唯一满足条件 Λ⁴V ∩ (Λ²V ⊗ 𝔤) = {0} 及额外核条件的正交忠实表示为 (𝔰𝔪𝔞𝔫(7), ℝ⁸)，从而证明此情形的唯一性。
• 在正定符号和有限维情形下，度量 k-李代数的分类已完成，结果表明仅当通过紧致单李代数的伴随表示构造时，才存在此类结构。