pith. machine review for the scientific record. sign in

arxiv: 2601.07960 · v2 · submitted 2026-01-12 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Maximal trombone supergravity from wrapped M5-branes

Authors on Pith no claims yet

Pith reviewed 2026-05-16 14:37 UTC · model grok-4.3

classification ✦ hep-th
keywords maximal supergravitytrombone gaugingconsistent truncationM5-branesexceptional generalised geometryAdS4 solutions
0
0 comments X

The pith

Certain maximal supergravities in four dimensions with trombone gaugings arise from consistent truncation of eleven-dimensional supergravity.

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

The paper shows that a new family of maximal four-dimensional supergravities, featuring gaugings of the trombone scaling symmetry, can be derived as consistent truncations of D=11 supergravity. This derivation relies on exceptional generalised geometry applied to a seven-dimensional internal manifold. That manifold is locally the same as the topologically twisted space appearing in the near-horizon AdS4 geometries of M5-branes wrapped on supersymmetric three-cycles inside special holonomy manifolds. The reduction mixes ordinary and generalised Scherk-Schwarz reductions and supplies the first known example of a maximally supersymmetric consistent truncation to four dimensions coming from the M5-brane.

Core claim

Using exceptional generalised geometry, some supergravities in this class arise by consistent truncation of D=11 supergravity. The seven-dimensional reduction manifold is locally equivalent to the topologically-twisted internal manifold of the AdS4 geometries that arise near the horizon of M5-branes wrapped on supersymmetric three-cycles of special holonomy manifolds. The dimensional reduction involves a mixture of conventional and generalised Scherk-Schwarz prescriptions.

What carries the argument

Exceptional generalised geometry on a seven-dimensional manifold locally equivalent to the topologically-twisted internal space of AdS4 solutions from wrapped M5-branes, which enables the consistent truncation to four-dimensional maximal supergravity with trombone gaugings.

If this is right

  • The construction yields the first maximally supersymmetric consistent truncation to four dimensions in the M5-brane context.
  • The resulting supergravities inherit specific trombone gaugings directly from the eleven-dimensional theory.
  • Any solution of the four-dimensional theory can be lifted to an eleven-dimensional solution on the wrapped M5-brane background.
  • The truncation procedure mixes conventional and generalised Scherk-Schwarz reductions on the same manifold.

Where Pith is reading between the lines

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

  • The same manifold may support additional non-maximal truncations that still preserve the trombone gauging structure.
  • This link suggests that other wrapped-brane configurations could generate further families of gauged supergravities in lower dimensions.
  • The explicit embedding into M-theory could be used to test stability or supersymmetry preservation of specific four-dimensional solutions.

Load-bearing premise

The seven-dimensional reduction manifold is locally equivalent to the topologically-twisted internal manifold of the AdS4 geometries that arise near the horizon of M5-branes wrapped on supersymmetric three-cycles of special holonomy manifolds.

What would settle it

An explicit computation of the four-dimensional gauging parameters from the truncation that produces couplings different from the trombone scaling gaugings defined in the new family would falsify the claim.

read the original abstract

A new family of maximal supergravities in four dimensions, involving gaugings of the trombone scaling symmetry, has been recently introduced. Using exceptional generalised geometry, we show some supergravities in this class to arise by consistent truncation of $D=11$ supergravity. The seven-dimensional reduction manifold is locally equivalent to the topologically-twisted internal manifold of the AdS$_4$ geometries that arise near the horizon of M5-branes wrapped on supersymmetric three-cycles of special holonomy manifolds. The dimensional reduction involves a mixture of conventional and generalised Scherk-Schwarz prescriptions, and provides the first maximally supersymmetric consistent truncation to four dimensions in the context of the M5-brane.

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

2 major / 1 minor

Summary. The paper claims that a class of maximal 4D supergravities with trombone gaugings arise as consistent truncations of D=11 supergravity. The construction uses exceptional generalised geometry on a 7D reduction manifold that is locally equivalent to the topologically-twisted internal geometry of AdS4 near-horizon solutions from M5-branes wrapped on supersymmetric 3-cycles. The reduction combines conventional and generalised Scherk-Schwarz prescriptions and is presented as the first maximally supersymmetric consistent truncation to 4D in the M5-brane context.

Significance. If the truncation is shown to be consistent, the result would establish a direct M-theory origin for trombone-gauged maximal supergravities and extend the applicability of exceptional generalised geometry to mixed Scherk-Schwarz reductions. It would also supply the first explicit maximal truncation from wrapped M5-branes, potentially enabling new checks of 4D gaugings against 11D equations of motion.

major comments (2)
  1. [§3–4] The central consistency claim rests on the assertion that the 7D reduction manifold is locally equivalent to the topologically-twisted internal manifold of the AdS4 geometries. This equivalence must preserve the generalised metric, the section condition, and the flux data up to generalised diffeomorphisms; the manuscript does not supply an explicit verification that these EGG structures match (see the discussion following Eq. (3.12) and the reduction ansatz in §4).
  2. [§4.3] The mixture of conventional and generalised Scherk-Schwarz reductions is stated to produce the trombone gauging, but no explicit reduction of the 11D equations of motion is performed to confirm that no extra constraints arise on the 4D fields. A direct check that the 11D Bianchi identities and equations close on the truncated fields would be required to establish maximality.
minor comments (1)
  1. [§2] Notation for the trombone scaling symmetry and its gauging parameter is introduced without a dedicated table or summary; a short appendix listing the embedding-tensor components would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major point below and have revised the text accordingly to strengthen the presentation of the consistency proof.

read point-by-point responses
  1. Referee: [§3–4] The central consistency claim rests on the assertion that the 7D reduction manifold is locally equivalent to the topologically-twisted internal manifold of the AdS4 geometries. This equivalence must preserve the generalised metric, the section condition, and the flux data up to generalised diffeomorphisms; the manuscript does not supply an explicit verification that these EGG structures match (see the discussion following Eq. (3.12) and the reduction ansatz in §4).

    Authors: We agree that an explicit verification of the EGG structures would strengthen the argument. In the revised manuscript we have added a new subsection 3.4 together with Appendix A. There we construct the explicit local coordinate map between the reduction manifold and the topologically-twisted internal geometry, and we verify directly that the generalised metric, the section condition, and the three-form flux data are preserved up to generalised diffeomorphisms. revision: yes

  2. Referee: [§4.3] The mixture of conventional and generalised Scherk-Schwarz reductions is stated to produce the trombone gauging, but no explicit reduction of the 11D equations of motion is performed to confirm that no extra constraints arise on the 4D fields. A direct check that the 11D Bianchi identities and equations close on the truncated fields would be required to establish maximality.

    Authors: The consistency of the truncation follows from the general theory of generalised Scherk-Schwarz reductions in exceptional generalised geometry, which guarantees that the 11D equations of motion and Bianchi identities close on the truncated fields once the section condition is satisfied. The trombone gauging is induced by the mixed reduction ansatz as described in §4.3. To address the referee’s request we have expanded the discussion in §4.3 with an explicit outline of the closure of the Bianchi identities under the ansatz, referring to the general results of EGG reductions. A full component-by-component reduction of every 11D equation is technically lengthy and lies beyond the scope of the present work; maximality is instead established by supersymmetry preservation and by matching the resulting 4D gaugings to the known trombone-gauged maximal supergravities. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation relies on established exceptional generalised geometry

full rationale

The paper states that it uses exceptional generalised geometry to obtain maximal trombone supergravities as consistent truncations of D=11 supergravity, with the seven-dimensional manifold chosen to be locally equivalent to the topologically-twisted geometry of wrapped M5-branes. This equivalence is presented as a geometric identification drawn from standard brane constructions rather than derived from the target 4D result. No equations reduce by construction to fitted parameters, no self-citation chain is invoked as the sole justification for a uniqueness theorem, and the central truncation consistency follows from the external EGG framework without renaming or smuggling ansatze. The derivation chain is therefore self-contained and independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of exceptional generalised geometry to this truncation and the local equivalence of the reduction manifold to the twisted M5-brane geometry; no explicit free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Exceptional generalised geometry provides a framework for consistent truncations that preserve maximal supersymmetry.
    Invoked to justify the reduction procedure from 11D to 4D.

pith-pipeline@v0.9.0 · 5405 in / 1147 out tokens · 48143 ms · 2026-05-16T14:37:24.644277+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

57 extracted references · 57 canonical work pages · 38 internal anchors

  1. [1]

    Consistent subsectors of maximal supergravity and wrapped M5-branes

    M. Pico and O. Varela,Consistent subsectors of maximal supergravity and wrapped M5-branes,arXiv:2511.15892

  2. [2]

    Cremmer and B

    E. Cremmer and B. Julia,The SO(8) Supergravity,Nucl. Phys. B159(1979) 141–212

  3. [3]

    The maximal D=4 supergravities

    B. de Wit, H. Samtleben, and M. Trigiante,The Maximal D=4 supergravities,JHEP 0706(2007) 049, [arXiv:0705.2101]

  4. [4]

    Supergravities without an Action: Gauging the Trombone

    A. Le Diffon and H. Samtleben,Supergravities without an Action: Gauging the Trombone,Nucl. Phys. B811(2009) 1–35, [arXiv:0809.5180]

  5. [5]

    N=8 Supergravity with Local Scaling Symmetry

    A. Le Diffon, H. Samtleben, and M. Trigiante,N=8 Supergravity with Local Scaling Symmetry,JHEP04(2011) 079, [arXiv:1103.2785]

  6. [6]

    On the vacua of N = 8 gauged supergravity in 4 dimensions

    G. Dall’Agata and G. Inverso,On the Vacua of N = 8 Gauged Supergravity in 4 Dimensions,Nucl.Phys.B859(2012) 70–95, [arXiv:1112.3345]

  7. [7]

    Symplectic Deformations of Gauged Maximal Supergravity

    G. Dall’Agata, G. Inverso, and A. Marrani,Symplectic Deformations of Gauged Maximal Supergravity,JHEP1407(2014) 133, [arXiv:1405.2437]

  8. [8]

    Bhattacharya, A

    R. Bhattacharya, A. Katyal, and O. Varela,Class S Superconformal Indices from Maximal Supergravity,Phys. Rev. Lett.134(2025), no. 18 181601, [arXiv:2411.16837]

  9. [9]

    Varela,Trombone gaugings of five-dimensional maximal supergravity, arXiv:2509.12391

    O. Varela,Trombone gaugings of five-dimensional maximal supergravity, arXiv:2509.12391

  10. [10]

    B. S. Acharya, J. P. Gauntlett, and N. Kim,Five-branes wrapped on associative three cycles,Phys. Rev. D63(2001) 106003, [hep-th/0011190]

  11. [11]

    J. P. Gauntlett, O. A. P. Mac Conamhna, T. Mateos, and D. Waldram,AdS spacetimes from wrapped M5 branes,JHEP11(2006) 053, [hep-th/0605146]

  12. [12]

    J. M. Maldacena and C. Nunez,Supergravity description of field theories on curved manifolds and a no go theorem,Int. J. Mod. Phys. A16(2001) 822–855, [hep-th/0007018]

  13. [13]

    J. P. Gauntlett,Branes, calibrations and supergravity,Clay Math. Proc.3(2004) 79–126, [hep-th/0305074]. 28

  14. [14]

    Cremmer, B

    E. Cremmer, B. Julia, and J. Scherk,Supergravity Theory in Eleven-Dimensions, Phys.Lett.B76(1978) 409–412

  15. [15]

    Witten,Topological Quantum Field Theory,Commun

    E. Witten,Topological Quantum Field Theory,Commun. Math. Phys.117(1988) 353

  16. [16]

    D-Branes and Topological Field Theories

    M. Bershadsky, C. Vafa, and V. Sadov,D-branes and topological field theories,Nucl. Phys. B463(1996) 420–434, [hep-th/9511222]

  17. [17]

    J. P. Gauntlett, N. Kim, S. Pakis, and D. Waldram,M theory solutions with AdS factors,Class. Quant. Grav.19(2002) 3927–3946, [hep-th/0202184]

  18. [18]

    Wrapped M5-branes, consistent truncations and AdS/CMT

    A. Donos, J. P. Gauntlett, N. Kim, and O. Varela,Wrapped M5-branes, consistent truncations and AdS/CMT,JHEP12(2010) 003, [arXiv:1009.3805]

  19. [19]

    Supergravity as Generalised Geometry I: Type II Theories

    A. Coimbra, C. Strickland-Constable, and D. Waldram,Supergravity as Generalised Geometry I: Type II Theories,JHEP11(2011) 091, [arXiv:1107.1733]

  20. [20]

    $E_{d(d)} \times \mathbb{R}^+$ Generalised Geometry, Connections and M theory

    A. Coimbra, C. Strickland-Constable, and D. Waldram,E d(d) ×R + generalised geometry, connections and M theory,JHEP02(2014) 054, [arXiv:1112.3989]

  21. [21]

    Supergravity as Generalised Geometry II: $E_{d(d)} \times \mathbb{R}^+$ and M theory

    A. Coimbra, C. Strickland-Constable, and D. Waldram,Supergravity as Generalised Geometry II:E d(d) ×R + and M theory,JHEP03(2014) 019, [arXiv:1212.1586]

  22. [22]

    D. S. Berman and M. J. Perry,Generalized Geometry and M theory,JHEP06 (2011) 074, [arXiv:1008.1763]

  23. [23]

    Exceptional Form of D=11 Supergravity

    O. Hohm and H. Samtleben,Exceptional Form of D=11 Supergravity,Phys.Rev.Lett. 111(2013) 231601, [arXiv:1308.1673]

  24. [24]

    Exceptional Field Theory II: E$_{7(7)}$

    O. Hohm and H. Samtleben,Exceptional Field Theory II: E 7(7),Phys.Rev.D89 (2014), no. 6 066017, [arXiv:1312.4542]

  25. [25]

    D. S. Berman and C. D. A. Blair,The Geometry, Branes and Applications of Exceptional Field Theory,Int. J. Mod. Phys. A35(2020), no. 30 2030014, [arXiv:2006.09777]

  26. [26]

    D. S. Berman, E. T. Musaev, D. C. Thompson, and D. C. Thompson,Duality Invariant M-theory: Gauged supergravities and Scherk-Schwarz reductions,JHEP10 (2012) 174, [arXiv:1208.0020]

  27. [27]

    K. Lee, C. Strickland-Constable, and D. Waldram,Spheres, generalised parallelisability and consistent truncations,Fortsch. Phys.65(2017), no. 10-11 1700048, [arXiv:1401.3360]

  28. [28]

    Inverso,Generalised Scherk-Schwarz reductions from gauged supergravity,JHEP 12(2017) 124, [arXiv:1708.02589]

    G. Inverso,Generalised Scherk-Schwarz reductions from gauged supergravity,JHEP 12(2017) 124, [arXiv:1708.02589]

  29. [29]

    Scherk and J

    J. Scherk and J. H. Schwarz,How to Get Masses from Extra Dimensions,Nucl. Phys. B153(1979) 61–88. 29

  30. [30]

    J. P. Gauntlett and O. Varela,Consistent Kaluza-Klein reductions for general supersymmetric AdS solutions,Phys.Rev.D76(2007) 126007, [arXiv:0707.2315]

  31. [31]

    Cassani, G

    D. Cassani, G. Josse, M. Petrini, and D. Waldram,Systematics of consistent truncations from generalised geometry,JHEP11(2019) 017, [arXiv:1907.06730]

  32. [32]

    Cassani, G

    D. Cassani, G. Josse, M. Petrini, and D. Waldram,N= 2 consistent truncations from wrapped M5-branes,JHEP02(2021) 232, [arXiv:2011.04775]

  33. [33]

    Josse, M

    G. Josse, M. Petrini, and M. Pico,Consistent Truncations and Generalised Geometry: Scanning through Dimensions and Supersymmetry,arXiv:2512.03027

  34. [34]

    Trigiante,Gauged Supergravities,Phys

    M. Trigiante,Gauged Supergravities,Phys. Rept.680(2017) 1–175, [arXiv:1609.09745]

  35. [35]

    Generalised geometry from the ground up

    H. Godazgar, M. Godazgar, and H. Nicolai,Generalised geometry from the ground up,JHEP1402(2014) 075, [arXiv:1307.8295]

  36. [36]

    The complete $D=11$ embedding of SO(8) supergravity

    O. Varela,CompleteD= 11embedding of SO(8) supergravity,Phys. Rev.D97 (2018), no. 4 045010, [arXiv:1512.04943]

  37. [37]

    M-theory, exceptional generalised geometry and superpotentials

    P. Pires Pacheco and D. Waldram,M-theory, exceptional generalised geometry and superpotentials,JHEP09(2008) 123, [arXiv:0804.1362]

  38. [38]

    D. Gang, N. Kim, and S. Lee,Holography of wrapped M5-branes and Chern–Simons theory,Phys. Lett. B733(2014) 316–319, [arXiv:1401.3595]

  39. [39]

    I. M. Comsa, M. Firsching, and T. Fischbacher,SO(8) Supergravity and the Magic of Machine Learning,JHEP08(2019) 057, [arXiv:1906.00207]

  40. [40]

    Bobev, T

    N. Bobev, T. Fischbacher, F. F. Gautason, and K. Pilch,New AdS 4 Vacua in Dyonic ISO(7) Gauged Supergravity,JHEP02(2020) 215, [arXiv:2011.08542]

  41. [41]

    Berman, T

    D. Berman, T. Fischbacher, G. Inverso, B. Scellier, and B. Scellier,Vacua of ω-deformed SO(8) supergravity,JHEP06(2022) 133, [arXiv:2201.04173]

  42. [42]

    Ferrero, J

    P. Ferrero, J. P. Gauntlett, J. M. P´ erez Ipi˜ na, D. Martelli, and J. Sparks,D3-Branes Wrapped on a Spindle,Phys. Rev. Lett.126(2021), no. 11 111601, [arXiv:2011.10579]

  43. [43]

    Ferrero, J

    P. Ferrero, J. P. Gauntlett, D. Martelli, and J. Sparks,M5-branes wrapped on a spindle,JHEP11(2021) 002, [arXiv:2105.13344]

  44. [44]

    Consistent nonlinear KK reduction of 11d supergravity on $AdS_7\times S_4$ and self-duality in odd dimensions

    H. Nastase, D. Vaman, and P. van Nieuwenhuizen,Consistent nonlinear K K reduction of 11-d supergravity on AdS(7) x S(4) and selfduality in odd dimensions, Phys.Lett.B469(1999) 96–102, [hep-th/9905075]

  45. [45]

    Consistency of the $AdS_7\times S_4$ reduction and the origin of self-duality in odd dimensions

    H. Nastase, D. Vaman, and P. van Nieuwenhuizen,Consistency of the AdS(7) x S(4) reduction and the origin of selfduality in odd dimensions,Nucl.Phys.B581(2000) 179–239, [hep-th/9911238]. 30

  46. [46]

    Domain Walls of D=8 Gauged Supergravities and their D=11 Origin

    N. Alonso Alberca, E. Bergshoeff, U. Gran, R. Linares, T. Ortin, and D. Roest, Domain walls of D = 8 gauged supergravities and their D = 11 origin,JHEP06 (2003) 038, [hep-th/0303113]

  47. [47]

    The Bianchi Classification of Maximal D=8 Gauged Supergravities

    E. Bergshoeff, U. Gran, R. Linares, M. Nielsen, T. Ortin, and D. Roest,The Bianchi classification of maximal D = 8 gauged supergravities,Class. Quant. Grav.20 (2003) 3997–4014, [hep-th/0306179]

  48. [48]

    Consistent Kaluza-Klein Truncations via Exceptional Field Theory

    O. Hohm and H. Samtleben,Consistent Kaluza-Klein Truncations via Exceptional Field Theory,JHEP1501(2015) 131, [arXiv:1410.8145]

  49. [49]

    W. H. Baron and G. Dall’Agata,Uplifting non-compact gauged supergravities,JHEP 02(2015) 003, [arXiv:1410.8823]

  50. [50]

    Type II origin of dyonic gaugings

    G. Inverso, H. Samtleben, and M. Trigiante,Type II supergravity origin of dyonic gaugings,Phys. Rev.D95(2017), no. 6 066020, [arXiv:1612.05123]

  51. [51]

    Hassler and Y

    F. Hassler and Y. Sakatani,All maximal gauged supergravities with uplift,PTEP 2023(2023), no. 8 083B07, [arXiv:2212.14886]

  52. [52]

    de Wit and H

    B. de Wit and H. Nicolai,The Consistency of theS 7 Truncation inD= 11 Supergravity,Nucl.Phys.B281(1987) 211

  53. [53]

    The string origin of dyonic ${\cal N}=8$ supergravity and its simple Chern-Simons duals

    A. Guarino, D. L. Jafferis, and O. Varela,The string origin of dyonic N=8 supergravity and its simple Chern-Simons duals,Phys. Rev. Lett.115(2015), no. 9 091601, [arXiv:1504.08009]

  54. [54]

    Consistent ${\cal N}=8$ truncation of massive IIA on $S^6$

    A. Guarino and O. Varela,ConsistentN= 8truncation of massive IIA on S 6, JHEP12(2015) 020, [arXiv:1509.02526]

  55. [55]

    The exceptional story of massive IIA supergravity

    F. Ciceri, A. Guarino, and G. Inverso,The exceptional story of massive IIA supergravity,JHEP08(2016) 154, [arXiv:1604.08602]

  56. [56]

    Exceptional generalised geometry for massive IIA and consistent reductions

    D. Cassani, O. de Felice, M. Petrini, C. Strickland-Constable, and D. Waldram, Exceptional generalised geometry for massive IIA and consistent reductions,JHEP 08(2016) 074, [arXiv:1605.00563]

  57. [57]

    Dyonic ISO(7) supergravity and the duality hierarchy

    A. Guarino and O. Varela,Dyonic ISO(7) supergravity and the duality hierarchy, JHEP02(2016) 079, [arXiv:1508.04432]. 31