[Paper Review] 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 GeometryMathematics20 references143 citations

TL;DR

This paper establishes a mathematical link between S-duality in string theory and geometric Eisenstein series for Kac-Moody groups. By introducing a refined generating function involving parabolic G-bundles on a surface with a curve, it proves elliptic behavior via functional equations under the affine Weyl group. The key result is an explicit formula for the universal blowup function in S-duality as a deformation of a Kac-Moody character, realized as an Eisenstein-Kac-Moody series for P¹, with parameters tied to motivic invariants and the Tate motive.

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.

Motivation & Objective

• To provide a conceptual mathematical foundation for the modular and elliptic behavior of generating functions in Vafa-Witten S-duality.
• To resolve the foundational question of why the formal variable q in the generating function should correspond to an elliptic curve.
• To establish a geometric realization of Eisenstein series for Kac-Moody groups via moduli of parabolic G-bundles with fixed behavior along a curve.
• To compute the universal blowup function in S-duality for any simply connected gauge group, using motivic invariants and deformation parameters.

Proposed method

• Introduces a generating function EG(q, z) encoding topological invariants of moduli spaces of parabolic G-bundles with fixed degree along a curve X.
• Works with motivic measures (e.g., point counts over finite fields) instead of Euler characteristics to ensure compatibility with cutting-and-pasting axioms.
• Proves that after multiplying by a Weyl-Kac denominator-like product, EG becomes a regular section of a theta-bundle on the relative abelian variety EL = E ⊗Z L.
• Uses the affine Grassmannian and Schubert cell decomposition to compute degrees of KX-structures, relating them to root systems and parahoric subgroups.
• Applies a parahoric analog of the Gindikin-Karpelevic formula to compute the second Chern class of associated structures.
• Identifies the generating function with a Hall-Littlewood-type polynomial for the affine root system of the Langlands dual group GL.

Experimental results

Research questions

• RQ1 Why should the formal variable q in the S-duality generating function FG(q) be interpreted as parameterizing elliptic curves?
• RQ2 Can the generating function for moduli of parabolic G-bundles exhibit both modular and elliptic behavior?
• RQ3 What is the precise mathematical structure underlying the universal blowup function in S-duality?
• RQ4 How can Eisenstein series for Kac-Moody groups be realized geometrically via moduli of bundles on surfaces?
• RQ5 What is the explicit form of the generating function for the case when the curve is P¹?

Key findings

• For X = P¹ and a fixed G-bundle P◦ on S − X, the generating function EG,P◦(q, z) is identified with the Hall-Littlewood polynomial for the affine root system of the Langlands dual group GL.
• The function FG,Q(q) for the universal blowup case (m = f = 0, d = 1) is given explicitly as ∑a∈L q−Ψ(a,a)/2 Lλ(a) ∏(n,α)∈b∆(a) (1 − qn)/(1 − L²qn), where λ(a) = |b∆(a)|.
• The generating function FG,Q(q) is shown to be the universal blowup function in S-duality, with a precise relation to moduli spaces under blowup of a point on a surface.
• The motivic generating function is proven to be a regular section of the dth power of a theta-bundle on EL, linking it to integrable representations of the Kac-Moody group.
• The functional equation of EG under the affine Weyl group confirms its elliptic behavior, generalizing Jacobi forms.
• The explicit formula for FG,Q(q) is derived via Schubert cell decomposition of the affine Grassmannian and degree computation of rational sections over parahoric subgroups.