Recognition: 2 theorem links
· Lean TheoremConsistent Truncations from Duality Symmetries and Desingularization of Orbifold Uplifts
Pith reviewed 2026-05-10 17:57 UTC · model grok-4.3
The pith
G_S-invariant subsectors yield consistent truncations even without being symmetries, and type IIB spindle uplifts are always non-regular with eight codimension-six orbifold singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
G_S-invariant subsectors of maximal gauged supergravities provide consistent truncations even when G_S is not a symmetry of the original theory. This enables the construction of an N=4 subsector of the D=4 N=8 [SO(6)×SO(1,1)]⋉R^{12} gauged supergravity, which is then used to uplift multicharge spindle solutions to type IIB. A regularity criterion for the uplift shows that these geometries are always non-regular and admit eight codimension-six orbifold singularities.
What carries the argument
The G_S-invariant subsector that supplies a consistent truncation together with the regularity criterion that detects orbifold singularities in the type IIB uplift.
If this is right
- Pure supergravities can be constructed around supersymmetric AdS_D solutions via these truncations.
- Every type IIB uplift of a multicharge spindle is non-regular and contains eight codimension-six orbifold singularities.
- The regularity criterion recovers known results for other spindle uplifts and predicts regularity properties for spindles on quasi-regular SE_7 manifolds.
Where Pith is reading between the lines
- The fixed count of eight singularities points to a universal orbifold structure in these uplifts.
- The truncation technique may extend to other duality groups and dimensions where full symmetries are absent.
Load-bearing premise
That G_S-invariant subsectors of maximal gauged supergravities remain consistent truncations even when G_S is not itself a symmetry of the full supergravity.
What would settle it
An explicit substitution of the truncated fields into the full ten-dimensional equations of motion that produces a nonzero residual, or the construction of a spindle uplift in type IIB whose geometry is regular everywhere.
read the original abstract
This paper is an extension of the results presented in \cite{Guarino:2024gke}. We study $ G_S$-invariant subsectors of maximal gauged supergravities and show that such models can provide consistent truncations even when $G_S$ is not a symmetry of the original supergravity. We show that this construction is key to building pure supergravities around a supersymmetric AdS$_D$ solution. We illustrate this construction by building a consistent $\mathcal{N}=4$ subsector of the $D=4$ $\mathcal{N}=8$ $[\mathrm{SO}(6)\times \mathrm{SO}(1,1)]\ltimes \mathbb{R}^{12}$ gauged supergravity. We use this result to build the uplift of the multicharge spindle solutions in type IIB and we define a simple criterion for assessing the regularity of the uplift. We show that the type IIB uplift of the spindle is always non-regular, admitting eight codimension-six orbifold singularities. We apply the same criterion to other spindle uplifts, recovering known results and making predictions on the regularity of spindles on (quasi-)regular SE$_7$ manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends prior results on consistent truncations by showing that G_S-invariant subsectors of maximal gauged supergravities yield consistent truncations even when G_S is not a symmetry of the parent theory. It constructs an explicit N=4 subsector of the D=4 N=8 [SO(6)×SO(1,1)]⋉R^{12} gauged supergravity, uses this to define an uplift ansatz for multicharge spindle solutions in type IIB, introduces a regularity criterion for the uplifted geometry, and concludes that all such type IIB spindle uplifts are non-regular with exactly eight codimension-six orbifold singularities. The same criterion is applied to other spindle uplifts on (quasi-)regular SE_7 manifolds to recover known results and generate new predictions.
Significance. If the truncation consistency proof holds, the work supplies a general method for extracting pure supergravities around AdS_D vacua via duality symmetries and supplies a practical regularity test for orbifold uplifts. The specific claim of eight codimension-six singularities in every type IIB spindle uplift, together with the predictions for SE_7 cases, would be a concrete, falsifiable statement about the geometry of these solutions.
major comments (1)
- [Construction of the N=4 subsector and uplift ansatz] The central claim that the type IIB uplift is always non-regular with eight codimension-six singularities rests on the construction of a consistent N=4 truncation where G_S need not be a symmetry of the original N=8 theory. The manuscript must explicitly verify that the equations of motion and supersymmetry variations close under the G_S projection for the multicharge spindle backgrounds; any gap here would invalidate the uplift ansatz and the subsequent regularity analysis.
minor comments (1)
- [Abstract and introduction] The abstract and introduction should clarify the precise relation to the cited prior work (Guarino:2024gke) so that the novel extension of the truncation theorem is immediately visible.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comment on the consistency of the N=4 truncation. We address the point below and will revise the paper accordingly to strengthen the presentation.
read point-by-point responses
-
Referee: [Construction of the N=4 subsector and uplift ansatz] The central claim that the type IIB uplift is always non-regular with eight codimension-six singularities rests on the construction of a consistent N=4 truncation where G_S need not be a symmetry of the original N=8 theory. The manuscript must explicitly verify that the equations of motion and supersymmetry variations close under the G_S projection for the multicharge spindle backgrounds; any gap here would invalidate the uplift ansatz and the subsequent regularity analysis.
Authors: We thank the referee for highlighting this point. The manuscript presents a general proof that any G_S-invariant subsector of the N=8 theory yields a consistent truncation, by showing that both the equations of motion and the supersymmetry variations remain closed under the projection (see Section 3). This argument does not rely on G_S being a symmetry of the parent theory and therefore applies to any solution lying in the subsector, including the multicharge spindle backgrounds. Nevertheless, we agree that an explicit substitution of the spindle ansatz into the truncated equations would make the application more transparent. In the revised manuscript we will add a short subsection performing this verification for the spindle metric and fluxes, confirming that the projected EOM and SUSY variations are satisfied. revision: yes
Circularity Check
No significant circularity; derivation of truncation extension, uplift, and regularity criterion is self-contained
full rationale
The paper derives that G_S-invariant subsectors can yield consistent truncations even when G_S is not a symmetry of the original supergravity, illustrates the result by explicitly constructing the N=4 subsector of the D=4 N=8 [SO(6)×SO(1,1)]⋉R^{12} gauged supergravity, uses it to define the type IIB uplift ansatz for multicharge spindles, introduces a regularity criterion, and concludes that the uplift is always non-regular with exactly eight codimension-six orbifold singularities. The reference to prior work is contextual; the central steps are new constructions and proofs presented in this manuscript. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the main claims to unverified inputs appear in the provided text. The chain from truncation consistency to uplift to regularity assessment stands independently against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption G_S-invariant subsectors of maximal gauged supergravities can provide consistent truncations even when G_S is not a symmetry of the original supergravity
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We show that the type IIB uplift of the spindle is always non-regular, admitting eight codimension-six orbifold singularities.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
G_S-invariant subsectors ... even when G_S is not a symmetry of the original supergravity
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]
A. Guarino, C. Sterckx and M. Trigiante,Consistent N=4, D=4 truncation of type IIB supergravity on S1×S5,Phys. Rev. D111(2025) 046019, [2410.23149]. 38
-
[2]
F. Cordaro, P. Fre, L. Gualtieri, P. Termonia and M. Trigiante,N=8 gaugings revisited: An Exhaustive classification,Nucl. Phys. B532(1998) 245–279, [hep-th/9804056]
-
[3]
H. Nicolai and H. Samtleben,Maximal gauged supergravity in three-dimensions,Phys. Rev. Lett.86(2001) 1686–1689, [hep-th/0010076]
- [4]
- [5]
- [6]
-
[7]
J. Schon and M. Weidner,Gauged N=4 supergravities,JHEP05(2006) 034, [hep-th/0602024]
-
[8]
G. Dall’Agata, N. Liatsos, R. Noris and M. Trigiante,Gauged D = 4N= 4 supergravity,JHEP09(2023) 071, [2305.04015]
-
[9]
Lectures on Gauged Supergravity and Flux Compactifications
H. Samtleben,Lectures on Gauged Supergravity and Flux Compactifications,Class. Quant. Grav.25(2008) 214002, [0808.4076]
work page Pith review arXiv 2008
-
[10]
Trigiante,Gauged Supergravities,Phys
M. Trigiante,Gauged Supergravities,Phys. Rept.680(2017) 1–175, [1609.09745]
-
[11]
G. Inverso and M. Trigiante,New (maximal) gauged supergravities, 3, 2025. 2503.08616
-
[12]
A. Coimbra, C. Strickland-Constable and D. Waldram,Supergravity as Generalised Geometry I: Type II Theories,JHEP11(2011) 091, [1107.1733]
-
[13]
A. Coimbra, C. Strickland-Constable and D. Waldram,Supergravity as Generalised Geometry II:E d(d) ×R + and M theory,JHEP03(2014) 019, [1212.1586]
-
[14]
O. Hohm and H. Samtleben,Exceptional Field Theory I:E 6(6) covariant Form of M-Theory and Type IIB,Phys. Rev. D89(2014) 066016, [1312.0614]
-
[15]
O. Hohm and H. Samtleben,Exceptional field theory. II. E 7(7),Phys. Rev. D89(2014) 066017, [1312.4542]
-
[16]
O. Hohm and H. Samtleben,Exceptional field theory. III. E 8(8),Phys. Rev. D90 (2014) 066002, [1406.3348]
-
[17]
G. Aldazabal, D. Marques and C. Nunez,Double Field Theory: A Pedagogical Review, Class. Quant. Grav.30(2013) 163001, [1305.1907]
- [18]
- [19]
-
[20]
C. Sterckx,Modave lecture notes: Introduction to Exceptional Field Theory,PoS Modave2023(2025) 004, [2410.19600]
-
[21]
Samtleben,Exceptional field theories,2503.16947
H. Samtleben,Exceptional field theories,2503.16947
-
[22]
A. Coimbra, C. Strickland-Constable and D. Waldram,E d(d) ×R + generalised geometry, connections and M theory,JHEP02(2014) 054, [1112.3989]
-
[23]
A. Coimbra, C. Strickland-Constable and D. Waldram,Supersymmetric Backgrounds and Generalised Special Holonomy,Class. Quant. Grav.33(2016) 125026, [1411.5721]. 39
-
[24]
D. Cassani, G. Josse, M. Petrini and D. Waldram,Systematics of consistent truncations from generalised geometry,JHEP11(2019) 017, [1907.06730]
- [25]
- [26]
-
[27]
G. Larios and O. Varela,MinimalD= 4N= 2supergravity fromD= 11: An M-theory free lunch,JHEP10(2019) 251, [1907.11027]
-
[28]
D. Cassani and P. Koerber,Tri-Sasakian consistent reduction,JHEP01(2012) 086, [1110.5327]
-
[29]
O. Hohm and H. Samtleben,Consistent Kaluza-Klein Truncations via Exceptional Field Theory,JHEP01(2015) 131, [1410.8145]
-
[30]
de Wit and H
B. de Wit and H. Nicolai,N=8 Supergravity,Nucl. Phys. B208(1982) 323
1982
-
[31]
de Wit and H
B. de Wit and H. Nicolai,The Consistency of the S**7 Truncation in D=11 Supergravity,Nucl. Phys. B281(1987) 211–240
1987
-
[32]
N. P. Warner,Some New Extrema of the Scalar Potential of GaugedN= 8 Supergravity,Phys. Lett. B128(1983) 169–173
1983
-
[33]
M. J. Duff, B. E. W. Nilsson and C. N. Pope,Kaluza-Klein Supergravity,Phys. Rept. 130(1986) 1–142
1986
- [34]
-
[35]
G. Inverso,Generalised Scherk-Schwarz reductions from gauged supergravity,JHEP12 (2017) 124, [1708.02589]
-
[36]
G. Inverso and D. Rovere,How to uplift D = 3 maximal supergravities,JHEP02 (2025) 130, [2410.14520]
-
[37]
G. Dall’Agata and G. Inverso,On the Vacua of N = 8 Gauged Supergravity in 4 Dimensions,Nucl. Phys. B859(2012) 70–95, [1112.3345]
-
[38]
A. Gallerati, H. Samtleben and M. Trigiante,TheN>2supersymmetric AdS vacua in maximal supergravity,JHEP12(2014) 174, [1410.0711]
-
[39]
G. Inverso, H. Samtleben and M. Trigiante,Type II supergravity origin of dyonic gaugings,Phys. Rev. D95(2017) 066020, [1612.05123]
- [40]
-
[41]
A. Guarino, C. Sterckx and M. Trigiante,N= 2supersymmetric S-folds,JHEP04 (2020) 050, [2002.03692]
-
[42]
A. Giambrone, E. Malek, H. Samtleben and M. Trigiante,Global properties of the conformal manifold for S-fold backgrounds,JHEP06(2021) 111, [2103.10797]
- [43]
-
[44]
A. Giambrone, A. Guarino, E. Malek, H. Samtleben, C. Sterckx and M. Trigiante, Holographic evidence for nonsupersymmetric conformal manifolds,Phys. Rev. D105 (2022) 066018, [2112.11966]. 40
- [45]
-
[46]
A. Guarino, A. Rudra, C. Sterckx and M. Trigiante,Blackening S-folds,JHEP10 (2024) 120, [2407.11593]
- [47]
- [48]
-
[49]
Consistent subsectors of maximal supergravity and wrapped M5-branes
M. Pico and O. Varela,Consistent subsectors of maximal supergravity and wrapped M5-branes,2511.15892
work page internal anchor Pith review Pith/arXiv arXiv
-
[50]
P. Ferrero, M. Inglese, D. Martelli and J. Sparks,Multicharge accelerating black holes and spinning spindles,Phys. Rev. D105(2022) 126001, [2109.14625]
-
[51]
D. Rovere and C. Sterckx,How to uplift non-maximal gauged supergravities, 2510.24850
-
[52]
P. Ferrero, J. P. Gauntlett, J. M. P. Ipi˜ na, D. Martelli and J. Sparks,Accelerating black holes and spinning spindles,Phys. Rev. D104(2021) 046007, [2012.08530]
-
[53]
D. Cassani, J. P. Gauntlett, D. Martelli and J. Sparks,Thermodynamics of accelerating and supersymmetric AdS4 black holes,Phys. Rev. D104(2021) 086005, [2106.05571]
-
[54]
P. Ferrero, J. P. Gauntlett and J. Sparks,Supersymmetric spindles,JHEP01(2022) 102, [2112.01543]
-
[55]
C. Couzens, K. Stemerdink and D. van de Heisteeg,M2-branes on discs and multi-charged spindles,JHEP04(2022) 107, [2110.00571]
-
[56]
P. Ferrero, J. P. Gauntlett, D. Martelli and J. Sparks,M5-branes wrapped on a spindle, JHEP11(2021) 002, [2105.13344]
-
[57]
P. Bomans and C. Couzens,On the classSorigin of spindle solutions,JHEP10(2024) 036, [2404.08083]
-
[58]
J. Louis and H. Triendl,Maximally supersymmetric AdS 4 vacua in N = 4 supergravity, JHEP10(2014) 007, [1406.3363]
-
[59]
A. Guarino and C. Sterckx,S-folds and holographic RG flows on the D3-brane,JHEP 06(2021) 051, [2103.12652]
- [60]
-
[61]
A. Guarino and C. Sterckx,Flat deformations of type IIB S-folds,JHEP11(2021) 171, [2109.06032]
-
[62]
M. Ces` aro, G. Larios and O. Varela,The spectrum of marginally-deformedN= 2 CFTs with AdS 4 S-fold duals of type IIB,JHEP12(2021) 214, [2109.11608]
-
[63]
A. Guarino and C. Sterckx,Type IIB S-folds: flat deformations, holography and stability,PoSCORFU2021(2022) 163, [2204.09993]
-
[64]
Group actions on manifolds
E. Meinrenken, “Group actions on manifolds.” https://www.math.toronto.edu/mein/teaching/LectureNotes/action.pdf, 2003
2003
-
[65]
L. Andrianopoli, R. D’Auria, S. Ferrara, P. Fre and M. Trigiante,E(7)(7) duality, BPS black hole evolution and fixed scalars,Nucl. Phys. B509(1998) 463–518, [hep-th/9707087]. 41
-
[66]
B. Assel and A. Tomasiello,Holographic duals of 3d S-fold CFTs,JHEP06(2018) 019, [1804.06419]
-
[67]
S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,
D. Gaiotto and E. Witten,S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,Adv. Theor. Math. Phys.13(2009) 721–896, [0807.3720]
-
[68]
Microstates of Accelerating and Supersymmetric AdS4 Black Holes from the Spindle Index
E. Colombo, S. M. Hosseini, D. Martelli, A. Pittelli and A. Zaffaroni,Microstates of Accelerating and Supersymmetric AdS4 Black Holes from the Spindle Index,Phys. Rev. Lett.133(2024) 031603, [2404.07173]
-
[69]
L. Coccia and C. F. Uhlemann,On the planar limit of 3dT σ ρ [SU (N)],JHEP06(2021) 038, [2011.10050]
-
[70]
A. Anabalon and S. F. Ross,Supersymmetric solitons and a degeneracy of solutions in AdS/CFT,JHEP07(2021) 015, [2104.14572]
-
[71]
U-Duality and Central Charges in Various Dimensions Revisited
L. Andrianopoli, R. D’Auria and S. Ferrara,U duality and central charges in various dimensions revisited,Int. J. Mod. Phys. A13(1998) 431–490, [hep-th/9612105]
work page Pith review arXiv 1998
-
[72]
Sezgin,Survey of supergravities,2312.06754
E. Sezgin,Survey of supergravities,2312.06754
-
[73]
P. K. Townsend,Cosmological Constant in Supergravity,Phys. Rev. D15(1977) 2802–2804
1977
-
[74]
Sparks,Sasaki-Einstein Manifolds,Surveys Diff
J. Sparks,Sasaki-Einstein Manifolds,Surveys Diff. Geom.16(2011) 265–324, [1004.2461]. 42
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.