[论文解读] The geometry of three-forms in six and seven dimensions

Nigel Hitchin|ArXiv.org|Oct 5, 2000

Mathematics and Applications参考文献 11被引用 163

一句话总结

本文在6维与7维流形的闭3-形式上引入了一个微分同胚不变泛函，证明在de Rham上同调群 $ H^3(M, \mathbb{R}) $ 的通用开子集中的临界点对应于具有平凡canonical bundle的复结构（6维）与Riemannian holonomy $ G_2 $ 的结构（7维）。该方法直接证明了这些结构的模空间是 $ H^3(M, \mathbb{R}) $ 的局部开子集，且具有自然的平坦或Hessian型度量结构，从而提供了一种与Kodaira-Spencer理论不同的新视角。

ABSTRACT

We study the special algebraic properties of alternating 3-forms in 6 and 7 dimensions and introduce a diffeomorphism-invariant functional on the space of differential 3-forms on a closed manifold M in these dimensions. Restricting the functional to closed forms in a fixed cohomology class, we find that a critical point which is generic in a suitable sense defines in the 6-dimensional case a complex threefold with trivial canonical bundle and in 7 dimensions a Riemannian manifold with holonomy G2. This approach gives a direct method of finding a local moduli space, with its special geometry, for these structures.

研究动机与目标

• 通过3-形式上的微分同胚不变泛函，直接建立6维Calabi-Yau结构与7维$ G_2 $-holonomy度量的变分表征。
• 证明此类结构的模空间是de Rham上同调群 $ H^3(M, \mathbb{R}) $ 的局部开子集，且不依赖Kodaira-Spencer理论。
• 证明模空间上的自然几何结构——6维为平坦，7维为Hessian型——可从泛函临界点的内在结构中自然导出。
• 提供一种新的、几何内蕴的方法来研究复结构与$ G_2 $-结构的无阻碍性，与传统形变理论形成对比。

提出的方法

• 在闭3-形式空间上定义一个微分同胚不变泛函 $ \Phi $，通过代数方式从3-形式 $ \Omega $ 构造体积形式，利用映射 $ K_\Omega $ 与迹 $ \lambda(\Omega) $。
• 将 $ \Phi $ 限制在固定的de Rham上同调类 $ [\Omega] \in H^3(M, \mathbb{R}) $ 上，并研究其临界点。
• 利用条件 $ \lambda(\Omega) \neq 0 $ 识别出能定义结构群约化至 $ SL(3,\mathbb{C}) $（6维）或 $ G_2 $（7维）的通用3-形式。
• 在Sobolev空间设定下应用隐函数定理，证明临界点轨迹是光滑流形，且局部微分同胚于 $ H^3(M, \mathbb{R}) $ 的开子集。
• 在7维情形下，证明 $ \Phi $ 的Hessian在模空间上定义了一个符号为 $ (1, b_3 - 1) $ 的度量，利用$ G_2 $作用下的3-形式调和分解。
• 建立3-形式泛函与4-形式 $ \Theta = \ast\Omega $ 上泛函之间的Legendre对偶关系，其中 $ \psi(\Theta) \propto \det C_\Theta^{1/12} $，$ C_\Theta $ 为映射 $ v \wedge w \mapsto \iota(v)\iota(w)\Theta $。

实验结果

研究问题

• RQ1 能否通过变分原理，将6-流形上Calabi-Yau结构的模空间直接描述为 $ H^3(M, \mathbb{R}) $ 的开子集？
• RQ2 3-形式上的微分同胚不变泛函的临界点结构是否能自然导出7维中的$ G_2 $-holonomy度量？
• RQ3 模空间的几何结构——特别是其平坦或Hessian型度量——如何从3-形式及其泛函的代数结构中自然产生？
• RQ4 能否仅通过泛函 $ \Phi $ 证明复结构与$ G_2 $-结构的无阻碍性，而不依赖Kodaira-Spencer理论？
• RQ5 与3-形式泛函对偶的4-形式泛函的精确代数形式是什么？它与$ G_2 $-不变体积形式有何关系？

主要发现

• 在6维中，3-形式上泛函 $ \Phi $ 的临界点对应于具有平凡canonical bundle的复三流形，前提是 $ \lambda(\Omega) \neq 0 $。
• 在7维中，$ \Phi $ 的临界点对应于具有$ G_2 $-holonomy的Riemannian流形，前提是 $ \lambda(\Omega) \neq 0 $。
• 此类结构的模空间局部同构于 $ H^3(M, \mathbb{R}) $ 的开子集，6维具有平坦的特殊伪Kähler结构，7维具有符号为 $ (1, b_3 - 1) $ 的Hessian型度量。
• 泛函 $ \Phi $ 在形式上是Morse-Bott型，其Hessian在微分同胚轨道的横截方向非退化，使得可在Sobolev空间中应用隐函数定理。
• 3-形式泛函通过Legendre对偶等价于4-形式上的泛函，其中 $ \Psi(\Theta) \propto \int_M \det C_\Theta^{1/12} \, \mathrm{d} \mathrm{vol} $，$ C_\Theta $ 为在 $ \Lambda^2 W $ 上的收缩映射。
• 模空间上自然平坦结构从一开始就显而易见，与传统方法通过形变理论推导出该结构形成鲜明对比。