[论文解读] Instantons in G2 manifolds from J-holomorphic curves in coassociative submanifolds

Naichung Conan Leung, Xiaowei Wang+1 more|arXiv (Cornell University)|Mar 27, 2013

Geometry and complex manifolds参考文献 24被引用 3

一句话总结

本文通过在 C^{1,α} 设置下使用变形方法，克服了线性化瞬子方程中的非线性和弱耦合问题，建立了 G₂ 流形中瞬子——3维关联子流形——与共关联子流形中 J-全纯曲线之间的对应关系。关键结果是通过在 Calabi-Yau 三fold 的共关联子流形上扰动复结构，构造出新的瞬子，并通过 Taubes 的 GW=SW 对应关系，将其计数与 Seiberg-Witten 不变量联系起来。

ABSTRACT

In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.

研究动机与目标

• 在 G₂ 流形中建立关联子流形（瞬子）与共关联子流形中 J-全纯曲线之间的对应关系。
• 通过使用 Scauder（C^{1,α}）设置而非 W^{1,p} 设置，克服瞬子方程中的分析挑战，包括非线性和弱耦合。
• 通过在 Calabi-Yau 三fold 的共关联子流形上变形复结构，构造瞬子的新例子。
• 将对应关系扩展至非退化的辛形式之外，包括法向量场退化或消失的情况。
• 探讨该对应关系在几乎 G₂ 设置下的有效性，其中 G₂ 结构是闭的但不一定是平行的。

提出的方法

• 采用变形方法通过在周围空间中使用法向标架，对子流形而非映射进行变形，以在 G₂ 流形 M 中构造瞬子。
• 由于存在立方导数项，导致在 W^{1,p} 空间中无法进行 L^p 估计，因此在 C^{1,α} 设置下处理瞬子方程。
• 利用 Scauder 估计，为线性化瞬子算子建立右逆有界性，这对应用隐函数定理至关重要。
• 该构造涉及 M 中一族共关联子流形 C_t，其边界位于 C_0 和 C_ε 上，并通过法向量场 n 诱导出一个扰动的几乎复结构 J_n。
• 应用隐函数定理求解 F_ε(V) = 0，其中 F_ε 为瞬子算子，利用 C^{1,α} 范数下的误差估计和二次估计。
• 该方法依赖于共关联子流形 C_0 中 J_n-全纯曲线 Σ_n 的 Fredholm 正则性，确保其在小复结构扰动下仍能保持存在。

实验结果

研究问题

• RQ1 G₂ 流形中的关联子流形（瞬子）能否系统地从共关联子流形中的 J-全纯曲线构造出来？
• RQ2 当标准 L^p 方法失效时，如何在分析上处理瞬子方程的非线性和弱耦合性质？
• RQ3 Seiberg-Witten 不变量在计数由共关联子流形中 J-全纯曲线产生的瞬子时起什么作用？
• RQ4 当共关联族的法向量场存在零点或退化时，瞬子与 J-全纯曲线之间的对应关系是否仍然成立？
• RQ5 当 G₂ 结构是闭的但不一定是平行的（即在几乎 G₂ 设置下）时，该对应关系是否仍可成立？

主要发现

• 通过在共关联子流形上扰动复结构，构造出 G₂ 流形中的一族新瞬子，利用靠近 Fredholm 正则的 J_0-全纯曲线的 J_n-全纯曲线。
• 即使共关联族的法向量场存在零点，只要曲线避开零点集，瞬子与 J-全纯曲线之间的对应关系依然成立。
• 在 C^{1,α} 设置下的分析成功处理了瞬子方程中的立方非线性项，该非线性项会阻碍标准 W^{1,p} 估计的成立。
• 应用隐函数定理求解瞬子方程 F_ε(V) = 0，误差估计表明 ||F_ε(0)||_{C^{α}} ≤ Cε^{1−α}，从而保证了小 ε 下解的存在性。
• 该构造产生非平凡的瞬子，其微分同胚类型不同于乘积 Σ×[0,ε]，从而与平凡的柱状解相区别。
• 该方法暗示了向几乎 G₂ 结构的潜在推广，因为粘合分析主要依赖于线性化算子的 Fredholm 正则性。