[论文解读] Three questions in Gromov-Witten theory

Rahul Pandharipande|ArXiv.org|Feb 7, 2003

Geometric and Algebraic Topology参考文献 24被引用 92

一句话总结

本文在广义西蒙-温特理论中提出了三个核心猜想：模曲线空间上塔洛克环的哥罗温斯坦性质、三叉广义西蒙-温特不变量中BPS态的存在性，以及所有非奇异射影代数簇的维拉索罗约束。该文提出，这些猜想揭示了广义西蒙-温特理论背后的深层代数与几何结构，其中维拉索罗约束尤为重要，因其可能通过显式算子形式与矩阵模型及顶点算子代数的联系，将广义西蒙-温特理论与可积系统联系起来。

ABSTRACT

This article accompanies my ICM talk in August 2002. Three conjectural directions in Gromov-Witten theory are discussed: Gorenstein properties, BPS states, and Virasoro constraints. Each points to basic structures in the subject which are not yet understood.

研究动机与目标

• 识别并阐明广义西蒙-温特理论中三个未解决的基础性问题，以揭示其背后的深层结构。
• 提出模曲线空间及其子空间的塔洛克环为有限维哥罗温斯坦代数，推广法伯猜想。
• 为三叉广义西蒙-温特理论中的BPS态提出一个普遍猜想，将BPS不变量的概念推广至所有非奇异射影三叉广义西蒙-温特理论。
• 将维拉索罗约束从已知情形（如点、P^1、P^n）扩展至所有非奇异射影代数簇，基于上同调数据与量子上同调。
• 探讨这些猜想在通过算子形式与相对理论，将广义西蒙-温特理论与可积系统及代数几何联系起来的潜力。

提出的方法

• 通过在遗忘映射与粘合映射下的拉回运算，形式化稳定映射模空间的塔洛克环。
• 通过紧类型、有理尾部与固定稳定曲线的子空间对M_{g,n}进行过滤，以研究其哥罗温斯坦性质。
• 引入一个作用于广义西蒙-温特生成函数的普遍维拉索罗算子代数，其构造基于交积配对、霍奇分解与反典范类的作用。
• 利用对称函数、量子杯积与形变参数的导数，推导出维拉索罗生成元L_k的显式公式。
• 使用虚拟基本类，将广义西蒙-温特不变量定义为对映射到X的稳定映射模空间上的积分。
• 将维拉索罗约束扩展至相对广义西蒙-温特理论，尤其针对一维目标，以支持绝对理论的证明。

实验结果

研究问题

• RQ1 模曲线空间及其子空间（如C_{g,n}）的塔洛克环是否为有限维哥罗温斯坦代数？
• RQ2 BPS态是否存在于所有非奇异射影三叉广义西蒙-温特理论中，它们在广义西蒙-温特生成函数中如何编码？
• RQ3 基于上同调数据，维拉索罗约束L_k(Z^X) = 0是否对所有非奇异射影代数簇X普遍成立？
• RQ4 维拉索罗约束能否扩展至相对广义西蒙-温特理论，且在证明绝对约束中是否具有基础性作用？
• RQ5 维拉索罗代数与矩阵模型/顶点算子代数实现所提示的那样，广义西蒙-温特理论与可积系统之间是否存在更深层的联系？

主要发现

• M_g的塔洛克环是哥罗温斯坦代数，其本体位于度数g−2，法伯已对低亏格情形证明此结论，而一般猜想将其推广至M_{g,n}的所有子空间。
• 塔洛克环的哥罗温斯坦性质被猜想适用于过滤M_{g,n} ⊃ M^c_{g,n} ⊃ M^{rt}_{g,n} ⊃ C_{g,n}中的所有子空间，其中C_{g,n}需固定曲线C_g。
• 维拉索罗约束被猜想普遍适用于所有非奇异射影代数簇X，其显式公式涉及交积配对、霍奇分解与反典范类。
• 当X = point时，维拉索罗约束退化为维滕猜想；当X = P^n时，该猜想已被吉文塔尔证明，确认了这些情形下的猜想成立。
• 维拉索罗约束被证明与相对理论相容，且在曲线C_g上的证明已建立，对绝对约束具有深远影响。
• 维拉索罗代数的结构，特别是括号[L_1, L_{-1}] = 2L_0，依赖于以霍奇数表示的陈数公式，表明其需要超越辛几何的代数结构。