Pith. Sign in

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

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0408141 (version 2)
Pith IDC2OIGQC2, Pith's permanent record of this paper and its review
CitationTroels Harmark. "Stationary and Axisymmetric Solutions of Higher-Dimensional General Relativity." arXiv:hep-th/0408141 (2004). https://pith.science/paper/C2OIGQC2
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper asks whether the Einstein equations for stationary, axisymmetric vacuum spacetimes in $D$ dimensions can be organized around a single matrix-valued field instead of a coupled system of metric components. It shows that, under an integrability condition on the $D-2$ commuting Killing vectors, the metric can be put in a canonical form built from a $(D-2)�times(D-2)$ symmetric matrix $G$ and one conformal factor, with $r^2=|�det G|$. The vacuum equations then reduce to $G^{-1}�nabla^2G=(G^{-1}�nabla G)^2$ on an auxiliary flat three-dimensional space, while the conformal factor is fixed by an integrable first-order system. This matters because it turns a hard geometric PDE problem into a matrix equation whose sources are thin rods on a line, and it recovers the four-dimensional Papapetrou form and the higher-dimensional Weyl solutions as special cases. The paper then reads the five-dimensional Myers-Perry black hole and the Emparan-Reall black ring through this lens and identifies their rod structures.

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

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

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

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,101 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.49 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.13 · compares with prior results 0.92 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.97 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

87 later papers cite it

Evidence: substantial. 82 of the citing papers share no author with it, and 30 of those carry a confident label from Pith's citation classifier.

Pith read 30 of the 232 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

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

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

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

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.