Recognition: 2 theorem links
· Lean TheoremExact black holes and black branes with bumpy horizons supported by superfluid pions
Pith reviewed 2026-05-16 09:25 UTC · model grok-4.3
The pith
Exact solutions describe black holes and black branes whose horizons have bumpy geometries supported by superfluid pion vortices in the Einstein SU(2) nonlinear sigma model.
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 the Einstein SU(2) nonlinear sigma model admits exact black-hole and black-brane solutions whose horizons are bumpy, with the bumps protected by an integer vorticity topological invariant. The vortex ansatz reduces the matter sector to a BPS system and the gravitational sector to a sourced Liouville equation that controls the horizon deformation, allowing horizons of positive, zero or negative constant curvature to acquire stable bumpy geometries whose thermodynamic properties are determined by the same integer.
What carries the argument
An ansatz for superfluid pion multi-vortices that reduces the matter sector to a first-order BPS system and converts the Einstein equations into a Liouville equation with a smooth source term that deforms the horizon geometry.
If this is right
- Horizons of positive, zero, or negative constant curvature can all acquire stable bumpy shapes.
- The number of bumps and the black-hole thermodynamics are controlled by the integer vorticity.
- The solutions remain valid within the minimal Einstein-SU(2) sigma-model framework without exotic matter.
- Bumpy horizons arise for both black holes and black branes.
Where Pith is reading between the lines
- The same vorticity-protected bumps could appear as stable configurations in holographic models of superfluids.
- Astrophysical black holes carrying internal pion condensates might exhibit horizon deformations detectable through gravitational-wave ringdown signals.
- The Liouville-equation reduction suggests that similar exact solutions may exist in higher dimensions or with additional flavor symmetries.
Load-bearing premise
The chosen ansatz for the pion field configuration reduces the nonlinear matter and Einstein equations exactly to a BPS system plus a sourced Liouville equation.
What would settle it
A direct substitution of the ansatz into the full second-order Einstein and sigma-model equations that produces a nonzero residual would show that the solutions are not exact.
read the original abstract
We present exact solutions of the Einstein $SU(2)$ non-linear sigma model in $3+1$ spacetime dimensions, describing bumpy black holes and black branes. Using an Ansatz for superfluid pion multi-vortices, the matter sector reduces to a first-order BPS system, while the Einstein equations reduce to a Liouville equation with a smooth source governing the horizon deformation. These solutions describe horizons of different constant curvatures, with nontrivial bumpy geometries protected by an integer topological invariant, namely the vorticity, which also controls the number of bumps and the black hole thermodynamics. Remarkably, such horizons arise in a minimal and physically motivated matter model, without invoking exotic fields or modified gravity. The physical implications of these results in holography and astrophysics are briefly described.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs exact solutions to the Einstein-SU(2) nonlinear sigma model in 3+1 dimensions describing black holes and black branes. An ansatz for superfluid pion multi-vortices reduces the matter sector to a first-order BPS system and the Einstein equations to a Liouville equation whose smooth source governs horizon deformation. The solutions are claimed to yield horizons of constant curvature with nontrivial bumpy geometries, where the number of bumps and thermodynamic quantities are controlled by the integer vorticity topological invariant.
Significance. If the solutions are exact and the horizon properties hold, the work would provide rare integrable examples of topologically protected bumpy horizons in a minimal, physically motivated model without exotic fields. The BPS reduction and vorticity control of thermodynamics are notable strengths with potential relevance to holographic models and astrophysical superfluid phases.
major comments (1)
- [Abstract] Abstract and the description of the horizon geometry: the central claim that the horizons have constant curvatures yet nontrivial bumpy geometries protected by vorticity conflicts with the uniformization theorem. For fixed topology and constant Gaussian curvature K, the metric is rigid up to isometry (round sphere for K>0 on S^2; flat for K=0 on T^2). The Liouville reduction with vortex-density source produces K_eff = K_0 + f(source); a non-uniform source (required for bumps) necessarily makes K_eff position-dependent, contradicting constant curvature. Explicit verification of the horizon metric and source smoothness for arbitrary vorticity is needed to resolve this.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying a potential tension between our description of the horizon geometry and the uniformization theorem. We address this major comment below and will revise the manuscript accordingly to improve clarity and provide the requested explicit verification.
read point-by-point responses
-
Referee: [Abstract] Abstract and the description of the horizon geometry: the central claim that the horizons have constant curvatures yet nontrivial bumpy geometries protected by vorticity conflicts with the uniformization theorem. For fixed topology and constant Gaussian curvature K, the metric is rigid up to isometry (round sphere for K>0 on S^2; flat for K=0 on T^2). The Liouville reduction with vortex-density source produces K_eff = K_0 + f(source); a non-uniform source (required for bumps) necessarily makes K_eff position-dependent, contradicting constant curvature. Explicit verification of the horizon metric and source smoothness for arbitrary vorticity is needed to resolve this.
Authors: We appreciate the referee pointing out this subtlety. In the construction, the matter ansatz reduces the Einstein equations to a sourced Liouville equation for the conformal factor of the horizon metric. The vortex density enters as a smooth source that deforms the coordinate representation of the horizon while the equation is solved such that the Gaussian curvature remains exactly constant (equal to a value determined by the asymptotic boundary conditions and independent of position). The resulting metric is therefore isometric to the standard constant-curvature surface of the given topology, with the apparent “bumps” arising from the coordinate chart adapted to the integer vorticity; the intrinsic geometry is rigid as required by uniformization. Nevertheless, the original wording in the abstract and introduction can be misread as suggesting a position-dependent curvature, which is not the case. We will revise the abstract, add an explicit subsection verifying the horizon metric and curvature for representative vorticities (including direct computation of the Gaussian curvature scalar and confirmation that the source remains smooth), and include a brief discussion of how the coordinate deformation is compatible with the uniformization theorem. These changes will be incorporated in the next version. revision: yes
Circularity Check
No significant circularity; derivation proceeds from independent ansatz and topological input
full rationale
The paper introduces an ansatz for superfluid pion multi-vortices that reduces the matter sector to a first-order BPS system and the Einstein equations to a sourced Liouville equation. The vorticity enters as an independent integer topological invariant that determines the number of bumps and thermodynamics before the geometry is solved. No step reduces a claimed prediction or constant-curvature property to a fitted parameter or self-citation by construction; the solutions are obtained by solving the derived equations with the vortex source. The derivation chain remains self-contained against the stated inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Einstein equations coupled to the SU(2) nonlinear sigma model action are the correct classical description.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the Einstein equations reduce to a Liouville equation with a smooth source governing the horizon deformation... horizons of different constant curvatures, with nontrivial bumpy geometries protected by an integer topological invariant, namely the vorticity
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Using an Ansatz for superfluid pion multi-vortices, the matter sector reduces to a first-order BPS system
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.
Forward citations
Cited by 3 Pith papers
-
Hadronic lensing
Hadrons modeled by the nonlinear sigma model give photons a coordinate-dependent effective mass, yielding analytic expressions for the refractive index and a hadronic correction to the weak-field deflection angle arou...
-
Hadronic lensing
Hadrons described by the nonlinear sigma model minimally coupled to Maxwell theory modify photon paths away from null geodesics, enabling analytic hadronic corrections to gravitational lensing deflection angles.
-
BPS lumps in the Nonminimal $CP^1$ Maxwell-Chern-Simons Model
BPS lumps in the nonminimal CP1 Maxwell-Chern-Simons model carry quantized magnetic flux and nontrivial electric polarization fixed by the gauge field asymptotics and target-space geometry.
Reference graph
Works this paper leans on
-
[1]
Israel, Event horizons in static vacuum space-times, Phys
W. Israel, Event horizons in static vacuum space-times, Phys. Rev.164, 1776 (1967)
work page 1967
-
[2]
Carter, Axisymmetric Black Hole Has Only Two De- grees of Freedom, Phys
B. Carter, Axisymmetric Black Hole Has Only Two De- grees of Freedom, Phys. Rev. Lett.26, 331 (1971)
work page 1971
-
[3]
S. W. Hawking, Black holes in general relativity, Com- mun. Math. Phys.25, 152 (1972)
work page 1972
-
[4]
D. C. Robinson, Uniqueness of the Kerr black hole, Phys. Rev. Lett.34, 905 (1975)
work page 1975
-
[5]
J. L. Friedman, K. Schleich, and D. M. Witt, Topological censorship, Phys. Rev. Lett.71, 1486 (1993), [Erratum: Phys.Rev.Lett. 75, 1872 (1995)], arXiv:gr-qc/9305017
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[6]
G. W. Gibbons and S. W. Hawking, Cosmological Event Horizons, Thermodynamics, and Particle Creation, Phys. Rev. D15, 2738 (1977)
work page 1977
-
[7]
B. Linet, The static, cylindrically symmetric strings in general relativity with cosmological constant, J. Math. Phys.27, 1817 (1986)
work page 1986
-
[8]
J. P. S. Lemos, Cylindrical black hole in general relativ- ity, Phys. Lett. B353, 46 (1995), arXiv:gr-qc/9404041
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[9]
Birmingham, Topological black holes in Anti-de Sitter space, Class
D. Birmingham, Topological black holes in Anti-de Sitter space, Class. Quant. Grav.16, 1197 (1999), arXiv:hep- th/9808032
-
[10]
Black plane solutions in four dimensional spacetimes
R.-G. Cai and Y.-Z. Zhang, Black plane solutions in four- dimensional space-times, Phys. Rev. D54, 4891 (1996), arXiv:gr-qc/9609065. 6
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[11]
Black holes with unusual topology
L. Vanzo, Black holes with unusual topology, Phys. Rev. D56, 6475 (1997), arXiv:gr-qc/9705004
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[12]
Four-dimensional black holes with unusual horizons
D. Klemm, Four-dimensional black holes with un- usual horizons, Phys. Rev. D89, 084007 (2014), arXiv:1401.3107 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[13]
A rotating black ring in five dimensions
R. Emparan and H. S. Reall, A Rotating black ring so- lution in five-dimensions, Phys. Rev. Lett.88, 101101 (2002), arXiv:hep-th/0110260
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[14]
H. Elvang and P. Figueras, Black Saturn, JHEP05, 050, arXiv:hep-th/0701035
work page internal anchor Pith review Pith/arXiv arXiv
-
[15]
S. S. Gubser, On nonuniform black branes, Class. Quant. Grav.19, 4825 (2002), arXiv:hep-th/0110193
work page internal anchor Pith review Pith/arXiv arXiv 2002
- [16]
-
[17]
H. Iguchi and T. Mishima, Black di-ring and infi- nite nonuniqueness, Phys. Rev. D75, 064018 (2007), [Erratum: Phys.Rev.D 78, 069903 (2008)], arXiv:hep- th/0701043
-
[18]
Black Strings and p-Branes are Unstable
R. Gregory and R. Laflamme, Black strings and p- branes are unstable, Phys. Rev. Lett.70, 2837 (1993), arXiv:hep-th/9301052
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[19]
Black Strings, Low Viscosity Fluids, and Violation of Cosmic Censorship
L. Lehner and F. Pretorius, Black Strings, Low Viscosity Fluids, and Violation of Cosmic Censorship, Phys. Rev. Lett.105, 101102 (2010), arXiv:1006.5960 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[20]
End Point of Black Ring Instabilities and the Weak Cosmic Censorship Conjecture
P. Figueras, M. Kunesch, and S. Tunyasuvunakool, End Point of Black Ring Instabilities and the Weak Cosmic Censorship Conjecture, Phys. Rev. Lett.116, 071102 (2016), arXiv:1512.04532 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[21]
N. A. Collins and S. A. Hughes, Towards a formalism for mapping the space-times of massive compact objects: Bumpy black holes and their orbits, Phys. Rev. D69, 124022 (2004), arXiv:gr-qc/0402063
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[22]
C. A. R. Herdeiro and E. Radu, Kerr black holes with scalar hair, Phys. Rev. Lett.112, 221101 (2014), arXiv:1403.2757 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[23]
Kerr black holes with Proca hair
C. Herdeiro, E. Radu, and H. R´ unarsson, Kerr black holes with Proca hair, Class. Quant. Grav.33, 154001 (2016), arXiv:1603.02687 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[24]
D. D. Doneva and S. S. Yazadjiev, New Gauss-Bonnet Black Holes with Curvature-Induced Scalarization in Ex- tended Scalar-Tensor Theories, Phys. Rev. Lett.120, 131103 (2018), arXiv:1711.01187 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[25]
H. O. Silva, J. Sakstein, L. Gualtieri, T. P. Sotiriou, and E. Berti, Spontaneous scalarization of black holes and compact stars from a Gauss-Bonnet coupling, Phys. Rev. Lett.120, 131104 (2018), arXiv:1711.02080 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [26]
-
[27]
Black holes with bottle-shaped horizons
Y. Chen and E. Teo, Black holes with bottle-shaped hori- zons, Phys. Rev. D93, 124028 (2016), arXiv:1604.07527 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[28]
P. Ferrero, J. P. Gauntlett, J. M. P. Ipi˜ na, D. Martelli, and J. Sparks, Accelerating black holes and spin- ning spindles, Phys. Rev. D104, 046007 (2021), arXiv:2012.08530 [hep-th]
-
[29]
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, 111601 (2021), arXiv:2011.10579 [hep- th]
-
[30]
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, JHEP 06, 145, arXiv:2112.04431 [hep-th]
- [31]
-
[32]
I. D. Novikov and V. S. Manko, Generalizations of the Kerr and Kerr-Newman metrics possessing an arbitrary set of mass-multipole moments, Class. Quant. Grav.9, 2477 (1992)
work page 1992
-
[33]
A Metric for Rapidly Spinning Black Holes Suitable for Strong-Field Tests of the No-Hair Theorem
T. Johannsen and D. Psaltis, A Metric for Rapidly Spin- ning Black Holes Suitable for Strong-Field Tests of the No-Hair Theorem, Phys. Rev. D83, 124015 (2011), arXiv:1105.3191 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[34]
Bumpy Black Holes in Alternate Theories of Gravity
S. Vigeland, N. Yunes, and L. Stein, Bumpy Black Holes in Alternate Theories of Gravity, Phys. Rev. D83, 104027 (2011), arXiv:1102.3706 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[35]
R. Emparan, P. Figueras, and M. Martinez, Bumpy black holes, JHEP12, 072, arXiv:1410.4764 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[36]
Bumpy black holes from spontaneous Lorentz violation
S. Dubovsky, P. Tinyakov, and M. Zaldarriaga, Bumpy black holes from spontaneous Lorentz violation, JHEP 11, 083, arXiv:0706.0288 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
K. Hristov and M. Suh, Spindle black holes in AdS 4× SE7, JHEP10, 141, arXiv:2307.10378 [hep-th]
-
[38]
Suh, Baryonic spindles from conifolds, JHEP02, 181, arXiv:2304.03308 [hep-th]
M. Suh, Baryonic spindles from conifolds, JHEP02, 181, arXiv:2304.03308 [hep-th]
-
[39]
Lovelock black holes with nonmaximally symmetric horizons
N. Farhangkhah and M. H. Dehghani, Lovelock black holes with nonmaximally symmetric horizons, Phys. Rev. D90, 044014 (2014), arXiv:1409.1410 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[40]
F. Canfora, M. Lagos, and A. Vera, Superconducting multi-vortices and a novel BPS bound in chiral pertur- bation theory, JHEP10, 224, arXiv:2405.08082 [hep-th]
-
[41]
Onsager, Statistical hydrodynamics, Il Nuovo Cimento 6, 279 (1949)
L. Onsager, Statistical hydrodynamics, Il Nuovo Cimento 6, 279 (1949)
work page 1949
-
[42]
R. P. Feynman, Application of quantum mechanics to liquid helium, inProgress in Low Temperature Physics, Vol. 1 (Elsevier, 1955) pp. 17–53
work page 1955
-
[43]
S. A. Hartnoll, D. M. Ramirez, and J. E. Santos, Entropy production, viscosity bounds and bumpy black holes, JHEP03, 170, arXiv:1601.02757 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[44]
Viscosity in Strongly Interacting Quantum Field Theories from Black Hole Physics
P. Kovtun, D. T. Son, and A. O. Starinets, Viscos- ity in strongly interacting quantum field theories from black hole physics, Phys. Rev. Lett.94, 111601 (2005), arXiv:hep-th/0405231
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[45]
The pion mass can be safely neglected in the present con- text as it is orders of magnitude smaller than the solitons of the theory
-
[46]
R. J. Donnelly,Quantized Vortices in Helium II, Cam- bridge Studies in Low Temperature Physics, Vol. 3 (Cam- bridge University Press, Cambridge, 1991)
work page 1991
-
[47]
A. L. Fetter, Rotating trapped bose-einstein condensates, Reviews of Modern Physics81, 647 (2009)
work page 2009
-
[48]
D. R. Brill, J. Louko, and P. Peld´ an, Thermodynamics of (3 + 1)-dimensional black holes with toroidal or higher genus horizons, Phys. Rev. D56, 3600 (1997)
work page 1997
- [49]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.