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

This paper demonstrates that the canonical Weyl coordinate choice is incompatible with a non-zero cosmological constant because the area function ceases to be harmonic, thereby clarifying that the restriction on Weyl metrics applies specifically to the coordinate system rather than to static axisymmetric Einstein spaces in general.

The Gist

Imagine the universe as a giant, stretchy fabric. Physicists use math to describe how heavy objects (like stars) bend this fabric. For a long time, when they studied a specific type of bend—one that is perfectly still (static) and looks the same no matter which way you spin around it (axisymmetric)—they used a very specific, convenient map called Canonical Weyl Coordinates.

Think of these coordinates like a perfectly straight, square grid drawn on a piece of graph paper. It's incredibly easy to do math on this grid because the lines are straight and evenly spaced.

The Old Rule

For a long time, scientists believed that if you wanted to use this "perfect square grid" to map out the gravity around a still, spinning object, the universe had to be empty of a certain mysterious energy called the Cosmological Constant (let's call it "Cosmic Push").

The paper argues that this belief was actually a misunderstanding of the map, not a rule of the universe.

The New Discovery

The author, Sheref Nasereldin, says: "The problem isn't that the universe can't have this Cosmic Push. The problem is that the 'perfect square grid' stops working when the Push is turned on."

Here is the breakdown using simple analogies:

1. The "Area Function" (The Ruler)
In these gravitational maps, there is a special number called the "Area Function." You can think of this as a ruler that measures how big the circles of rotation are around the object.

• In an empty universe (No Cosmic Push): This ruler behaves perfectly. It follows the rules of a flat, calm lake. Because it behaves so nicely, you can use the ruler itself as one of the lines on your grid. This creates the "Canonical Weyl" map.
• In a universe with Cosmic Push: The ruler gets distorted. It's like trying to use a rubber ruler on a bumpy, vibrating surface. It no longer follows the simple, straight rules. It has a "source term," which is just a fancy way of saying "it's being pushed by an outside force."

2. The "Square Grid" vs. The "Bumpy Map"
The paper proves that you can only use the "Canonical Weyl" square grid (where the ruler is perfectly straight) if the Cosmic Push is zero.

• If the Push is Zero: The ruler is straight. You can use the grid.
• If the Push is NOT Zero: The ruler bends. If you try to force the ruler to stay straight (by insisting on the Canonical Weyl coordinates), the math breaks. It's like trying to force a square peg into a round hole; the universe simply won't allow it.

The Proof: The Kottler Metric

To prove this, the author looks at the Kottler metric. Think of this as the "Gold Standard" example of a still, spinning object in a universe with Cosmic Push (it's basically the famous Schwarzschild black hole, but with the Cosmic Push added).

• When the author calculates the "ruler" (the Area Function) for this object, they find it is not straight. It is curved by the Cosmic Push.
• This confirms that the "Canonical Weyl" grid (which demands a straight ruler) simply cannot exist for this object.
• However, the object does exist! It just needs a different kind of map (a more general one) that allows the ruler to be curved.

The Bottom Line

The paper corrects a common misconception.

• Old Thought: "Weyl metrics (the square grid maps) don't work if the universe has a Cosmological Constant."
• New Truth: "Weyl metrics do work, but only if you define them strictly as maps where the ruler is perfectly straight. If the universe has a Cosmological Constant, the ruler must bend, so you have to stop using the 'perfectly straight ruler' definition and use a more flexible map instead."

In short: The universe with a Cosmological Constant is real and exists. It just refuses to fit into the specific, rigid "square grid" box that physicists used to love. You have to use a more flexible, curved map to describe it.

Technical Summary

Technical Summary: Static Axisymmetric Einstein Spaces and the Limitation of Canonical Weyl Coordinates

Problem Statement
The classical Weyl metric provides the general local form for the exterior vacuum field of a static, axially symmetric gravitating source in four dimensions. In its canonical form, the metric is constructed by identifying the area function of the two Killing orbits ($W = \sqrt{-\det(g_{AB})}$) with a harmonic coordinate ($\rho$) on the two-dimensional orbit space. While this construction is well-established for Ricci-flat vacuum spacetimes ($R_{ab}=0$), it is unclear whether this canonical form remains valid for Einstein spaces with a non-zero cosmological constant ($\Lambda \neq 0$), such as the Kottler (Schwarzschild-de Sitter) family. The central question is whether the restriction to canonical Weyl coordinates is a fundamental obstruction to the existence of static axisymmetric Einstein spaces with $\Lambda \neq 0$, or merely a limitation of that specific coordinate choice.

Methodology
The authors work locally within the orthogonally transitive sector of static axisymmetric spacetimes. To decouple the coordinate specialization from the physical existence of the spacetime, they employ a generalized line element that retains the area function $W(\rho, z)$ as an arbitrary metric function rather than fixing it to $\rho$ immediately:
$$ds^2 = -e^{2U}dt^2 + e^{-2U} \left[ e^{2\nu}(d\rho^2 + dz^2) + W(\rho, z)^2 d\phi^2 \right].$$
Using the Einstein–$\Lambda$ field equations ($R_{ab} = \Lambda g_{ab}$), the authors perform a dimensional reduction. By utilizing conformal rescaling techniques on the spatial hypersurfaces orthogonal to the timelike Killing vector, they derive the reduced field equations governing the potentials $U$, $\nu$, and the area function $W$ on the two-dimensional orbit space.

Key Contributions and Results

1. Derivation of Reduced Equations: The paper derives the complete reduced Einstein–$\Lambda$ system for the generalized static axisymmetric metric. The key equations governing the area function $W$ and the potential $U$ on the orbit space are:

   • $\Delta_q W = -2\Lambda e^{-2U} W$
   • $\Delta_q U + W^{-1}\nabla W \cdot \nabla U = -\Lambda e^{-2U}$
     where $\Delta_q$ is the Laplacian associated with the orbit space metric $q$.

2. Proof of Incompatibility for Canonical Coordinates: The authors demonstrate that the canonical Weyl choice, defined by setting $W = \rho$, is locally admissible in a region away from the symmetry axis ($\rho > 0$) if and only if $\Lambda = 0$.

   • If $W = \rho$ is imposed, the reduced equation for $W$ becomes $0 = -2\Lambda e^{2\nu - 2U} \rho$.
   • Since the exponential factor and $\rho$ are non-zero, this equation forces $\Lambda = 0$.
   • Conversely, if $\Lambda = 0$, the equation for $W$ reduces to the flat-space Laplace equation ($\Delta W = 0$), allowing $W$ to be used as a harmonic coordinate.

3. Clarification of the "Weyl Metric" Limitation: The paper establishes that the statement "Weyl metrics do not allow $\Lambda \neq 0$" is precise only when "Weyl metric" is interpreted strictly as the metric in canonical coordinates where the area function is identified with the radial coordinate. The limitation is not due to the staticity or axisymmetry of the spacetime itself, but rather the fact that for $\Lambda \neq 0$, the area function $W$ is no longer harmonic; it satisfies a sourced differential equation.

4. Explicit Verification via Kottler Metric: The Kottler metric (Schwarzschild-de Sitter) is presented as the simplest explicit example. The authors show that for the Kottler solution with $\Lambda \neq 0$, the area function $W = r \sin\theta \sqrt{f(r)}$ satisfies the sourced equation $\Delta_q W = -2\Lambda e^{-2U} W$, confirming that it cannot be transformed into the canonical Weyl form ($W=\rho$). In the limit $\Lambda \to 0$, the solution reduces to Schwarzschild, where $W$ becomes harmonic, recovering the standard canonical Weyl coordinates.

Significance and Claims
The paper claims to provide a precise, local statement clarifying the scope of canonical Weyl coordinates. It argues that the failure of the canonical Weyl form for $\Lambda \neq 0$ is controlled directly by the differential equation satisfied by the area function. The authors emphasize that this result should not be viewed as a global obstruction to the existence of static axisymmetric Einstein spaces with a cosmological constant; rather, such spaces exist but must be described by the more general line element (4) where the area function is not identified with the coordinate $\rho$. The work serves to distinguish between the geometric properties of the spacetime and the specific coordinate choices used to represent them.