How to derive the Kerr metric by cheating quite a bit. Part 2
by Willie Wong
(… continued from Part 1)
The anti-self-dual fields and complexification
For ease of algebraic manipulations, often we consider the anti-self-dual versions of two-forms. Observe that on a four-dimensional Lorentzian manifold, the Hodge star operator takes two-forms to two-forms, and squares to -1. This implies that its eigenvalues can only be . So we complexify our geometry by linearly (so in particular and not the Hermitian product). It is clear that (via a little bit of linear algebra) that the space of two-forms splits after complexification
where are spaces of complex-valued two-forms that have eigenvalues under * respectively. It is also clear that there is a natural isomorphism from to each of (they all have real dimension 6).
So instead of focusing on real-valued two-forms, we’ll focus on , elements of which are called anti-self-dual two-forms. The canonical isomorphism between is given by
The anti-self-dual forms enjoy many marvelous algebraic properties, especially with regards to tensor products and their traces. For a list of such properties, see the paper of Mars referenced before or Chapter 2 of the my PhD dissertation. Those algebraic properties, however, will not be needed here.
In the following we denote by the anti-self-dual Ernst two-form. Observe that it is a closed two-form, and thus is also closed by the argument before, and on a simply-connected domain is given by the potential :
We call the complex Ernst potential. (The normalization that is to accommodate the physical assumption of asymptotic flatness: near “spatial infinity”, is expected to approach a time translation, meaning that . The chosen normalization allows at spatial infinity as a consequence.)
Next, one can observe that the Riemann curvature tensor can be viewed as a symmetric map from to itself. The Ricci decomposition of the Riemann curvature tensor into
is a purely algebraic decomposition on the space of such maps (I gave a hand-out about this decomposition in Week 2 of the class; see also I.M. Singer and J.A. Thorpe, “The curvature of 4-dimensional Einstein spaces”, in Global Analysis: Papers in Honor of K.Kodaira). The property we will use is that for the Weyl conformal tensor, we can define its left and right Hodge duals
and verify that which is equivalent to the statement that, viewing the Weyl curvature as a map from two-forms to two-forms, it commutes with the Hodge star operator. In any case, since the Hodge dual is well-defined (the left and right actions are equal), we can define the anti-self-dual Weyl curvature as
Principal null directions
Let be a real-valued two-form on our four dimensional Lorentzian manifold. Consider the eigenvalue problem for . In the Riemannian case, because the metric is positive definite, there
exists no nontrivial solutions to
since by contracting against the vector , we obtain
where the first equality follows from the anti-symmetry of two-forms. So either is the zero-vector or that it is in the kernel of . Contrast to the case where the metric is pseudo-Riemannian. The
expression above tells us that either is a null vector, or it has eigenvalue 0.
We say that a null vector is a principal null vector of the two-form if it is an eigenvector. The eigenvalue equation can be evidently re-written in the following form
Now treating the Weyl curvature as a symmetric map from two-forms to two-forms, we can also ask for the eigenvalues and eigenvectors. Naturally the eigenvectors and eigenvalues of the two-forms can now be lifted to the level of the Weyl curvature, and thus we say that a null vector is a principal null vector of the Weyl curvature tensor if
(Observe that, in form, 2.14 is a simple generalization of 2.13.) Since is a null vector, it makes no sense to try to normalize it to unit length, so we can’t find a preferred unit eigenvector. Hence it is traditional also to refer to principal null directions instead of the principal null vectors. (Furthermore, the space of null directions form a bundle over the manifold, with a conformal structure induced by the Lorentz transformations [i.e. Local diffeomorphisms]. So working, at least locally, with elements in the space of null directions can be reduced to working on , where a lot of algebraic tools are available. This is sort of one way to look at spinors in the 4-dimensional, Lorentzian case.)
Following is a theorem about the existence of principal null directions for two-forms and Weyl-fields (resp. spin 1 and spin 2 fields). The two-form case is classical and well-known in the physics literature. The Weyl-field case is due to Petrov.
Let be a real-valued two-form, and be a (0,4)-tensor satisfying all algebraic symmetries of the Weyl conformal curvature, on a four dimensional Lorentzian manifold. Then at every point has two (possibly coïncidental) principal null directions, and has four (possibly coïncidental) principal null directions, unless the tensors vanish identically.
From the spinor point of view, the above theorem is simple to prove (see Penrose and Rindler, Spinors and space-time for example). A quick sketch: as we remarked above that the space of null-directions can be identified with . A (perhaps not-so-)simple calculation verifies that under this identification 2.13 and 2.14 become a degree-two and a degree-four polynomial on respectively. By the fundamental theorem of algebra, the polynomials have two and four zeros respectively when counted with multiplicity.
We say is non-degenerate or non-null if the two principal null directions are distinct. Using a bit of linear algebra, one sees that this is equivalent to its anti-self-dual part having non-zero norm
Let and stand for future pointing vector-fields corresponding to the two distinct principal null directions, we can ask that they are normalized to have . Then we have the re-consitution formula for a non-null two-form:
where the square root is taken with respect to complex numbers, so there exists two roots; therefore up to exchanging the labels and , the above equation is well-defined. From 2.17 it is also clear that
A similar statement can be had for a special type of Weyl fields. We say a Weyl field is Petrov type D if it only has two distinct principal null directions, and each of the directions has algebraic multiplicity 2. Roughly speaking, one can think such a Weyl field as a tensor product of non-null two-forms. (A more precise notion of this is given by the concept of a “symmetric spinor product” defined in my PhD thesis.) For a Petrov type D field, we can write down an analogous formula to 2.17, which we will omit here. Analogous to 2.18, we see that a Petrov type D field is similarly characterized by its two principal null directions and the scalar (or ) where is the anti-self-dual part of .
The Schwarzschild metric
Let us now examine the Schwarzschild metric
We take , so . Now notice that , since is hypersurface orthogonal. Therefore the complex Ernst potential is given by
Now, a direct computation (which we’ll omit here) shows that
What about the principal null directions? It is easy to see that is non-null and is type D using spherical symmetry of the Schwarzschild metric. Simply speaking, if is a vector defined at some point p such that it is a principal null direction. Let be an element of such that its action on fixes the point p. Then the induced diffeomorphism is an isometric map from to itself. Consider the vector , it will necessarily then be another principal null direction. Using the algebraic classification theorem, one sees now that must be fixed by the action of . Therefore any principal null direction must be in the plane spanned by and . Since and do not vanish identically (else we are in Minkowski space), the only possible vectors which can be the principal null directions are (after normalizing to and requiring them to be future pointing)
To see that both and are principal null directions, we use the fact that the Schwarzschild metric also has a discrete time-reflection symmetry sending . Under this change . Hence the algebraic multiplicity of and as principal null directions must be equal. Therefore is non-null and is type D.
In view of the special algebraic properties of the Schwarzschild metric, we revise our initial guess and ask for a solution to the following problem
Find a four-dimensional Lorentzian manifold such that the following conditions hold:
- is Ricci flat.
- It admits two Killing vector fields which commute () and whose normal distribution is space-like and integrable.
- The Ernst two-form is non-null; the Weyl curvature has Petrov type D; and their principal null directions are aligned.
- The Ernst potential satisfies the following: there exists a real valued constant such that , and .
(Recall that the real Ernst potential is defined only up to a (real) constant. The condition here should read to mean that there exists a normalization for such that the conditions described here holds. One sees that the only possible normalization in the asymptotic flat case is by assuming vanishes at spatial infinity.)
In general, of course, it is not immediately obvious that a solution to Einstein’s equation with all the listed properties exist. In practice, it suffices to try to calculate until a contradiction is found, or until a self-consistent answer emerges. Here, we use our amazing hindsight that the Kerr-metric actually satisfies the above conditions in the formulation of the above problem. Of course, we claim that the asking of the above question is not completely unreasonable in view of the properties of the Schwarzschild metric.
(Continued in Part 3)