[论文解读] A tropical view on Landau-Ginzburg models

Michaël Carl, Max Pumperla+1 more|arXiv (Cornell University)|May 16, 2022

Nonlinear Waves and Solitons参考文献 31被引用 5

一句话总结

本文在法诺簇的镜像对称背景下，通过断裂线编码Maslov指数为2的热带盘，建立了一个用于构造Landau-Ginzburg（LG）超势能的热带框架。证明了超势能的正则性等价于镜像侧反Canonical除数的光滑性，提供了一套系统化的构造方法，可恢复环面及德尔皮诺曲面的已知势能，并通过一致的墙结构与热带盘计数扩展至法诺三流形。

ABSTRACT

This paper, largely written in 2009/2010, fits Landau-Ginzburg models into the mirror symmetry program pursued by the last author jointly with Mark Gross since 2001. This point of view transparently brings in tropical disks of Maslov index 2 via the notion of broken lines, previously introduced in two dimensions by Mark Gross in his study of mirror symmetry for $\mathbb{P}^2$. A major insight is the equivalence of properness of the Landau-Ginzburg potential with smoothness of the anticanonical divisor on the mirror side. We obtain proper superpotentials which agree on an open part with those classically known for toric varieties. Examples include mirror LG models for non-singular and singular del Pezzo surfaces, Hirzebruch surfaces and some Fano threefolds.

研究动机与目标

• 将Landau-Ginzburg模型嵌入到法诺及对数Calabi-Yau簇的镜像对称的环面退化方法中。
• 通过引入墙结构的紧化准则，解决非有界情形下算法一致性的开放问题。
• 通过热带盘与断裂线提供超势能项的几何解释，将其与镜像侧反Canonical除数的几何联系起来。
• 利用热带技术将环面及德尔皮诺曲面的已知超势能扩展至非环面法诺簇。
• 建立超势能正则性与镜像侧反Canonical除数光滑性之间的对应关系，这是镜像对称中的关键结构条件。

提出的方法

• 该构造使用断裂线——在墙上发生偏转的分段线性路径——通过环面退化基底中的热带盘计数来计算超势能。
• 墙结构通过散射图构建，其一致性由紧化准则（定义1.2）保证，确保算法有限终止。
• 超势能作为在中心纤维某一点结束的断裂线之和来计算，系数由单变量变换和初始挡板函数决定。
• Maslov指数为2的热带盘通过断裂线数据编码，将超势能与镜像侧有理曲线的枚举几何联系起来。
• 该方法适用于光滑与奇异法诺簇，包括希策布鲁赫曲面与法诺三流形，通过细化判别集与星形剖分实现。
• 镜像映射通过周期积分定义，对0、1和∞处的纤维给出了显式公式，将超势能与镜像映射联系起来（定理5.9）。

实验结果

研究问题

• RQ1 如何利用热带几何与断裂线系统地构造法诺簇的Landau-Ginzburg超势能？
• RQ2 超势能的正则性与镜像侧反Canonical除数的光滑性之间的确切关系是什么？
• RQ3 在非紧致情形下，墙结构的一致性能否保证？若能，其条件是什么？
• RQ4 环面退化基底中的热带盘计数如何编码超势能的项？
• RQ5 该框架能否重现非环面法诺三流形（如普日亚尔科夫的工作中所述）的已知超势能？

主要发现

• 环面退化中心纤维的超势能由最多一个弯折的断裂线之和给出，其系数由初始挡板函数与单变量变换数据决定。
• 对于选择 $ f_{\rho,v} = (1+x+y)^2 $ 的特殊情形，$ \sigma_0 $ 上的超势能为 $ W(\sigma_0) = \left( xyz + \frac{1}{xyz} + \frac{x}{yz} + \frac{y}{xz} + \frac{z}{xy} + 2(x^2 + y^2 + z^2) + \frac{2}{x^2} + \frac{2}{y^2} + \frac{2}{z^2} + \frac{2}{xy} + \frac{2}{yz} + \frac{2}{xz} \right) \cdot t $，与法诺三流形的已知势能一致。
• 通过紧化准则（定义1.2）保证了一致墙结构的存在，解决了非紧致情形下的关键技术障碍。
• 对超势能在0、1和∞处的纤维进行了显式计算，镜像映射通过周期积分定义，定理5.9提供了LG镜像映射的精确公式。
• 该构造适用于光滑与奇异法诺簇，包括德尔皮诺曲面与希策布鲁赫曲面，且当且仅当超势能正则时，镜像反Canonical除数为光滑。
• 该方法为文献中人为设定的超势能（如普日亚尔科夫的极弱Landau-Ginzburg模型）提供了几何解释，表明其源于环面退化框架下的热带盘计数。