The emergence of inherently 9-dimensional one-loop effective action from T-duality

Recent studies suggest that applying the Buscher rules to the dimensional reduction of ten-dimensional, one-loop effective actions generate “purely stringy” couplings in nine dimensions that cannot be lifted to a local, covariant form in ten dimensions. We investigate this phenomenon at order $α’^3$ in type IIA string theory. By computing the circular reduction of the one-loop Chern-Simons term and pure-gravity couplings in type IIA theory and applying the T-duality transformation to the resulting couplings, we derive their counterparts in the type IIB effective action. We demonstrate that the resulting nine-dimensional type IIB couplings are invariant under S-duality without requiring contributions from the tree-level effective action or non-perturbative effects. As a consistency check, we show that the nine-dimensional type IIB couplings, when reduced on a K3 surface, reproduce the known heterotic string couplings on ( T^5 ) at order ( α’ ), via the duality between the two theories.

💡 Research Summary

**
The paper investigates a striking phenomenon that arises when one-loop effective actions in ten‑dimensional string theory are compactified on a circle and then subjected to T‑duality. Focusing on the α′³ order in type IIA string theory, the authors first write down the known one‑loop Chern‑Simons term (a B‑field coupled to four Riemann tensors) and the pure‑gravity eight‑derivative terms. They perform a Kaluza‑Klein reduction on a circle of dimensionless radius R = e^{φ/2}, decomposing the ten‑dimensional NS‑NS fields into nine‑dimensional base fields (¯g_{ab}, ¯b_{ab}, ¯ϕ, φ) together with two vectors (g_a, b_a). In the large‑radius limit (R≫1) only Kaluza‑Klein modes survive, and the reduction yields a highly intricate nine‑dimensional Chern‑Simons action containing 11 terms of the type V_{ab}V_{cd}… and 80 terms involving the torsion‑modified three‑form ¯H_{abc}. These expressions are displayed in equations (4)–(7) of the manuscript.

The central step is to apply the Buscher rules for T‑duality. Under T‑duality the base metric, dilaton and torsion remain invariant, while the vectors are interchanged (g_a↔b_a) and the radion flips sign (φ→−φ). Implementing this transformation on the large‑radius action converts the Kaluza‑Klein‑only couplings into couplings that describe pure winding modes in the T‑dual theory, i.e. type IIB string theory in the small‑radius regime (R′=1/R). The resulting nine‑dimensional type IIB action (eq. 10) has exactly the same algebraic structure as the type IIA result, but with V replaced by W and the exponential factors of φ reversed. Thus the authors obtain a complete set of one‑loop, eight‑derivative terms that are intrinsically nine‑dimensional: they cannot be lifted to any covariant ten‑dimensional expression because they exist only as winding‑mode contributions.

A crucial consistency check is S‑duality. In the Einstein frame the type IIB theory enjoys an SL(2,R) symmetry that mixes the NS‑NS two‑form B₂ and the RR two‑form C₂ while the complex scalar τ=C₀+ie^{−Φ} transforms non‑linearly. The authors demonstrate that all terms in the nine‑dimensional IIB action are built from the SL(2,R)‑invariant matrix M_{ij}=e^{Φ}