[论文解读] Multipoint series of Gromov-Witten invariants of CP^1

Ezra Getzler, Andreĭ Okounkov+1 more|ArXiv.org|Jul 12, 2002

Algebraic Geometry and Number Theory参考文献 9被引用 6

一句话总结

本文通过利用 Toda 层次结构和递推关系，推导出 ℂℙ¹ 上所有度数的多点 Gromov-Witten 不变量的显式公式。它基于零度数据建立了高阶不变量的归纳公式，得出涉及双曲函数的闭式表达式，从而实现对 Hodge 积分 ∫ψᵏλ_g 和 ∫ψᵏλ_{g−1} 的计算。

ABSTRACT

We give explicit formulas for the multipoint series of Gromov-Witten invariants of CP^1. We use the recursions of the Toda hierarchy to calculate these in degree 0, and the Toda equation and the degree 0 formulas to extend the calculation to higher degrees. We also obtain formulas for the Hodge series for the Hodge classes lambda_g and lambda_{g-1}.

研究动机与目标

• 通过 Toda 层次结构推导 ℂℙ¹ 上所有度数的多点 Gromov-Witten 不变量的显式公式。
• 对零度多点生成函数进行刻画，校正 ℳ̄_{0,1} 和 ℳ̄_{0,2} 为空模空间时的缺陷。
• 基于零度数据，建立高阶不变量的归纳公式。
• 利用推导出的多点生成函数计算 Hodge 积分 ∫ψᵏλ_g 和 ∫ψᵏλ_{g−1}。

提出的方法

• 利用 Toda 层次结构中涉及算子 ∇ 和 𝒟 的递推关系，建立不同度数间多点不变量的联系。
• 应用 Toda 方程 ∂_Q²ℱ = qe^u，推导出以低度不变量表示度 d 不变量的递推公式。
• 对零度多点生成函数引入修正定义，以考虑当 n=1 或 2 时 ℳ̄_{g,n,0} 中的拓扑障碍。
• 使用生成函数 ℱ^d[y|z] 编码 ℳ̄_{g,n,d}(ℂℙ¹) 上的不变量 ∫ψᵏ₁…ψᵏₘ ev*H ⋅ ψˡ₁…ψˡₙ。
• 采用基于分拆的变量分解方法，并利用双曲函数 sinh(ε(Y+Z)/2)/(ε(Y+Z)/2) 表达高阶贡献。
• 推导出归纳公式 (5.2)，将 ℱ^d 表示为低度不变量及零度生成函数的双线性乘积。

实验结果

研究问题

• RQ1 如何通过 Toda 层次结构计算 ℂℙ¹ 上所有度数的多点 Gromov-Witten 不变量？
• RQ2 当 ℳ̄_{0,1} 和 ℳ̄_{0,2} 为空时，零度多点生成函数的正确定义是什么？
• RQ3 Toda 递推关系如何实现从零度数据对高阶不变量的归纳计算？
• RQ4 能否基于多点生成函数推导出 Hodge 积分 ∫ψᵏ₁…ψᵏₙλ_g 和 ∫ψᵏ₁…ψᵏₙλ_{g−1} 的显式公式？
• RQ5 算子 ∇ = ε⁻¹(e^{ε∂/2} − e^{−ε∂/2}) 在 Gromov-Witten 潜势结构中起什么作用？

主要发现

• 零度多点生成函数被显式定义为 ℱ⁰[y|~] = y⁻² + ∑_{g≥1} ε²ᵍ ∑_k yᵏ⟨τ_{k,Q}⟩_{g,0} 和 ℱ⁰[y|z] = (y+z)⁻¹ + ∑_{g≥1} ε²ᵍ ∑_{k,l} yᵏzˡ⟨τ_{k,Q}τ_{l,P}⟩_{g,0}。
• 归纳公式 (5.2) 将 d>0 时的 ℱ^d[y|z] 表示为低度不变量的组合，涉及变量分拆的求和与双曲正弦函数的乘积。
• 高阶不变量被证明为三角函数的积分，具体涉及 [sinh(ε(Y+Z)/2)/(ε(Y+Z)/2)]²。
• 通过推导出的多点生成函数，Hodge 积分 ∫_{ℳ̄_{g,n}} ψᵏ₁…ψᵏₙλ_g 和 ∫_{ℳ̄_{g,n}} ψᵏ₁…ψᵏₙλ_{g−1} 被显式计算。
• 涉及 ∂_k,Q 和 ∂_k,P 算子的递推式 (1.3) 与 Toda 方程共同完全刻画了 ℂℙ¹ 的 Gromov-Witten 潜势。
• 本文证明了涉及树型求和与生成函数的恒等式，如 (x+Z)^{n−1} + (n−1)x(x+Z)^{n−2} = x∑_{0<|I|<n} (x+Z_I)^{|I|−1}(Z−Z_I)^{n−|I|−1} + Z^{n−1}，这些恒等式构成了主要递推关系的基础。