[论文解读] Mirror symmetry for P^2 and tropical geometry

Mark Gross|ArXiv.org|Mar 8, 2009

Polynomial and algebraic computation参考文献 14被引用 15

一句话总结

本文证明了 $\mathbb{P}^2$ 的镜像对称性本质上等价于热带 $\mathbb{P}^2$ 中 genus-zero 曲线计数，通过马斯洛夫指标为二的全纯圆盘与朗道-金兹堡势能项之间的几何对应关系。其核心贡献是利用散射图和周期积分计算，提出了一种概念性的、基于热带几何的镜像对称性证明，表明通过振荡积分得到的 B 模型弗罗贝尼乌斯流形结构与通过热带不变量得到的 A 模型曲线计数完全匹配。

ABSTRACT

This paper explores the relationship between mirror symmetry for P^2, at the level of big quantum cohomology, and tropical geometry. The mirror of P^2 is typically taken to be ((C^*)^2,W), where W is a Landau-Ginzburg potential of the form x+y+1/xy. The complex moduli space of the mirror is the universal unfolding of W, and oscillatory integrals produce a Frobenius manifold structure on this universal unfolding. We show that W can be deformed by counting Maslov index two tropical disks, and the natural paramaters appearing in this deformation are then the flat coordinates on the moduli space. Furthermore, the oscillatory integrals are shown to read off directly tropical curve counts from the potential. Thus we show in fact that mirror symmetry for P^2 is equivalent in a strong sense to tropical curve counting formulas, including tropical formulas for gravitational descendent invariants.

研究动机与目标

• 通过将热带曲线计数与 B 模型弗罗贝尼乌斯流形结构联系起来，建立 $\mathbb{P}^2$ 的概念性、基于热带几何的镜像对称性证明。
• 证明镜像侧 $(\mathbb{C}^\times)^2$ 上的朗道-金兹堡势能可通过马斯洛夫指标为二的圆盘的热带数据进行典范变形。
• 表明 B 模型中的周期积分可通过散射图构造，精确对应于 A 模型中的热带下位不变量。
• 将热带曲线与量子上同调之间的对应关系推广至其他 toric 代数簇，以 $\mathbb{P}^2$ 作为基础情形。

提出的方法

• 该方法以带奇点的积分仿射流形作为核心几何对象，同时建模镜像对称性的 A 模型（辛几何）与 B 模型（复几何）侧。
• 在仿射流形上构造散射图，以编码 Calabi-Yau 变形的退化，其中墙对应于热带曲线。
• 通过顶点处马斯洛夫指标为二的圆盘的粘合计算热带下位不变量，其重数由图结构的组合数据决定。
• 通过添加对应于通过指定点的马斯洛夫指标为二的圆盘族的项，利用典范变形程序对朗道-金兹堡势能进行变形。
• 通过振荡积分计算 B 模型侧的周期积分，并通过一个方程组证明其与热带不变量的生成函数完全匹配。
• 一个关键技术工具是评估不同圆盘构型对 $L_{P,j}$ 的贡献，证明其与定义 3.4 中的热带不变量一致。

实验结果

研究问题

• RQ1 能否通过热带几何而非传统的格罗莫夫-威滕理论证明 $\mathbb{P}^2$ 的镜像对称性？
• RQ2 是否存在 $\mathbb{P}^2$ 中马斯洛夫指标为二的全纯圆盘与镜像侧朗道-金兹堡势能项之间的直接对应关系？
• RQ3 A 模型侧的热带下位不变量如何与 B 模型侧的周期积分相匹配？
• RQ4 能否通过热带曲线计数显式构造朗道-金兹堡势能的典范变形？
• RQ5 仿射流形上的散射图构造是否能以统一方式编码 A 模型的曲线计数与 B 模型的周期积分？

主要发现

• 本文证明了 $\mathbb{P}^2$ 中 genus-zero 的热带下位不变量的生成函数，通过振荡积分与 B 模型弗罗贝尼乌斯流形的周期积分完全匹配。
• 具有 $\nu$ 个标记顶点和 $d$-度的热带曲线对 $L_{P,j}$ 的贡献，与热带不变量中的项 $u_{I(h)}q^{\nu'}$ 完全一致，确认了对应关系。
• 势能中常数项 $q^{-1}$ 来自唯一满足 $\nu=0$ 的构型，即不带标记点的马斯洛夫指标为二的圆盘。
• 通过方程组 (5.2)–(5.4) 证明，利用振荡积分计算周期积分等价于通过系统方法进行的热带计数，该证明基于对圆盘贡献的引理。
• 散射图构造正确编码了朗道-金兹堡势能的变形，其穿墙数据与热带曲线计数完全匹配。
• 该结果可推广至其他 toric 代数簇（如 $\mathbb{P}^1\times\mathbb{P}^1$），但对于一般 toric 曲面不成立，原因在于不可约分支映射到 toric 边界，而当前热带几何尚无法处理此类情形。