[论文解读] Automatic Transversality and Orbifolds of Punctured Holomorphic Curves in Dimension Four

Chris Wendl|ArXiv.org|Feb 26, 2008

Geometric and Algebraic Topology参考文献 19被引用 4

一句话总结

该论文为4维辛流形之间的穿孔 J-全纯曲线建立了无需依赖通用几乎复结构的数值横截性准则，将先前结果推广至非单射和非浸入曲线的情形。关键贡献在于证明了此类曲线的某些模空间为整体光滑轨道丛，其一般部分由嵌入曲线构成，孤立奇点来自无分支的多重覆盖，方法结合了交点理论与四维情形下新颖的法柯西-黎曼算子分析。

ABSTRACT

We derive a numerical criterion for J-holomorphic curves in 4-dimensional symplectic cobordisms to achieve transversality without any genericity assumption. This generalizes results of Hofer-Lizan-Sikorav and Ivashkovich-Shevchishin to allow punctured curves with boundary that generally need not be somewhere injective or immersed. As an application, we combine this with the intersection theory of punctured holomorphic curves to prove that certain geometrically natural moduli spaces are globally smooth orbifolds, consisting generically of embedded curves, plus unbranched multiple covers that form isolated orbifold singularities.

研究动机与目标

• 将4维辛拓扑中自动横截性结果的适用范围从部分单射或浸入曲线推广至更一般情形。
• 在不假设几乎复结构为通用的前提下，建立4维辛流形中横截性的数值准则。
• 证明穿孔 J-全纯曲线的某些模空间为整体光滑轨道丛，即使曲线为多重覆盖亦成立。
• 应用穿孔曲线的交点理论，表明多重覆盖在模空间中形成孤立的轨道丛奇点。

提出的方法

• 通过广义法丛与线丛上的柯西-黎曼算子，推导4维辛流形中 J-全纯曲线的横截性准则。
• 为伪全纯曲线的法算子建立泛函分析框架，利用Teichmüller截面将线性化分解为若干分量。
• 对带边界的黎曼曲面上可接受截面的边界零点应用计数方法，通过绕数定义代数计数。
• 利用对称延拓构造，将代数零点计数与相对第一陈类及边界 Maslov 指数联系起来。
• 将横截性准则与穿孔曲线的交点理论相结合，分析模空间的整体结构。
• 通过证明多重覆盖为无分支且孤立，从而确立模空间为光滑轨道丛，且嵌入曲线构成其一般部分。

实验结果

研究问题

• RQ1 在不假设几乎复结构为通用的前提下，能否保证4维辛流形中 J-全纯曲线的横截性？
• RQ2 当曲线非部分单射或非浸入时，4维辛流形中穿孔 J-全纯曲线的模空间是否仍保持光滑？
• RQ3 当存在多重覆盖时，模空间的结构能否被描述为整体光滑轨道丛？
• RQ4 交点理论在刻画此类模空间奇点方面起到何种作用？
• RQ5 如何将法丛截面零点的代数计数与第一陈类、Maslov 指数等拓扑不变量联系起来？

主要发现

• 若指标满足 $\operatorname{ind}(u) > 2g - 2$，则4维中未参数化的 J-全纯曲线的模空间是光滑的，推广了 Hofer-Lizan-Sikorav 与 Ivashkovich-Shevchishin 的结果。
• 该横截性准则适用于具有全实边界和柱形端的任意 J-全纯曲线，无需假设单射性或浸入性。
• 4维中穿孔 J-全纯曲线的模空间为整体光滑轨道丛，其一般部分由嵌入曲线与来自无分支多重覆盖的孤立奇点构成。
• 法丛截面 $\sigma$ 的代数零点计数 $Z(\sigma)$ 满足 $Z(\sigma) = c_1^\Phi(E) + \frac{1}{2}\mu^\Phi(E,\ell) + \operatorname{wind}_{\partial_1 S}^\Phi(\sigma)$，将拓扑与分析联系起来。
• 对称延拓构造给出 $Z(\sigma^D) = 2Z(\sigma)$，使得可通过闭曲面延拓计算拓扑不变量。
• 边界 Maslov 指数与相对陈类完全决定了零点计数，确保在同伦下的一致性，并支持对模空间的整体分析。