pith. sign in

arxiv: 2606.03758 · v1 · pith:567V5PXGnew · submitted 2026-06-02 · 🌀 gr-qc · hep-th

A master equation for Carter-separable stationary axisymmetric spacetimes and compatible sources

Hyeong-Chan Kim This is my paper

Pith reviewed 2026-06-28 08:54 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords Carter separabilitystationary axisymmetric spacetimesmaster equationEinstein equationsexact solutionsKerr metricsPlebanski-Demianski metricscompatible sources
0
0 comments X

The pith

In the Carter-projective sector the diagonal Einstein equations reduce to one sourced master equation for the structure functions.

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

The paper establishes that once off-diagonal Einstein equations fix the projective structure of a stationary axisymmetric spacetime, the remaining diagonal equations become equivalent to a single master equation. In the anti-aligned exponential branch the equation reads L_CP[Delta, Y] equals 16 pi Sigma times the sum of the hatted energy density and axial stress component. Two geometric identities of the Einstein tensor turn into algebraic conditions that any admissible matter source must obey. The same operator yields the known vacuum and Lambda Kerr-Carter and Plebanski-Demianski families when sources vanish. A reader would care because the reduction supplies both a practical tool for constructing new solutions and explicit constraints on which matter fields can preserve the separability.

Core claim

In the anti-aligned exponential branch, which contains the Kerr-Carter and Plebanski-Demianski real section, the remaining diagonal Einstein system reduces to the single sourced master equation L_CP[Delta,Y] = 16 pi Sigma (T_0hat0hat + T_3hat3hat), where Delta(r) and Y(x) are the radial and angular structure functions. The reduction is accompanied by two geometric diagonal identities of the Einstein tensor that become algebraic compatibility conditions on admissible matter sources. In the homogeneous limit the vacuum-Lambda Kerr-Carter and Plebanski-Demianski families are recovered as solutions of the same master operator. The construction is projectively covariant.

What carries the argument

The master operator L_CP acting on the radial structure function Delta and angular structure function Y, which encodes the diagonal Einstein equations after the projective structure is fixed by the off-diagonal equations.

If this is right

  • The vacuum and cosmological-constant Kerr-Carter and Plebanski-Demianski families solve the homogeneous master equation.
  • Aligned Maxwell fields satisfy the algebraic compatibility conditions and are therefore admissible sources.
  • Separable anisotropic matter distributions can be checked against the same compatibility conditions.
  • The master equation remains unchanged under projective transformations of the coordinates.

Where Pith is reading between the lines

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

  • The reduction could be used to scan for new exact solutions with matter that preserve Carter separability.
  • The algebraic conditions may exclude entire classes of matter models from admitting stationary axisymmetric solutions of this type.
  • Similar master equations might exist in other branches or in non-exponential parametrizations of the projective structure.

Load-bearing premise

The spacetime must lie in the anti-aligned exponential branch of the Carter-projective sector, with the projective structure already fixed by the off-diagonal Einstein equations.

What would settle it

An explicit matter distribution in this sector for which the full set of diagonal Einstein equations cannot be satisfied by solving only the master equation, or for which the two algebraic compatibility conditions fail while the spacetime still satisfies Einstein's equations.

read the original abstract

We show that the remaining diagonal Einstein equations in the Carter-projective sector of stationary axisymmetric spacetimes are equivalent to a single sourced master equation. The projective structure is taken as the input fixed by the off-diagonal Einstein equations. In the anti-aligned exponential branch, which contains the Kerr--Carter and Pleba\'nski--Demia\'nski real section, the remaining diagonal Einstein system reduces to \[ \mathcal L_{\rm CP}[\Delta,Y] =16\pi\Sigma \left( T_{\hat0\hat0}+T_{\hat3\hat3} \right), \] where \(\Delta(r)\) and \(Y(x)\) are the radial and angular structure functions. The reduction is accompanied by two geometric diagonal identities of the Einstein tensor, which become algebraic compatibility conditions on admissible matter sources. In the homogeneous limit, the vacuum--\(\Lambda\) Kerr--Carter and Pleba\'nski--Demia\'nski families are recovered as solutions of the same master operator. We also show the projective covariance of the construction and discuss compatible sources, including the aligned Maxwell field and separable anisotropic examples.

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.

Referee Report

0 major / 2 minor

Summary. The paper shows that the remaining diagonal Einstein equations in the Carter-projective sector of stationary axisymmetric spacetimes are equivalent to a single sourced master equation L_CP[Delta,Y] = 16 pi Sigma (T_0hat0hat + T_3hat3hat) in the anti-aligned exponential branch, with the projective structure fixed by off-diagonal equations. Two geometric diagonal identities serve as algebraic compatibility conditions on admissible matter sources. The vacuum-Lambda Kerr-Carter and Plebanski-Demianski families are recovered as homogeneous solutions of the same operator. The construction is projectively covariant, and compatible sources including aligned Maxwell field and separable anisotropic examples are discussed.

Significance. If the reduction holds, the result offers a useful simplification for exact solutions in this class of spacetimes by collapsing the diagonal Einstein system to one equation plus algebraic conditions on sources. Recovery of the standard vacuum families as homogeneous solutions of the same operator and the explicit projective covariance are concrete strengths that enhance the utility for constructing new metrics with matter.

minor comments (2)
  1. [Abstract] Abstract: the anti-aligned exponential branch is invoked without a one-sentence definition or pointer to its definition; a brief clarification would aid readers unfamiliar with the prior Carter-projective literature.
  2. [Abstract] Abstract, Eq. (1): the notation T_{\hat0\hat0} is used without indicating whether the hats denote an orthonormal frame or a specific coordinate choice; a short parenthetical or reference to the frame definition would remove ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work, as well as the recommendation for minor revision. No specific major comments were listed in the report, so we have no individual points requiring point-by-point rebuttal or clarification at this stage. We will prepare a revised manuscript incorporating any editorial or minor suggestions that may arise during the process.

Circularity Check

0 steps flagged

No significant circularity; direct reduction from Einstein equations

full rationale

The paper takes the projective structure as an external input fixed by the off-diagonal Einstein equations and shows that the remaining diagonal equations in the anti-aligned exponential branch are equivalent to the single sourced master equation L_CP[Delta,Y] = 16 pi Sigma (T_0hat0hat + T_3hat3hat), with two geometric identities supplying only algebraic conditions on sources. This is presented as an algebraic equivalence within the Einstein tensor components for Carter-separable stationary axisymmetric spacetimes, not a fitted parameter or self-referential definition. The recovery of known vacuum-Lambda families as homogeneous solutions is a consistency check on the same operator rather than a circular input. No self-citation load-bearing steps, ansatz smuggling, or renaming of known results appear in the derivation chain; the construction remains self-contained against the Einstein system.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the domain assumption that the spacetime is Carter-separable and stationary axisymmetric with projective structure fixed by off-diagonal equations, plus the choice of the anti-aligned exponential branch; no free parameters or invented entities are mentioned in the abstract.

axioms (3)
  • domain assumption Einstein field equations hold in four-dimensional spacetime
    The paper works entirely within classical general relativity.
  • domain assumption The spacetime admits a Carter-projective structure fixed by the off-diagonal Einstein equations
    This is stated as the input that allows reduction of the diagonal system.
  • ad hoc to paper The spacetime is in the anti-aligned exponential branch
    The master equation form is given specifically for this branch containing Kerr-Carter and Plebanski-Demianski.

pith-pipeline@v0.9.1-grok · 5725 in / 1523 out tokens · 19887 ms · 2026-06-28T08:54:57.550661+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 13 canonical work pages · 6 internal anchors

  1. [1]

    For the anti-aligned exponential branch, using the forms for Γ(R),p(z) in Eq

    The equationG ˆ0ˆ3 = 0 For the metric (10), the equationG ˆ0ˆ3 = 0 takes the form (∂R +∂ z) log Σ√ΓRpz Γ−a 2p = 0.(C1) Thus the quantity inside the logarithm must be a function ofy=R−zonly. For the anti-aligned exponential branch, using the forms for Γ(R),p(z) in Eq. (24), we get Γ−a 2p=− D0 eµ(R+z⊖) +e −µ(R+z⊖) (γeµR +δe −µR) (γe−µz⊖ −δe µz⊖) .(C2) By us...

  2. [2]

    1 4 S¯y S 2 − S¯y S ¯y − Σy Σ 2 + 2 Σy Σ y # .(C9) For the branch under consideration, 2 Σy Σ y − Σy Σ 2 =−µ 2, S¯y S = 2µtanh[µ(¯y−z r)].(C10) It follows that 1 3

    The equationG ˆ1ˆ2 = 0 In the same gauge, the equationG ˆ1ˆ2 = 0 may be written as a2pz Γ−a 2p R = 1 3 ΣRΣz Σ2 −2∂ R∂z log Σ .(C6) Using the definition ofS, the left-hand side is a2pz Γ−a 2p R =− a2pzΓR (Γ−a 2p)2 =− a2 S =− µ2 cosh2[µ(¯y−zr)] .(C7) On the other hand, since Σ =ϵ p S(¯y)Σ(y), we have ∂R log Σ = 1 2 S¯y S + Σy Σ , ∂z log Σ = 1 2 S¯y S − Σy Σ...

  3. [3]

    The combinationG ˆ0ˆ0 +G ˆ1ˆ1 For the metric (10), one finds Gˆ0ˆ0 +G ˆ1ˆ1 = ∆ 2Σ A,(E1) where A ≡ a2 ˙p2 (Γ−a 2p)2 + 3Σ′2 Σ2 −2 Σ′′ Σ − 2Γ′ Γ−a 2p Σ′ Σ .(E2) Using the formula (A4), this expression can be rewritten as ΓRA= a2 S −2 ΣR Σ R + ΣR Σ ΓRR ΓR − 2ΓR Γ−a 2p .(E3) Here we have used Eq. (15). For the anti-aligned exponential branch, Σ =ϵ p S(¯y)Σ(y)...

  4. [4]

    Therefore, using the identities (E6), we immedi- ately obtain pzB= 0

    The combinationG ˆ2ˆ2 −G ˆ3ˆ3 The second diagonal combination is Gˆ2ˆ2 −G ˆ3ˆ3 = Qsin 2 θ 2Σ B,(E7) with B ≡ −2 ¨Σ Σ + 3 ˙Σ2 Σ2 + 2a2 ˙p Γ−a 2p ˙Σ Σ + a2Γ′2 (Γ−a 2p)2 .(E8) In terms of the projective coordinatez, this expression can be written as pzB= a2 S − S¯y S ¯y − 1 4 S¯y S 2 + Σy Σ 2 −2 Σy Σ y .(E9) The right-hand side is the same combination that a...

  5. [5]

    Uniqueness of the Kerr Black Hole,

    D. C. Robinson, “Uniqueness of the Kerr Black Hole,” Phys. Rev. Lett.34, 905 (1975). 10.1103/PhysRevLett.34.905 24

    work page doi:10.1103/physrevlett.34.905 1975

  6. [6]

    Black Uniqueness Theorems,

    P. O. Mazur, “Black Uniqueness Theorems,” arXiv:hep-th/0101012

    Pith/arXiv arXiv

  7. [7]

    Axisymmetric Black Hole Has Only Two Degrees of Freedom,

    B. Carter, “Axisymmetric Black Hole Has Only Two Degrees of Freedom,” Phys. Rev. Lett. 26, 331 (1971)

    1971

  8. [8]

    Stationary black holes: uniqueness and beyond,

    P. T. Chru´ sciel, J. Lopes Costa, and M. Heusler, “Stationary black holes: uniqueness and beyond,” Living Rev. Relativity 15, 7 (2012)

    2012

  9. [9]

    Zur Gravitationstheorie,

    H. Weyl, “Zur Gravitationstheorie,” Annalen Phys.54, 117 (1917)

    1917

  10. [10]

    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

  11. [11]

    Eine rotationssymmetrische L¨ osung in der allgemeinen Relativit¨ atstheorie,

    A. Papapetrou, “Eine rotationssymmetrische L¨ osung in der allgemeinen Relativit¨ atstheorie,” Annalen Phys.12, 309 (1953)

    1953

  12. [12]

    Chandrasekhar, The Mathematical Theory of Black Holes, Oxford (1983)

    S. Chandrasekhar, The Mathematical Theory of Black Holes, Oxford (1983)

    1983

  13. [13]

    New formulation of the axially symmetric gravitational field problem. II,

    F. J. Ernst, “New formulation of the axially symmetric gravitational field problem. II,” Phys. Rev.168, 1415 (1968)

    1968

  14. [14]

    New formulation of the axially symmetric gravitational field problem,

    F. J. Ernst, “New formulation of the axially symmetric gravitational field problem,” Phys. Rev.167, 1175 (1968)

    1968

  15. [15]

    Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics,

    R. P. Kerr, “Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics,” Phys. Rev. Lett.11, 237 (1963). 10.1103/PhysRevLett.11.237

    work page doi:10.1103/physrevlett.11.237 1963

  16. [16]

    Hamilton-Jacobi and Schr¨ odinger Separable Solutions of Einstein’s Equations,

    B. Carter, “Hamilton-Jacobi and Schr¨ odinger Separable Solutions of Einstein’s Equations,” Commun. Math. Phys.10, 280 (1968). 10.1007/BF03399503

    work page doi:10.1007/bf03399503 1968

  17. [17]

    Rotating, charged, and uniformly accelerating mass in general relativity,

    J. F. Pleba´ nski and M. Demia´ nski, “Rotating, charged, and uniformly accelerating mass in general relativity,” Ann. Phys. (N.Y.) 98, 98 (1976)

    1976

  18. [18]

    On Quadratic First Integrals of the Geodesic Equations for Type{22}Spacetimes,

    M. Walker and R. Penrose, “On Quadratic First Integrals of the Geodesic Equations for Type{22}Spacetimes,” Commun. Math. Phys.18, 265 (1970). 10.1007/BF01649445

    work page doi:10.1007/bf01649445 1970

  19. [19]

    J. N. Goldberg and R. K. Sachs, A theorem on Petrov types, Acta Phys. Polon. Suppl. 22, 13 (1962)

    1962

  20. [20]

    An approach to gravitational radiation by a method of spin coefficients,

    E. Newman and R. Penrose, “An approach to gravitational radiation by a method of spin coefficients,” J. Math. Phys. 3, 566 (1962)

    1962

  21. [21]

    Space-Times Admitting Killing-Yano Tensors,

    W. Dietz and R. R¨ udiger, “Space-Times Admitting Killing-Yano Tensors,” Proc. R. Soc. Lond. A375, 361 (1981)

    1981

  22. [22]

    Hidden Symmetries of Higher-Dimensional Rotating Black Holes,

    V. P. Frolov and D. Kubizˇ n´ ak, “Hidden Symmetries of Higher-Dimensional Rotating Black Holes,” Phys. Rev. Lett.98, 011101 (2007). 10.1103/PhysRevLett.98.011101

    work page doi:10.1103/physrevlett.98.011101 2007

  23. [23]

    Hidden symmetry of higher dimensional Kerr-NUT-AdS spacetimes,

    D. Kubizˇ n´ ak and V. P. Frolov, “Hidden symmetry of higher dimensional Kerr-NUT-AdS spacetimes,” Class. Quantum Grav. 24, F1 (2007)

    2007

  24. [24]

    Separability of Hamilton-Jacobi and Klein-Gordon equations in general Kerr- NUT-AdS spacetimes,

    V. P. Frolov, P. Krtouˇ s, and D. Kubizˇ n´ ak, “Separability of Hamilton-Jacobi and Klein-Gordon equations in general Kerr- NUT-AdS spacetimes,” JHEP 02 (2007) 005

    2007

  25. [25]

    Local Origin of Hidden Symmetry in Rotating Spacetimes,

    H. C. Kim, “Local Origin of Hidden Symmetry in Rotating Spacetimes,” [arXiv:2603.08408 [gr-qc]]

    Pith/arXiv arXiv

  26. [26]

    Stationary axisymmetric systems that allow for a separability structure,

    H. C. Kim and W. Lee, “Stationary axisymmetric systems that allow for a separability structure,” [arXiv:2603.04047 [gr-qc]]

    arXiv

  27. [27]

    Lehto, Univalent Functions and Teichmuller Spaces, Springer (1987)

    O. Lehto, Univalent Functions and Teichmuller Spaces, Springer (1987)

    1987

  28. [28]

    Formation and evaporation of non-singular black holes

    S. A. Hayward, “Formation and evaporation of nonsingular black holes,” Phys. Rev. Lett.96, 031103 (2006). 10.1103/Phys- RevLett.96.031103 [gr-qc/0506126]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/phys- 2006

  29. [29]

    Vacuum nonsingular black hole,

    I. Dymnikova, “Vacuum nonsingular black hole,” Gen. Rel. Grav.24, 235 (1992). 10.1007/BF00760226

    work page doi:10.1007/bf00760226 1992

  30. [30]

    Regular Black Hole in General Relativity Coupled to Nonlinear Electrodynamics

    E. Ay´ on-Beato and A. Garc´ ıa, “Regular Black Hole in General Relativity Coupled to Nonlinear Electrodynamics,” Phys. Rev. Lett.80, 5056 (1998). 10.1103/PhysRevLett.80.5056 [gr-qc/9911046]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.80.5056 1998

  31. [31]

    New Regular Black Hole Solution from Nonlinear Electrodynamics

    E. Ay´ on-Beato and A. Garc´ ıa, “New regular black hole solution from nonlinear electrodynamics,” Phys. Lett. B464, 25 (1999). 10.1016/S0370-2693(99)01038-2 [hep-th/9911174]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0370-2693(99)01038-2 1999

  32. [32]

    Generic rotating regular black holes in general relativity coupled to nonlinear electrodynamics

    B. Toshmatov, Z. Stuchl´ ık and B. Ahmedov, “Generic rotating regular black holes in general relativity coupled to nonlinear electrodynamics,” Phys. Rev. D95, 084037 (2017). 10.1103/PhysRevD.95.084037 [arXiv:1704.07300 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.95.084037 2017

  33. [33]

    Lorentz covariant treatment of the Kerr–Schild geometry,

    M. G¨ urses and F. G¨ ursey, “Lorentz covariant treatment of the Kerr–Schild geometry,” J. Math. Phys.16, 2385 (1975). 10.1063/1.522480

    work page doi:10.1063/1.522480 1975

  34. [34]

    Rotating regular black holes

    C. Bambi and L. Modesto, “Rotating regular black holes,” Phys. Lett. B721, 329 (2013). 10.1016/j.physletb.2013.03.025 [arXiv:1302.6075 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2013.03.025 2013

  35. [35]

    Regular rotating electrically charged black holes and solitons in nonlinear electrodynamics minimally coupled to gravity

    I. Dymnikova and E. Galaktionov, “Regular rotating electrically charged black holes and solitons in nonlinear elec- trodynamics minimally coupled to gravity,” Class. Quant. Grav.32, 165015 (2015). 10.1088/0264-9381/32/16/165015 [arXiv:1510.01353 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/32/16/165015 2015

  36. [36]

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

    2009