The D^6 R^4 term in type IIB string theory on T^2 and U-duality
Anirban Basu
TL;DR
The paper addresses the D^6 ${\cal{R}}^4$ coupling in type IIB string theory compactified on $T^2$ by constructing a manifestly U-duality invariant modular form. It combines $SL(3,\mathbb{Z})_M$ and $SL(2,\mathbb{Z})_U$ Eisenstein-series contributions with nontrivial functions $f(T,\bar{T})$ and $f(U,\bar{U})$, and provides a nonperturbative completion incorporating D-instantons and $(p,q)$-string instantons; the structure is tightly constrained by perturbation theory, decompactification limits, and seven- and eleven-dimensional dualities. The authors verify parts of the perturbative content via eleven-dimensional supergravity on $T^3$ and derive an explicit Poisson/Laplace equation framework for the exact modular form, showing consistency with known ten- and nine-dimensional limits and making concrete predictions for higher-genus contributions to related higher-derivative interactions. This work advances understanding of how U-duality constrains higher-derivative couplings and provides testable nonperturbative predictions across M-/string-theory dualities.
Abstract
We propose a manifestly U-duality invariant modular form for the D^6 R^4 interaction in the effective action of type IIB string theory compactified on T^2. It receives perturbative contributions upto genus three, as well as non-perturbative contributions from D-instantons and (p,q) string instantons wrapping T^2. Our construction is based on constraints coming from string perturbation theory, U-duality, the decompactification limit to ten dimensions, and the equality of the perturbative part of the amplitude in type IIA and type IIB string theories. Using duality, parts of the perturbative amplitude are also shown to match exactly the results obtained from eleven dimensional supergravity compactified on T^3 at one loop. We also obtain parts of the genus one and genus k amplitudes for the D^{2k} R^4 interaction for arbitrary k > 3. We enhance a part of this amplitude to a U-duality invariant modular form.
