[论文解读] Gromov-Witten theory, Hurwitz theory, and completed cycles

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Apr 24, 2002

Algebraic Geometry and Number Theory被引用 23

一句话总结

本文建立了目标曲线上的Gromov-Witten理论静止部分与Hurwitz理论之间的精确对应关系，表明Gromov-Witten理论中的下位不变量对应于由完整循环加权的Hurwitz数——即对称群特征的通用组合修正项。关键结果是给出了椭圆曲线Gromov-Witten不变量生成函数的闭式表达，其以拟模形式和θ函数表示，揭示了枚举几何、对称函数与可积系统之间的深刻联系。

ABSTRACT

We establish an explicit equivalence between the stationary sector of the Gromov-Witten theory of a target curve X and the enumeration of Hurwitz coverings of X in the basis of completed cycles. The stationary sector is formed, by definition, by the descendents of the point class. Completed cycles arise naturally in the theory of shifted symmetric functions. Using this equivalence, we give a complete description of the stationary Gromov-Witten theory of the projective line and elliptic curve. Toda equations for the relative stationary theory of the projective line are derived.

研究动机与目标

• 建立Gromov-Witten理论静止部分与非奇异曲线上Hurwitz理论之间的精确对应关系。
• 证明Gromov-Witten理论中下位插入项τk(ω)对应于Hurwitz理论中分支条件的通用线性组合。
• 证明完整循环——即对称群代数中普通k-循环的修正项——为两套理论之间的组合桥梁。
• 利用算子形式与拟模形式，推导P¹与椭圆曲线Gromov-Witten不变量的闭式生成函数。
• 揭示椭圆曲线上不变量的生成函数为拟模形式，通过模变换将大度数与小度数渐近行为联系起来。

提出的方法

• 通过退化技术和相对Gromov-Witten理论建立GW/H对应关系，将椭圆曲线上的不变量与P¹上的相对不变量联系起来。
• 在无限楔表示Λ^{∞/2}V上使用算子形式，表达生成函数并计算涉及创建与湮灭算子α₋μ和E₀(z)的迹。
• 利用Toda层级与τ函数形式，推导P¹上Gromov-Witten不变量的生成函数，其中字符串方程与Toda方程控制流。
• 对于椭圆曲线，退化公式将不变量表示为关于分拆μ的求和，权重为1/z(μ)，且在电荷零子空间中的迹给出生成函数。
• 关键方程(5.2)将生成函数表达为涉及q^H与顶点算子的迹，利用[1]与[10]中的已知结果进行计算。
• 最终的闭式表达(5.3)通过亏格1的θ函数ϑ(z)及其导数推导得出，行列式结构编码了n点关联函数。

实验结果

研究问题

• RQ1 目标曲线X的静止Gromov-Witten不变量如何与指定分支数据的Hurwitz数相关？
• RQ2 在对称群代数中，对应于Gromov-Witten理论中每个下位τk(ω)的精确组合对象是什么？
• RQ3 能否利用算子形式与特殊函数，以闭式表达P¹与椭圆曲线Gromov-Witten不变量的生成函数？
• RQ4 椭圆曲线不变量的生成函数具有何种模行为？其与拟模形式的关系如何？
• RQ5 模空间M̄g,n(X,d)中的边界分量如何贡献于完整循环中的修正项？

主要发现

• 目标曲线X的静止Gromov-Witten不变量等于将每个τk(ω)替换为其关联的完整循环后所得Hurwitz数之和，该完整循环为对称群代数中k-循环的通用修正。
• P¹上Gromov-Witten不变量的生成函数由满足Toda层级的τ函数给出，其显式算子公式源自无限楔表示。
• 对于椭圆曲线，n点生成函数FE(z₁,…,zn;q)表示为涉及顶点算子与能量算子H的迹，从而以亏格1的θ函数ϑ(z)形式得出闭式公式。
• 生成函数(5.3)为ϑ(z)导数的行列式之有理函数，经ϑ值乘积归一化，且在q上为拟模形式。
• 系数乘以(q)∞后，q^d的系数为Eisenstein级数E₂、E₄、E₆生成环中的权为∑(ki+2)的拟模形式，确立了强算术约束。
• 拟模形式性意味着q→0（小度数）与q→1（大度数）渐近行为之间存在深刻的模关系，连接了低亏格与高亏格行为。