Two-loop superstrings and S-duality

TL;DR

This work tests Type IIB SL(2,\mathbf{Z}) S-duality by matching the two-loop Type II NS-NS four-point amplitude to the duality-predicted $D^4R^4$ term, using factorization to fix overall normalization and showing exact agreement. The authors develop a first-principles two-loop amplitude via projection onto super period matrices, perform a careful genus-2 degeneration analysis to fix normalization constants, and extract the perturbative $D^4R^4$ contribution, confirming its duality-implied Eisenstein-series form. They also extend the perturbative analysis to heterotic strings, computing $D^2F^4$ (and related) two-loop contributions and revealing modular structure in the resulting corrections, with implications for the interplay between dualities and higher-derivative terms. Overall, the results provide a nontrivial indirect check of S-duality through precise normalization and degeneration-based factorization, reinforcing the protected nature and duality constraints of higher-derivative terms in string theory.

Abstract

The two-loop contribution to the Type IIB low energy effective action term $D^4 R^4$, predicted by SL(2,Z) duality, is compared with that of the two-loop 4-point function derived recently in superstring perturbation theory through the method of projection onto super period matrices. For this, the precise overall normalization of the 4-point function is determined through factorization. The resulting contributions to $D^4 R^4$ match exactly, thus providing an indirect check of SL(2,Z) duality. The two-loop Heterotic low energy term $D^2F^4$ is evaluated in string perturbation theory; its form is closely related to the $D^4 R^4$ term in Type II, although its significance to duality is an open issue.

Figures (1)

• Figure 1: Factorization of the tree-level (a) to (a'), one-loop (b) to (b') and two-loop (c) to (c') 4-point functions on a massive intermediate state.