[论文解读] Landau-Ginzburg Mirror Symmetry Conjecture

Weiqiang He, Si Li+2 more|arXiv (Cornell University)|Mar 5, 2015

Advanced Algebra and Geometry参考文献 37被引用 17

一句话总结

该论文通过建立镜多项式FJRW理论（LG A模型）与Saito-Givental理论（LG B模型）之间的等价性，证明了在可逆准齐次多项式奇点情形下，所有亏格的Landau-Ginzburg镜面对称猜想。证明依赖于使用WDVV方程和微扰公式进行重构的方法，通过Polishchuk-Vaintrob虚拟类显式计算非凹情形下的相关函数，最终在所有原子类型（包括链型与环型多项式）中验证了该猜想。

ABSTRACT

We prove the Landau-Ginzburg mirror symmetry conjecture between invertible quasi-homogeneous polynomial singularities at all genera. That is, we show that the FJRW theory (LG A-model) of such a polynomial is equivalent to the Saito-Givental theory (LG B-model) of the mirror polynomial.

研究动机与目标

• 为可逆准齐次多项式情形下所有亏格的Landau-Ginzburg镜面对称猜想提供完整的数学证明。
• 证明多项式$W$的FJRW理论（LG A模型）与镜多项式$W^T$的Saito-Givental理论（LG B模型）之间的等价性。
• 开发一种系统性的方法，利用WDVV方程与亏格零数据重构FJRW理论中的相关函数。
• 通过Polishchuk-Vaintrob虚拟类与微扰公式计算非凹情形下的相关函数，尤其针对环型多项式。
• 通过归约至基本构成块并利用递归重构证明一致性，验证所有原子类型（链型与环型多项式）下的猜想。

提出的方法

• 利用FJRW上同调场论处理A模型，Saito-Givental理论处理B模型，其中镜多项式$W^T$定义为$W$的指数矩阵的转置。
• 应用WDVV方程，通过一个将复杂相关函数约化为更简单形式的重构引理，从亏格零数据重构高亏格相关函数。
• 基于Brieskorn格、高阶余配对与良好基，采用B模型势能的微扰公式，实现量子不变量的显式计算。
• 对于非凹情形（如$ a_N = 2 $的环型多项式），通过涉及陈特征与伯努利数生成函数的极限公式，使用Polishchuk-Vaintrob虚拟类。
• 利用分裂原理将一般情形归约至原子类型（链型与环型多项式），以分离多项式的不可约分量。
• 应用Krawitz镜面对应，将$W$的FJRW态空间与$W^T$的雅克比代数联系起来，确保镜面对应的一致性。

实验结果

研究问题

• RQ1 可逆多项式$W$在最大对称群$G_W$下，其FJRW理论是否在所有亏格下与镜多项式$W^T$的Saito-Givental理论等价？
• RQ2 FJRW理论的亏格零数据是否可通过WDVV方程重构高亏格相关函数？
• RQ3 在标准凹性公理失效的非凹情形（如$ a_N = 2 $的环型多项式）中，如何计算相关函数？
• RQ4 在镜面对应下，重构过程是否在所有原子类型（包括链型与环型多项式）中保持一致？
• RQ5 B模型势能的微扰公式是否能通过虚拟类计算与FJRW势能精确匹配？

主要发现

• 在可逆准齐次多项式情形下，所有亏格的Landau-Ginzburg镜面对称猜想已完全证明。
• 在变量变换下，$(W, G_W)$的FJRW势能与镜多项式$W^T$的Saito-Givental势能完全匹配，证实了猜想。
• 对于$ a_N = 2 $的环型多项式，Polishchuk-Vaintrob虚拟类公式可精确计算相关函数，解决了非凹情形。
• 重构引理成功地将复杂相关函数约化为亏格零数据，且在费马型多项式情形下已显式验证。
• 在链型多项式中导出了关键恒等式$X = (a-1)q_1 = q_2$，确认了重构过程的一致性。
• 证明表明，镜面对应诱导了$W$的FJRW态空间与$W^T$的雅克比代数之间的同构，即使在不存在权为1/2的变量时亦成立。