Zhang-Kawazumi Invariants and Superstring Amplitudes

TL;DR

This work connects two-loop genus-two superstring amplitudes to arithmetic invariants by showing the D^6R^4 term is proportional to the Zhang–Kawazumi invariant φ on genus-two surfaces. It recasts φ in Arakelov-theoretic terms via the Green function and the Faltings δ-invariant, deriving explicit relations to modular objects such as Ψ_{10} and the real modular form Φ. The authors extend the construction to higher-genus-two invariants B_2^{(2,0)} and B_2^{(1,1)}, providing a diagrammatic interpretation of the α′-expansion in terms of propagator graphs, and discuss degeneration limits and convergence of φ integrated over M_2. A key outcome is a duality-based prediction for the exact value of ∫_{M_2} dμ_2 φ, equating it to (3/2)V_2 = 2π^3/45, thereby linking perturbative amplitudes to deep arithmetic geometry. The paper thus advances the synthesis of string perturbation theory, modular forms, and algebraic geometry, with implications for testing SL(2,ℤ) duality nonperturbatively.

Abstract

Invariance of Type IIB superstring theory under SL(2,Z) or S-duality implies dependence on the complex coupling T through real and complex modular forms in T. Their structure may be understood explicitly in an expansion of superstring corrections to Einstein's equations of gravity, in powers of derivatives D and curvature R. The perturbative loop expansion in the string coupling for the 4-string amplitude governs corrections of the form D^{2p} R^4 for all p. We show that, at two-loop order, the D^6 R^4 term is proportional to the integral of a modular invariant introduced by Zhang and Kawazumi in number theory and related to the Faltings delta-invariant studied for genus-two by Bost. The structure of two-loop superstring amplitudes for p>3 leads to higher invariants, which generalize Zhang--Kawazumi invariants at genus two. An explicit formula is derived for the unique higher invariant associated with order D^8 R^4. In an attempt to compare the prediction for the D^6 R^4 correction from superstring perturbation theory with the one produced by S-duality and supersymmetry of Type IIB, various reformulations of the invariant are given. This comparison with string theory leads to a predicted value for the integral of the Zhang-Kawazumi invariant over the moduli space of genus-two surfaces.

Figures (1)

• Figure 1: Four one-dimensional slices of the genus-two $\vartheta$-divisor are presented in co-moving coordinates $[x'x"]$ for the Jacobian. The moduli $\Omega _{11}$, $\Omega _{22}$, and the characteristic $x_2"$ are chosen "generically": we set $\Omega _{11}= 0.4+i$, $\Omega _{22}= 0.1+ 2i$, and $x_2"=0.55$. The remaining modulus is chosen to be real $\Omega _{12}=t$ and in the interval $[0,1]$. At $t=0$, we choose $x_1'=x_1"=1/2$, a point which is on the $\vartheta$-divisor for any value of $x_2'$ in view of (\ref{['6a1']}). We plot the parametric curves $x_1'(t)$ versus $x_1"(t)$ as $t$ runs from 0 to 1, for four values of $x_2'$, namely $x_2'=0.1$ (red), $x_2'=0.2$ (black), $x_2'=0.25$ (green), and $x_2'=0.3$ (blue), such that $\vartheta [x] (0, \Omega)=0$.