Rainich-type conditions giving a spacetime “geometrization” of matter fields in general relativity are reviewed and extended. Three types of matter are considered: perfect fluids, scalar fields, and electromagnetic fields. Necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equations are given. Formulas for constructing the fluid from the metric are obtained. All fluid results hold for any spacetime dimension. Geometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and formulas for constructing the scalar field from the metric are unified and extended to arbitrary dimensions, to include a cosmological constant, and to include any self-interaction potential. Necessary and sufficient conditions on a four-dimensional spacetime metric for it to be an electrovacuum and formulas for constructing the electromagnetic field from the metric are generalized to include a cosmological constant. Both null and non-null electromagnetic fields are treated. A number of examples and applications of these results are presented.

In the general theory of relativity it is often possible to eliminate the matter fields from the Einstein-matter field equations and express the equations as local geometric conditions on the spacetime metric alone. This possibility was discovered by Rainich,1 who showed how to eliminate the Maxwell field from the Einstein-Maxwell equations, arriving at the “Rainich conditions,” which give necessary and sufficient conditions on a spacetime metric for it to be a non-null electrovacuum. Rainich’s work was made prominent by Misner and Wheeler,2 who advanced the “geometrization” program in which all matter was to be modeled as a manifestation of spacetime geometry. Over the subsequent years, a variety of additional geometrization results have been found pertaining to electromagnetic fields, scalar fields, spinor fields, fluids, and so forth. See, e.g., Refs. 3–13. Results such as these provide, at least in principle, a new way to analyze field equations and their solutions from a purely geometric point of view, just involving the metric.

The geometrization conditions which have been obtained over the years, while conceptually elegant, are generally more complicated than the original Einstein-matter field equations. For example, the Einstein-Maxwell equations are a system of variational second-order partial differential equations, while the Rainich conditions involve a system of non-variational fourth-order equations. For this reason, one can understand why geometrization results have seen relatively little practical use in relativity and field theory. The current abilities of symbolic computational systems have, however, made the use of geometrization conditions viable for various applications. Indeed, the bulk of the non-null electrovacuum solutions presented in the treatise of Ref. 14 were verified using a symbolic computational implementation of the classical Rainich conditions. The geometrization examples for various null electrovacua found in Ref. 13 were obtained using the DifferentialGeometry package in Maple.15 The purpose of this paper is to compile a set of geometrization results for the Einstein field equations which involve the most commonly used matter fields and which are as comprehensive and as general as possible while at the same time in a form suitable for symbolic computational applications.

This last point requires some elaboration as it significantly constrains the type of geometric conditions which we shall deem suitable for our purposes. A suitable geometrization condition for our purposes will define an algorithm which takes as input a given spacetime metric and which determines, solely through algebraic and differentiation operations on the metric, whether the metric defines a solution of the Einstein equations with a given matter content. When the metric does define a solution, the matter fields shall be constructed directly from the metric via algebraic operations, differentiation, and integration.

We summarize our treatment for each of three types of matter fields and compare to existing results as follows.

We give necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equations. Formulas for constructing the fluid from the metric are obtained. These results apply to spacetimes of any dimension greater than two and allow for a cosmological constant. No energy conditions or equations of state are imposed. Existing geometrization conditions for fluids can be found in Ref. 12, which generalize those found in four spacetime dimensions in Ref. 11. The conditions given in Refs. 12 and 11, while elegant, involve the existence of certain unspecified functions and so do not satisfy the computational criteria listed above. The results of Ref. 11 also include conditions which enforce equations of state, while the results of Ref. 12 enforce the dominant energy condition. Our conditions enforce neither of these since we are interested in geometrization conditions which characterize any type of fluid solutions. The geometrization conditions we obtain are built algebraically from the Einstein tensor and so involve up to two derivatives of the metric.

Geometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and formulas for constructing the scalar field from the metric have been obtained by Kuchař for free fields in four spacetime dimensions without a cosmological constant.4 These results apply to massless and massive fields. The results of Ref. 4 subsume related results in Refs. 3 and 6. More recently, conditions for a symmetric tensor to be algebraically that of a free massless scalar field in any dimension, without cosmological constant, have been given in Ref. 12. These conditions are necessary algebraically but are not sufficient for geometrization since additional differential conditions are required. Here we give necessary and sufficient conditions for a metric to define a solution of the Einstein-scalar field equations which generalize all these results. In particular, the results we obtain here hold in arbitrary dimensions, they allow for a cosmological constant, they allow for a mass, and they allow for a freely specifiable self-interaction potential. Null and non-null fields are treated. The geometrization conditions we have found for a scalar field necessarily involve both algebraic and differential conditions on the Einstein tensor; they involve up to three derivatives of the spacetime metric.

Necessary and sufficient conditions on a four-dimensional spacetime metric for it to be a non-null electrovacuum were given by Rainich1 and Misner and Wheeler.2 The null case has been investigated by Misner and Wheeler,2 Geroch,7 Bartrum,8 and Ludwig.9 Building upon Ludwig’s results, a set of geometrization conditions for null electrovacua has been given by one of us in Ref. 13 via the Newman-Penrose formalism. Here, we generalize both the non-null results of Rainich, Misner, and Wheeler and the null results of Ref. 13 to include a cosmological constant. While this represents a very modest generalization of the classical Rainich conditions in the non-null case, it represents a less obvious generalization in the null case. In any case, we hope there is some value in assembling all these results in one place and in a unified form which is amenable to computational algorithms. All these results hold in four dimensions. The geometrization conditions for non-null electromagnetic fields involve up to four derivatives of the metric, while the geometrization of null electromagnetic fields involves as many as five derivatives of the metric.

Besides proving various geometrization theorems, we provide a number of modest illustrations of the theorems which hopefully serve to clarify their structure and usage. All these illustrations were accomplished using the DifferentialGeometry package in Maple, amply demonstrating the amenability of our results to symbolic computation. Software implementation of our geometrization results, computational details of some of the applications presented here, along with additional applications, can be found at http://digitalcommons.usu.edu/dg/.

Let (M, g) be an n-dimensional spacetime, n > 2, with signature (− + + ⋯ + ). Let μ:MR and p:MR be functions on M. Let u be a unit timelike vector field on M, that is, gabuaub = − 1. The Einstein equations for a perfect fluid are

R a b 1 2 R g a b + Λ g a b = q ( μ + p ) u a u b + p g a b .
(2.1)

Here Rab is the Ricci tensor of gab, R = gabRab is the Ricci scalar, Λ is the cosmological constant, and q = 8 π G / c 4 with G being Newton’s constant. We note that the cosmological and Newton constants can be absorbed into the definition of the fluid. With

μ ̃ = q μ + Λ , p ̃ = q p Λ ,
(2.2)

the Einstein equations take the form

R a b 1 2 R g a b = ( μ ̃ + p ̃ ) u a u b + p ̃ g a b .
(2.3)

If there exist functions μ ̃ and p ̃ and a timelike unit vector field u on M such that (2.3) holds, we say that (M, g) is a perfect fluid spacetime. Note that if μ ̃ + p ̃ = 0 in some open set U M then the spacetime is actually an Einstein space on U . In what follows, when we speak of perfect fluid spacetimes we assume that μ ̃ + p ̃ 0 at each point of the spacetime. Note also that we have not imposed any energy conditions, equations of state, or thermodynamic properties. These additional considerations are examined, for example, in Ref. 11.

In the following we will use the trace-free Ricci (or trace-free Einstein) tensor Sab,

S a b = R a b 1 n R g a b = G a b 1 n G g a b .
(2.4)

We will also need the following elementary result.

Proposition 1.
LetQabbe a covariant, symmetric, rank-2 tensor on ann-dimensional vector spaceV.Qabsatisfies
Q a [ b Q c ] d = 0
(2.5)
if and only if there exists a covectorvaVsuch that
Q a b = ± v a v b .
(2.6)

Proof.
Eq. (2.6) clearly implies (2.5). We now show that (2.5) implies (2.6). From Sylvester’s law of inertia there exists a basis for V, denoted by βi, i = 1, 2, …, n, in which Qab is diagonal with components given by ±1, 0. In this basis, using index-free notation, Q takes the form
Q = i = 1 n a i β i β i ,
(2.7)
where ai ∈ { − 1, 0, 1}. In this basis, Eq. (2.5) takes the form
i , j = 1 n a i a j ( β i β i β j β j β i β j β i β j ) = 0 .
(2.8)
Consequently, aiaj = 0 for all ij, from which it follows that all but one of the {ai} are zero (assuming Q ≠ 0). If the basis is labeled so that a1 is the non-zero component then v = a 1 β 1 , and (2.6) follows. □

The following theorem gives a simple set of Rainich-type conditions for a perfect fluid spacetime.

Theorem 1.
Let (M, g) be ann-dimensional spacetime,n > 2. Define
α = n 2 ( n 1 ) ( n 2 ) S a b S b c S c a 1 / 3 .
(2.9)
The metricgdefines a perfect fluid spacetime if and only if
( 1 ) α 0 ,
(2.10)
( 2 ) K a [ b K c ] d = 0 ,
(2.11)
( 3 ) K a b v a v b > 0 , for some v a ,
(2.12)
where
K a b = 1 α S a b 1 n g a b .
(2.13)

Proof.
We begin by showing the conditions are necessary. Suppose the Einstein equations (2.3) are satisfied for some ( g , μ ̃ , p ̃ , u ) . The trace-free Einstein tensor takes the form
S a b = ( μ ̃ + p ̃ ) u a u b + 1 n g a b .
(2.14)
Equations (2.14) and (2.9) yield
α = μ ̃ + p ̃ ,
(2.15)
which implies condition (1) since we are always assuming that μ ̃ + p ̃ 0 . From (2.15), (2.13), and (2.3) we have that
K a b = u a u b ,
(2.16)
which implies conditions (2) and (3).
We now check that conditions (1)–(3) are sufficient. Condition (1) permits Kab to be defined. From Proposition 1, condition (2) implies there exists a covector field ua such that Kab = ± uaub, while condition (3) picks out the positive sign, Kab = uaub. From definition (2.13) of Kab, it follows that gabuaub = − 1. Defining μ ̃ and p ̃ via
μ ̃ + p ̃ = α , p ̃ = 1 n ( G + α ) ,
(2.17)
it follows perfect fluid Einstein equations (2.3) are satisfied. □

From the proof of this theorem we obtain a prescription for construction of the fluid variables from a metric satisfying conditions (1)–(3).

Corollary 1.
If (M, g) is ann-dimensional spacetime satisfying the conditions of Theorem 1, then it is a perfect fluid spacetime with energy density μ ̃ and pressure p ̃ given by
μ ̃ = 1 n [ ( n 1 ) α G ] , p ̃ = 1 n ( α + G ) ,
(2.18)
and fluid velocityuadetermined (up to an overall sign) from the quadratic condition
u a u b = K a b .
(2.19)

Here we use Theorem 1 to find fluid solutions. Consider the following simple ansatz for a class of static, spherically symmetric spacetimes:

g = r 2 d t d t + f ( r ) d r d r + r 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) .
(2.20)

Here, f is a function to be determined. Computation of the tensor field K and imposition of the quadratic condition Ka[bKc]d = 0 leads to a system of non-linear ordinary differential equations for f(r) which can be reduced to

r f + 2 f f 2 = 0 .
(2.21)

This has the 1-parameter family of solutions

f ( r ) = 2 1 + λ r 2 ,
(2.22)

where λ and r are restricted by 1 + λr2 > 0 to give the metric Lorentz signature. With f(r) so determined, the scalar α and the tensor K are computed to be

α = 1 r 2 , K = r 2 d t d t ,
(2.23)

from which it immediately follows that all three conditions of Theorem 1 are satisfied.

From Corollary 1 the energy density, μ ̃ , pressure p ̃ , and 4-velocity u are given by

μ ̃ = 1 2 [ 1 r 2 3 λ ] , p ̃ = 1 2 [ 1 r 2 + 3 λ ] , u = 1 r t .
(2.24)

If desired, one can interpret this solution as admitting a cosmological constant Λ = 3 2 λ and a stiff equation of state, μ = p = 1/(2qr2).

In this example, we use Theorem 1 to construct a class of cosmological perfect fluid solutions on a 5-dimensional spacetime (M, g) where M = R × Σ4 with Σ4 = R3 × R being homogeneous and anisotropic. We start from a 4-parameter family of metrics of the form

g = d t d t + r 0 2 t 2 b ( d x d x + d y d y + d z d z ) + R 0 2 t 2 β d w d w ,
(2.25)

where r0, R0, b, and β are parameters to be determined. This metric defines a family of spatially flat 3+1 dimensional homogeneous and isotropic universes with (x, y, z) coordinates, each with an extra dimension w described with its own scale factor. Using Theorem 1 we select metrics from this set which solve the perfect fluid Einstein equations.

Condition (2) of Theorem 1 leads to a system of algebraic equations for b and β from which we have found three solutions,

(i) b = β ( β 1 ) β + 2 , (ii) b = 1 3 ( β 1 ) , (iii) b = β .
(2.26)

Case (i) can be eliminated from consideration since

b = β ( β 1 ) β + 2 K = R 0 2 t 2 β d w d w ,
(2.27)

which violates condition (3) of Theorem 1. Cases (ii) and (iii) satisfy all the conditions of Theorem 1. Using Corollary 1 we obtain solutions of the Einstein equations as follows:

(ii) b = 1 3 ( β 1 ) K = d t d t , u = t , μ ̃ = p ̃ = 1 3 2 β 2 β 1 t 2 ,
(2.28)
(iii) b = β K = d t d t , u = t μ ̃ = 6 β 2 t 2 , p ̃ = 3 β ( 2 β 1 ) t 2 .
(2.29)

Case (ii) is anisotropic (except when b = β = 1 4 ) and allows for any combination of expansion and contraction for the (x, y, z) and w dimensions. Case (iii) is isotropic in all four spatial dimensions. Both cases are singular as t → 0.

Kuchař has given Rainich-type geometrization conditions for a minimally coupled, free scalar field in four dimensions without a cosmological constant.4 Here, we generalize his treatment to a real scalar field with any self-interaction, in any dimension, and including the possibility of a cosmological constant.

The Einstein-scalar field equations for a spacetime (M, g) with a minimally coupled real scalar field ψ, with self-interaction potential V(ψ), and with cosmological constant Λ are given by

R a b 1 2 R g a b + Λ g a b = q ψ ; a ψ ; b 1 2 g l m ψ ; l ψ ; m g a b V ( ψ ) g a b ,
(3.1)
g l m ψ ; l m V ( ψ ) = 0 ,
(3.2)

where q = 8 π G / c 4 and we use a semicolon to denote the usual torsion-free, metric-compatible covariant derivative.

We distinguish two classes of solutions to the Einstein-scalar field equations. If a solution has ψ;aψ;a ≠ 0 everywhere we say that the solution is non-null. If the solution has ψ;aψ;a = 0 everywhere we say that the solution is null.

The Rainich-type conditions we shall obtain require the following extension of Proposition 1 (cf. Ref. 4).

Proposition 2.
LetQabbe a symmetric tensor field on a manifoldM. Then (locally onM) there exists a functionϕsuch that
Q a b = ± ϕ ; a ϕ ; b
(3.3)
if and only ifQabsatisfies
( 1 ) Q a [ b Q c ] d = 0 ,
(3.4)
( 2 ) Q a b Q c [ d ; e ] + Q a c Q b [ d ; e ] + Q b c ; [ d Q e ] a = 0 .
(3.5)
Proof.
Using Proposition 1, condition (1) is necessary and sufficient for the existence of a 1-form va such that Qab = ± vavb. We then have
Q b c ; [ d Q e ] a = v a v b v c ; [ d v e ] + v a v c v b ; [ d v e ] ,
(3.6)
and
Q c [ d ; e ] = ± ( v c ; [ e v d ] + v c v [ d ; e ] ) ,
(3.7)
and hence
Q a b Q c [ d ; e ] + Q a c Q b [ d ; e ] + Q b c ; [ d Q e ] a = 2 v a v b v c v [ d ; e ] .
(3.8)
Consequently, if (3.3) holds then condition (2) holds and, conversely, condition (2) implies the 1-form va is closed, hence locally exact. □

We shall use the following notation:

G a b = R a b 1 2 R g a b , G = G a a , 2 G a b = G a c G c b , 2 G = G a b G a b ,
(3.9)
3 G a b = G a c G c d G d b , 3 G = G a c G c d G d a .
(3.10)

The geometrization theorems we shall obtain will depend upon whether the self-interaction potential V(ψ) is present. We begin with a free, massless, non-null scalar field.

Theorem 2.
Let (M, g) be ann-dimensional spacetime,n > 2. The following are necessary and sufficient conditions ongsuch that there exists a scalar fieldψwith (g, ψ) defining a local, non-null solution to the Einstein-scalar equations (3.1) and (3.2) withV(ψ) = 0,
2 G 1 n G 2 0 ,
(3.11)
A ; i = 0 ,
(3.12)
H a [ b H c ] d = 0 ,
(3.13)
H a b H c [ d ; e ] + H a c H b [ d ; e ] + H b c ; [ d H e ] a = 0 ,
(3.14)
H a b w a w b > 0 , for some w a ,
(3.15)
where we define
A = 1 2 1 n G 2 G 3 G 2 G 1 n G 2 ,
(3.16)
and
H a b = G a b + 1 2 n G + 2 A g a b .
(3.17)

Proof.
We begin by showing the conditions are necessary. Suppose (g, ψ) define a non-null solution to the Einstein-scalar field equations with V(ψ) = 0. From the Einstein equations (3.1) we have
G a b 1 n G g a b = q ψ ; a ψ ; b 1 n g l m ψ ; l ψ ; m g a b ,
(3.18)
and
2 G a b 1 n 2 G g a b = 2 q Λ ψ ; a ψ ; b 1 n g l m ψ ; l ψ ; m g a b .
(3.19)
These two equations imply
2 G a b 1 n 2 G g a b = 2 Λ ( G a b 1 n G g a b ) .
(3.20)
Now multiplying (3.20) by Gab we get
3 G 1 n G 2 G = 2 Λ ( 2 G 1 n G 2 ) ,
(3.21)
while contracting (3.18) with Gab gives
2 G 1 n G 2 = n 1 n q 2 g a b ψ ; a ψ ; b 2 0 .
(3.22)
Equation (3.21) then implies
A 1 2 1 n G 2 G 3 G 2 G 1 n G 2 = Λ .
(3.23)
It follows that A;i = 0 and then, from the Einstein equations, we have that
H a b = q ψ ; a ψ ; b ,
(3.24)
from which follow the rest of the conditions, (3.13)(3.15).
Conversely, suppose conditions (3.11)(3.15) are satisfied. From Proposition 2, Equations (3.13)(3.15) imply that there exists a function ψ such that Hab = ;aψ;b, while (3.12) implies that A = const. ≡ Λ. Together, these results imply that
G a b = q ψ ; a ψ ; b 1 2 g a b g m n ψ ; m ψ ; n Λ g a b
(3.25)
so that the Einstein equations are satisfied by (g, ψ). The contracted Bianchi identity now implies
ψ ; c g a b ψ ; a b = 0 ,
(3.26)
and the non-null condition (3.11) yields gabψ;aψ;b ≠ 0, which enforces the scalar field equation (3.2). □

From the proof just given, it is clear the scalar field is determined from the metric by solving a system of quadratic equations followed by a simple integration.

Corollary 2.
Let (M, g) satisfy the conditions of Theorem 2. Then (g, ψ) satisfy the Einstein-scalar field equations, withV = 0, with Λ = A, and withψdetermined up to an additive constant and up to a sign by
ψ ; a ψ ; b = 1 q H a b .
(3.27)

We turn to the special case of free, massless, null solutions, that is, solutions in which gabψ;aψ;b = 0.

Theorem 3.
Let (M, g) be ann-dimensional spacetime,n > 2. The following are necessary and sufficient conditions ongsuch that there exists a scalar fieldψwith (g, ψ) defining a local, null solution of the Einstein-scalar field equations withV(ψ) = 0,
R = 2 n n 2 Λ ,
(3.28)
S a [ b S c ] d = 0 ,
(3.29)
S a b S c [ d ; e ] + S a c S b [ d ; e ] + S b c ; [ d S e ] a = 0 ,
(3.30)
S a b w a w b > 0 for some w a ,
(3.31)
whereSabis the trace-free Ricci tensor.
Proof.
Suppose the Einstein equations (3.1) with V(ψ) = 0 are satisfied for some (g, ψ) where glmψ;lψ;m = 0. Taking the trace of (3.1) leads to (3.28) and the trace-free part yields
S a b = q ψ ; a ψ ; b ,
(3.32)
from which (3.29)(3.31) follow.
Conversely, using Proposition 2, conditions (3.29)(3.31) imply that locally there exists a function ψ such that
S a b = q ψ ; a ψ ; b .
(3.33)
Note that this implies glmψ;lψ;m = 0. Using (3.28) and Sab to construct the Einstein tensor leads to the free, massless, null field Einstein equations,
G a b = q ψ ; a ψ ; b Λ g a b .
(3.34)
The contracted Bianchi identity, along with glmψ;lψ;m = 0, then implies the field equation
g a b ψ ; a b = 0 .
(3.35)

Corollary 3.
Let (M, g) satisfy the conditions of Theorem 3. Then (g, ψ) satisfy the Einstein-scalar field equations withV = 0, andψis determined up to an additive constant and up to a sign by
ψ ; a ψ ; b = 1 q S a b .
(3.36)

We now turn to geometrization conditions which describe the case with V(ψ) ≠ 0. We define V ̃ = q V ( ψ ) + Λ . We always assume that V(ψ) has been specified such that there exists an inverse function W:RR with W ( V ̃ ( ψ ) ) = ψ , and V ̃ ( W ( x ) ) = x .

Theorem 4.
Let (M, g) be ann-dimensional spacetime,n > 2. The following are necessary and sufficient conditions ongsuch that there exists a scalar fieldψwith (g, ψ) defining a non-null solution to the Einstein-scalar equations (3.1) and (3.2), where V ̃ = q V + Λ has inverseW,
2 G 1 n G 2 0 ,
(3.37)
H a b = q W 2 ( A ) A ; a A ; b ,
(3.38)
where we define
A = 1 2 1 n G 2 G 3 G 2 G 1 n G 2
(3.39)
and
H a b = G a b + 1 2 n G + 2 A g a b .
(3.40)

Proof.
The proof is along the same lines as the proof of Theorem 2. To see that conditions (3.37) and (3.38) are necessary, we start from the Einstein equations (3.1), from which it follows that the scalar field is non-null only if
2 G 1 n G 2 0 .
(3.41)
It also follows from (3.1) that
A 1 2 1 n G 2 G 3 G 2 G 1 n G 2 = V ̃ ( ψ ) ,
(3.42)
so that
ψ = W ( A ) ,
(3.43)
and
H a b = q ψ ; a ψ ; b = q W 2 ( A ) A ; a A ; b .
(3.44)
Conversely, assuming the metric satisfies conditions (3.37) and (3.38), if we set
ψ W ( A ) ,
(3.45)
so that A = V ̃ ( ψ ) , then from (3.37) and (3.38) the scalar field is not null and the Einstein equations are satisfied. The contracted Bianchi identity then implies the scalar field equation (3.2) is satisfied as before. □

Corollary 4.
If a metricgsatisfies the conditions of Theorem 4, then there exists a non-null solution (g, ψ) to the Einstein-scalar field equations (3.1) and (3.2) where
ψ = V ̃ 1 ( A ) .
(3.46)

Finally we consider the null case with a given self-interaction potential, invertible as before.

Theorem 5.
Let (M, g) be ann-dimensional spacetime,n > 2. There exists a scalar fieldψwith (g, ψ) defining a local, null solution to the Einstein-scalar equations (3.1) and (3.2) (with potential described by V ̃ = q V + Λ and W = V ̃ 1 ) if and only if either
S a b = q W 2 ( B ) B ; a B ; b 0
(3.47)
or
S a b = 0 , B ; a = 0 , V ( W ( B ) ) = 0 ,
(3.48)
where
B = n 2 2 n R .
(3.49)

Proof.
To see that this condition is necessary, assume the Einstein-scalar field equations hold for a metric g and a null scalar field ψ. It follows that
V ̃ = n 2 2 n R , S a b = q ψ ; a ψ ; b ,
(3.50)
so that ψ = W(B) and condition (3.47) or condition (3.48) follows, depending upon whether ψ;a vanishes or not. Conversely, defining ψ = W(B), it follows that R = 2 n n 2 V ̃ ( ψ ) and, using (3.47) if Sab ≠ 0, the Einstein equations (3.1) are satisfied and the scalar field is null. The contracted Bianchi identity implies
ψ ; b ψ ; a a V ( ψ ) = 0 ,
(3.51)
which implies (3.2) if Sab ≠ 0 since ψ;b ≠ 0 by (3.47). If Sab = 0, and B;a = 0, the scalar field equation follows from V′(W(B)) = 0. □

Corollary 5.
If a metricgsatisfies the conditions of Theorem 5, then there exists a null solution (g, ψ) to the Einstein-scalar field equations (3.1) and (3.2) where
ψ = V ̃ 1 ( B ) .
(3.52)

The static, spherically symmetric fluid spacetime (2.20) and (2.22) also satisfies the geometrization conditions for a massless free scalar field contained in Theorem 2. Starting with the metric

g = r 2 d t d t + 2 1 + λ r 2 d r d r + r 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) ,
(3.53)

and calculating A and H from (3.16) and (3.17) gives

A = 3 2 λ , H a b d x a d x b = d t d t ,
(3.54)

so that, according to Corollary 2, the scalar field is given by

ψ = ± 1 q t + c o n s t a n t ,
(3.55)

and the cosmological constant is given by Λ = 3 2 λ . This solution (with λ = 0) was exhibited in Ref. 16. We remark that while the spacetime is static, the scalar field is clearly not static and so represents an example of a “non-inheriting” solution to the Einstein-scalar field equations. Non-inheriting solutions of the Einstein-Maxwell equations are well-known.14 Geometrization conditions, which depend solely upon the metric, treat inheriting and non-inheriting matter fields on the same footing.

We have been able to find an analogous family of non-inheriting solutions in 2+1 dimensions from an analysis of the geometrization conditions in Theorem 2. In coordinates (t, r, θ) the spacetime metric takes the form

g = 1 2 Λ d t d t + 1 b 2 Λ r 2 d r d r + r 2 d θ ,
(3.56)

where b is a constant. This metric yields A = Λ and

H = d t d t ,
(3.57)

so that from Corollary 2 the scalar field is given by

ψ = ± 1 q t + c o n s t a n t .
(3.58)

It is straightforward to verify that the metric and scalar field so-defined satisfy the Einstein-scalar field equations (3.1) and (3.2) with V = 0.

We use Theorem 3 to show that there are no null solutions to the free, massless Einstein-scalar field equations if the spacetime is static and spherically symmetric, provided the spherical symmetry orbits are not null. We also show that there are no spherically symmetric null solutions with null spherical symmetry orbits. Both results hold with or without a cosmological constant. Since these results follow directly from the geometrization conditions, they apply whether or not the scalar field inherits the spacetime symmetries.

We first consider a static, spherically symmetric spacetime in which the spherical symmetry orbits are not null. We use coordinates chosen such that the metric takes the following form:

g = f ( r ) d t d t + h ( r ) d r d r + R 2 ( r ) ( d θ d θ + sin 2 θ d ϕ d ϕ )
(3.59)

for some non-zero functions f, h, R. Condition (3.29) applied to (3.59) yields

R = 1 2 1 h h + 1 f f R ,
(3.60)
f = 2 f R R 2 + 1 2 h h f + 1 2 f f 2 2 f h R 2 .
(3.61)

These conditions force the trace-free Ricci tensor to vanish, whence the scalar field vanishes and we have an Einstein space. Consequently, there are no non-trivial null solutions to the Einstein-scalar field equations in which the spacetime is static and spherically symmetric with non-null spherical symmetry orbits.

Next, we consider a spherically symmetric spacetime in which the spherical symmetry orbits are null. In this case, there exist coordinates (v, r, θ, ϕ) such that the metric takes the form

g = w ( v , r ) ( d v d r + d r d v ) + u ( v , r ) d r d r + r 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) ,
(3.62)

for some functions w ≠ 0 and u. Calculation of conditions (3.28) and (3.29) for metrics (3.62) reveals they are incompatible. Consequently there are no null solutions to the Einstein-scalar field equations in this case. Since (3.62) is not actually static, but merely spherically symmetric, this proves that there are no Einstein-free-scalar field null solutions for spacetimes which are spherically symmetric with null symmetry orbits.

Fonarev17 has found a 1-parameter family of non-null spherically symmetric solutions to the Einstein-scalar field equations with a potential energy function which is an exponential function of the scalar field. Here we verify these solutions directly from the metric using Theorem 4.

In coordinates (t, r, θ, ϕ) and with q = 1, the metric in Ref. 17 takes the form

g = e 8 α 2 β t ( 1 2 m r ) δ d t d t + e 2 β t ( 1 2 m r ) δ d r d r + e 2 β t ( 1 2 m r ) 1 δ r 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) ,
(3.63)

where m > 0 is a free parameter,

δ = 2 α 4 α 2 + 1 ,
(3.64)

and α and β parametrize the scalar field potential and cosmological constant via

V ̃ ( ψ ) = β 2 ( 3 4 α 2 ) exp 8 α ψ .
(3.65)

The inverse of the potential function is given by

W ( x ) = 2 4 α ln x β 2 ( 3 4 α 2 ) .
(3.66)

Using the metric (3.63) to calculate A in (3.42) gives

A = ( 3 4 α 2 ) β 2 e 8 α 2 β t 1 2 m r 2 α 4 α 2 + 1 .
(3.67)

Calculating the tensor H in (3.40) yields

H = 8 β 2 α 2 d t d t + 4 α m β 4 α 2 + 1 r ( r 2 m ) ( d t d r + d r d t )
(3.68)
+ 2 m 2 ( 4 α 2 + 1 ) r 2 ( r 2 m ) 2 d r d r ,

and it follows that (3.38) is satisfied. Therefore, from Theorem 4, the metric (3.63) does indeed define a scalar field solution with the potential (3.65). Using Corollary 4, the scalar field is calculated to be

ψ = 2 2 α β t + 1 2 4 α 2 + 1 ln 1 2 m r ,
(3.69)

in agreement with Fonarev.17 

Necessary and sufficient conditions for a metric to be a non-null electrovacuum were first given by Rainich1 and enhanced by Misner and Wheeler.2 Necessary and sufficient conditions for a metric to be a null electrovacuum have been obtained in Ref. 13. In each case, procedures for constructing the electromagnetic field from the metric have also been obtained. These results apply to the Einstein-Maxwell equations in four spacetime dimensions with no electromagnetic sources and with no cosmological constant. Here, we summarize all these results while generalizing them to include a cosmological constant.

The Einstein-Maxwell equations for a spacetime (M, g) with electromagnetic field Fab = F[ab] and cosmological constant Λ are given by

R a b 1 2 R g a b + Λ g a b = q F a c F b c 1 4 F c d F c d g a b ,
(4.1)
b F a b = 0 , [ a F b c ] = 0 .
(4.2)

Here q = 8 π G / c 4 , ∇ is the torsion-free derivative determined by the metric, Rab and R are the Ricci tensor and Ricci scalar of the metric. We shall refer to (4.1) alone as the Einstein equations and we shall refer to (4.2) alone as the Maxwell equations.

If the two scalar invariants of the electromagnetic field vanish in some region,

F a b F a b = 0 = ϵ a b c d F a b F c d ,
(4.3)

we say that the electromagnetic field is null in that region. Otherwise, the electromagnetic field is non-null in that region. If ζab is a 2-form, the Hodge duality operation is given by

ζ a b = 1 2 ϵ a b c d ζ c d .
(4.4)

Proposition 3.
Let (M, g) be a 4-dimensional spacetime. The following conditions ongare necessary and sufficient for the existence of a 2-formFsuch that the Einstein equations (4.1) are satisfied onM:
R = 4 Λ , S a b S b c 1 4 δ a c S m n S m n = 0 , S a b t a t b > 0 ,
(4.5)
where S a b = R a b 1 4 R g a b andtais any timelike vector field. The 2-formFabwhich exists when conditions (4.5) are satisfied by the metric is unique up to a local duality rotation,
F a b cos ( ϕ ) F a b sin ( ϕ ) F a b ,
(4.6)
whereϕ:MR.

Proof.
Decompose the Einstein equations (4.1) into pure trace and trace-free parts,
R = 4 Λ , S a b = q F a c F b c 1 4 F c d F c d g a b .
(4.7)
It is straightforward to check that these equations imply conditions (4.5), so these conditions are necessary. The algebraic results of Ref. 2, applied to Sab (instead of Rab), show that the conditions on Sab in (4.5) are sufficient for the existence of 2-form F satisfying the Einstein equations, with F determined by the metric up to duality rotation (4.6). □

Conditions (4.5) generalize the classical algebraic Rainich conditions; they apply equally well for non-null and null electromagnetic fields. In the null case, they take a simpler form.

Corollary 6.
Let (M, g) be a 4-dimensional spacetime. The following conditions ongare necessary and sufficient for the existence of a null 2-formFsuch that the Einstein equations (4.1) are satisfied onM,
R = 4 Λ , S a b S b c = 0 , S a b t a t b > 0 .
(4.8)

Proof.

With the substitution of Sab for Rab, the proof is identical to that found in Ref. 2. □

Corollary 7.
Let (M, g) be a 4-dimensional spacetime. There exists a null electromagnetic 2-formFsuch that the Einstein equations (4.1) are satisfied if and only ifR = 4Λ and there exists a null geodesic congruence with tangent vector fieldkasuch that
S a b = 1 4 k a k b , g a b k a k b = 0 .
(4.9)

Proof.

This follows from Corollary 6. Since S a b S b c = 0 , Eq. (4.9) is proved exactly as in Ref. 2. That ka is tangent to geodesics follows from R = const. and the contracted Bianchi identity. □

From Proposition 3 and the general form of the electromagnetic 2-form in (4.6), the classical results of Rainich, Misner, and Wheeler generalize to the Einstein-Maxwell equations with a cosmological constant as follows.

Theorem 6.
Let (M, g) be a 4-dimensional spacetime. There exists a non-null 2-formFabsuch that (g, F) satisfy the Einstein-Maxwell equations (4.1) and (4.2) if and only ifgsatisfies,
R = 4 Λ , S a b S b c = 1 4 δ a c S m n S m n 0 , S a b t a t b > 0 ,
(4.10)
[ a ϵ b ] c d e S m c d S m e S i j S i j = 0 .
(4.11)

Proof.

After decomposing the Einstein equations into pure trace and trace-free parts, (see (4.7)), the proof is the same is in Ref. 2 with Rab replaced by Sab. □

From the proofs of Proposition (4.6) and Theorem 6 we have the following formulas for constructing the electromagnetic field from the metric.2 

Corollary 8.
Let (M, g) be a 4-dimensional spacetime satisfying the conditions of Theorem 6. Then the fields (g, F) satisfy the Einstein-Maxwell equations with
F a b = cos ( ϕ ) ξ a b sin ( ϕ ) ξ a b ,
(4.12)
whereξabis a solution to
ξ a b ξ c d = 1 q E a b c d [ S m n S m n ] 1 / 2 E a b e f E c d e f , ξ a b ξ a b = 0 , ξ a b ξ a b < 0 ,
(4.13)
E a b c d = 1 2 g a c S b d g b c S a d + g b d S a c g a d S b c ,
(4.14)
andϕis a solution to
b ϕ = ϵ b c d e S m c d S m e S i j S i j .
(4.15)
To give analogous necessary and sufficient conditions for null electrovacua, we define a null tetrad adapted to the vector field k to be a null tetrad ( k , l , m , m ¯ ) , where k and l are real and where m and m ¯ are complex conjugates. The null tetrad satisfies

g a b k a l b = 1 , g a b m a m ¯ b = 1 ,
(4.16)

with all other scalar products vanishing. We will use the Newman-Penrose formalism for this tetrad as defined, e.g., in Ref. 18. In particular, we recall the definitions of the following Newman-Penrose spin coefficients. The twist of the null congruence with tangent field ka is given by

ω = m ¯ a m b a k b .
(4.17)

The shear of the null congruence is defined by

σ = m a m b a k b .
(4.18)

The acceleration of the congruence is defined by

κ = k b m a b k a .
(4.19)

The quantities ω, σ , and κ are intrinsic properties of the null congruence determined by ka and are independent of the choice of adapted tetrad. The congruence is surface forming if and only if ω = 0. The congruence consists of geodesics precisely when κ = 0.

Finally, we denote by Ω α = ( Ω k , Ω l , Ω m , Ω m ¯ ) the basis of 1-forms dual to e α = ( k , l , m , m ¯ ) , α = 1, 2, 3, 4. The dual basis satisfies

Ω α ( e β ) = δ β α .
(4.20)

Theorem 7.

Let (M, g) be a 4-dimensional spacetime. The following three conditions ongare necessary and sufficient for the existence of a null 2-formFabsuch that (g, F) satisfy the Einstein-Maxwell equations (4.1) and (4.2).

(1) The scalar curvature is constant and the trace-free Ricci tensor is null and positive,
R = 4 Λ , S a b S b c = 0 S a b = 1 4 k a k b , S a b t a t b > 0 .
(4.21)
(2) The null congruence with tangent fieldkais geodesic and shear-free,19,24
κ = 0 = σ .
(4.22)
(3) If the twist of the null congruence defined bykvanishes,ω = 0, then
( δ ¯ + β ¯ α ) ( τ 2 β ) 1 2 ( μ μ ¯ ) ( ϵ ϵ ¯ ) = 0 ,
(4.23)
or, if the twist is non-vanishing,ω ≠ 0,
ω δ δ ( τ ¯ 2 β ¯ ) δ ω + ω ( τ α ¯ β ) ( δ ¯ + β ¯ α ) ( τ 2 β ) + i ( μ ) ( ρ 2 ϵ ) + ω 2 β ¯ δ ( 2 α ¯ + τ 4 β ) + β δ ( 2 α + τ ¯ 4 β ¯ ) + 2 i δ ( ( μ ) ( ρ 2 ϵ ) ) + τ δ ( β ¯ α ) + τ ¯ δ ( β α ¯ ) α δ ( τ 2 β ) α ¯ δ ( τ ¯ 2 β ¯ ) i ω 2 Δ ( τ 2 β ) + ω 2 ν ¯ ( ω + 2 ( ϵ ) ) ( τ 2 β ) ( 2 ( γ ) + i μ ) + i λ ¯ ( τ ¯ 2 β ¯ ) = 0 .
(4.24)
Conditions (2) and (3) use the Newman-Penrose quantities for any null tetrad adapted toka.

Proof.
The proof is a straightforward generalization of that given in Ref. 13. Here are the salient points. Setting
s a = 1 2 ( m a + m ¯ a ) , ξ a b = 1 q k [ a s b ] ,
(4.25)
the electromagnetic 2-form F solving the Einstein equations is, according to Proposition 3, given by
F a b = cos ( ϕ ) ξ a b sin ( ϕ ) ξ a b ,
(4.26)
where ϕ:MR is any function. The Maxwell equations for Fab are equivalent to (4.22) and a system of differential equations for ϕ given by
d ϕ = i ( 2 ϵ ρ ) Ω k + i ( 2 β τ ) Ω m i ( 2 β ¯ τ ¯ ) Ω m ¯ .
(4.27)
Here again we use the Newman-Penrose spin coefficients as defined, e.g., in Ref. 18. The integrability conditions for these equations are computed precisely as in Ref. 13—the cosmological constant does not enter into the computation. In the twisting case (ω ≠ 0) there are six conditions. Four of these six conditions vanish by virtue of the Ricci identities—a result which holds precisely as shown in Ref. 13, even allowing for a non-vanishing cosmological constant in the relevant Ricci identities. This leaves two non-trivial conditions, which are shown as one complex condition in (4.24). In the twist-free case (ω = 0) there are three integrability conditions for (4.27). Two of these conditions are trivially satisfied as a consequence of the Ricci identities. The cosmological constant does enter into the Ricci identities used in this case. The remaining, non-trivial condition is (4.23). □

We remark that condition (4.23) is one real condition depending upon as many as four derivatives of the metric. Condition (4.24) is complex; it represents two real conditions and depends upon as many as five derivatives of the metric. In either case, the conditions for an electrovacuum described in Theorem 7 do not depend on the choice of tetrad adapted to k.13 

From the proof of Theorem 7, the null electromagnetic field is constructed from the metric as follows.

Corollary 9.
Let (M, g) be a 4-dimensional spacetime satisfying the conditions of Theorem 7. Then the fields (g, F) satisfy the Einstein-Maxwell equations with
F a b = cos ( ϕ ) ξ a b sin ( ϕ ) ξ a b ,
(4.28)
where
ξ a b = 1 q k [ a s b ] , s a = 1 2 ( m a + m ¯ a ) ,
(4.29)
andϕis a solution to
d ϕ = i ( 2 ϵ ρ ) Ω k + i ( 2 β τ ) Ω m i ( 2 β ¯ τ ¯ ) Ω m ¯ .
(4.30)

We remark that, just as in the case with vanishing cosmological constant, F is determined up to a duality rotation in the twisting case, and F involves an arbitrary function of one variable in the twist-free case.

There is a class of solutions to the Einstein-Maxwell equations with a spacetime that is the product of two-dimensional constant curvature spaces, which is due to Levi-Civita,20 Bertotti,21 and Robinson;22 we call it the LBR solution. As an illustration of Theorem 6, we give a novel derivation of the LBR solution in its most general form using symmetry methods.

Consider the set of spherically symmetric spacetimes. As is well known (see, e.g., Ref. 14), the set of such spacetimes can be partitioned into three classes according to whether the “warp factor” has a spacelike, null, or vanishing gradient. We consider here the latter case in which the spacetime (M, g) is necessarily the product of two-dimensional geometries. We denote this product by M = L × S, where S has constant positive curvature and Riemannian signature (these are the spherical symmetry group orbits), and L has Lorentzian signature. Using standard spherical polar coordinates on S and null coordinates on L, the spacetime metric takes the following form:

g = e h ( u , v ) ( d u d v + d v d u ) + r 0 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) .
(4.31)

Here r0 > 0 is a constant. We now consider the conditions of Theorem 6. We begin by imposing the condition that the scalar curvature is constant, R = 4Λ. This condition takes the form

2 e h 2 h u v + 2 r 0 2 = 4 Λ .
(4.32)

The first term on the left-hand side represents the scalar curvature of L, so this condition forces L to have constant curvature, as might have been expected from the product form of the spacetime geometry. Thus, there are three types of solutions to this geometrization condition according to whether the constant curvature of L is positive, negative, or zero. Spacetimes satisfying (4.32) are symmetric spaces; the curvature tensor is covariantly constant.

Remarkably, condition (4.32) is also sufficient for the spacetime to be an electrovacuum. It is straightforward to verify that the trace-free Ricci tensor of the metric (4.31), given by

S = 1 2 e h 2 h u v 1 r 0 2 e h ( d u d v + d v d u ) + r 0 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) ,
(4.33)

satisfies (4.10) and (4.11) in Theorem 6. As an example, here is a spacetime metric satisfying (4.32) where L has constant negative curvature −4k2,

g = 1 cosh 2 ( k ( u + v ) ) ( d u d v + d v d u ) + r 0 2 ( d θ d θ + sin 2 θ d ϕ d ϕ ) ,
(4.34)
Λ = 1 2 r 0 2 k 2 .

Here is the electromagnetic field F, constructed from the metric g in (4.34) via Corollary 8,

q F = 1 + 2 k 2 r 0 2 cos α r 0 cosh 2 ( k ( u + v ) ) d u d v + r 0 sin α sin θ d θ d ϕ ,
(4.35)

where α ∈ [0, 2π). The fields (g, F) satisfy the Einstein-Maxwell equations with cosmological constant Λ = 1 2 r 0 2 k 2 .

We use Theorem 7 to construct a new hypersurface homogeneous solution to the Einstein-Maxwell equations with a cosmological constant and with a null electromagnetic field. We begin by defining a class of metrics, parametrized by an arbitrary function f, which generalizes a homogeneous null electrovacuum with cosmological constant due to Siklos.23 In coordinates (u, v, y, z), our generalization is

g = 3 Λ y 2 1 2 ( d u d v + d v d u ) + d y d y + d z d z f ( y ) d v d v ,
(4.36)

where Λ < 0. This metric satisfies R = 4Λ. The trace-free Ricci tensor takes the pure radiation form

S = 1 2 f 1 y f d v d v ,
(4.37)

with a twist-free, shear-free null geodesic generator

k = 2 3 Λ y 3 / 2 2 ( y f 2 f ) u .
(4.38)

From Theorem 7, Eq. (4.23), the metric defines a null electrovacuum if and only if f(y) satisfies

y 4 [ f 2 f f ] + 2 y 3 [ f f f f ] 2 y 2 f 2 + 12 y f f 12 f 2 = 0 .
(4.39)

The Siklos solution has f(y) = y4. A new, non-trivial solution to this equation which leads to a metric satisfying all of the hypotheses of Theorem 7 in the twist-free case is given by

f ( y ) = 1 3 y 3 + e y ( y 2 2 y + 2 ) .
(4.40)

From Corollary 9, the null electromagnetic 2-form F which serves as the source for this spacetime is given by

q F = 3 2 Λ e y / 2 cos ( z 2 α ( v ) ) d v d y sin ( z 2 α ( v ) ) d v d z ,
(4.41)

where α(v) is an arbitrary function.

This null electrovacuum has Petrov type N and admits four Killing vector fields, (∂u, ∂v, ∂z, 2zuvz), generating an isometry group with three-dimensional timelike orbits and null rotation isotropy.25 The electromagnetic field does not inherit all the spacetime symmetry; for example, F is not translationally invariant in the z coordinate.

The authors gratefully acknowledge fruitful discussions with Ian Anderson and Läg Avulin. This work was supported in part by Grant No. OCI-1148331 from the National Science Foundation.

1.
G. Y.
Rainich
,
Trans. Am. Math. Soc.
27
,
106
(
1925
).
2.
C.
Misner
and
J.
Wheeler
,
Ann. Phys.
5
,
525
(
1957
).
3.
A.
Peres
,
Bull. Res. Counc. Israel F
9
,
129
(
1960
).
4.
K.
Kuchař
,
Czech. J. Phys. B
13
,
551
(
1963
).
5.
R.
Penney
,
Phys. Lett.
11
,
228
(
1964
).
6.
R.
Penney
,
J. Math. Phys.
6
,
1309
(
1965
).
7.
R.
Geroch
,
Ann. Phys.
36
,
147
(
1966
).
8.
P.
Bartrum
,
J. Math. Phys.
8
,
667
(
1967
).
9.
G.
Ludwig
,
Commun. Math. Phys.
17
,
98
(
1970
).
10.
G.
Ludwig
,
J. Math. Phys.
15
,
928
(
1974
).
11.
B.
Coll
and
J.
Ferrando
,
J. Math. Phys.
30
,
2918
(
1989
).
12.
J.
Senovilla
, in
Proceedings of the XXIII Spanish Relativity Meeting
(
World Scientific
,
2001
), p.
145
;
G.
Bergqvist
and
J.
Senovilla
,
Classical Quantum Gravity
18
,
5299
(
2001
).
13.
C. G.
Torre
,
Classical Quantum Gravity
31
,
045022
(
2014
).
14.
H.
Stephani
,
D.
Kramer
,
M.
MacCallum
,
C.
Hoenselaers
, and
E.
Herlt
,
Exact Solutions of Einstein’s Field Equations
, 2nd ed. (
Cambridge University Press
,
2003
).
15.
I. M.
Anderson
and
C. G.
Torre
,
J. Math. Phys.
53
,
013511
(
2012
).
16.
M.
Wyman
,
Phys. Rev. D
24
,
839
(
1981
).
17.
O.
Fonarev
,
Classical Quantum Gravity
12
,
1739
(
1995
).
18.
J.
Stewart
,
Advanced General Relativity
(
Cambridge University Press
,
1991
).
19.
L.
Mariot
,
C. R. Acad. Sci.
238
,
2055
(
1954
);
I.
Robinson
,
J. Math. Phys.
2
,
290
(
1961
).
20.
T.
Levi-Civita
,
Rend. R. Acad. Lincei, Cl. Sci. Fis. Mat. Nat.
26
,
519
(
1917
).
21.
B.
Bertotti
,
Phys. Rev.
116
,
1331
(
1959
).
22.
I.
Robinson
,
Bull. Acad. Polon. Sci. Math. Astron. Phys.
7
,
351
(
1959
).
23.
S.
Siklos
,
Galaxies, Axisymmetric Systems and Relativity
(
Cambridge University Press
,
1985
), p.
247
.
24.

Conditions (4.22) correspond to the Mariot-Robinson theorem,19 which states that the repeated principal null direction of a null electromagnetic field is necessarily tangent to a shear-free geodesic null congruence, and is also a repeated principal null direction of the algebraically special spacetime upon which the null electromagnetic field resides. This condition is necessary and sufficient (at least in the analytic setting) for the existence of a null solution to the Maxwell equations on a given spacetime, but is only a necessary condition for a solution to the Einstein-Maxwell equations with null electromagnetic field.

25.

The Siklos solution, f(y) = y4, yields a spacetime which has five Killing vector fields generating a transitive isometry group.