Recognition: 2 theorem links
· Lean TheoremMaximal trombone supergravity from wrapped M5-branes
Pith reviewed 2026-05-16 14:37 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [§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).
- [§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)
- [§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
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
-
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
-
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
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
axioms (1)
- domain assumption Exceptional generalised geometry provides a framework for consistent truncations that preserve maximal supersymmetry.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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...
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
a mixture of conventional and generalised Scherk-Schwarz prescriptions
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
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
-
[2]
E. Cremmer and B. Julia,The SO(8) Supergravity,Nucl. Phys. B159(1979) 141–212
work page 1979
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[8]
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]
Varela,Trombone gaugings of five-dimensional maximal supergravity, arXiv:2509.12391
O. Varela,Trombone gaugings of five-dimensional maximal supergravity, arXiv:2509.12391
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[13]
J. P. Gauntlett,Branes, calibrations and supergravity,Clay Math. Proc.3(2004) 79–126, [hep-th/0305074]. 28
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[14]
E. Cremmer, B. Julia, and J. Scherk,Supergravity Theory in Eleven-Dimensions, Phys.Lett.B76(1978) 409–412
work page 1978
-
[15]
Witten,Topological Quantum Field Theory,Commun
E. Witten,Topological Quantum Field Theory,Commun. Math. Phys.117(1988) 353
work page 1988
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[22]
D. S. Berman and M. J. Perry,Generalized Geometry and M theory,JHEP06 (2011) 074, [arXiv:1008.1763]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [25]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[28]
G. Inverso,Generalised Scherk-Schwarz reductions from gauged supergravity,JHEP 12(2017) 124, [arXiv:1708.02589]
-
[29]
J. Scherk and J. H. Schwarz,How to Get Masses from Extra Dimensions,Nucl. Phys. B153(1979) 61–88. 29
work page 1979
-
[30]
J. P. Gauntlett and O. Varela,Consistent Kaluza-Klein reductions for general supersymmetric AdS solutions,Phys.Rev.D76(2007) 126007, [arXiv:0707.2315]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[31]
D. Cassani, G. Josse, M. Petrini, and D. Waldram,Systematics of consistent truncations from generalised geometry,JHEP11(2019) 017, [arXiv:1907.06730]
-
[32]
D. Cassani, G. Josse, M. Petrini, and D. Waldram,N= 2 consistent truncations from wrapped M5-branes,JHEP02(2021) 232, [arXiv:2011.04775]
- [33]
-
[34]
Trigiante,Gauged Supergravities,Phys
M. Trigiante,Gauged Supergravities,Phys. Rept.680(2017) 1–175, [arXiv:1609.09745]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [39]
- [40]
- [41]
-
[42]
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]
P. Ferrero, J. P. Gauntlett, D. Martelli, and J. Sparks,M5-branes wrapped on a spindle,JHEP11(2021) 002, [arXiv:2105.13344]
-
[44]
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]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[49]
W. H. Baron and G. Dall’Agata,Uplifting non-compact gauged supergravities,JHEP 02(2015) 003, [arXiv:1410.8823]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[51]
F. Hassler and Y. Sakatani,All maximal gauged supergravities with uplift,PTEP 2023(2023), no. 8 083B07, [arXiv:2212.14886]
-
[52]
B. de Wit and H. Nicolai,The Consistency of theS 7 Truncation inD= 11 Supergravity,Nucl.Phys.B281(1987) 211
work page 1987
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.