Dimensional reduction of the M-theory Chern-Simons term at order $\ell_p^6$

TL;DR

The paper derives the circle reduction of the M-theory eight-derivative Chern-Simons coupling $t_8 ε_{11} A R^4$ at order $ℓ_p^6$ to obtain the one-loop $α'^3$ corrections in type IIA string theory. Through a careful accounting of gauge-non-invariant total derivatives, the authors reorganize 1,173 raw terms into a gauge-invariant basis of 288 contractions, leaving 93 nonzero couplings that are linear in $H^{(3)}$ and $¯F^{(4)}$, in addition to the standard $t_8 ε_{10} B R^4$ term. They further validate these results by reducing on K3 and demonstrating that the resulting six-dimensional four-derivative couplings transform under S-duality into the corresponding tree-level heterotic couplings on $T^4$, providing a nontrivial consistency check for both the M-theory CS term and its IIA reduction. The work isolates a complete, parity-even set of couplings linear in $H^{(3)}$ and $¯F^{(4)}$ at this order and discusses the implications for T-duality at one loop, highlighting avenues for future investigation, such as circular reductions to nine dimensions. Overall, the results reinforce the consistency of M-theory’s higher-derivative structure and its web of dualities with lower-dimensional string theories.

Abstract

The dimensional reduction of M-theory couplings at order $\ell_p^6$ is known to produce one-loop $α'^3$ corrections in type IIA string theory. In this paper, we perform the Kaluza-Klein reduction of the M-theory Chern-Simons coupling $t_8ε_{11} A R^4$ at this order. By meticulously accounting for non-gauge-invariant total derivative terms, we derive the complete set of corresponding one-loop, gauge-invariant couplings in the type IIA effective action. Our results not only reproduce the standard Chern-Simons term $t_8ε_{10} B R^4$ which is gauge invariant up to total derivatives, but also unveil a new set of gauge-invariant couplings involving RR and NS-NS field strengths. To validate our findings, we test their consistency under string dualities. We dimensionally reduce the derived type IIA couplings on a K3 manifold and show that the resulting one-loop $α'$ corrections in six dimensions transform under S-duality into the dimensional reduction of the tree-level heterotic string Chern-Simons coupling $H_{μνα} Ω^{μνα}$ on $T^4$. This non-trivial agreement provides strong evidence for the correctness of both the M-theory Chern-Simons term and its reduction to type IIA.