Matching the $D^6 {\cal R}^4$ interaction at two-loops

TL;DR

This work computes the two-loop $D^6 {\cal R}^4$ coefficient in type II string theory by expressing it as the genus-two integral of the Zhang--Kawazumi invariant $\varphi$ over the moduli space ${\cal M}_2$ and proving that $\varphi$ satisfies the Laplace eigenvalue equation $(\Delta-5)\varphi=0$ in the interior, with a delta-source at the separating node on the boundary. Using this eigenvalue equation, the authors reduce the integral to a boundary contribution and obtain the exact value $\int_{\cal M_2} d\mu_2\,\varphi = \tfrac{2\pi^3}{45}$, which yields the known two-loop coefficient ${\cal E}_{(0,1)}^{(2)} = \tfrac{2\pi^4}{45}$ for $d=0$. This non-trivial match with S-duality predictions confirms the proposed inhomogeneous Laplace framework for the $D^6 {\cal R}^4$ interaction and connects the physics of two-loop amplitudes with deep structures in genus-two modular geometry, including relations to the Faltings invariant. The paper also situates these results within the broader program of determining higher-derivative couplings in toroidal compactifications and outlines the relevant differential constraints on related modular forms and Eisenstein series.

Abstract

The coefficient of the $D^6 {\cal R}^4$ interaction in the low energy expansion of the two-loop four-graviton amplitude in type II superstring theory is known to be proportional to the integral of the Zhang-Kawazumi (ZK) invariant over the moduli space of genus-two Riemann surfaces. We demonstrate that the ZK invariant is an eigenfunction with eigenvalue 5 of the Laplace-Beltrami operator in the interior of moduli space. Exploiting this result, we evaluate the integral of the ZK invariant explicitly, finding agreement with the value of the two-loop $D^6 {\cal R}^4$ interaction predicted on the basis of S-duality and supersymmetry. A review of the current understanding of the $D^{2p} {\cal R}^4$ interactions in type II superstring theory compactified on a torus $T^d$ with $p \leq 3$ and $d \leq 4$ is included.