[论文解读] Witten's conjecture, Virasoro conjecture, and invariance of tautological equations

Y.-P. Lee|ArXiv.org|Nov 7, 2003

Algebraic Geometry and Number Theory参考文献 22被引用 19

一句话总结

本文通过扭结群作用下重言方程的不变性，证明了在亏格一和亏格二情形下，关于高自旋曲线的威滕猜想以及共形半单弗罗贝尼乌斯流形的维拉斯罗猜想。关键结果确认了r自旋理论与格罗莫夫-惠特尼理论的tau函数在低亏格下满足预期的维拉斯罗约束与重言关系。

ABSTRACT

The main goal of this paper is to prove the following two conjectures for genus up to two: 1. Witten's conjecture on the relations between higher spin curves and Gelfand--Dickey hierarchy. 2. Virasoro conjecture for target manifolds with conformal semisimple Frobenius manifolds. The main technique used in the proof is the invariance of tautological equations under loop group action.

研究动机与目标

• 证明威滕于1991年提出的猜想：在亏格g ≤ 2时，r自旋交点数与盖尔范德-迪基层级之间存在关联。
• 在亏格g ≤ 2下验证目标流形具有共形半单弗罗贝尼乌斯结构时的维拉斯罗猜想。
• 确立模曲线空间中的重言关系在扭结群作用下保持不变，从而为猜想的证明提供关键技术工具。
• 拓展对格罗莫夫-惠特尼理论中重言关系的理解，及其在验证高亏格量子不变量中的作用。
• 通过几何与代数技术，确认低亏格格罗莫夫-惠特尼理论中维拉斯罗约束与重言方程的一致性。

提出的方法

• 利用重言方程在扭结群作用下的不变性，这是证明主要结果的核心技术。
• 应用亏格零与亏格一的拓扑递归关系（TRR）以及WDVV方程，以简化并消去高亏格不变量中的项。
• 借助蒙福德关系，将亏格二不变量表示为低亏格分量的组合，从而实现向亏格零与一计算的约化。
• 利用维拉斯罗代数结构与初等方程，约束tau函数的形式，确保其与猜想一致。
• 分析格茨勒方程与贝利文-波利亚科夫-萨莫洛维奇（BP）方程在R-不变性下的行为，证明其在扭结群变换下保持不变。
• 对亏格一与亏格二不变量进行显式计算，按类型分组项，并通过对称/反对称性质及TRR实现消去。

实验结果

研究问题

• RQ1 r自旋理论的tau函数是否在亏格一与二时满足盖尔范德-迪基层级关系？
• RQ2 在亏格一与二时，共形半单弗罗贝尼乌斯流形的维拉斯罗猜想是否成立？
• RQ3 模曲线空间中的重言关系是否在扭结群作用下保持不变？
• RQ4 能否通过拓扑递归关系将亏格二格罗莫夫-惠特尼不变量约化为亏格零与一的不变量？
• RQ5 格茨勒与BP的亏格二方程在扭结群作用下是否保持不变？其在证明中起何作用？

主要发现

• 本文证明了在亏格g = 1与g = 2时，关于r自旋曲线与盖尔范德-迪基层级的威滕猜想。
• 在亏格一与二时，共形半单弗罗贝尼乌斯流形的维拉斯罗猜想得到确认，扩展了此前在亏格零的结果。
• 稳定曲线模空间中的重言方程在扭结群作用下保持不变，这是证明中的关键技术工具。
• 通过蒙福德关系与TRR，将亏格二不变量约化为亏格零与一的分量，从而实现对复杂项的消去。
• 通过利用对称/反对称配对以及WDVV与TRR，实现了亏格一与二不变量中项的消去。
• 证明了格茨勒与BP的亏格二方程在R-作用下保持不变，确认其与猜想约束的一致性。