pith. sign in

arxiv: 2512.01564 · v3 · pith:SAZHYVWLnew · submitted 2025-12-01 · ✦ hep-th

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

Mohammad R. Garousi This is my paper

Pith reviewed 2026-05-21 18:02 UTC · model grok-4.3

classification ✦ hep-th
keywords T-dualityS-dualityone-loop effective actiontype IIAtype IIBalpha' correctionsnine dimensionsBuscher rules
0
0 comments X

The pith

T-duality applied to circularly reduced one-loop couplings in type IIA produces nine-dimensional type IIB couplings invariant under S-duality without extra contributions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper investigates how T-duality transforms one-loop effective action terms from ten-dimensional type IIA string theory into nine dimensions. By reducing the known one-loop Chern-Simons and gravity couplings on a circle and then applying the Buscher rules for T-duality, the authors obtain corresponding couplings for type IIB theory. These resulting terms in nine dimensions turn out to be fully invariant under S-duality transformations on their own. This invariance holds at order alpha prime cubed without any input from tree-level actions or non-perturbative effects. As a check, further reduction on a K3 surface recovers the expected heterotic string theory couplings in five dimensions.

Core claim

By computing the circular reduction of the one-loop Chern-Simons term and pure-gravity couplings in type IIA theory at order alpha'^3 and applying the T-duality transformation, the nine-dimensional type IIB couplings are derived and shown to be invariant under S-duality without requiring contributions from the tree-level effective action or non-perturbative effects. As a consistency check, these couplings when reduced on a K3 surface reproduce the known heterotic string couplings on T^5 at order alpha'.

What carries the argument

The T-duality transformation via Buscher rules applied to the dimensionally reduced one-loop Chern-Simons and pure-gravity couplings at order alpha'^3.

If this is right

  • The derived couplings cannot be expressed as the reduction of a local ten-dimensional covariant action.
  • S-duality invariance of the nine-dimensional effective action at this order is achieved purely from the one-loop sector.
  • Reduction of these couplings on K3 yields the heterotic string effective action on T^5, confirming consistency via string dualities.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This approach may allow systematic derivation of higher-order terms in lower-dimensional string effective actions using T-duality.
  • The inherently nine-dimensional nature suggests that some stringy effects are tied to the compactification scale in a way not captured by ten-dimensional locality.
  • Similar methods could be applied to other orders in alpha' to uncover new duality-invariant structures.

Load-bearing premise

The Buscher rules for T-duality can be applied directly to the circularly reduced one-loop Chern-Simons and pure-gravity couplings without missing higher-order or non-local corrections.

What would settle it

A direct computation showing that the derived nine-dimensional couplings do not transform into each other under S-duality, or that their K3 reduction fails to match the known heterotic couplings at order alpha', would falsify the result.

read the original abstract

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 $\alpha'^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 \( \alpha' \), via the duality between the two theories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript claims that circular reduction of the one-loop Chern-Simons and pure-gravity couplings of ten-dimensional type IIA string theory at order α'^3, followed by T-duality via the Buscher rules, produces nine-dimensional type IIB couplings that are invariant under S-duality without any tree-level or non-perturbative contributions. A consistency check is performed by further reducing the resulting 9D couplings on a K3 surface, reproducing known heterotic string couplings on T^5 at order α'.

Significance. If the central derivation holds, the work provides a concrete mechanism for generating inherently nine-dimensional stringy couplings that do not lift to local ten-dimensional forms and demonstrates that S-duality invariance can be achieved purely from one-loop terms. The explicit consistency check against heterotic theory on T^5 via K3 reduction is a clear strength, supplying a falsifiable cross-check with independently known results.

major comments (1)
  1. The central claim that the derived 9D IIB couplings are exactly S-duality invariant rests on applying the leading-order Buscher rules directly to the circularly reduced α'^3 terms (as described in the abstract and the computation of the circular reduction and T-duality transformation). At order α'^3, T-duality transformations receive higher-derivative corrections (see e.g. literature on α'-corrected dualities). The manuscript does not appear to include or estimate these corrections; if they generate additional terms, they could spoil the claimed S-duality invariance or require mixing with tree-level contributions. This is load-bearing for the main result and requires explicit discussion or a demonstration that the corrections vanish or cancel in the final 9D expressions.
minor comments (1)
  1. The abstract outlines the sequence of reductions and transformations but contains no explicit equations or error estimates; adding a brief schematic equation for the key T-duality step would improve readability without altering the technical content.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive evaluation of the significance of our work and for the constructive major comment. We address the point below and will revise the manuscript to incorporate additional discussion as requested.

read point-by-point responses

  1. Referee: The central claim that the derived 9D IIB couplings are exactly S-duality invariant rests on applying the leading-order Buscher rules directly to the circularly reduced α'^3 terms (as described in the abstract and the computation of the circular reduction and T-duality transformation). At order α'^3, T-duality transformations receive higher-derivative corrections (see e.g. literature on α'-corrected dualities). The manuscript does not appear to include or estimate these corrections; if they generate additional terms, they could spoil the claimed S-duality invariance or require mixing with tree-level contributions. This is load-bearing for the main result and requires explicit discussion or a demonstration that the corrections vanish or cancel in the final 9D expressions.

    Authors: We thank the referee for highlighting this subtlety. Our derivation employs the standard leading-order Buscher rules on the circular reduction of the one-loop α'^3 Chern-Simons and gravitational terms from type IIA, as is conventional when extracting the corresponding IIB couplings at fixed order. The resulting nine-dimensional expressions are then verified to be invariant under S-duality. While α'-corrected T-duality transformations are known to exist, the corrections typically enter at orders that either lie beyond α'^3 in the effective action or cancel within the specific S-duality-invariant combinations we obtain. This is supported by the independent consistency check in which the nine-dimensional couplings, upon K3 reduction, reproduce the known heterotic results on T^5 without additional tree-level or non-perturbative input. To make the reasoning fully explicit, we will add a dedicated paragraph in the revised manuscript discussing the literature on α'-corrected dualities and explaining why the leading-order rules suffice for the S-duality invariance at this order. This addresses the referee's concern directly while leaving the core computation unchanged. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained from known 10D inputs via standard transformations

full rationale

The paper begins with independently established 10D one-loop Chern-Simons and pure-gravity couplings at order α'^3 in type IIA, performs an explicit circular reduction, applies the standard Buscher T-duality rules to map to 9D type IIB couplings, and directly verifies S-duality invariance of the resulting expressions without fitting or redefinition. The consistency check further reduces the derived 9D couplings on K3 to match known heterotic results on T^5, providing an external benchmark. No equation or step reduces by construction to a fitted parameter, self-defined quantity, or load-bearing self-citation; the central claim follows from the explicit computation and standard rules rather than circular renaming or imported uniqueness.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions of string effective field theory rather than new free parameters or invented entities. The 10D one-loop action and duality rules are taken as given inputs from prior literature.

axioms (2)
  • domain assumption The 10D one-loop effective action of type IIA at order alpha'^3 consists of known Chern-Simons and pure-gravity terms that can be dimensionally reduced on a circle.
    Invoked when computing the circular reduction before applying T-duality.
  • domain assumption Buscher rules remain valid when applied to the one-loop reduced couplings at order alpha'^3.
    Central step that produces the 9D IIB counterparts.

pith-pipeline@v0.9.0 · 5696 in / 1572 out tokens · 66154 ms · 2026-05-21T18:02:29.187358+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · 18 internal anchors

  1. [1]

    J. H. Schwarz, Phys. Rept.89, 223 (1982). doi:10.1016/0370-1573(82)90087-4

    work page doi:10.1016/0370-1573(82)90087-4 1982

  2. [2]

    D. J. Gross and E. Witten, Nucl. Phys. B277, 1 (1986) doi:10.1016/0550-3213(86)90429-3

    work page doi:10.1016/0550-3213(86)90429-3 1986

  3. [4]

    M. T. Grisaru, A. E. M. van de Ven and D. Zanon, Nucl. Phys. B277, 409-428 (1986) doi:10.1016/0550-3213(86)90449-9

    work page doi:10.1016/0550-3213(86)90449-9 1986

  4. [6]

    A. A. Tseytlin, Int. J. Mod. Phys. A4, 1257 (1989) doi:10.1142/S0217751X8900056X

    work page doi:10.1142/s0217751x8900056x 1989

  5. [7]

    Ozkan, Y

    M. Ozkan, Y. Pang and E. Sezgin, Phys. Rept.1086, 1-95 (2024) doi:10.1016/j.physrep.2024.07.002 [arXiv:2401.08945 [hep-th]]

    work page doi:10.1016/j.physrep.2024.07.002 2024

  6. [9]

    An Introduction to T-Duality in String Theory

    E. Alvarez, L. Alvarez-Gaume and Y. Lozano, Nucl. Phys. Proc. Suppl.41, 1 (1995) doi:10.1016/0920-5632(95)00429-D [hep-th/9410237]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0920-5632(95)00429-d 1995

  7. [10]

    M. R. Garousi, Phys. Rept.702, 1-30 (2017) doi:10.1016/j.physrep.2017.07.009 [arXiv:1702.00191 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2017.07.009 2017

  8. [11]

    J. H. Schwarz, Nucl. Phys. B Proc. Suppl.55, 1-32 (1997) doi:10.1016/S0920- 5632(97)00070-4 [arXiv:hep-th/9607201 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0920- 1997

  9. [13]

    M. B. Green and P. Vanhove, Phys. Lett. B408, 122-134 (1997) doi:10.1016/S0370- 2693(97)00785-5 [arXiv:hep-th/9704145 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0370- 1997

  10. [14]

    M. R. Garousi, [arXiv:2503.12104 [hep-th]]

    work page arXiv

  11. [15]

    M. R. Garousi, Phys. Rev. D105, no.10, 106021 (2022) doi:10.1103/PhysRevD.105.106021 [arXiv:2201.00588 [hep-th]]

    work page doi:10.1103/physrevd.105.106021 2022

  12. [16]

    M. R. Garousi, JHEP09, 020 (2023) doi:10.1007/JHEP09(2023)020 [arXiv:2307.00544 [hep-th]]

    work page doi:10.1007/jhep09(2023)020 2023

  13. [17]

    M. R. Garousi, JHEP02, 157 (2021) doi:10.1007/JHEP02(2021)157 [arXiv:2011.02753 [hep-th]]. 30

    work page doi:10.1007/jhep02(2021)157 2021

  14. [18]

    Wulff, JHEP02, 194 (2025) doi:10.1007/JHEP02(2025)194 [arXiv:2406.15234 [hep-th]]

    L. Wulff, JHEP02, 194 (2025) doi:10.1007/JHEP02(2025)194 [arXiv:2406.15234 [hep-th]]

    work page doi:10.1007/jhep02(2025)194 2025

  15. [19]

    Ameri, A

    M. Ameri, A. Pahlavan and M. R. Garousi, [arXiv:2506.19471 [hep-th]]

    work page arXiv

  16. [20]

    M. B. Green, J. H. Schwarz and L. Brink, Nucl. Phys. B198, 474-492 (1982) doi:10.1016/0550-3213(82)90336-4

    work page doi:10.1016/0550-3213(82)90336-4 1982

  17. [21]

    J. T. Liu and R. Minasian, Nucl. Phys. B967, 115386 (2021) doi:10.1016/j.nuclphysb.2021.115386 [arXiv:1912.10974 [hep-th]]

    work page doi:10.1016/j.nuclphysb.2021.115386 2021

  18. [22]

    C. M. Hull and P. K. Townsend, Nucl. Phys. B438, 109-137 (1995) doi:10.1201/9781482268737-24 [arXiv:hep-th/9410167 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1201/9781482268737-24 1995

  19. [23]

    P. S. Aspinwall, [arXiv:hep-th/9611137 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [26]

    xTras: a field-theory inspired xAct package for Mathematica

    T. Nutma, Comput. Phys. Commun.185, 1719 (2014) doi:10.1016/j.cpc.2014.02.006 [arXiv:1308.3493 [cs.SC]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.cpc.2014.02.006 2014

  21. [27]

    Huq and M

    M. Huq and M. A. Namazie, Class. Quant. Grav.2, 293 (1985) [erratum: Class. Quant. Grav.2, 597 (1985)] doi:10.1088/0264-9381/2/3/007

    work page doi:10.1088/0264-9381/2/3/007 1985

  22. [28]

    String theory and M-theory: A modern intro- duction,

    K. Becker, M. Becker and J. H. Schwarz, “String theory and M-theory: A modern intro- duction,”

    work page

  23. [30]

    M. J. Duff, J. T. Liu and R. Minasian, Nucl. Phys. B452, 261-282 (1995) doi:10.1201/9781482268737-17 [arXiv:hep-th/9506126 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1201/9781482268737-17 1995

  24. [31]

    Supersymmetric higher-derivative actions in ten and eleven dimensions, the associated superalgebras and their formulation in superspace

    K. Peeters, P. Vanhove and A. Westerberg, Class. Quant. Grav.18, 843-890 (2001) doi:10.1088/0264-9381/18/5/307 [arXiv:hep-th/0010167 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/18/5/307 2001

  25. [32]

    Higher Derivative Corrections to Eleven Dimensional Supergravity via Local Supersymmetry

    Y. Hyakutake and S. Ogushi, JHEP02, 068 (2006) doi:10.1088/1126-6708/2006/02/068 [arXiv:hep-th/0601092 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2006/02/068 2006

  26. [34]

    J. G. Russo and A. A. Tseytlin, Nucl. Phys. B508, 245-259 (1997) doi:10.1016/S0550- 3213(97)00631-7 [arXiv:hep-th/9707134 [hep-th]]. 31

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0550- 1997

  27. [35]

    M. R. Garousi, Phys. Rev. D112, no.10, 106019 (2025) doi:10.1103/7wvh-32zx [arXiv:2509.13726 [hep-th]]

    work page doi:10.1103/7wvh-32zx 2025

  28. [36]

    J. T. Liu and R. Minasian, Nucl. Phys. B874, 413-470 (2013) doi:10.1016/j.nuclphysb.2013.06.002 [arXiv:1304.3137 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2013.06.002 2013

  29. [38]

    Duality Beyond the First Loop

    N. Kaloper and K. A. Meissner, Phys. Rev. D56, 7940-7953 (1997) doi:10.1103/PhysRevD.56.7940 [arXiv:hep-th/9705193 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.56.7940 1997

  30. [39]

    R^4 Couplings in M and Type II Theories

    I. Antoniadis, S. Ferrara, R. Minasian and K. S. Narain, Nucl. Phys. B507, 571-588 (1997) doi:10.1016/S0550-3213(97)00572-5 [arXiv:hep-th/9707013 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0550-3213(97)00572-5 1997

  31. [40]

    T. H. Buscher, Phys. Lett. B194, 59-62 (1987) doi:10.1016/0370-2693(87)90769-6

    work page doi:10.1016/0370-2693(87)90769-6 1987

  32. [42]

    A. A. Tseytlin, Nucl. Phys. B469, 51-67 (1996) doi:10.1016/0550-3213(96)00173-3 [arXiv:hep-th/9602064 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(96)00173-3 1996

  33. [44]

    G. W. Gibbons and D. A. Rasheed, Phys. Lett. B365, 46-50 (1996) doi:10.1016/0370- 2693(95)01272-9 [arXiv:hep-th/9509141 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370- 1996

  34. [45]

    One loop inD= 11 vsD= 10: 4-point check,

    A. Aggarwal, S. Chakrabarti, S. W. Hsia, A. R. Kamal and L. Wulff, “One loop inD= 11 vsD= 10: 4-point check,” [arXiv:2506.16391 [hep-th]]

    work page arXiv

  35. [46]

    M. R. Garousi, JHEP11, 105 (2025) doi:10.1007/JHEP11(2025)105 [arXiv:2508.10529 [hep-th]]

    work page doi:10.1007/jhep11(2025)105 2025

  36. [47]

    Sakai and Y

    N. Sakai and Y. Tanii, Nucl. Phys. B287, 457 (1987) doi:10.1016/0550-3213(87)90114-3

    work page doi:10.1016/0550-3213(87)90114-3 1987

  37. [48]

    R. R. Metsaev and A. A. Tseytlin, Nucl. Phys. B293, 385 (1987). doi:10.1016/0550- 3213(87)90077-0

    work page doi:10.1016/0550- 1987

  38. [49]

    J. H. Schwarz, [arXiv:hep-th/9607067 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [50]

    Duality in the Type--II Superstring Effective Action

    E. Bergshoeff, C. M. Hull and T. Ortin, Nucl. Phys. B451, 547-578 (1995) doi:10.1016/0550-3213(95)00367-2 [arXiv:hep-th/9504081 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(95)00367-2 1995

  40. [51]

    M. R. Garousi and H. Razaghian, Phys. Rev. D100, no.10, 106007 (2019) doi:10.1103/PhysRevD.100.106007 [arXiv:1905.10800 [hep-th]]. 32

    work page doi:10.1103/physrevd.100.106007 2019