[论文解读] The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups

Mikhail Kapranov|ArXiv.org|Jan 2, 2000

Advanced Algebra and Geometry参考文献 20被引用 143

一句话总结

本文建立了弦理论中 S-对偶性与 Kac-Moody 群的几何 Eisenstein 系列之间的数学联系。通过引入一个涉及曲面与曲线上的抛物 G-丛的细化生成函数，利用仿射 Weyl 群下的函数方程证明了其椭圆性质。关键结果是：S-对偶性中的通用爆破函数被明确表示为 Kac-Moody 特征的形变，其在 P¹ 上实现为 Eisenstein-Kac-Moody 系列，参数与动机不变量及 Tate 模形式相关。

ABSTRACT

We establish a relation between the generating functions appearing in the S-duality conjecture of Vafa and Witten and geometric Eisenstein series for Kac-Moody groups. For a pair consisting of a surface and a curve on it, we consider a refined geometric function E (involving G-bundles with parabolic structures along the curve) which depends both on elliptic and modular variables. We prove a functional equation for E with respect to the affine Weyl group, thus establishing the elliptic behavior. When the curve is P^1, we calculate the Eisenstein-Kac-Moody series explicitly and it turns out to be a certain deformation of an irreducible Kac-Moody character, more precisely, an analog of the Hall-Littlewood polynomial for the affine root system. We also get an explicit formula for the universal blowup function for any simply connected structure group.

研究动机与目标

• 为 Vafa-Witten S-对偶性中生成函数的模形式与椭圆性质提供概念性的数学基础。
• 解决一个基础性问题：为何生成函数中的形式变量 q 应被解释为参数化椭圆曲线？
• 通过沿曲线具有固定行为的抛物 G-丛模空间，实现 Kac-Moody 群的 Eisenstein 系列的几何实现。
• 利用动机不变量与形变参数，计算任意单连通规范群的 S-对偶性中的通用爆破函数。

提出的方法

• 引入一个生成函数 EG(q, z)，用于编码沿曲线 X 具有固定度的抛物 G-丛模空间的拓扑不变量。
• 使用动机测度（例如有限域上的点计数）而非欧拉示性数，以确保与切割-粘贴公理相容。
• 证明：在乘以类似 Weyl-Kac 分母的乘积后，EG 成为相对阿贝尔簇 EL = E ⊗Z L 上 theta-丛的正则截面。
• 利用仿射 Grassmannian 与 Schubert 单元分解，计算 KX-结构的次数，将其与根系及抛物子群联系起来。
• 应用抛物子群的 Gindikin-Karpelevich 公式的类比，计算相关结构的第二陈类。
• 将生成函数识别为 Langlands 对偶群 GL 的仿射根系的 Hall-Littlewood 型多项式。

实验结果

研究问题

• RQ1 为何 S-对偶性生成函数 FG(q) 中的形式变量 q 应被解释为参数化椭圆曲线？
• RQ2 沿曲线的抛物 G-丛模空间的生成函数能否同时表现出模形式与椭圆性质？
• RQ3 S-对偶性中通用爆破函数背后的精确数学结构是什么？
• RQ4 如何通过曲面上丛的模空间几何实现 Kac-Moody 群的 Eisenstein 系列？
• RQ5 当曲线为 P¹ 时，生成函数的显式形式是什么？

主要发现

• 当 X = P¹ 且 S − X 上固定一个 G-丛 P◦ 时，生成函数 EG,P◦(q, z) 被识别为 Langlands 对偶群 GL 的仿射根系的 Hall-Littlewood 多项式。
• 对于通用爆破情形（m = f = 0, d = 1），函数 FG,Q(q) 显式给出为 ∑a∈L q−Ψ(a,a)/2 Lλ(a) ∏(n,α)∈b∆(a) (1 − qn)/(1 − L²qn)，其中 λ(a) = |b∆(a)|。
• 证明了生成函数 FG,Q(q) 即为 S-对偶性中的通用爆破函数，且与曲面上爆破一个点时的模空间存在精确关系。
• 动机生成函数被证明是 EL 上 theta-丛的 d 次幂的正则截面，从而与 Kac-Moody 群的可积表示相联系。
• EG 在仿射 Weyl 群下的函数方程证实了其椭圆性质，推广了 Jacobi 形式。
• 通过仿射 Grassmannian 的 Schubert 单元分解与抛物子群上理性截面的次数计算，推导出 FG,Q(q) 的显式公式。