Recognition: 4 theorem links
· Lean TheoremSpindle solutions with hyperscalars in D=4 gauged supergravity
Pith reviewed 2026-05-08 18:18 UTC · model grok-4.3
The pith
New supersymmetric AdS2 times spindle solutions are constructed in four-dimensional gauged supergravity coupled to a charged hyperscalar.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that explicit supersymmetric AdS₂ × Σ(n_N, n_S) solutions exist in the D=4 STU gauged supergravity coupled to a charged hyperscalar. These solutions satisfy the equations of motion, can be uplifted to smooth AdS₂ × Y₉ geometries in D=11 supergravity, allow non-coprime pole integers including orbifolds of the round sphere, and permit the hyperscalar to vanish at the poles. They naturally appear as the infrared endpoints of holographic RG flows triggered by relevant hyperscalar deformations of the AdS₂ solutions of the pure STU model.
What carries the argument
The spindle Σ(n_N, n_S), a two-dimensional surface with conical singularities at the north and south poles parameterized by integers n_N and n_S, together with the D=4 STU U(1)⁴ gauged supergravity coupled to a charged hyperscalar field that sources the new solutions.
If this is right
- The AdS₂ solutions serve as near-horizon geometries of supersymmetric accelerating black holes.
- The solutions uplift to smooth supersymmetric AdS₂ × Y₉ configurations in eleven-dimensional supergravity.
- Non-vanishing hyperscalars mark the infrared endpoints of holographic RG flows triggered by relevant deformations of the STU-model AdS₂ solutions.
- Spindles with non-coprime integers, including orbifolds of the round S², are now included in the supersymmetric catalogue.
Where Pith is reading between the lines
- The new solutions enlarge the possible holographic dual descriptions of field theories placed on spindle geometries.
- Allowing the hyperscalar to vanish at the poles may provide a continuous interpolation between solutions with and without hyperscalars.
- The construction suggests that similar spindle solutions could be sought in other gauged supergravity theories with additional matter fields.
Load-bearing premise
That explicit field configurations exist which simultaneously satisfy the supersymmetry conditions and the equations of motion while admitting a smooth eleven-dimensional uplift and corresponding to the claimed RG-flow endpoints.
What would settle it
A direct check that the proposed metric and field ansatz fails to solve the BPS equations or the equations of motion for any choice of parameters, or that the eleven-dimensional lift develops curvature singularities at the poles.
Figures
read the original abstract
We construct new classes of supersymmetric $AdS_2\times \Sigma$ solutions, where $\Sigma=\Sigma(n_N,n_S)$ is a spindle. Such solutions can arise as the near horizon limit of supersymmetric, accelerating black holes. The solutions are constructed using $D=4$ STU $U(1)^4$ gauged supergravity theory coupled to a charged hyperscalar, and can be uplifted to obtain smooth, supersymmetric $AdS_2\times Y_9$ solutions of $D=11$ supergravity. We allow $(n_N,n_S)$ to be non-coprime integers, including orbifolds of the round $S^2$. We also allow the hyperscalar to vanish at the poles. The $AdS_2$ solutions with non-vanishing hyperscalar can naturally arise as the endpoint of holographic RG flows, triggered by relevant hyperscalar deformations of the $AdS_2$ solutions of the STU model.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs new classes of supersymmetric AdS₂ × Σ solutions in D=4 STU U(1)^4 gauged supergravity coupled to a charged hyperscalar, where Σ = Σ(n_N, n_S) is a spindle that may have non-coprime integers (including orbifolds of S²). Explicit ansätze for the metric, gauge fields, and hyperscalar profile are provided that solve the Killing spinor equations and bosonic equations of motion; the solutions admit a smooth uplift to AdS₂ × Y₉ in D=11 supergravity, allow the hyperscalar to vanish at the poles, and are interpreted as possible near-horizon limits of accelerating black holes or endpoints of holographic RG flows triggered by hyperscalar deformations of the STU-model AdS₂ solutions.
Significance. If the explicit solutions satisfy the supersymmetry and equations-of-motion conditions as stated, the work meaningfully enlarges the known set of supersymmetric spindle geometries by incorporating hyperscalars and relaxing the coprimeness condition on the spindle parameters. The concrete uplift to eleven dimensions and the provision of parameter choices that ensure regularity at the poles constitute verifiable, reusable examples that can be used in holographic studies of RG flows and black-hole horizons.
minor comments (3)
- The interpretation that non-vanishing-hyperscalar solutions 'can naturally arise as the endpoint of holographic RG flows' is presented only as a plausible possibility; the manuscript should explicitly state whether this is supported by an explicit flow construction or remains an interpretive remark (e.g., in the discussion section following the solution ansatz).
- The abstract and introduction would benefit from a short, explicit statement of how the new solutions differ from the hyperscalar-free spindle solutions already present in the STU model literature, perhaps by highlighting the additional hyperscalar profile and the relaxed coprimeness condition.
- Notation for the spindle parameters (n_N, n_S) and the hyperscalar field should be introduced once with a clear definition before being used in the ansatz; occasional re-use of the same symbols for different quantities in the uplift section could be avoided.
Simulated Author's Rebuttal
We thank the referee for their positive summary and significance assessment of our manuscript. The referee's description accurately captures the construction of the new supersymmetric AdS₂ × Σ spindle solutions with hyperscalars in D=4 STU gauged supergravity, their uplift to D=11, and the allowance for non-coprime spindle parameters as well as vanishing hyperscalars at the poles. As no specific major comments were provided, we have no detailed points to address.
Circularity Check
No significant circularity; direct construction from ansatz
full rationale
The paper constructs explicit supersymmetric AdS2×Σ solutions by positing a metric, gauge field, and hyperscalar ansatz in D=4 STU gauged supergravity, then verifying that it solves the Killing spinor equations and bosonic EOM for appropriate parameter choices. The uplift to D=11 is stated as a direct consequence of the 4D fields. No fitted parameters are renamed as predictions, no self-citations supply load-bearing uniqueness theorems, and the RG-flow remark is presented only as a possible interpretation rather than a derived result. The derivation chain is therefore self-contained against the supergravity equations and does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The D=4 STU U(1)^4 gauged supergravity theory coupled to a charged hyperscalar is consistent and admits supersymmetric solutions.
Lean theorems connected to this paper
-
Foundation/AlexanderDuality.lean (D=3 forcing); Constants (c, ℏ, G ladder)alexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct new classes of supersymmetric AdS₂×Σ solutions ... using D=4 STU U(1)⁴ gauged supergravity theory coupled to a charged hyperscalar, and can be uplifted to obtain smooth, supersymmetric AdS₂×Y₉ solutions of D=11 supergravity.
-
Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J = ½(x+x⁻¹)−1) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
S_BH = (2π/(3 n_N n_S)) N^{3/2} sqrt( P̂^{(2)} − σ n_N n_S + σ s ) — entropy as a function of integer spindle data and fluxes p^I.
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]
Supergravity description of field theories on curved manifolds and a no go theorem
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,arXiv:hep-th/0007018
work page Pith review arXiv 2001
-
[2]
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.126no. 11, (2021) 111601, arXiv:2011.10579 [hep-th]
-
[3]
P. Ferrero, J. P. Gauntlett, J. M. P. Ipi˜ na, D. Martelli, and J. Sparks, “Accelerating black holes and spinning spindles,”Phys. Rev. D104no. 4, (2021) 046007,arXiv:2012.08530 [hep-th]
-
[4]
Rotating multi-charge spindles and their microstates,
S. M. Hosseini, K. Hristov, and A. Zaffaroni, “Rotating multi-charge spindles and their microstates,”JHEP07(2021) 182,arXiv:2104.11249 [hep-th]
- [5]
-
[6]
P. Ferrero, J. P. Gauntlett, D. Martelli, and J. Sparks, “M5-branes wrapped on a spindle,”JHEP11(2021) 002,arXiv:2105.13344 [hep-th]
-
[7]
D. Cassani, J. P. Gauntlett, D. Martelli, and J. Sparks, “Thermodynamics of accelerating and supersymmetric AdS4 black holes,”Phys. Rev. D104no. 8, (2021) 086005,arXiv:2106.05571 [hep-th]
-
[8]
P. Ferrero, M. Inglese, D. Martelli, and J. Sparks, “Multicharge accelerating black holes and spinning spindles,”Phys. Rev. D105no. 12, (2022) 126001, arXiv:2109.14625 [hep-th]
-
[9]
C. Couzens, K. Stemerdink, and D. van de Heisteeg, “M2-branes on discs and multi-charged spindles,”JHEP04(2022) 107,arXiv:2110.00571 [hep-th]
-
[10]
F. Faedo and D. Martelli, “D4-branes wrapped on a spindle,”JHEP02(2022) 101,arXiv:2111.13660 [hep-th]
-
[11]
P. Ferrero, J. P. Gauntlett, and J. Sparks, “Supersymmetric spindles,”JHEP01 (2022) 102,arXiv:2112.01543 [hep-th]. 72
-
[12]
C. Couzens, “A tale of (M)2 twists,”JHEP03(2022) 078,arXiv:2112.04462 [hep-th]
-
[13]
Giri, Black holes with spindles at the horizon, JHEP 06, 145, arXiv:2112.04431 [hep-th]
S. Giri, “Black holes with spindles at the horizon,”JHEP06(2022) 145, arXiv:2112.04431 [hep-th]
-
[14]
M5-branes wrapped on four-dimensional orbifolds,
K. C. M. Cheung, J. H. T. Fry, J. P. Gauntlett, and J. Sparks, “M5-branes wrapped on four-dimensional orbifolds,”JHEP08(2022) 082, arXiv:2204.02990 [hep-th]
-
[15]
M. Suh, “M5-branes and D4-branes wrapped on a direct product of spindle and Riemann surface,”JHEP02(2024) 205,arXiv:2207.00034 [hep-th]
-
[16]
Leigh-Strassler compactified on a spindle,
I. Arav, J. P. Gauntlett, M. M. Roberts, and C. Rosen, “Leigh-Strassler compactified on a spindle,”JHEP10(2022) 067,arXiv:2207.06427 [hep-th]
-
[17]
C. Couzens and K. Stemerdink, “Universal spindles: D2’s on Σ and M5’s on Σ×H 3,”arXiv:2207.06449 [hep-th]
-
[18]
A plethora of Type IIA embeddings for d = 5 minimal supergravity,
C. Couzens, N. T. Macpherson, and A. Passias, “A plethora of Type IIA embeddings for d = 5 minimal supergravity,”JHEP01(2023) 047, arXiv:2209.15540 [hep-th]
-
[19]
C. Couzens, H. Kim, N. Kim, Y. Lee, and M. Suh, “D4-branes wrapped on four-dimensional orbifolds through consistent truncation,”JHEP02(2023) 025, arXiv:2210.15695 [hep-th]
- [20]
- [21]
-
[22]
Suh,Spindle black holes and mass-deformed ABJM,JHEP05(2024) 267, [arXiv:2211.11782]
M. Suh, “Spindle black holes and mass-deformed ABJM,”JHEP05(2024) 267, arXiv:2211.11782 [hep-th]
-
[23]
Suh, Baryonic spindles from conifolds, JHEP02, 181, arXiv:2304.03308 [hep-th]
M. Suh, “Baryonic spindles from conifolds,”JHEP02(2025) 181, arXiv:2304.03308 [hep-th]. 73
-
[24]
A. Amariti, N. Petri, and A. Segati, “T 1,1 truncation on the spindle,”JHEP07 (2023) 087,arXiv:2304.03663 [hep-th]
-
[25]
K. Hristov and M. Suh, “Spindle black holes in AdS 4×SE 7,”JHEP10(2023) 141,arXiv:2307.10378 [hep-th]
-
[26]
Localizing wrapped M5-branes and gravitational blocks,
P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, “Localizing wrapped M5-branes and gravitational blocks,”Phys. Rev. D108no. 10, (2023) L101903, arXiv:2308.10933 [hep-th]
-
[27]
A. Amariti, S. Mancani, D. Morgante, N. Petri, and A. Segati, “BBBW on the spindle,”SciPost Phys.17no. 6, (2024) 154,arXiv:2309.11362 [hep-th]
-
[28]
M. Inglese, D. Martelli, and A. Pittelli, “Supersymmetry and Localization on Three-Dimensional Orbifolds,”arXiv:2312.17086 [hep-th]
- [29]
-
[30]
Marginally deformed AdS5/CFT4 and spindle-like orbifolds,
N. T. Macpherson, P. Merrikin, and C. Nunez, “Marginally deformed AdS5/CFT4 and spindle-like orbifolds,”JHEP07(2024) 042, arXiv:2403.02380 [hep-th]
-
[31]
M. Boisvert and P. Ferrero, “A story of non-conformal branes: spindles, disks, circles and black holes,”JHEP06(2024) 013,arXiv:2403.03989 [hep-th]
-
[32]
Ferrero,D6 branes wrapped on a spindle and Yp,q manifolds,JHEP05(2024) 182, [arXiv:2403.03988]
P. Ferrero, “D6 branes wrapped on a spindle and Y p,q manifolds,”JHEP05 (2024) 182,arXiv:2403.03988 [hep-th]
-
[33]
K. Hristov and M. Suh, “Spindle black holes and theories of classF,”JHEP08 (2024) 006,arXiv:2405.17432 [hep-th]
-
[34]
P. Bomans and C. Couzens, “On the classSorigin of spindle solutions,”JHEP 10(2024) 036,arXiv:2404.08083 [hep-th]
-
[35]
AdS solutions with spindle factors,
M. Suh, “AdS solutions with spindle factors,”JHEP10(2025) 086, arXiv:2409.04536 [hep-th]
-
[36]
Suh,M5-branes and D4-branes wrapped on disk×disk and spindle⋉disk, arXiv:2411.09737
M. Suh, “M5-branes and D4-branes wrapped on disk×disk and spindle⋉disk,” arXiv:2411.09737 [hep-th]. 74
-
[37]
M. K. Crisafio, A. Fontanarossa, and D. Martelli, “Nuts, bolts and spindles,” Lett. Math. Phys.115no. 2, (2025) 27,arXiv:2412.00428 [hep-th]
- [38]
-
[39]
Spindle solutions, hyperscalars and smooth uplifts,
I. Arav, J. P. Gauntlett, M. M. Roberts, and C. Rosen, “Spindle solutions, hyperscalars and smooth uplifts,”arXiv:2511.01964 [hep-th]
-
[40]
A. Conti and N. T. Macpherson, “SupersymmetricWCP n, AdS near horizons and orbifolds,”arXiv:2511.19624 [hep-th]
-
[41]
Mass-deformed ABJM and black holes in AdS4,
N. Bobev, V. S. Min, and K. Pilch, “Mass-deformed ABJM and black holes in AdS4,”JHEP03(2018) 050,arXiv:1801.03135 [hep-th]
-
[42]
P. Benetti Genolini, J. P. Gauntlett, Y. Jiao, A. L¨ uscher, and J. Sparks, “Localization and attraction,”JHEP05(2024) 152,arXiv:2401.10977 [hep-th]
-
[43]
P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, “Equivariant Localization in Supergravity,”Phys. Rev. Lett.131no. 12, (2023) 121602,arXiv:2306.03868 [hep-th]
-
[44]
Superconformal monodromy defects in ABJM and mABJM theory,
I. Arav, J. P. Gauntlett, Y. Jiao, M. M. Roberts, and C. Rosen, “Superconformal monodromy defects in ABJM and mABJM theory,”JHEP11(2024) 008, arXiv:2408.11088 [hep-th]
-
[45]
Black hole microstates in AdS$_4$ from supersymmetric localization
F. Benini, K. Hristov, and A. Zaffaroni, “Black hole microstates in AdS 4 from supersymmetric localization,”JHEP05(2016) 054,arXiv:1511.04085 [hep-th]
work page Pith review arXiv 2016
-
[46]
Some New Extrema of the Scalar Potential of GaugedN= 8 Supergravity,
N. P. Warner, “Some New Extrema of the Scalar Potential of GaugedN= 8 Supergravity,”Phys. Lett. B128(1983) 169–173
1983
-
[47]
Three-dimensional SCFTs, supersymmetric domain wall and renormalization group flow,
C.-H. Ahn and J. Paeng, “Three-dimensional SCFTs, supersymmetric domain wall and renormalization group flow,”Nucl. Phys. B595(2001) 119–137, arXiv:hep-th/0008065
-
[48]
An N=2 supersymmetric membrane flow,
R. Corrado, K. Pilch, and N. P. Warner, “An N=2 supersymmetric membrane flow,”Nucl. Phys. B629(2002) 74–96,arXiv:hep-th/0107220. 75
- [49]
-
[50]
AdS(4)/CFT(3) Squashed, Stretched and Warped,
I. Klebanov, T. Klose, and A. Murugan, “AdS(4)/CFT(3) Squashed, Stretched and Warped,”JHEP03(2009) 140,arXiv:0809.3773 [hep-th]
-
[51]
Consistent Kaluza-Klein Reductions for General Supersymmetric AdS Solutions
J. P. Gauntlett and O. Varela, “Consistent Kaluza-Klein reductions for general supersymmetric AdS solutions,”Phys. Rev. D76(2007) 126007, arXiv:0707.2315 [hep-th]
work page Pith review arXiv 2007
-
[52]
An SU(4) Invariant Compactification ofd= 11 Supergravity on a Stretched Seven Sphere,
C. N. Pope and N. P. Warner, “An SU(4) Invariant Compactification ofd= 11 Supergravity on a Stretched Seven Sphere,”Phys. Lett. B150(1985) 352–356
1985
-
[53]
Supergravity Instabilities of Non-Supersymmetric Quantum Critical Points,
N. Bobev, N. Halmagyi, K. Pilch, and N. P. Warner, “Supergravity Instabilities of Non-Supersymmetric Quantum Critical Points,”Class. Quant. Grav.27 (2010) 235013,arXiv:1006.2546 [hep-th]
-
[54]
Embedding AdS Black Holes in Ten and Eleven Dimensions
M. Cvetic, M. J. Duff, P. Hoxha, J. T. Liu, H. Lu, J. X. Lu, R. Martinez-Acosta, C. N. Pope, H. Sati, and T. A. Tran, “Embedding AdS black holes in ten-dimensions and eleven-dimensions,”Nucl. Phys. B558(1999) 96–126, arXiv:hep-th/9903214
work page Pith review arXiv 1999
-
[55]
Seifert fibrations of lens spaces,
H. Geiges and C. Lange, “Seifert fibrations of lens spaces,”Abh. Math. Semin. Univ. Hambg.88(2018) 1–22,arXiv:1608.06844 [math.GT]. 76
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.