Type IIA supergravity at one loop: α′3 terms in the metric-dilaton-RR one-form sector
摘要
The circle compactification of M-theory is dual to type IIA string theory, requiring that the dimensional reduction of the M-theory couplings
Further, upon compactifying on K3, we demonstrate that the resulting six-dimensional α′ couplings at one-loop level transform under S-duality into the tree-level α′ couplings of heterotic string theory on T4. This match necessitates carefully chosen field redefinitions for both the type IIA (on K3) and heterotic (on T4) sectors, providing a stringent test of the duality.