[论文解读] Descendent Tropical Mirror Symmetry for $\mathbb{P}^2$

D. Peter Overholser|arXiv (Cornell University)|Apr 23, 2015

Nonlinear Waves and Solitons参考文献 16被引用 4

一句话总结

本文通过改进Gross的镜像对称构造，引入了$\mathbb{P}^2$的后代热带Landau-Ginzburg势能，利用由后代热带盘构建的热带曲线。该势能的周期积分计算出一个热带生成函数$\mathbb{T}_{\text{trop}}$，其与Givental的$J$-函数一致，证明了热带后代Gromov-Witten不变量恰好恢复了其经典对应物。

ABSTRACT

We modify Gross's construction of mirror symmetry for $\mathbb{P}^2$ by introducing a descendent tropical Landau-Ginzburg potential. The period integrals of this potential compute a modification of Givental's J-function, explicitly encoding a larger sector of the big phase space. As a byproduct of this construction, new tropical methods for computing certain descendent Gromov-Witten invariants are defined.

研究动机与目标

• 通过使用改进的热带Landau-Ginzburg势能，将Gross对$\mathbb{P}^2$的热带镜像对称构造扩展至包含后代不变量。
• 定义一个组合学的热带框架，其编码的相空间范围大于以往可能的范围。
• 通过周期积分，建立热带后代不变量与经典Givental $J$-函数之间的对应关系。
• 证明热带生成函数$\mathbb{T}_{\text{trop}}$等于经典$J$-函数$\mathbb{J}$，从而验证热带不变量作为正确枚举不变量的有效性。
• 为$\mathbb{P}^2$的后代Gromov-Witten不变量提供一种新的热带计算方法，这些不变量此前通过标准热带几何无法获得。

提出的方法

• 利用一般位置点的组合数据以及附加结构$\Xi_i$、$f$和$\Omega$，构建一个后代热带Landau-Ginzburg势能。
• 将热带曲线定义为后代热带盘的并集，推广[kan]和[M+R]中的早期构造，插入条件以量子上同调类$T_{i,trop}$为模型。
• 计算该势能的周期积分，生成一个热带$J$-函数$\mathbb{T}_{\text{trop}}$，其编码了形如$\langle \psi^\nu T_{i,trop}, T_{0,trop}^k, \psi^{r_1}T_{2,trop}, \dots \rangle^{\text{trop}}_{0,d}$的后代不变量。
• 使用镜像映射将B模型Frobenius流形坐标与A模型量子上同调联系起来，表明平坦坐标由热带曲线生成。
• 应用Gromov-Witten理论公理与分次论证，通过微分算子$\operatorname{diff}$和逐度分析，比较$\mathbb{T}_{\text{trop}}$与经典$J$-函数$\mathbb{J}$。
• 通过分次归纳法证明$\mathbb{T}_{\text{trop}} = \mathbb{J}$，表明在所有度数上（包括$\psi$-类指数为正的特殊情况）均一致。

实验结果

研究问题

• RQ1 能否通过改进的热带Landau-Ginzburg势能构造，将$\mathbb{P}^2$的大相空间中的后代不变量编码进镜像对称框架？
• RQ2 该改进后热带势能的周期积分是否计算出一个与Givental的$J$-函数匹配的生成函数？
• RQ3 通过此方法定义的热带后代不变量是否等价于其经典Gromov-Witten对应物？
• RQ4 镜像对称框架能否扩展至包含超出标准上同调插入的$\psi$-类插入？
• RQ5 分次$\operatorname{gr}$在组织$J$-函数各项时起什么作用，以确保热带与经典不变量之间的一致性？

主要发现

• 通过修改后的Landau-Ginzburg势能的周期积分所定义的热带后代不变量，恰好与它们的经典Gromov-Witten对应物一致。
• 由热带曲线计算出的生成函数$\mathbb{T}_{\text{trop}}$等于经典$J$-函数$\mathbb{J}$，该结论通过微分算子$\operatorname{diff}$的逐度比较得到证明。
• 该构造为$\mathbb{P}^2$的后代Gromov-Witten不变量提供了一种新的热带计算方法，这些不变量此前无法通过标准热带曲线计数获得。
• B模型Frobenius流形上的平坦坐标由类型为$\langle T_{i,trop}, T_{0,trop}^k, \psi^{r_1}T_{2,trop}, \dots \rangle^{\text{trop}}_{0,d}$的热带曲线生成，确认了其枚举意义。
• $J$-函数上的分次$\operatorname{gr}$允许对各项进行系统比较，且通过归纳法证明了$\mathbb{T}$与$\mathbb{J}$在每个度数上的部分一致。
• 此前难以处理的例外度数——即$\psi$-类非平凡但未记录在$\hbar$幂中的情况——现由Gross的前期结果解决，从而完成了$\mathbb{T} = \mathbb{J}$的证明。