[论文解读] Construction of G_2-instantons via twisted connected sums

Grégoire Menet, Johannes Nordström+1 more|arXiv (Cornell University)|Oct 13, 2015

Geometric and Algebraic Topology参考文献 17被引用 14

一句话总结

本文通过扭曲连通和（TCS）构造，首次显式构建了紧致 G₂-流形上的 G₂-瞬子。通过将粘合定理应用于渐近圆柱形的 Calabi–Yau 3-流形，作者采用扭曲的 Hartshorne–Serre 构造，在构建块上生成了稳定全纯丛，确保其模空间在渐近 K3 截面处横截相交，从而实现非平凡的粘合，形成全局的 G₂-瞬子。

ABSTRACT

We propose a method to construct G_2-instantons over a compact twisted connected sum G_2-manifold, applying a gluing result of Sá Earp and Walpuski to instantons over a pair of 7-manifolds with a tubular end (see arXiv:1310.7933). In our example, the moduli spaces of the ingredient instantons are non-trivial, and their images in the moduli space over the asymptotic cross-section K3 surface intersect transversely. Such a pair of asymptotically stable holomorphic bundles is obtained using a twisted version of the Hartshorne-Serre construction, which can be adapted to produce other examples. Moreover, their deformation theory and asymptotic behaviour are explicitly understood, results which may be of independent interest.

研究动机与目标

• 解决通过扭曲连通和（TCS）构造的紧致 G₂-流形上 G₂-瞬子的存在性问题。
• 开发一种构造性方法，利用 TCS 构建块上的稳定全息丛，生成 G₂-瞬子的显式例子。
• 通过控制瞬子在渐近 K3 曲面处的模空间，确保粘合过程中的横截性。

提出的方法

• 利用 TCS 构造，从半 Fano 3-流形导出的渐近圆柱形 Calabi–Yau 3-流形对出发，构建紧致 G₂-流形。
• 应用 Hartshorne–Serre 构造的扭曲版本，在构建块上构造具有指定陈类和稳定性性质的全息丛。
• 通过分析其形变理论和上同调性质，确保丛的渐近稳定性与非弹性。
• 构造构建块上的丛，使其在渐近 K3 曲面上的限制满足在匹配映射下模空间横截相交。
• 利用 Sá Earp 与 Walpuski 的粘合定理，将两端的瞬子联络粘合为紧化流形上的全局 G₂-瞬子。
• 验证丛的线性化形变理论可确保在 K3 截面处瞬子模空间的横截性。

实验结果

研究问题

• RQ1 能否基于 TCS 构建块上稳定全息丛的非平凡粘合过程，在紧致 G₂-流形上构造 G₂-瞬子？
• RQ2 在 TCS 构造中，何种条件可确保渐近 K3 截面处瞬子模空间的横截性？
• RQ3 Hartshorne–Serre 构造应如何调整，以在 G₂-瞬子背景下产生具有渐近稳定性和非弹性的丛？
• RQ4 K3 曲面之间的匹配映射在确保颈部处瞬子联络兼容性方面起何种作用？
• RQ5 能否显式计算丛的形变理论，以确认存在唯一粘合解？

主要发现

• 作者在具有指定陈类 $ (2, 5G_+ - 3H_+, \text{显式 } c_2) $ 和 $ (2, 5G_- - 2H_-, \text{显式 } c_2) $ 的 TCS 构建块 $ Z_+ $ 和 $ Z_- $ 上，构造了一族渐近稳定且非弹性的全息丛 $ F_+ \to Z_+ $ 和 $ F_- \to Z_- $。
• 渐近 K3 曲面 $ S_+ $ 上瞬子模空间的维数为 2，而从 $ Z_- $ 到该曲面的限制映射的像为 1 维，从而实现横截粘合。
• 粘合映射的线性化确保了在 K3 截面处两个丛的形变空间之间具有横截性，满足全局瞬子存在的关键条件。
• 最终构造出的 G₂-瞬子是通过非平凡横截粘合过程实现的，这是文献中首次出现此类例子。
• 丛的形变理论与渐近行为被显式理解，证明其在给定 Kähler 类下为非弹性且渐近稳定。
• 该构造可推广至其他具有更高秩正交格的 TCS 例子，表明该方法具有广泛适用性。