[论文解读] Witten's D_4 Integrable Hierarchies Conjecture

Huijun Fan, Amanda Francis+3 more|arXiv (Cornell University)|Aug 5, 2010

Algebraic structures and combinatorial models参考文献 7被引用 5

一句话总结

本文证明了具有特定对称群的 D4 及其对偶 DT4 Landau-Ginzburg 群 orbifolds 的总后代势函数是 D4 Kac-Wakimoto/Drinfeld-Sokolov 可积层级的 tau 函数。作者通过使用新颖的重构方法，结合 WDVV 方程与关键七点关联器的代数几何计算，克服了关联器中广义插入项的挑战，成功解决了 Witten 可积层级猜想在 ADE 奇点中的最后一个开放问题，该关联器被证明在 2/27 处非零。

ABSTRACT

We prove that the total descendant potential functions of the theory of Fan-Jarvis-Ruan-Witten for D_4 with symmetry group and D_4^T with symmetry group G_{max}, respectively, are both tau-functions of the D_4 Kac-Wakimoto/Drinfeld-Sokolov hierarchy. This completes the proof, begun in [FJR], of the Witten Integrable Hierarchies Conjecture for all simple (ADE) singularities.

研究动机与目标

• 通过解决剩余的 D4 和 DT4 情况，完成对所有简单 ADE 奇点的 Witten 可积层级猜想的证明。
• 确立 D4 和 DT4 的 Fan-Jarvis-Ruan-Witten 理论的总后代势函数是 D4 Kac-Wakimoto/Drinfeld-Sokolov 层级的 tau 函数。
• 克服计算具有广义插入项的特殊四点关联器的技术挑战，这些关联器无法通过标准代数几何约化方法处理。
• 证明 D4 理论中唯一的七点初等关联器非零，从而确认层级结构的非平凡性。

提出的方法

• 使用重构定理，从三点头关联器和特殊四点头关联器确定完整的 Fan-Jarvis-Ruan-Witten 理论。
• 应用 WDVV 方程，将特殊四点头关联器的非零性与唯一七点头关联器的非零性联系起来。
• 利用稳定曲线模空间上的除子交点理论，计算亏格零初等势函数。
• 通过遗忘尾部映射的 κ2、ψi 和边界除子类的拉回，显式计算七点头关联器。
• 利用 Carel Faber 的 MAPLE 和 Drew Johnson 的 SAGE 代码，计算 Mg,n 上除子类的交点数。
• 通过代入 WDVV 关系并数值积分所得四次单项式和，验证七点头关联器的非零性。

实验结果

研究问题

• RQ1 具有对称群 ⟨J⟩ 的 D4 奇点的总后代势函数是否为 D4 Kac-Wakimoto/Drinfeld-Sokolov 层级的 tau 函数？
• RQ2 具有对称群 Gmax 的对偶 DT4 奇点的总后代势函数是否为同一层级的 tau 函数？
• RQ3 当标准代数几何约化失效时，如何计算具有广义插入项的特殊四点头关联器？
• RQ4 D4 理论中唯一的七点头初等关联器的值是多少？它是否为零？
• RQ5 能否通过 WDVV 方程和除子交点理论严格确立该七点头关联器的非零性？

主要发现

• 具有对称群 ⟨J⟩ 的 D4 的总后代势函数是 D4 Kac-Wakimoto/Drinfeld-Sokolov 层级的 tau 函数。
• 具有对称群 Gmax 的 DT4 的总后代势函数是同一 D4 层级的 tau 函数。
• D4 理论中的关键特殊四点头关联器非零，这对层级结构至关重要。
• D4 理论中唯一的七点头初等关联器被计算为 2/27，确认其非零，从而证实了解的非平凡性。
• 通过 WDVV 方程和利用除子类与交点理论的代数几何计算，确立了七点头关联器的非零性。
• SAGE 和 MAPLE 的计算结果一致，确认七点头关联器的值为 2/27。