Bumpy horizons from non-linear sigma models

Carla Henr\'{\i}quez-B\'aez; Fabrizio Canfora; Julio Oliva; Nicol\'as Grandi

REVIEW 3 major objections 4 minor 16 references

Bumpy horizons from non-linear sigma models

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Black holes with non-constant-curvature horizons exist in any even dimension when gravity is coupled to a block-diagonal Kähler non-linear sigma model.

desk verdict Interesting no-go result, but the central derivation has load-bearing algebraic errors; salvageable after major revision. read the letter →

arxiv 2608.07736 v1 pith:72YKU7OS submitted 2026-08-07 hep-th gr-qc

Fabrizio Canfora , Nicolás Grandi , Carla Henr\'{i}quez-Báez , Julio Oliva This is my paper · ORCID

classification hep-thgr-qc

keywords bumpyhorizonsnon-linearsigmamodelKählertargetspaceLiouvilleequationhigher-dimensionalblackholesholomorphicscalarfieldsseparationofvariablesnon-constant-curvature

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper shows that static black holes with non-constant-curvature horizons (bumpy horizons) exist in every even spacetime dimension when gravity is coupled to a non-linear sigma model with a block-diagonal Kähler target space. Starting from a general static metric ansatz and complex scalar fields depending only on the transverse coordinates, the Einstein equations split into a radial part and a transverse part. The radial part fixes the standard higher-dimensional blackening factor, while the transverse part, after a chain of consistency conditions, reduces to one non-homogeneous Liouville equation per two-dimensional factor of the horizon metric. Because that equation can be sourced by arbitrary holomorphic functions, the construction produces many genuinely bumpy horizon geometries. It matters because it shows that horizon shape is not rigid in higher dimensions once such scalar matter is present.

What carries the argument

The engine is a separation of variables driven by the (tt) Einstein equation, which splits into a radial identity and a transverse identity joined by a separation constant $\alpha$. The radial identity produces the standard blackening factor, and the transverse identity becomes the constraint on the horizon metric. The subsequent steps are forced consistency conditions: a Kähler horizon metric ($\gamma_{a\bar b}=\partial_a\partial_{\bar b}k$, a complex metric with a local potential) kills the mixed components and makes the scalar fields holomorphic; block diagonality of the horizon Kähler potential and of the target-space Kähler potential makes the system factorize. Each two-dimensional factor then satisfies the non-homogeneous Liouville equation $\partial_a\partial_{\bar a}(K_{(a)}+2P_{(a)})=-\frac{\alpha}{n-2}e^{P_{(a)}}$, which is the object that turns an arbitrary holomorphic function into a local conformal factor and hence into a bumpy horizon metric.

What would settle it

Set $n=4$, choose non-compact horizon coordinates with $K_{(a)}=\varphi\bar\varphi$ and $\varphi(\zeta)=\zeta$, and integrate equation (20) for the conformal factor $P_{(a)}$; if the resulting metric is singular or fails any of the full Einstein equations, the construction's claim to produce regular bumpy horizons is refuted. Conversely, any smooth non-constant compact bumpy solution would falsify the paper's claim that compact horizons force constant fields.

Watch

Extended reading notes

Core claim

Starting from the Einstein–Hilbert action with cosmological constant and a Hermitian $\sigma$-model metric $h_{i\bar j}$, the paper derives, rather than assumes, the conditions for the static ansatz (2)--(3) to solve the field equations. The (tt) equation separates: the radial part gives the standard blackening factor $f(r)=\frac{\alpha}{(n-2)(n-3)}-\frac{2M}{r^{n-3}}-\frac{2\Lambda}{(n-2)(n-1)}r^2$ and makes $N$ constant. The transverse equations then require a Kähler horizon metric and holomorphic scalar fields; requiring the Kähler potential to be block-diagonal, and the target-space Kähler potential to be block-diagonal as well, reduces each two-dimensional factor of the horizon metric to the non-homogeneous Liouville equation (20). The resulting horizon Ricci scalar is $R^{(\gamma)}=2\alpha+2\sum_a e^{-P_{(a)}}\partial_a\partial_{\bar a}K_{(a)}$, whose coordinate dependence is generically non-constant. The central claim is therefore that the ansatz yields bumpy horizons in any even dimension, with the diversity of horizon shapes controlled by the diversity of holomorphic functions.

Load-bearing premise

The construction stands on the assumption that the horizon metric and the target-space metric each split into a direct sum of independent two-dimensional pieces; without this product structure the separation fails at the step from equation (16) to (19), and the entire Liouville reduction does not follow.

Editorial extensions

If this is right

In any even dimension there are infinitely many non-compact bumpy black holes, since the holomorphic functions entering the Liouville source can be chosen freely.
Compact horizons are essentially rigid: because any holomorphic function on a compact manifold is constant, this construction cannot give non-constant horizon curvature there.
The blackening factor is exactly the standard higher-dimensional Schwarzschild–AdS-type factor, so only the horizon metric, not the radial profile, carries the bumpy structure.
The product structure of the horizon and target metrics cannot be relaxed; the authors state that the ansatz does not extend to non-product geometries.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If each two-dimensional factor is solved independently, the construction looks modular: new factors could be added or coupled to additional fields one block at a time, which would make charged or time-dependent bumpy solutions a natural next test.
The holomorphic condition saturating a BPS bound suggests that a supergravity embedding, if found, would imply stability without a full linearized analysis; that would be the cleanest way to decide whether these geometries are physical rather than merely mathematical.
A natural falsifying calculation is to try the same separation with a non-product Kähler potential on the target space; the paper's derivation predicts the equations jam at equation (16), so any non-product solution would show the restriction is avoidable.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper is worth a look for its no-go claim, but the algebra as printed does not close. The authors' top-down derivation—starting from a general ansatz and imposing Kähler, block-diagonal, etc.—is a clean way to see that the horizon and target space must be product geometries. That conclusion is genuinely new relative to their earlier work [13,14], and the exposition is easy to follow. The scalar fields end up holomorphic, and the horizon metric reduces to a Liouville-type equation for each 2D factor. If the derivation were right, this would be a nice uniform construction.

The problem is that the derivation has load-bearing algebraic errors. The trace of Eq. (10) with γ^{bar b a} does not recover Eq. (8). Taking the trace gives an extra constraint—depending on the curvature convention, it forces either S=0 or S=−α/3—so the separation equation (8) is not automatically consistent with the transverse Einstein equation. For generic holomorphic fields, S is nonzero, so the ansatz does not solve the equations as claimed. The separation constants in Eq. (19) are also wrong: the all-equal solution is α_a = 2α/(n−6), not 2α/(n−4). That changes the Liouville equation (20) by a factor (n−4)/(n−6), and for n=6 forces α=0. Eq. (21) for the horizon curvature does not follow from (20) either. These are not typos in a peripheral section; the final Liouville equation is the whole construction.

What is salvageable: the no-go statement about product topologies, and the overall strategy, may survive a corrected derivation. But as printed, the equations do not support the central claim.

I would send this to a referee who can do the algebra, not desk reject it, because the no-go result is interesting and the paper is clearly written. A referee should be told to check the trace consistency and the separation constants carefully. If those are fixed, the paper could be publishable after major revision. For a reading group, it is a decent exercise in checking consistency, but not something I would cite in its current form.

Referee Report

3 major / 4 minor

Summary. The paper constructs static black-hole solutions in even-dimensional Einstein gravity coupled to a non-linear sigma model with a Kähler target space. Starting from a general metric ansatz with a transverse complex Hermitian metric, the authors separate the Einstein equations, obtain the standard blackening factor with a separation constant α, and reduce the remaining problem to a set of non-homogeneous Liouville equations for a block-diagonal Kähler horizon metric. The main claim is that this yields 'bumpy' horizons of non-constant curvature in any even dimension, with the scalar fields holomorphic in the horizon coordinates.

Significance. If correct, the paper would provide a transparent top-down derivation of a class of higher-dimensional black holes with non-constant horizon curvature, extending earlier SU(2) NLSM constructions. The exposition is clear and the authors explicitly track each assumption, which is commendable. However, the central algebraic reduction contains errors that undermine the derivation of the Liouville system and the claimed generality. The trace-consistency check fails and the separation-constant solution is algebraically wrong, so the main result as printed does not follow.

major comments (3)

[Sec. III, after Eq. (10)] The claim that taking the trace of the (a\bar b) equation with γ^{\bar b a} recovers Eq. (8) is not correct as printed. Let m=(n-2)/2 and S=γ^{\bar b a}h_{i\bar j}(∂_aφ^i∂_{\bar b}\barφ^{\bar j}+∂_{\bar b}φ^i∂_a\barφ^{\bar j}). Tracing Eq. (10) gives (1-m/2)R(γ)+m(n-4)α/[2(n-2)] = (1-m/2)S. Combining with Eq. (8), i.e. S=R(γ)-α, yields [m(n-4)/(2(n-2))+1-m/2]α=0, which with m=(n-2)/2 is α/2=0. Thus the printed equations are consistent only for α=0, not for the general separation constant used in Eqs. (9), (18), and (20).
[Sec. III, Eq. (19)] The all-equal solution of Σ_{c≠a} α_c - α_a = α is not α_a=2α/(n-4). Setting α_a=β gives (m-2)β=α with m=(n-2)/2, hence β=2α/(n-6). For n=6 this forces α=0. Substituting the correct β into the first equation of (19) changes the right-hand side of Eq. (20) to -(n-4)α/[(n-2)(n-6)] e^{P_a} (with the printed coefficient), so Eq. (20) as displayed is not derived. The special case n=6 must be treated separately and does not admit the claimed non-zero separation constant.
[Sec. IV, Eq. (21)] Equation (21) is also inconsistent with Eq. (20). Using R=-2Σ e^{-P_a}∂_a∂_{\bar a}P_a as in (21) and substituting (20) gives R = Σ e^{-P_a}∂_a∂_{\bar a}K_a + α/2, not 2α+2Σ e^{-P_a}∂_a∂_{\bar a}K_a. The displayed formula for the horizon scalar curvature must be corrected after the preceding equations are fixed.

minor comments (4)

[Sec. III, Eq. (19)] In the displayed equation 'X_{c≠a} α_c - α_a = α', the symbol 'X' appears in place of a summation sign; the intended expression is presumably \sum_{c\ne a} α_c - α_a = α.
[Sec. III, Eqs. (7)-(9)] The separation of variables in Eq. (6) should be described more carefully: the left-hand side depends only on r and the right-hand side only on the transverse coordinates, so both sides are equal to a constant α; this is standard but the sentence 'This allows for a separation-of-variables ansatz' is vague.
[Sec. I and IV] The abstract and introduction claim the construction works in 'any even dimension', but the derivation excludes or needs separate treatment of n=6 once the separation constants are corrected; the statement should be qualified.
[References] References [13] and [14] are cited as arXiv preprints; if published versions are available, they should be cited instead.

Circularity Check

0 steps flagged · score 1.0 of 10

No material circularity: the construction is self-contained from the stated ansatz; self-citations are contextual and non-load-bearing.

full rationale

The paper's derivation chain is explicit and self-contained: it starts from the action (1) and ansatz (2)-(3), separates the radial and transverse dependence through the constant alpha in (7)-(8), solves the radial equation for the blackening factor (9), fixes N via the (rr) equation, and then imposes Kähler and block-diagonal restrictions to reduce the remaining Einstein equations to (16) and ultimately to the non-homogeneous Liouville equations (20). No quantity appearing in the final result is fitted from that result, and no prediction is read back from the inputs. The separation constants alpha_a are constrained internally by (19), not by matching a pre-selected horizon geometry. The citations to the authors' prior work [13,14] appear in the introduction, in the BPS-saturation remark, and in the discussion of history and scope; they are not the justification for the central separation or for the Liouville equation. The paper's conclusion that non-product geometries are not accessible by this procedure is a claim about the scope of the derivation, not a circular use of the conclusion as an assumption. Algebraic or arithmetic concerns that a referee might raise about the trace consistency or the solution of (19) would be correctness risks, not circularity, and they do not change the circularity assessment. The derivation therefore earns a low score.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

The construction relies on a sequence of restrictions: the static ansatz, coordinate-independent transverse metric, Kähler horizon metric, block-diagonal horizon metric, Kähler target space, block-diagonal target potential, and single-coordinate holomorphic fields. The last five are introduced ad hoc to make the separation of variables work and are not derived from the equations.

assumptions (9)

domain assumption Einstein gravity with cosmological constant and kappa=1 is the gravitational sector (Eq. 1).
The whole construction presupposes standard Einstein-Hilbert gravity.
domain assumption The matter is a non-linear sigma model with Hermitian target-space metric h_{i j-bar} (Eq. 1).
The action (1) defines the matter source.
domain assumption The static ansatz (2) with the transverse metric independent of t and r.
This ansatz is stated as the starting point and implies even spacetime dimension.
domain assumption Scalar fields depend only on transverse coordinates (Eq. 3).
Needed to make the transverse Einstein equations local in the transverse coordinates.
ad hoc to paper The horizon metric is Kähler, introduced after Eq. (10).
This restriction is imposed to kill the off-diagonal Einstein equations and force holomorphic scalar fields.
ad hoc to paper The horizon metric is block-diagonal (Eq. 13-14).
Introduced to separate the scalar equations and the remaining Einstein equation into one-coordinate pieces.
ad hoc to paper The target-space metric is Kähler (after Eq. 15).
Used to satisfy the scalar equation automatically via h_{i j-bar, k-bar} = h_{i k-bar, j-bar}.
ad hoc to paper The target-space Kähler potential is block-diagonal (Eq. 17).
Needed to make the off-diagonal separation work in Eq. (16).
ad hoc to paper Each scalar field depends on a single complex coordinate, imposed after Eq. (17).
Needed to separate the diagonal equation (18) into independent Liouville equations.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Bumpy horizons from non-linear sigma models." pith.science (2026). https://pith.science/paper/72YKU7OS

@misc{pith2026260807736,
  author       = {Pith},
  title        = {Pith review of: Bumpy horizons from non-linear sigma models},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/72YKU7OS}},
  note         = {Machine review of arXiv:2608.07736}
}

read the original abstract

We show that black hole horizons with non-constant curvature can be constructed in any even dimension, when the source of the Einstein equations is given by the stress-energy tensor of a non-linear sigma model of a particular class

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 6 canonical work pages

[1]

D. B. Kaplan and A. E. Nelson, Strange Goings on in Dense Nucleonic Matter, Phys. Lett. B 175, 57 (1986)

work page 1986
[2]

Dominguez, M

C. Dominguez, M. Loewe, and J. Rojas, Pion and nucleon thermal widths in the linear sigma model, Phys.Lett. B320, 377 (1994)

work page 1994
[3]

Adhikari, J

P. Adhikari, J. O. Andersen, and P. Kneschke, Twoflavor chiral perturbation theory at nonzero isospin: Pion condensation at zero temperature, Eur. Phys. J. C 79, 874 (2019), arXiv:1904.03887 [hep-ph]

arXiv 2019
[4]

Carignano, L

S. Carignano, L. Lepori, A. Mammarella, M. Mannarelli, and G. Pagliaroli, Scrutinizing the pion condensed phase, Eur. Phys. J. A 53, 35 (2017), arXiv:1610.06097 [hep-ph]

arXiv 2017
[5]

Belinski and E

V. Belinski and E. Verdaguer, Cambridge University Press, 2005, ISBN 978-0-511-02876-2, 978-0-521-80586-5, 978-0-521-01806-7, 978-0-511-53525-3 doi:10.1017/CBO9780511535253

doi:10.1017/cbo9780511535253 2005
[6]

M. B. Green, J. H. Schwarz and E. Witten, Cambridge University Press, 2012, ISBN 978-1- 139-53477-2, 978-1-107-02911-8 doi:10.1017/CBO9781139248563

doi:10.1017/cbo9781139248563 2012
[7]

Trigiante, Phys

M. Trigiante, Phys. Rept.680(2017), 1-175 doi:10.1016/j.physrep.2017.03.001 [arXiv:1609.09745 [hep-th]]

arXiv 2017
[8]

S. W. Hawking, Commun. Math. Phys.25(1972), 152-166 doi:10.1007/BF01877517

doi:10.1007/bf01877517 1972

Show all 16 references

[9]

J. P. S. Lemos, Phys. Lett. B353(1995), 46-51 doi:10.1016/0370-2693(95)00533-Q [arXiv:gr- qc/9404041 [gr-qc]]

1995
[10]

R. B. Mann, Class. Quant. Grav.14(1997), L109-L114 doi:10.1088/ 0264-9381/14/5/007 [arXiv:gr-qc/9607071 [gr-qc]]. 9

1997 arXiv
[11]

Vanzo, Phys

L. Vanzo, Phys. Rev. D56(1997), 6475-6483 doi:10.1103/ PhysRevD.56.6475 [arXiv:gr- qc/9705004 [gr-qc]]

1997
[12]

D. R. Brill, J. Louko and P. Peldan, Phys. Rev. D56(1997), 3600-3610 doi: 10.1103/ Phys- RevD.56.3600 [arXiv:gr-qc/9705012 [gr-qc]]

1997 arXiv
[13]

Rather than imposing Killing symmetries in the usual sense, we required the metric to be compatible with the validity of the first-order BPS equations for the scalar field

for the particular case of a two-dimensional horizon and an SU(2) NLSM. Rather than imposing Killing symmetries in the usual sense, we required the metric to be compatible with the validity of the first-order BPS equations for the scalar field. In this sense, our approach is c...

2023
[14]

Canfora, A

F. Canfora, A. Gomberoff, C. Henr ´ ıquez-Baez and A. Vera, [arXiv:2601.22914 [hep-th]]

arXiv
[15]

Canfora, N

F. Canfora, N. Grandi, C. Henr ´ ıquez-B´ aez and J. Oliva, [arXiv:2603.04611 [hep-th]]

arXiv
[16]

Brandon Carter, Commun. Math. Phys. 10, 280–310 (1968). 10

1968

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

D. B. Kaplan and A. E. Nelson, Strange Goings on in Dense Nucleonic Matter, Phys. Lett. B 175, 57 (1986)

work page 1986

[2] [2]

Dominguez, M

C. Dominguez, M. Loewe, and J. Rojas, Pion and nucleon thermal widths in the linear sigma model, Phys.Lett. B320, 377 (1994)

work page 1994

[3] [3]

Adhikari, J

P. Adhikari, J. O. Andersen, and P. Kneschke, Twoflavor chiral perturbation theory at nonzero isospin: Pion condensation at zero temperature, Eur. Phys. J. C 79, 874 (2019), arXiv:1904.03887 [hep-ph]

arXiv 2019

[4] [4]

Carignano, L

S. Carignano, L. Lepori, A. Mammarella, M. Mannarelli, and G. Pagliaroli, Scrutinizing the pion condensed phase, Eur. Phys. J. A 53, 35 (2017), arXiv:1610.06097 [hep-ph]

arXiv 2017

[5] [5]

Belinski and E

V. Belinski and E. Verdaguer, Cambridge University Press, 2005, ISBN 978-0-511-02876-2, 978-0-521-80586-5, 978-0-521-01806-7, 978-0-511-53525-3 doi:10.1017/CBO9780511535253

doi:10.1017/cbo9780511535253 2005

[6] [6]

M. B. Green, J. H. Schwarz and E. Witten, Cambridge University Press, 2012, ISBN 978-1- 139-53477-2, 978-1-107-02911-8 doi:10.1017/CBO9781139248563

doi:10.1017/cbo9781139248563 2012

[7] [7]

Trigiante, Phys

M. Trigiante, Phys. Rept.680(2017), 1-175 doi:10.1016/j.physrep.2017.03.001 [arXiv:1609.09745 [hep-th]]

arXiv 2017

[8] [8]

S. W. Hawking, Commun. Math. Phys.25(1972), 152-166 doi:10.1007/BF01877517

doi:10.1007/bf01877517 1972