[论文解读] Canonical bundles of complex nilmanifolds, with applications to hypercomplex geometry

M. L. Barberis, Isabel G. Dotti+1 more|ArXiv.org|Dec 22, 2007

Geometry and complex manifolds参考文献 26被引用 5

一句话总结

本文证明了任意复 nilmanifold 的典范丛是全纯平凡的，这是一个强有力的几何约束，对形变理论具有重要意义。此外，本文进一步证明：一个超复 nilmanifold 拥有 HKT 度量当且仅当其超复结构是交换的，并表明所有 G-不变的 HKT 度量在所有相关复结构下都是平衡的。

ABSTRACT

A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifold is balanced with respect to all associated complex structures.

研究动机与目标

• 建立所有复 nilmanifold 的典范丛全纯平凡性，该结果对形变理论和凯勒型几何具有深远影响。
• 研究超复 nilmanifold 上 HKT 度量的存在性，特别是其底层超复结构的交换性这一代数性质的关系。
• 分析 nilmanifold 上 G-不变 HKT 度量的平衡性，表明其对所有三个复结构均为平衡的。
• 构造非交换超复 nilmanifold 的显式例子，这些例子不具有 HKT 度量，从而为 Bogomolov-Tian-Todorov 定理在 nilmanifold 设置下的潜在推广提供反例。

提出的方法

• 通过利用幂零李群上的左不变结构所诱导的处处非零全纯体积形式，证明复 nilmanifold 的典范丛是全纯平凡的。
• 利用超复 nilmanifold 拥有 G-不变 HKT 度量当且仅当其超复结构是交换的这一事实，该结论源于李代数的结构以及 Bismut 连接的性质。
• 应用 HKT 结构的 Bismut 连接公式，表明在交换条件下李形式消失，从而推出度量对每个复结构均为平衡的。
• 通过非交换复结合代数 A 的仿射李代数构造 Aff(A)，构造一族非交换超复 nilmanifold，例如严格上三角矩阵代数。
• 通过证明这些 nilmanifold 不满足交换条件，从而表明它们不具有 HKT 度量，依赖于仅当超复结构为交换时才存在 HKT 度量的特征刻画。
• 使用 Tian-Todorov 引理框架与上同调工具（如 Massey 乘积）来说明尽管典范丛平凡，但在非凯勒情形下形变理论仍可能受阻。

实验结果

研究问题

• RQ1 任意复 nilmanifold 的典范丛是否全纯平凡？
• RQ2 在何种条件下，超复 nilmanifold 拥有 HKT 度量？
• RQ3 所有 G-不变 HKT 度量在 nilmanifold 上是否对相关复结构均为平衡的？
• RQ4 非交换超复 nilmanifold 是否可能拥有 HKT 度量，这与底层李代数的结构有何关系？
• RQ5 尽管弗罗利希谱序列非退化，Bogomolov-Tian-Todorov 定理在具有平凡典范丛的 nilmanifold 上能在多大程度上被推广？

主要发现

• 任意复 nilmanifold 的典范丛是全纯平凡的，该结果通过左不变全纯体积形式处处非零的性质得以证明。
• 超复 nilmanifold 拥有 HKT 度量当且仅当其超复结构是交换的，确立了一个精确的代数-几何判别准则。
• 所有 G-不变 HKT 度量在 nilmanifold 上对所有三个复结构均为平衡的，因为 HKT 条件下李形式恒为零。
• 通过非交换复结合代数 A 的仿射李代数 Aff(A) 构造了一族非交换超复 nilmanifold，例如 k×k 严格上三角矩阵。
• 这些非交换超复 nilmanifold 不具有 HKT 度量，原因在于其不满足交换条件，而该条件是 HKT 存在性的必要且充分条件。
• 本研究结果为非凯勒几何中 Bogomolov-Tian-Todorov 定理的潜在推广提供了反例，表明即使典范丛平凡，也不能保证形变无阻碍。