[论文解读] Enumeration of holomorphic cylinders in log Calabi-Yau surfaces. II. Positivity, integrality and the gluing formula

Tony Yue Yu|arXiv (Cornell University)|Aug 26, 2016

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

一句话总结

本文通过非阿基米德几何与热带方法，确立了对数卡勒-尤杨曲面中全纯圆柱计数的三个基础性质——非负性、整数性以及粘合公式。证明了圆柱的虚拟计数为非负整数，并满足乘法型粘合律，为它们在镜像对称中的作用提供了强有力证据，并揭示了与Gross-Hacking-Keel的断裂线猜想性关联的线索。

ABSTRACT

We prove three fundamental properties of counting holomorphic cylinders in log Calabi-Yau surfaces: positivity, integrality and the gluing formula. Positivity and integrality assert that the numbers of cylinders, defined via virtual techniques, are in fact nonnegative integers. The gluing formula roughly says that cylinders can be glued together to form longer cylinders, and the number of longer cylinders equals the product of the numbers of shorter cylinders. Our approach uses Berkovich geometry, tropical geometry, deformation theory and the ideas in the proof of associativity relations of Gromov-Witten invariants by Maxim Kontsevich. These three properties provide an evidence for a conjectural relation between counting cylinders and the broken lines of Gross-Hacking-Keel.

研究动机与目标

• 确立对数卡勒-尤杨曲面中全息圆柱的虚拟计数为非负整数，确认其不变性与几何意义。
• 验证粘合公式：从 $F_1$ 到 $F_3$ 且经过 $F_2$ 的圆柱数量等于从 $F_1$ 到 $F_2$ 与从 $F_2$ 到 $F_3$ 的计数之积。
• 为圆柱计数与镜像对称背景下Gross-Hacking-Keel的断裂线之间存在深层联系提供证据。
• 证明这些不变量是形变不变量，在Looijenga对 $(Y,D)$ 的一般形变下仍保持良好行为。
• 利用贝里科维奇几何与热带技术，严格定义并计算这些不变量，避免出现泡胀现象，确保模空间光滑。

提出的方法

• 利用贝里科维奇解析几何，在对数卡勒-尤杨曲面的解析化上构造一个非阿基米德SYZ纤维化 $\tau: X^\mathrm{an}_k \to B$。
• 应用热带几何，通过在具有奇点的 $\mathbb{Z}$-仿射流形 $B$ 中的分段线性脊线 $L$ 来建模全息圆柱。
• 运用曲面上有理曲线的形变理论，证明在一般条件下，稳定映射的模空间是光滑且完备的。
• 依赖虚拟技术与模堆栈 $\mathcal{M}^\mathrm{d}(\beta^\mathrm{d}, T)_{w}$ 中的度数计算，通过稳定映射计数提取不变量。
• 利用稳定映射模空间之间的同构关系，通过分析邻域的积结构，关联不同脊线上的圆柱计数。
• 应用格罗莫夫-王不变量的结合律（基于康特维奇的思想），通过比较不同构型下模堆栈的度数，推导出粘合公式。

实验结果

研究问题

• RQ1 对数卡勒-尤杨曲面中全息圆柱的虚拟计数是否为非负整数？
• RQ2 从 $F_1$ 到 $F_3$ 且经过 $F_2$ 的圆柱数量是否等于从 $F_1$ 到 $F_2$ 与从 $F_2$ 到 $F_3$ 的计数之积？
• RQ3 圆柱计数是否可视为Looijenga对 $(Y,D)$ 形变下的不变量？
• RQ4 这些圆柱计数与镜像对称背景下Gross-Hacking-Keel的断裂线之间是否存在结构性联系？
• RQ5 非阿基米德与热带方法如何协同作用，以确保所涉模空间的光滑性与完备性？

主要发现

• 与脊线 $L$ 和曲线类 $\beta$ 相关的全息圆柱数量 $N(L, \beta)$ 是非负整数，证明了其整数性与非负性。
• 粘合公式成立：$\sum_{\beta^1 + \beta^2 = \beta^3} N(L^1, \beta^1) \cdot N(L^2, \beta^2) = N(L^3, \beta^3)$，其中 $L^3$ 为粘合后的脊线。
• 这些不变量是Looijenga对 $(Y,D)$ 的形变不变量，在一般形变下保持不变。
• 对于一般 $(Y,D)$，全息圆柱模空间中不会发生泡胀现象，确保虚拟计数为实际计数且行为良好。
• 在给定条件下，稳定映射的模空间是光滑且完备的，支持度数计算的有效性。
• 模堆栈 $\mathcal{M}^\mathrm{d}(\beta^\mathrm{d}, T)_w$ 的度数在由热带与解析粘合诱导的同构下保持不变，确认了粘合公式的自洽性。