[论文解读] Enumerative vs. Symplectic Invariants and Obstruction Bundles

Aleksey Zinger|ArXiv.org|Jan 26, 2002

Algebraic Geometry and Number Theory参考文献 4被引用 4

一句话总结

本文通过使用障碍丛的胶合理论，为辛几何中枚举不变量与辛不变量的比较建立了严格的分析基础。研究发展了伪全纯映射的胶合理论，证明了模空间的局部结构定理及在格罗莫夫拓扑下的序列收敛性，从而实现了对复射影空间中亏格一和亏格二曲线的精确不变量计算。

ABSTRACT

We give detailed descriptions of gluing pseudoholomorphic maps in symplectic geometry, especially in the presence of an obstruction bundle. The main motivation is to try to compare the symplectic and enumerative invariants of algebraic manifolds. These descriptions can also be used to enumerate rational curves with high-order degeneracies of local nature in projective spaces.

研究动机与目标

• 解决在复射影空间中计算亏格一和亏格二黎曼曲面的枚举不变量与辛不变量之间差异的分析难题。
• 为先前工作（如 [I], [Z2]）中用于 $π^n$ 的障碍丛方法提供严格的理论依据。
• 在正则性条件下建立全纯有理映射模空间的局部结构，从而实现对具有高阶退化的曲线的计数。
• 证明在泡泡树紧化背景下，胶合映射的连续性、单射性和满射性。
• 通过分析近全纯泡泡映射的行为，将辛不变量的应用范围扩展至复齐次流形。

提出的方法

• 通过在基黎曼曲面附着的球面泡泡树上采用依赖尺度的胶合过程，构造近全纯泡泡映射。
• 在加权索伯列夫空间上对 $̄partial$-算子应用隐函数定理，以在泡泡映射模空间上定义局部坐标。
• 使用线性化 $̄partial$-算子 $D_\nu$ 的纤维一致逆估计，控制胶合构造中变化的大小。
• 利用 $L^p$-范数估计和度量 $g_\upsilon$ 在变化的黎曼曲面上的索伯列夫不等式，控制映射序列的收敛性。
• 引入平衡映射空间，并分析变化 $\xi_k$ 的 $C^0$-收敛性，以证明渐近匹配条件（如 $\xi_h^*(\infty) = \xi_{\iota_h}^*(x_h^*)$）在极限下成立。
• 应用椭圆估计和霍尔德不等式，控制颈区域上雅可比场渐近值的差异，证明胶合映射是良定义且连续的。

实验结果

研究问题

• RQ1 障碍丛方法如何被严格适配于辛设定，以比较枚举不变量与辛不变量？
• RQ2 在泡泡树附近，伪全纯映射模空间的局部结构是什么？其依赖于何种正则性条件？
• RQ3 在何种条件下，泡泡映射模空间之间的胶合映射保持定向，并确保单射性和满射性？
• RQ4 近全纯映射序列在格罗莫夫拓扑下如何收敛？在何种条件下极限为全纯泡泡映射？
• RQ5 该分析框架能否扩展至计数具有高阶退化的曲线（如尖点或双切点有理曲线）？

主要发现

• 定理 3.29 证明了 [T] 中的障碍丛方法可在辛设定中严格应用，为计算辛不变量与枚举不变量之间的差异提供了基础。
• 定理 3.33 描述了在正则性条件下，全纯有理映射模空间的局部结构为光滑、定向流形，从而实现了对曲线的显式计数。
• 在适当的正则性和半正则性条件下，胶合映射被证明是连续、单射且满射的，确保模空间的良定义参数化。
• 渐近匹配条件 $\xi_h^*(\infty) = \xi_{\iota_h}^*(x_h^*)$ 在极限下成立，这对于在颈区域上构建一致的胶合映射至关重要。
• 通过索伯列夫和椭圆估计，控制了映射微分的 $L^p$-范数，确保在格罗莫夫拓扑下的一致收敛性。
• 命题 5.13 的证明通过反证法建立了雅可比场的统一 $W^{1,p}$-界，表明 $\|D_\nu \xi\|_p \to 0$ 蕴含 $\|\xi\|_{p,1} \to 0$，从而确认了线性化算子的弗雷德霍姆性质。