[论文解读] Calibrated and parallel structures on almost Abelian Lie algebras

Marco Freibert|arXiv (Cornell University)|Jul 9, 2013

Geometric Analysis and Curvature Flows参考文献 12被引用 15

一句话总结

本文对 admits 校准或平行 G₂⁎-结构的七维几乎阿贝尔李代数进行了分类，揭示了即使在 Ricci-flat 情况下，此类结构在紧致流形上也不一定具有 G₂⁎-全纯性。本文首次给出了一个在紧致尼尔曼流形上具有 Ricci-flat 但非平行的校准 G₂⁎-结构的例子，并在具有退化余维一阿贝尔理想的几乎阿贝尔李代数上构造了非平坦的平行 G₂⁎-结构，完全分类了在全幂零情况下全纯性维数至多为二的情形。

ABSTRACT

In this article, we determine the seven-dimensional almost Abelian Lie algebras which admit calibrated or parallel G_2-/G_2^*-structures. Along the way, we show that certain well-established curvature restrictions for calibrated and parallel G_2-structures are not valid in the G_2^* case. In more detail, we provide the first example of a Ricci-flat calibrated G_2^*-structure on a compact manifold whose holonomy is not contained in G_2^*. Moreover, we get examples of non-flat parallel G_2^*-structures on almost Abelian Lie algebras g. We give a full classification of these G_2^*-structures if g is additionally nilpotent.

研究动机与目标

• 对 admits 校准或平行 G₂⁎-结构的七维几乎阿贝尔李代数进行分类。
• 研究伪黎曼设定下 G₂⁎-结构的曲率与全纯性性质，尤其与黎曼情形下的 G₂ 情况进行对比。
• 确定 Ricci-flatness 是否在 G₂⁎-设定下蕴含平行性与 G₂⁎-全纯性，挑战来自 G₂ 情况的已知结果。
• 对全幂零几乎阿贝尔李代数上的平行 G₂⁎-结构进行完整分类，识别全 holonomy 维数与几何性质。

提出的方法

• 将几乎阿贝尔李代数上校准或平行 G₂⁎-结构的存在性问题归约为非交换生成元在余维一阿贝尔理想上的特定形式上的伴随作用为零。
• 将非交换生成元在阿贝尔理想上的伴随表示视为 6 维理想上的线性算子 F，并分析其若尔当代数标准型。
• 应用表示论技术，对在 F 作用下不变的三形式与四形式进行分类，对应于校准或平行结构。
• 使用对偶李括积记法，系统列出并分析所有七维全幂零几乎阿贝尔李代数及其结构性质。
• 通过在李代数结构中选择参数来实现特定若尔当代数类型与全纯性维数，构造显式例子。
• 利用李群上左不变 G₂⁎-结构与李代数上 G₂⁎-结构之间的等价性，将问题简化为代数分类。

实验结果

研究问题

• RQ1 在紧致流形上，校准 G₂⁎-结构是否必然具有全纯性包含于 G₂⁎，如同在 G₂ 情况下一样？
• RQ2 在紧致流形上，Ricci-flat G₂⁎-结构是否可能不平行？若是，其几何性质为何？
• RQ3 在几乎阿贝尔李代数上是否存在非平坦的平行 G₂⁎-结构？它们对全纯群施加了何种约束？
• RQ4 对全幂零几乎阿贝尔李代数，平行 G₂⁎-结构的完整分类为何？其全纯群的可能维数是多少？
• RQ5 在 G₂-结构中成立的曲率限制（如 Ricci-flatness 蕴含平行性）是否可推广至 G₂⁎-情形？

主要发现

• 本文首次给出了一个在紧致尼尔曼流形上具有 Ricci-flat 但非平行的校准 G₂⁎-结构的例子，且其全纯性不包含于 G₂⁎。
• 在具有退化余维一阿贝尔理想的几乎阿贝尔李代数上，存在非平坦的平行 G₂⁎-结构，且此类结构的全纯性为阿贝尔群，维数至多为二。
• 对于全幂零几乎阿贝尔李代数，本文完全分类了平行 G₂⁎-结构，表明全纯性为阿贝尔群且维数至多为二，并在表 1 中给出了显式例子。
• 若全幂零几乎阿贝尔李代数上存在平行 G₂⁎-结构，则其在阿贝尔理想上对应的线性算子 F 的若尔当代数块大小至多为三。
• 本文确认，Ricci-flatness 蕴含平行性的曲率限制在 G₂⁎-情形下不成立，与 G₂-情形相反。
• 表 1 提供了七维全幂零几乎阿贝尔李代数在平行 G₂⁎-结构存在性、全纯性维数以及非平坦局部对称度量存在性方面的完整分类。