[论文解读] Totally Geodesic Subalgebras of Nilpotent Lie algebras

Grant Cairns, Ana Hinić Galić+1 more|arXiv (Cornell University)|Dec 6, 2011

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

一句话总结

本文研究了在幂零李代数，特别是拟李代数中完全测地子代数的存在性，利用由 Levi-Civita 联络导出的代数条件。证明了每个度量李代数都包含一个测地线（1维完全测地子代数），在标准拟李代数上构造了一个余维数为二的完全测地子代数，并证明在其他拟李代数中此类子代数无法存在。进一步表明，在拟李代数中，若完全测地子代数在正交补下不变，则其维数至多为代数维数的一半，并给出一个6维拟李代数，其对任意内积均不存在维数大于2的完全测地子代数。

ABSTRACT

A metric Lie algebra g is a Lie algebra equipped with an inner product. A subalgebra h of a metric Lie algebra g is said to be totally geodesic if the Lie subgroup corresponding to h is a totally geodesic submanifold relative to the left-invariant Riemannian metric defined by the inner product, on the simply connected Lie group associated to g. A nonzero element of g is called a geodesic if it spans a one-dimensional totally geodesic subalgebra. We give a new proof of Kaizer's theorem that every metric Lie algebra possesses a geodesic. For nilpotent Lie algebras, we give several results on the possible dimensions of totally geodesic subalgebras. We give an example of a codimension two totally geodesic subalgebra of the standard filiform nilpotent Lie algebra, equipped with a certain inner product. We prove that no other filiform Lie algebra possesses such a subalgebra. We show that in filiform nilpotent Lie algebras, totally geodesic subalgebras that leave invariant their orthogonal complements have dimension at most half the dimension of the algebra. We give an example of a 6-dimensional filiform nilpotent Lie algebra that has no totally geodesic subalgebra of dimension >2, for any choice of inner product.

研究动机与目标

• 研究配备内积的幂零李代数中完全测地子代数的存在性与结构。
• 确定在拟李代数中此类子代数可能达到的最大维数。
• 利用 Levi-Civita 联络与正交补条件，刻画子代数为完全测地的条件。
• 构造完全测地子代数的显式例子，包括标准拟李代数中的余维数为二的例子。
• 证明某些拟李代数无论选择何种内积，均不存在维数大于2的完全测地子代数。

提出的方法

• 在度量李代数上使用 Levi-Civita 联络公式，推导出完全测地性的代数条件：对所有 Y,Z ∈ 𝔥，有 ∇_Y Z ∈ 𝔥。
• 应用子代数 𝔥 为完全测地的充要条件：对所有 X ∈ 𝔥⊥, Y,Z ∈ 𝔥，有 ⟨[X,Y],Z⟩ + ⟨[X,Z],Y⟩ = 0。
• 对拟李代数的维数使用归纳法，利用标准基与雅可比恒等式控制结构常数。
• 在标准拟李代数上构造特定内积，以实现余维数为二的完全测地子代数。
• 分析子代数作用下正交补的不变性，推导维数上界。
• 利用下中心列的结构与中心的性质，约束代数中可能的非平凡括积。

实验结果

研究问题

• RQ1 每个度量李代数是否都至少包含一个1维完全测地子代数（即测地线元素）？
• RQ2 拟幂零李代数是否可以存在余维数为二的完全测地子代数，若可以，其内积需满足何种条件？
• RQ3 在拟幂零李代数中，若子代数保持其正交补不变，则其完全测地子代数的最大可能维数是多少？
• RQ4 是否存在一个拟李代数，使得无论选择何种内积，其均不存在维数大于2的完全测地子代数？
• RQ5 是否存在结构性障碍，导致某些幂零李代数中无法存在高维完全测地子代数？

主要发现

• 每个度量李代数都至少包含一个测地线，即1维完全测地子代数，从而为 Kaĭzer 定理提供了新证明。
• 当配备特定内积时，标准拟幂零李代数中存在一个余维数为二的完全测地子代数。
• 其他拟李代数均无法存在余维数为二的完全测地子代数，从而确立了该构造的唯一性。
• 在拟幂零李代数中，若完全测地子代数保持其正交补不变，则其维数至多为代数维数的一半。
• 存在一个6维拟幂零李代数，使得对任意内积，其均不存在维数大于2的完全测地子代数。
• 代数的下中心列与中心结构限制了可能的括积，导致奇数维情形下结构常数的消失条件，从而强制括积关系中出现零系数。