REVIEW
Stationary and Axisymmetric Solutions of Higher-Dimensional General Relativity
High Energy Physics - Theory · Submitted 18 Aug 2004 · 25 references
Pith's verdict: A correct and useful toolkit paper: the canonical form and rod-direction classification hold up, with a modest scope overreach in the abstract and a real gap in the sigma-model citations.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper establishes a canonical form for D-dimensional stationary, axisymmetric vacuum spacetimes in which the Einstein equations reduce to a single matrix equation on flat three-space.
The reading
What carries the argument
The load-bearing object is the matrix field $G_{ij}(r,z)$, a $(D-2)�times(D-2)$ symmetric matrix whose determinant fixes the coordinate $r$. The equation $G^{-1}�nabla^2G=(G^{-1}�nabla G)^2$ is the axisymmetric reduction of the vacuum Einstein equations; the remaining metric function $�nu$ is fixed by an integrable pair of first-order equations. At $r=0$ the matrix loses rank, and the intervals where exactly one eigenvalue vanishes are the rods. Each rod carries a direction vector in the $(D-2)$-dimensional space spanned by the Killing vectors; timelike rods correspond to horizons, while spacelike rods correspond to compact directions or rotation axes. This rod data is the paper's proposed organizing principle for stationary axisymmetric solutions.
Extended reading notes
Core claim
The central claim is that any $D$-dimensional Ricci-flat metric with $D-2$ commuting Killing vector fields—subject to the integrability condition of Theorem 2.1 and excluding the constant-determinant subclass treated separately—can be written as $ds^2=�sum_{i,j=1}^{D-2}G_{ij}dx^idx^j+e^{2�nu}(dr^2+dz^2)$ with $r^2=|�det G|$. In these coordinates the Einstein equations for $G$ become $G^{-1}�nabla^2G=(G^{-1}�nabla G)^2$ on flat three-space, and $�nu$ is obtained by integrating a first-order system. The paper verifies that this reduces to Papapetrou's four-dimensional form and to generalized Weyl solutions when the Killing vectors are orthogonal, then applies it to the five-dimensional Myers-Perry black hole and the Emparan-Reall black ring, including their rod structures.
Load-bearing premise
The derivation assumes the integrability condition of Theorem 2.1—especially Condition (1), that a certain antisymmetrized tensor built from the Killing vectors vanishes at at least one point—and the paper argues this holds when one Killing vector is a rotation angle but does not prove it for the full stationary axisymmetric class it claims to cover.
Editorial extensions
If this is right
- Solving a $D$-dimensional stationary axisymmetric vacuum problem reduces to solving one matrix equation for $G$ and then integrating for $�nu$, rather than attacking the full Einstein tensor.
- The rod endpoints and direction vectors give a compact bookkeeping device for horizons, rotation axes, and compact directions; finite timelike rods encode horizon topology and angular velocity.
- Asymptotic falloff of $G$ in four and five dimensions yields mass and angular momentum directly, as the paper demonstrates for Kerr, Myers-Perry, and the black ring.
- The formalism puts five-dimensional black holes with $S^3$ horizons and black rings with $S^2�times S^1$ horizons into one language, making their shared and differing rod structures explicit.
- If the paper's conjecture that rod structure determines the solution is correct, stationary axisymmetric vacuum solutions can be classified by interval data plus direction vectors rather than by solving the full field equations case by case.
Reading between the lines
- The matrix equation is structurally similar to an axisymmetric harmonic-map equation, which suggests that solution-generating techniques from two-dimensional sigma models might be portable to this higher-dimensional setting and could produce new black-ring solutions with two angular momenta.
- The rod-direction vectors may support a combinatorial search for five-dimensional stationary axisymmetric solutions: one could enumerate admissible rod configurations with two independent angular momenta and then check regularity and asymptotic flatness.
- The paper's regularity argument—more than one vanishing eigenvalue of $G$ at $r=0$ produces a curvature singularity—could be used as a selection rule to discard entire classes of rod data before solving the matrix equation.
- Because the canonical form is coordinate-based, it may be a natural starting point for adapting four-dimensional uniqueness arguments to higher-dimensional black holes, though the existence of black rings shows any such theorem must be class-restricted.
Original abstract
We study stationary and axisymmetric solutions of General Relativity, i.e. pure gravity, in four or higher dimensions. D-dimensional stationary and axisymmetric solutions are defined as having D-2 commuting Killing vector fields. We derive a canonical form of the metric for such solutions that effectively reduces the Einstein equations to a differential equation on an axisymmetric D-2 by D-2 matrix field living in three-dimensional flat space (apart from a subclass of solutions that instead reduce to a set of equations on a D-2 by D-2 matrix field living in two-dimensional flat space). This generalizes the Papapetrou form of the metric for stationary and axisymmetric solutions in four dimensions, and furthermore generalizes the work on Weyl solutions in four and higher dimensions. We analyze then the sources for the solutions, which are in the form of thin rods along a line in the three-dimensional flat space that the matrix field can be seen to live in. As examples of stationary and axisymmetric solutions, we study the five-dimensional rotating black hole and the rotating black ring, write the metrics in the canonical form and analyze the structure of the rods for each solution.
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
We study stationary and axisymmetric solutions of General Relativity, i.e. pure gravity, in four or higher dimensions. D-dimensional stationary and axisymmetric solutions are defined as having D-2 commuting Killing vector fields. We derive a canonical form of the metric for such solutions that effectively reduces the Einstein equations to a differential equation on an axisymmetric D-2 by D-2 matrix field living in three-dimensional flat space (apart from a subclass of solutions that instead reduce to a set of equations on a D-2 by D-2 matrix field living in two-dimensional flat space). This generalizes the Papapetrou form of the metric for stationary and axisymmetric solutions in four dimensions, and furthermore generalizes the work on Weyl solutions in four and higher dimensions. We analyze then the sources for the solutions, which are in the form of thin rods along a line in the three-dimensional flat space that the matrix field can be seen to live in. As examples of stationary and axisymmetric solutions, we study the five-dimensional rotating black hole and the rotating black ring, write the metrics in the canonical form and analyze the structure of the rods for each solution.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We study stationary and axisymmetric solutions of General Relativity, i.e. pure gravity, in four or higher dimensions. | contribution 0.64 | 0.85 | 0.05 | asserted 0.95 |
| s1 | D-dimensional stationary and axisymmetric solutions are defined as having D-2 commuting Killing vector fields. | background 0.93 | 0.16 | 0.05 | asserted 1.00 |
| s2 | We derive a canonical form of the metric for such solutions that effectively reduces the Einstein equations to a differential equation on an axisymmetric D-2 by D-2 matrix field living in three-dimensional flat space (apart from a subclass of solutions that instead reduce to a set of equations on a D-2 by D-2 matrix field living in two-dimensional flat space). | contribution 0.46 | 0.96 | 0.55 | asserted 1.00 |
| s3 | This generalizes the Papapetrou form of the metric for stationary and axisymmetric solutions in four dimensions, and furthermore generalizes the work on Weyl solutions in four and higher dimensions. | interpretation 0.51 | 0.74 | 0.17 | asserted 1.00 |
| s4 | We analyze then the sources for the solutions, which are in the form of thin rods along a line in the three-dimensional flat space that the matrix field can be seen to live in. | contribution 0.72 | 0.88 | 0.05 | asserted 1.00 |
| s5 | As examples of stationary and axisymmetric solutions, we study the five-dimensional rotating black hole and the rotating black ring, write the metrics in the canonical form and analyze the structure of the rods for each solution. | contribution 0.92 | 0.95 | 0.10 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- 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 later papers used it
87 later papers cite it
4 later papers by other authors are listed below: 4 used its method or tool. 2 more papers by the same authors are listed: 1 built on it and 1 cited it as support.
Builds on it 1 of 5 papers with this label · 1 by the same authors
By the same authors
-
Showed that the set of invariants for black hole space-times originally introduced with the rod structure in this paper can be naturally extended to space-times with a cosmological constant for any number of dimensions and commuting Killing vector fields.
Domain Structure of Black Hole Space-Times with a Cosmological Constant (2011) (same authors) · 0.98 · paraphrased: the licence does not allow quoting
Uses its method or tool 4 of 26 papers with this label
-
Used the standard techniques of this paper to read off the seed metric from the seed rod configuration.
The Black Di-Ring: An Inverse Scattering Construction (2007) · 1.00 · paraphrased: the licence does not allow quoting
-
Used this paper's rod description of general relativity with commuting isometries to engineer a spacetime that is asymptotically globally Minkowski.
Geometric Engineering 5d Black Holes with Rod Diagrams (2008) · 0.99 · paraphrased: the licence does not allow quoting
-
Followed the procedure of this paper and appendix A.2 of another work to establish that the metric in Weyl coordinates is identical to the metric.
Inverse Scattering Construction of a Dipole Black Ring (2011) · 0.96 · paraphrased: the licence does not allow quoting
-
Following the procedure given in this paper, deduced that the rod structure of the general solution is described by five turning points dividing the z-axis into six rods.
Static charged double-black rings in five dimensions (2011) · 1.00 · paraphrased: the licence does not allow quoting
Cites it as support 1 paper · 1 by the same authors
By the same authors
-
Said that this paper's proposal that the rod structure characterizes asymptotically flat five-dimensional vacuum black holes with two rotational Killing vector fields is supported by another work's uniqueness theorem.
Domain Structure of Black Hole Space-Times (2009) (same authors) · 0.98 · paraphrased: the licence does not allow quoting
How the literature uses it
86 arXiv papers cite this in 228 sentences
Papers citing it · 151 sentences without a confident label
Builds on it 5 papers
-
This way we show that the set of invariants for black hole space-times, originally introduced with the rod structure in [ref] , can be naturally extended to a set of invariants for black hole space-times with a cosmological constant for any number of space-time dimensions and any number of commuting Killing vector fields.
Domain Structure of Black Hole Space-Times with a Cosmological Constant · Introduction · 0.98
-
The domain structure generalizes the so-called rod structure proposed in [ref] as the set of invariants characterizing asymptotically flat black holes in five dimensions which are solutions of vacuum Einstein equations and possess two rotational Killing vector fields.
Domain Structure of Black Hole Space-Times · Introduction and summary · 0.84
-
This statement still holds if $G(u)$ is a quartic polynomial [ref] .
Gravitational multi-soliton solutions on flat space · C-metric-like coordinates · 0.80
Uses its method or tool 26 papers
-
Using the standard techniques of [ref] , we can read off the seed metric from the seed rod configuration: ringseedG_0=diag{-μ_1μ_4/μ_3μ_6,ρ^2μ_3μ_6/μ_2μ_5μ_7, μ_2μ_5μ_7/μ_1μ_4}.
The Black Di-Ring: An Inverse Scattering Construction · Seed Solution and Solitonic Transformations · 1.00
-
Given the rod structure, the results of Ref. [ref] may be used to obtain the corresponding solution of Einstein's equation from a 3-dimensional matrix valued Poisson type equation sourced by the rods.
Geometric Engineering 5d Black Holes with Rod Diagrams · Building a lens space with rods · 0.99
-
Following the procedure given in [ref] , one deduces that the rod structure is described by four turning points that divide the $z$-axis into five rods: * For $z<a_4$ one has a semi-infinite spacelike with normalized direction l_1=√(2√(2)/K_0)(0,2ACR,1). * For $a_4<z<a_3$ one has a finite timelike rod that corresponds to the first black hole horizon.
Charged black holes on the Taub-Bolt instanton · The rod structure · 0.98
Compares with it 8 papers
-
A hint on how to do this can be found by comparing our final rod diagram with the black ring rod diagram [ref] : we set $a_2=a_3$ and $a_1=a_3$.
The Black Di-Ring: An Inverse Scattering Construction · Parameter Counting · 0.98
-
It is important to emphasize that unlike in the original definition of the rod-structure in [ref] the domain structure is defined without using any knowledge of how the black hole space-time solves the Einstein equations.
Domain Structure of Black Hole Space-Times with a Cosmological Constant · Introduction · 0.86
-
On one hand, the stronger version of the rod structure used in this paper is able to distinguish the Eguchi–Hanson and Taub-bolt instantons, whereas the traditional (Harmark) rod structure [ref] is unable to do so.
Rod-structure classification of gravitational instantons with U(1)xU(1) isometry · Introduction · 0.98
Cites it as support 1 paper
-
The proposal of [ref] that the rod structure provides a characterization of asymptotically flat black holes in five dimensions which are solutions of vacuum Einstein equations and possess two rotational Killing vector fields is supported by the uniqueness theorem of [ref] which states that a black hole space-time with a single event horizon is unique given the rod structure and the asymptotic charges.
Domain Structure of Black Hole Space-Times · Introduction and summary · 0.98
Cites it as background 17 papers
-
In 5d the boundary segments which do not correspond to the horizon are specified by a length and a 2d vector which determines which linear combination of the rotational Killing fields $m_i$ vanishes – this is referred to as the interval structure (also known as rod data) [ref] (see also [ref] ).
On the uniqueness of extremal vacuum black holes · Non-extremal case · 0.85
-
Black hole space-times are characterised by their domain structure [ref] .
Uniqueness of Black Holes with Bubbles in Minimal Supergravity · Domain structure of black hole space-times · 0.91
-
A classification of such solutions was provided by Harmark in Ref. [ref] .
Geometric Engineering 5d Black Holes with Rod Diagrams · Rod structures · 0.83
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.