[论文解读] Mirror symmetry for exceptional unimodular singularities

Changzheng Li, Si Li+2 more|arXiv (Cornell University)|May 18, 2014

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

一句话总结

本文通过建立B侧Saito-Givental理论与A侧Fan-Jarvis-Ruan-Witten（FJRW）理论之间的等价性，证明了对例外型等模奇点的Landau-Ginzburg/Calabi-Yau（LG-LG）镜像对称猜想。作者采用一种新颖的微扰方法，从初等形式计算亏格零关联函数，利用orbifold-Grothendieck-Riemann-Roch公式与WDVV方程匹配数值不变量，并通过重构技术将结果推广至所有亏格，首次为具有中心电荷>1的加权齐次多项式提供了LG-LG镜像对称性的证明。

ABSTRACT

In this paper, we prove the mirror symmetry conjecture between the Saito-Givental theory of exceptional unimodular singularities on Landau-Ginzburg B-side and the Fan-Jarvis-Ruan-Witten theory of their mirror partners on Landau-Ginzburg A-side. On the B-side, we compute the genus-zero generating function from a perturbative formula of primitive forms introduced by the first three authors recently. This computation matches the orbifold-Grothendieck-Riemann-Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction techniques. Our result establishes the first examples of LG-LG mirror symmetry of all genera for weighted homogeneous polynomials of central charge greater than one (i.e. which contain negative degree deformation parameters).

研究动机与目标

• 证明中心电荷>1的加权齐次多项式下，例外型等模奇点的LG-LG镜像对称猜想，该猜想此前尚未被证明。
• 弥合B侧（初等形式）的Saito-Givental理论与A侧（轨道Gromov-Witten不变量）的FJRW理论之间在奇点对偶对中的差距。
• 开发并应用一种微扰方法，以在例外型等模奇点的Saito理论框架下计算亏格零关联函数。
• 通过orbifold-Grothendieck-Riemann-Roch公式与WDVV方程计算，验证两种理论中数值不变量的巧合。
• 通过重构技术将亏格零的匹配结果推广至所有亏格，从而证明完整的镜像对称等价性。

提出的方法

• 开发一种微扰方法，利用基空间上的指数映射与平坦坐标，从Saito理论中的初等形式计算亏格零关联函数。
• 通过Frobenius流形结构的3点FJRW不变量导出预势函数，进而构建势函数。
• 将微扰框架应用于计算例外型等模奇点的完整亏格零预势 $\mathcal{F}^{\rm FJRW}_{0,W}$。
• 利用WDVV方程与orbifold-Grothendieck-Riemann-Roch公式，计算并验证FJRW侧的数值不变量。
• 通过重构定理，从亏格零数据重构总祖先势函数 $\mathscr{A}^{\rm FJRW}_W$，从而在所有亏格下建立等价性。
• 通过匹配两套理论中包括 $t_3^2 t_4 t_{11}$、$t_2^2 t_6 t_{12}$ 与 $t_3^3 t_{12}$ 等高阶项在内的完整不变量集合，验证镜像对称性。

实验结果

研究问题

• RQ1 例外型等模奇点的Saito-Givental理论在亏格零是否与它们对偶奇点的FJRW理论相匹配？
• RQ2 Saito理论中的微扰方法能否准确计算例外型等模奇点的亏格零关联函数？
• RQ3 通过Saito的初等形式计算出的数值不变量，是否与利用orbifold-Grothendieck-Riemann-Roch与WDVV约束从FJRW理论中得到的结果一致？
• RQ4 亏格零的镜像对称结果是否可通过重构技术推广至所有亏格？
• RQ5 两套理论中的完整不变量集合——包括 $t_3^2 t_4 t_{11}$ 与 $t_2^2 t_6 t_{12}$ 等高阶项——是否完全一致？

主要发现

• 微扰方法成功计算了所有例外型等模奇点在Saito理论中的亏格零关联函数，使得与FJRW不变量的显式比较成为可能。
• 通过orbifold-Grothendieck-Riemann-Roch与WDVV方程计算验证，Saito理论中初等形式计算出的数值不变量与FJRW理论结果完全一致。
• 每个例外型等模奇点的亏格零预势 $\mathcal{F}^{\rm FJRW}_{0,W}$ 与Saito理论势函数在 $\frac{1}{4}t_3^2 t_4 t_{11}$ 与 $\frac{1}{8}t_2 t_4^2 t_{11}$ 等项范围内完全匹配。
• 通过从亏格零数据重构总祖先势函数，证明了所有亏格下不变量集合的一致性，从而确认了镜像对称性在亏格零以上的有效性。
• 在 $U_{12}$ 情况下，$\frac{5}{26}t_3^2 t_4 t_{12}$、$\frac{2}{13}t_2 t_4^2 t_{12}$ 与 $\frac{3}{26}t_2^2 t_6 t_{12}$ 等特定高阶项在两套理论中被精确匹配。
• 本文首次为具有中心电荷大于一的加权齐次多项式建立了LG-LG镜像对称性的证明，解决了长期存在的开放问题。