[论文解读] Correspondence Theorem between Holomorphic Discs and Tropical Discs on K3 Surfaces

Yu-Shen Lin|arXiv (Cornell University)|Mar 1, 2017

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

一句话总结

本文建立了开 Gromov-Witten 不变量与 K3 曲面上加权计数的热带盘之间的对应关系，证明在一般边界条件下，这些不变量完全一致。通过 Floer 理论中的 A∞-结构与伪同伦，作者表明全纯盘的墙穿跃行为与 Kontsevich-Soibelman 公式一致，从而在紧致 Calabi-Yau 曲面上为 Gross-Siebert 程序中的墙函数提供了几何实现。

ABSTRACT

We prove that the open Gromov-Witten invariants on K3 surfaces satisfy the Kontsevich-Soibelman wall-crossing formula. One one hand, this gives a geometric interpretation of the slab functions in Gross-Siebert program. On the other hands, the open Gromov-Witten invariants coincide with the weighted counting of tropical discs. This is an analog of the corresponding theorem on toric varieties \cite{M2}\cite{NS} but on compact Calabi-Yau surfaces.

研究动机与目标

• 建立 K3 曲面上开 Gromov-Witten 不变量与加权热带盘计数之间的对应关系。
• 通过全纯盘为 Gross-Siebert 程序中的墙函数提供几何解释。
• 证明开 Gromov-Witten 不变量在紧致 Calabi-Yau 曲面上满足 Kontsevich-Soibelman 墙穿跃公式。
• 将此前仅适用于 toric 曲面的热带对应定理推广至非 toric 的紧致 Calabi-Yau 曲面。
• 通过 A∞-结构的伪同伦，统一全纯盘的枚举几何与热带几何。

提出的方法

• 利用带曲率的 A∞-结构与 Maurer-Cartan 方程，对 K3 曲面上特殊拉格朗日子流形纤维上的全洁盘进行建模。
• 应用族 Floer 同调与伪同伦，追踪特殊拉格朗日子流形边界在 1-参数族中 A∞-结构的变化。
• 基于组合数据（包括重数与自同构因子）定义带权热带盘，使用 q-变形李代数。
• 将 Maurer-Cartan 元素的伪同伦识别与对应于热带盘的 Kontsevich-Soibelman 变换相匹配。
• 使用复 Novikov 环与赋值结构控制收敛性，并在极限下定义不变量。
• 利用同调上的辛基底与二次提升，确保热带盘权重在平行移动下定义良好。

实验结果

研究问题

• RQ1 K3 曲面上的开 Gromov-Witten 不变量是否与加权热带盘计数一致？
• RQ2 全纯盘的墙穿跃行为如何与 Gross-Siebert 程序中 Kontsevich-Soibelman 变换相关联？
• RQ3 Gross-Siebert 程序中的墙函数能否通过 K3 曲面上的全纯盘实现几何解释？
• RQ4 开 Gromov-Witten 不变量中的墙穿跃现象是否可由适当加权的热带盘计数捕捉？
• RQ5 通过 q-变形多对数函数定义的精细热带盘不变量，能否被提升为开 Gromov-Witten 不变量的几何意义明确的精细形式？

主要发现

• 当 $u$ 不在边际稳定性墙之上时，开 Gromov-Witten 不变量 $\tilde{\Omega}(\gamma;u)$ 与加权热带盘计数 $\tilde{\Omega}^{\text{trop}}(\gamma;u)$ 完全一致。
• 开 Gromov-Witten 不变量的墙穿跃行为与 Kontsevich-Soibelman 墙穿跃公式一致，确认其与 Gross-Siebert 程序的一致性。
• Gross-Siebert 程序中的墙函数被几何实现为热带盘的生成函数，直接建立了代数几何与枚举几何之间的联系。
• 加权热带盘计数满足与开 Gromov-Witten 不变量相同的墙穿跃公式，验证了 K3 曲面上的热带对应关系。
• 通过 $q$-变形李代数与 $q$-多对数函数定义的精细热带盘不变量满足精细墙穿跃公式，暗示了开 Gromov-Witten 不变量的几何精细化。
• 通过伪同伦对 Maurer-Cartan 元素的识别捕捉了墙穿跃过程中新全纯盘的出现，其方式不同于平行移动，且编码了墙穿跃数据。