Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

Sheref Nasereldin

arxiv: 2606.09177 · v2 · pith:XTYTKAEWnew · submitted 2026-06-08 · 🌀 gr-qc

Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

Sheref Nasereldin This is my paper

Pith reviewed 2026-06-27 15:46 UTC · model grok-4.3

classification 🌀 gr-qc

keywords static axisymmetric metricscosmological constantWeyl coordinatesEinstein spacesarea functionKottler metricorbit spacegeneral relativity

0 comments

The pith

The canonical Weyl choice W=ρ works locally for static axisymmetric metrics if and only if the cosmological constant is zero.

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

The paper shows that the area function of the two Killing orbits ceases to be harmonic once a nonzero cosmological constant is present. Starting from the generalized orthogonally transitive static axisymmetric line element without forcing W to equal ρ, the reduced Einstein-Λ equations on the two-dimensional orbit space yield a different differential equation for the area function. This equation is satisfied by the Kottler metric and reduces to the familiar harmonic condition only when Λ vanishes. The limitation therefore stems from the non-harmonicity induced by Λ rather than from staticity or axisymmetry themselves. Consequently, the familiar statement that Weyl metrics exclude Λ≠0 holds only under the additional assumption of canonical coordinates.

Core claim

In four-dimensional static axisymmetric Einstein spaces the area function of the two Killing orbits is no longer harmonic on the orbit space when the cosmological constant is nonzero. The canonical Weyl form, obtained by identifying this area function with the harmonic coordinate ρ, is therefore locally admissible if and only if Λ=0. The reduced Einstein-Λ field equations derived from the generalized line element confirm the result, and the Kottler metric supplies the simplest explicit instance of the modified equation satisfied by the area function.

What carries the argument

The generalized orthogonally transitive static axisymmetric line element (without the assumption W=ρ), reduced on the two-dimensional orbit space to obtain the Einstein-Λ equations; the area function W whose harmonicity fails for nonzero Λ.

If this is right

The assertion that Weyl metrics exclude nonzero Λ is precise only when the metric is assumed to be already in canonical Weyl coordinates.
Static axisymmetric solutions with Λ≠0 exist but require a coordinate choice in which the area function obeys the modified equation rather than Laplace's equation.
The Kottler metric furnishes the concrete differential equation that replaces the harmonic condition for the area function.
Axisymmetry and staticity alone do not forbid inclusion of a cosmological constant; the coordinate restriction does.

Where Pith is reading between the lines

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

Analogous coordinate restrictions may appear in other symmetry reductions of Einstein spaces with nonzero Λ.
Numerical constructions of axisymmetric black holes in de Sitter or anti-de Sitter backgrounds may need to adopt non-canonical area coordinates from the outset.
The result suggests that alternative canonical forms adapted to the modified equation for the area function could be defined for nonzero Λ.
The same non-harmonicity mechanism could affect volume functions in higher-dimensional or non-stationary cosmological models.

Load-bearing premise

The Einstein-Λ equations reduce on the two-dimensional orbit space when the metric is written in the generalized static axisymmetric form without presupposing the value of the area function.

What would settle it

An explicit static axisymmetric solution with Λ≠0 written in coordinates where the area function equals ρ exactly would contradict the claim.

read the original abstract

The canonical Weyl form for four-dimensional static axisymmetric vacuum metrics is obtained by identifying the area function of the two Killing orbits with a harmonic coordinate on the twodimensional orbit space. This construction is valid in Ricci-flat vacuum, but it is no longer available in Einstein spaces with nonzero cosmological constant. In this paper, we consider the generalized orthogonally transitive static axisymmetric line element and derive the reduced Einstein- $\Lambda$ field equations. We show that the canonical Weyl choice $W=\rho$ is locally admissible if and only if $\Lambda=0$. The Kottler metric gives the simplest explicit example of the resulting equation for the area function. Thus, the statement that "Weyl metrics do not allow $\Lambda \neq 0$ " is precise only when the metric is assumed to be in canonical Weyl coordinates. The issue is not staticity or axisymmetry, but rather the fact that the area function is no longer harmonic.

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.

Desk Editor's Note private letter to a colleague

The paper shows that canonical Weyl coordinates with W=ρ work locally only when Lambda=0, because the area function acquires a source term from the cosmological constant.

read the letter

The main takeaway is that the usual Weyl coordinate choice breaks for nonzero cosmological constant in these spacetimes. The area function W no longer satisfies the harmonic equation, so you cannot set it equal to rho while keeping the metric form.

The authors take the generalized static axisymmetric line element without fixing W=rho, substitute into the Einstein-Lambda equations, and reduce on the orbit space. They obtain the sourced equation for W and prove the iff statement: W=rho is admissible locally precisely when Lambda vanishes. The Kottler metric is recovered as the spherical case that illustrates the source term.

This is new in spelling out the reduced system and the exact condition. It does the job of clarifying that the limitation sits in the coordinate choice rather than in staticity or axisymmetry themselves. The stress-test logic checks out: the reduction follows from orthogonal transitivity and standard projection of the Einstein tensor, with no extra global assumptions required for the local claim.

The derivation steps look standard and the central argument holds. A minor limitation is that the work stays local and does not discuss alternative coordinates or global constructions, but that matches the narrow scope. No circularity or fitting issues appear.

This is for people who work on exact solutions in general relativity with a cosmological constant. A reader already inside that subfield will find the coordinate restriction useful and worth knowing. It deserves peer review as a clean technical clarification that can be checked directly from the equations.

Referee Report

0 major / 1 minor

Summary. The paper considers the generalized orthogonally transitive static axisymmetric line element and derives the reduced Einstein-Λ field equations on the two-dimensional orbit space. It shows that the canonical Weyl choice W=ρ is locally admissible if and only if Λ=0, because the equation satisfied by the area function W acquires an explicit source term proportional to ΛW (vanishing only for Λ=0) that prevents W from being harmonic. The Kottler metric is recovered as the spherically symmetric solution of the sourced equation and serves as the simplest explicit confirmation.

Significance. If the reduction holds, the result supplies a precise, local statement separating the existence of static axisymmetric Einstein spaces with Λ≠0 from the availability of canonical Weyl coordinates. It directly addresses a common source of confusion in the literature by showing that the limitation is coordinate-specific rather than intrinsic to the symmetry class. The derivation uses only the standard projection of the Einstein tensor onto the orbit space and the orthogonal transitivity assumption, with the Kottler example providing an immediate, falsifiable check.

minor comments (1)

[Abstract] The abstract refers to 'the reduced equations' without indicating the section in which the full set of reduced field equations (including the sourced equation for W) is displayed; adding an explicit reference would improve traceability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation to accept the manuscript. The referee's summary correctly identifies the central result: the canonical Weyl coordinate choice W=ρ is admissible if and only if Λ=0 because the area function satisfies a sourced equation when Λ≠0.

Circularity Check

0 steps flagged

No significant circularity; direct reduction from field equations

full rationale

The paper substitutes the generalized orthogonally transitive static axisymmetric line element into the Einstein-Λ equations, reduces on the 2D orbit space, and obtains a sourced equation for the area function W that contains an explicit ΛW term. The statement that W=ρ is admissible iff Λ=0 follows immediately because the source vanishes only for Λ=0. This is a standard direct computation with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations. The Kottler metric is recovered as a consistency check on the sourced equation. The derivation is self-contained against the Einstein equations and the metric ansatz.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper builds directly on the standard Einstein field equations with cosmological constant applied to a symmetry-reduced metric. No free parameters are fitted, no new entities are postulated, and the axioms are the background assumptions of general relativity plus the chosen symmetry class.

axioms (2)

standard math The Einstein field equations with cosmological constant hold: G_{\mu\nu} + \Lambda g_{\mu\nu} = 0.
This is the foundational equation invoked when the authors derive the reduced Einstein-Λ field equations.
domain assumption The spacetime admits two commuting Killing vector fields generating staticity and axisymmetry, allowing the generalized orthogonally transitive line element.
This symmetry assumption is used to write the line element before reduction.

pith-pipeline@v0.9.1-grok · 5691 in / 1591 out tokens · 42610 ms · 2026-06-27T15:46:46.441821+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 3 linked inside Pith

[1]

Static Einstein equations Let ds2 =−N 2dt2 +h ijdxidxj, N=e U ,(A1) with all metric functions independent of t. For an Einstein space, Rµν = Λgµν,(A2) the standard static decomposition gives Rtt =N D iDiN=−ΛN 2,(A3) Rij(g) = Ric(h)ij −N −1DiDjN= Λh ij.(A4) SinceN=e U, N −1DiDiN= ∆ hU+|DU| 2 h,(A5) N −1DiDjN=D iDjU+D iU DjU,(A6) and hence ∆hU+|DU| 2 h =−Λ,...
[2]

Conformal rescaling Now write hij =e −2U¯hij.(A9) For a conformal rescaling in three dimensions one has Ric(h)ij = Ric(¯h)ij + ¯∇i ¯∇jU+∂ iU ∂jU + ¯∆U− | ¯∇U|2 ¯h ¯hij, (A10) while for a scalar, ∆hf=e 2U ¯∆f− ¯∇U· ¯∇f ,|Df| 2 h =e 2U | ¯∇f|2 ¯h. (A11) Applying the scalar identity to f = U and using the first static equation gives ¯∆U=−Λe −2U .(A12) For th...
[3]

Axially symmetric three-metric Let ¯h=q ABdxAdxB +W 2dϕ2, A, B∈ {ρ, z},(A15) with all fields independent ofϕ. Then Ric(¯h)AB = Ric(q)AB −W −1∇A∇BW,(A16) Ric(¯h)ϕϕ =−W∆ qW,(A17) ¯∆U= ∆ qU+W −1∇W· ∇U.(A18) Combining these identities with the conformally rescaled Einstein equations gives ∆qU+W −1∇W· ∇U=−Λe −2U ,(A19) ∆qW=−2Λe −2U W,(A20) Ric(q)AB =W −1∇A∇BW+...
[4]

Conformal coordinates on the orbit space If qABdxAdxB =e 2ν(dρ2 +dz 2),(A22) then ∆qf=e −2ν(f,ρρ +f ,zz),(A23) Ric(q)AB =−(ν ,ρρ +ν ,zz)δAB.(A24) The mixed and traceless combinations of the tensor equa- tion give ∇ρ∇zW=W ,ρz −ν ,zW,ρ −ν ,ρW,z,(A25) ∇ρ∇ρW− ∇ z∇zW=W ,ρρ −W ,zz −2ν ,ρW,ρ + 2ν,zW,z, (A26) from which (25) and (26) follow immediately. 5
[5]

Zur Gravitationstheorie,

H. Weyl, “Zur Gravitationstheorie,” Ann. Phys. (Berlin) 364, 185 (1919)

1919
[6]

Some special solutions of the equations of axially symmetric gravitational fields,

T. Lewis, “Some special solutions of the equations of axially symmetric gravitational fields,” Proc. Roy. Soc. Lond. A136, 176 (1932)

1932
[7]

Champs gravitationnels stationnaires ` a sym´ etrie axiale,

A. Papapetrou, “Champs gravitationnels stationnaires ` a sym´ etrie axiale,” Ann. Inst. H. Poincar´ e Phys. Th´ eor.4, 83 (1966)

1966
[8]

Stephani, D

H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers and E. Herlt,Exact Solutions of Einstein ’s Field Equa- tions, 2nd ed. (Cambridge University Press, Cambridge, 2003)

2003
[9]

J. B. Griffiths and J. Podolsk´ y,Exact Space-Times in Einstein ’s General Relativity(Cambridge University Press, Cambridge, UK, 2009)

2009
[10]

R. M. Wald,General Relativity(University of Chicago Press, Chicago, 1984)

1984
[11]

¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,

F. Kottler, “ ¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,” Ann. Phys. (Leipzig) 361, 401 (1918)

1918
[12]

Boundary Orbits: 1 Static Spacetimes,

S. Nasereldin and K. Lake, “Boundary Orbits: 1 Static Spacetimes,” arXiv:1902.05129

Pith/arXiv arXiv 1902
[13]

The Geroch group in Einstein spaces,

R. G. Leigh, A. C. Petkou, P. M. Petropoulos and P. K. Tripathy, “The Geroch group in Einstein spaces,” Class. Quant. Grav.31, 225006 (2014), arXiv:1403.6511

Pith/arXiv arXiv 2014
[14]

On the integra- bility of Einstein-Maxwell-(A)dS gravity in presence of Killing vectors,

D. Klemm, M. Nozawa and M. Rabbiosi, “On the integra- bility of Einstein-Maxwell-(A)dS gravity in presence of Killing vectors,” Class. Quant. Grav.32, 205008 (2015), arXiv:1506.09017

Pith/arXiv arXiv 2015
[15]

Classi- cal integrability in the presence of a cosmological constant: analytic and machine learning results,

G. L. Cardoso, D. Mayorga Pe˜ na and S. Nampuri, “Classi- cal integrability in the presence of a cosmological constant: analytic and machine learning results,” Fortschr. Phys. 73, 2400267 (2025), arXiv:2404.18247

arXiv 2025
[16]

Weyl- Lewis-Papapetrou coordinates, self-dual Yang-Mills equa- tions and the single copy,

G. L. Cardoso, S. Mahapatra and S. Nagy, “Weyl- Lewis-Papapetrou coordinates, self-dual Yang-Mills equa- tions and the single copy,” JHEP10, 030 (2024), arXiv:2407.14392

arXiv 2024
[17]

GRTensorIII

The tensor calculations in this paper were checked using the “GRTensorIII” package

[1] [1]

Static Einstein equations Let ds2 =−N 2dt2 +h ijdxidxj, N=e U ,(A1) with all metric functions independent of t. For an Einstein space, Rµν = Λgµν,(A2) the standard static decomposition gives Rtt =N D iDiN=−ΛN 2,(A3) Rij(g) = Ric(h)ij −N −1DiDjN= Λh ij.(A4) SinceN=e U, N −1DiDiN= ∆ hU+|DU| 2 h,(A5) N −1DiDjN=D iDjU+D iU DjU,(A6) and hence ∆hU+|DU| 2 h =−Λ,...

[2] [2]

Conformal rescaling Now write hij =e −2U¯hij.(A9) For a conformal rescaling in three dimensions one has Ric(h)ij = Ric(¯h)ij + ¯∇i ¯∇jU+∂ iU ∂jU + ¯∆U− | ¯∇U|2 ¯h ¯hij, (A10) while for a scalar, ∆hf=e 2U ¯∆f− ¯∇U· ¯∇f ,|Df| 2 h =e 2U | ¯∇f|2 ¯h. (A11) Applying the scalar identity to f = U and using the first static equation gives ¯∆U=−Λe −2U .(A12) For th...

[3] [3]

Axially symmetric three-metric Let ¯h=q ABdxAdxB +W 2dϕ2, A, B∈ {ρ, z},(A15) with all fields independent ofϕ. Then Ric(¯h)AB = Ric(q)AB −W −1∇A∇BW,(A16) Ric(¯h)ϕϕ =−W∆ qW,(A17) ¯∆U= ∆ qU+W −1∇W· ∇U.(A18) Combining these identities with the conformally rescaled Einstein equations gives ∆qU+W −1∇W· ∇U=−Λe −2U ,(A19) ∆qW=−2Λe −2U W,(A20) Ric(q)AB =W −1∇A∇BW+...

[4] [4]

Conformal coordinates on the orbit space If qABdxAdxB =e 2ν(dρ2 +dz 2),(A22) then ∆qf=e −2ν(f,ρρ +f ,zz),(A23) Ric(q)AB =−(ν ,ρρ +ν ,zz)δAB.(A24) The mixed and traceless combinations of the tensor equa- tion give ∇ρ∇zW=W ,ρz −ν ,zW,ρ −ν ,ρW,z,(A25) ∇ρ∇ρW− ∇ z∇zW=W ,ρρ −W ,zz −2ν ,ρW,ρ + 2ν,zW,z, (A26) from which (25) and (26) follow immediately. 5

[5] [5]

Zur Gravitationstheorie,

H. Weyl, “Zur Gravitationstheorie,” Ann. Phys. (Berlin) 364, 185 (1919)

1919

[6] [6]

Some special solutions of the equations of axially symmetric gravitational fields,

T. Lewis, “Some special solutions of the equations of axially symmetric gravitational fields,” Proc. Roy. Soc. Lond. A136, 176 (1932)

1932

[7] [7]

Champs gravitationnels stationnaires ` a sym´ etrie axiale,

A. Papapetrou, “Champs gravitationnels stationnaires ` a sym´ etrie axiale,” Ann. Inst. H. Poincar´ e Phys. Th´ eor.4, 83 (1966)

1966

[8] [8]

Stephani, D

H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers and E. Herlt,Exact Solutions of Einstein ’s Field Equa- tions, 2nd ed. (Cambridge University Press, Cambridge, 2003)

2003

[9] [9]

J. B. Griffiths and J. Podolsk´ y,Exact Space-Times in Einstein ’s General Relativity(Cambridge University Press, Cambridge, UK, 2009)

2009

[10] [10]

R. M. Wald,General Relativity(University of Chicago Press, Chicago, 1984)

1984

[11] [11]

¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,

F. Kottler, “ ¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,” Ann. Phys. (Leipzig) 361, 401 (1918)

1918

[12] [12]

Boundary Orbits: 1 Static Spacetimes,

S. Nasereldin and K. Lake, “Boundary Orbits: 1 Static Spacetimes,” arXiv:1902.05129

Pith/arXiv arXiv 1902

[13] [13]

The Geroch group in Einstein spaces,

R. G. Leigh, A. C. Petkou, P. M. Petropoulos and P. K. Tripathy, “The Geroch group in Einstein spaces,” Class. Quant. Grav.31, 225006 (2014), arXiv:1403.6511

Pith/arXiv arXiv 2014

[14] [14]

On the integra- bility of Einstein-Maxwell-(A)dS gravity in presence of Killing vectors,

D. Klemm, M. Nozawa and M. Rabbiosi, “On the integra- bility of Einstein-Maxwell-(A)dS gravity in presence of Killing vectors,” Class. Quant. Grav.32, 205008 (2015), arXiv:1506.09017

Pith/arXiv arXiv 2015

[15] [15]

Classi- cal integrability in the presence of a cosmological constant: analytic and machine learning results,

G. L. Cardoso, D. Mayorga Pe˜ na and S. Nampuri, “Classi- cal integrability in the presence of a cosmological constant: analytic and machine learning results,” Fortschr. Phys. 73, 2400267 (2025), arXiv:2404.18247

arXiv 2025

[16] [16]

Weyl- Lewis-Papapetrou coordinates, self-dual Yang-Mills equa- tions and the single copy,

G. L. Cardoso, S. Mahapatra and S. Nagy, “Weyl- Lewis-Papapetrou coordinates, self-dual Yang-Mills equa- tions and the single copy,” JHEP10, 030 (2024), arXiv:2407.14392

arXiv 2024

[17] [17]

GRTensorIII

The tensor calculations in this paper were checked using the “GRTensorIII” package