REVIEW
Black Uniqueness Theorems
High Energy Physics - Theory · Submitted 31 Dec 2000 · 30 references
Pith's verdict: A useful first-hand review of the Kerr-Newman uniqueness theorem and its harmonic-map formulation, but the printed Lagrangian (19) carries a factor-of-lambda typo that breaks the Kähler structure the proof leans on.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Mazur argues that a stationary black hole is fully specified by just three numbers — mass, spin and charge — because the Einstein-Maxwell equations reduce to a harmonic map into a negatively curved space, where a divergence identity leaves,
The reading
What carries the argument
The load-bearing object is the divergence identity for nonlinear $\sigma$ models on Riemannian symmetric spaces with non-compact isometry group and non-positive sectional curvature. Writing the coset element as $g = u(hu)^{-1}$ and forming $h(S) = 3 + X_0^{-1}X_1^{-1}$ times an explicit polynomial in the differences of the Ernst potentials $X, Y, E, B$ (equation 38), the author shows that $h$ is a function of the geodesic distance $S(g_0,g_1)$ between the two solutions, and that its covariant Laplacian is a positive-definite sum of squares. For the electrovacuum Ernst equations the target space is the homogeneous Kähler symmetric space $SU(2,1)/S(U(2))$, whose negative curvature supplies the needed sign. The same identity, with $S^2$ replaced by any even function with positive first and second derivatives, reproduces Robinson's 1975 vacuum identity and the Carter-Robinson no-hair results as special cases.
Extended reading notes
Core claim
The paper's central claim is the black hole uniqueness theorem: the only stationary and axisymmetric solutions of the Einstein-Maxwell equations satisfying the stated black hole boundary conditions are the Kerr-Newman et al. solutions with $M^2-(J/M)^2-Q^2>0$, so that mass, angular momentum and electric charge (plus magnetic charge, if it exists) exhaust the description of an equilibrium black hole. The author presents this as the culmination of a line running from Israel's static results through Carter's and Robinson's no-bifurcation theorems to his own 1982 proof and Bunting's independent 1983 thesis. The mechanism is not a case-by-case analysis of solutions but a global identity: two candidate solutions are treated as two points in the target space of Ernst potentials, and a divergence identity for the geodesic distance between them is integrated over the space of orbits. Positivity on the right-hand side plus vanishing boundary terms at the horizon, the axis and infinity leave the distance zero everywhere, hence the two solutions coincide.
Load-bearing premise
The theorem describes physical collapse only if cosmic censorship holds, since the reduction to a stationary axisymmetric black hole with spherical horizon topology is itself derived from that unproved hypothesis, as the introduction states.
Editorial extensions
If this is right
- A black hole formed by collapse and settling to a stationary state is described, in Einstein-Maxwell theory, by exactly three parameters, so all higher multipole moments are fixed functions of $M$, $J$ and $Q$ rather than free data.
- The Carter and Robinson no-hair theorems become corollaries of one geometric identity, so the absence of linearized perturbations at fixed $M$, $J$, $Q$ and the absence of distinct exact solutions share a single proof.
- The identity extends to any nonlinear elliptic sigma model on a Riemannian symmetric space with non-compact isometry group, which the author notes covers monopole uniqueness and Kaluza-Klein soliton problems as well.
- Because the argument needs only positivity of curvature on the target space and vanishing of surface terms, it gives a template for uniqueness proofs wherever a gravitating system reduces to a harmonic map with the right boundary behaviour.
Reading between the lines
- If the theorem holds, any observed deviation from the Kerr-Newman multipole structure in a black hole ringdown would have to come from matter or fields outside the Einstein-Maxwell setting, or from a failure of the stationary axisymmetric idealization, rather than from a rival vacuum black hole family.
- The distance function $h(S)$ is explicit in the Ernst potentials, so the argument is in principle checkable numerically: compute $h$ for a numerically generated stationary axisymmetric solution and verify it is constant, which would be a direct probe of the identity rather than of the theorem's conclusion.
- The paper itself notes that uniqueness has been proved only under the axisymmetry assumption, and expresses the hope that the harmonic-map method extends to stationary non-axisymmetric holes; that extension is the natural next target, since axisymmetry is a conclusion of the static-or-axisymmetric theorems rather than an independent physical input.
- The reliance on cosmic censorship means the theorem constrains the endpoint of collapse only conditionally; a demonstrated violation would leave the uniqueness result intact as a statement about a restricted class of solutions while removing its claim on physically realized black holes.
Original abstract
I review the black hole uniqueness theorem and the no hair theorems established for physical black hole stationary states by the early 80'. This review presents the original and decisive work of Carter, Robinson, Mazur and Bunting on the problem of no bifurcation and uniqueness of physical black holes. Its original version was written only few years after my proof of the Kerr-Newman et al. black hole uniqueness theorem has appeared in print. The proof of the black hole uniqueness theorem relies heavily on the positivity properties of nonlinear sigma models on the Riemannian noncompact symmetric spaces with negative sectional curvature. It is hoped that the first hand description of the original developments leading to our current understanding of the black hole uniqueness will be found useful to all interested in the subject.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
I review the black hole uniqueness theorem and the no hair theorems established for physical black hole stationary states by the early 80'. This review presents the original and decisive work of Carter, Robinson, Mazur and Bunting on the problem of no bifurcation and uniqueness of physical black holes. Its original version was written only few years after my proof of the Kerr-Newman et al. black hole uniqueness theorem has appeared in print. The proof of the black hole uniqueness theorem relies heavily on the positivity properties of nonlinear sigma models on the Riemannian noncompact symmetric spaces with negative sectional curvature. It is hoped that the first hand description of the original developments leading to our current understanding of the black hole uniqueness will be found useful to all interested in the subject.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | I review the black hole uniqueness theorem and the no hair theorems established for physical black hole stationary states by the early 80'. | background 0.59 | 0.24 | 0.12 | asserted 0.98 |
| s1 | This review presents the original and decisive work of Carter, Robinson, Mazur and Bunting on the problem of no bifurcation and uniqueness of physical black holes. | contribution 0.88 | 0.17 | 0.21 | asserted 1.00 |
| s2 | Its original version was written only few years after my proof of the Kerr-Newman et al. black hole uniqueness theorem has appeared in print. | background 0.96 | 0.85 | 0.03 | asserted 1.00 |
| s3 | The proof of the black hole uniqueness theorem relies heavily on the positivity properties of nonlinear sigma models on the Riemannian noncompact symmetric spaces with negative sectional curvature. | method 0.90 | 0.28 | 0.17 | asserted 1.00 |
| s4 | It is hoped that the first hand description of the original developments leading to our current understanding of the black hole uniqueness will be found useful to all interested in the subject. | interpretation 0.46 | 0.21 | 0.06 | hedged possibility 0.94 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
33 arXiv papers cite this in 42 sentences
Papers citing it · 23 sentences without a confident label
Contests it 1 paper
-
More specifically: the necessity to control the behavior at points where the horizon meets the rotation axis, prior to [ref] , seems to have been neglected; at infinity, which requires special attention in the electro-vacuum case, part of the necessary estimates were imposed as extra conditions, beyond asymptotic flatness; [See, for example, Theorem 2 in [ref] .] also, an apparent disregard for the singular character, at the axis, of the hyperbolic distance [ref] between the maps, even at large distance, appears to be the norm.
On the classification of stationary electro-vacuum black holes · Introduction · contest 0.76
Cites it as background 17 papers
-
The Kerr spacetime represents the unique $4$-dimensional stationary, axisymmetric and asymptotically flat rotating vacuum BH solution in GR [ref] .
Parameterized Non-circular Deviation from the Kerr Paradigm and Its Observational Signatures: Extreme Mass Ratio Inspirals and Lense-Thirring Effect · Kerr spacetime and its symmetries · 0.97
-
In the context of such ST theories, a number of no-hair theorems exist, showing that (for large classes of ST theories) the presence of the extra scalar degree of freedom does not alter the background black hole solutions in the theory with respect to GR—see e.g. [ref] .
Inverting no-hair theorems: How requiring General Relativity solutions restricts scalar-tensor theories · Introduction · 0.88
-
The classification of the stationary and asymptotically flat black hole solutions is a classical problem in general relativity (GR) and has a long history [ref] .
No-hair theorems in General Relativity and scalar-tensor theories · Introduction · 0.99
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.