pith. machine review for the scientific record. sign in

arxiv: 2601.22914 · v3 · submitted 2026-01-30 · ✦ hep-th · astro-ph.HE· gr-qc· hep-ph

Recognition: 2 theorem links

· Lean Theorem

Exact black holes and black branes with bumpy horizons supported by superfluid pions

Authors on Pith no claims yet

Pith reviewed 2026-05-16 09:25 UTC · model grok-4.3

classification ✦ hep-th astro-ph.HEgr-qchep-ph
keywords black holesblack branesbumpy horizonssuperfluid pionsnonlinear sigma modelvorticityexact solutionsLiouville equation
0
0 comments X

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.

The paper constructs exact solutions of the coupled Einstein and SU(2) nonlinear sigma model equations in four spacetime dimensions. An ansatz modeling multi-vortex configurations of superfluid pions reduces the matter equations to a first-order BPS system and converts the Einstein equations into a Liouville equation whose source deforms the horizon. The resulting horizons carry constant curvature yet possess nontrivial bumpy shapes whose number of bumps is fixed by an integer topological charge, the vorticity. This vorticity also governs the thermodynamics of the solutions. The construction uses only the standard, physically motivated sigma-model matter sector and requires neither exotic fields nor modified gravity.

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

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

  • 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.

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

1 major / 0 minor

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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The construction rests on the standard Einstein-Hilbert plus SU(2) nonlinear sigma-model action together with a symmetry-reduced Ansatz; no new free parameters or invented entities are introduced beyond the topological vorticity integer.

axioms (1)
  • domain assumption Einstein equations coupled to the SU(2) nonlinear sigma model action are the correct classical description.
    Standard starting point in the literature for pion fields in curved spacetime; invoked in the opening paragraph.

pith-pipeline@v0.9.0 · 5451 in / 1323 out tokens · 38982 ms · 2026-05-16T09:25:38.520981+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.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Hadronic lensing

    gr-qc 2026-05 unverdicted novelty 6.0

    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...

  2. Hadronic lensing

    gr-qc 2026-05 unverdicted novelty 6.0

    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.

  3. BPS lumps in the Nonminimal $CP^1$ Maxwell-Chern-Simons Model

    hep-th 2026-02 unverdicted novelty 6.0

    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

49 extracted references · 49 canonical work pages · cited by 2 Pith papers · 24 internal anchors

  1. [1]

    Israel, Event horizons in static vacuum space-times, Phys

    W. Israel, Event horizons in static vacuum space-times, Phys. Rev.164, 1776 (1967)

  2. [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)

  3. [3]

    S. W. Hawking, Black holes in general relativity, Com- mun. Math. Phys.25, 152 (1972)

  4. [4]

    D. C. Robinson, Uniqueness of the Kerr black hole, Phys. Rev. Lett.34, 905 (1975)

  5. [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

  6. [6]

    G. W. Gibbons and S. W. Hawking, Cosmological Event Horizons, Thermodynamics, and Particle Creation, Phys. Rev. D15, 2738 (1977)

  7. [7]

    Linet, The static, cylindrically symmetric strings in general relativity with cosmological constant, J

    B. Linet, The static, cylindrically symmetric strings in general relativity with cosmological constant, J. Math. Phys.27, 1817 (1986)

  8. [8]

    J. P. S. Lemos, Cylindrical black hole in general relativ- ity, Phys. Lett. B353, 46 (1995), arXiv:gr-qc/9404041

  9. [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. [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

  11. [11]

    Black holes with unusual topology

    L. Vanzo, Black holes with unusual topology, Phys. Rev. D56, 6475 (1997), arXiv:gr-qc/9705004

  12. [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]

  13. [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

  14. [14]

    Black Saturn

    H. Elvang and P. Figueras, Black Saturn, JHEP05, 050, arXiv:hep-th/0701035

  15. [15]

    S. S. Gubser, On nonuniform black branes, Class. Quant. Grav.19, 4825 (2002), arXiv:hep-th/0110193

  16. [16]

    Licht, R

    D. Licht, R. Luna, and R. Suzuki, Black Ripples, Flowers and Dumbbells at largeD, JHEP04, 108, arXiv:2002.07813 [hep-th]

  17. [17]

    Iguchi and T

    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. [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

  19. [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]

  20. [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]

  21. [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

  22. [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]

  23. [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]

  24. [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]

  25. [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]

  26. [26]

    D. D. Doneva, F. M. Ramazano˘ glu, H. O. Silva, T. P. Sotiriou, and S. S. Yazadjiev, Spontaneous scalarization, Rev. Mod. Phys.96, 015004 (2024), arXiv:2211.01766 [gr-qc]

  27. [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]

  28. [28]

    Ferrero, J

    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. [29]

    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, 111601 (2021), arXiv:2011.10579 [hep- th]

  30. [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. [31]

    Boido, J

    A. Boido, J. P. Gauntlett, D. Martelli, and J. Sparks, Gravitational Blocks, Spindles and GK Geometry, Com- mun. Math. Phys.403, 917 (2023), arXiv:2211.02662 [hep-th]

  32. [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)

  33. [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]

  34. [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]

  35. [35]

    Bumpy black holes

    R. Emparan, P. Figueras, and M. Martinez, Bumpy black holes, JHEP12, 072, arXiv:1410.4764 [hep-th]

  36. [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]

  37. [37]

    Hristov and M

    K. Hristov and M. Suh, Spindle black holes in AdS 4× SE7, JHEP10, 141, arXiv:2307.10378 [hep-th]

  38. [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. [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]

  40. [40]

    Canfora, M

    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. [41]

    Onsager, Statistical hydrodynamics, Il Nuovo Cimento 6, 279 (1949)

    L. Onsager, Statistical hydrodynamics, Il Nuovo Cimento 6, 279 (1949)

  42. [42]

    R. P. Feynman, Application of quantum mechanics to liquid helium, inProgress in Low Temperature Physics, Vol. 1 (Elsevier, 1955) pp. 17–53

  43. [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]

  44. [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

  45. [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. [46]

    R. J. Donnelly,Quantized Vortices in Helium II, Cam- bridge Studies in Low Temperature Physics, Vol. 3 (Cam- bridge University Press, Cambridge, 1991)

  47. [47]

    A. L. Fetter, Rotating trapped bose-einstein condensates, Reviews of Modern Physics81, 647 (2009)

  48. [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)

  49. [49]

    E. Poli, T. Bland, S. J. M. White, M. J. Mark, F. Fer- laino, S. Trabucco, and M. Mannarelli, Glitches in Ro- tating Supersolids, Phys. Rev. Lett.131, 223401 (2023), arXiv:2306.09698 [cond-mat.quant-gas]