The non-existence of “black holes” in (2+1) dimensional general relativity
by Willie Wong
Yesterday I came across a fairly recent paper of Galloway, Schleich, and Witt on the non-existence of trapped surfaces and geons in (2+1) dimensional gravity. The non-existence of trapped surfaces in (2+1) GR was first established by Ida in a 2000 paper. In this post I will give a proof of this fact, and use this as an excuse to present the “double null foliation” formulation for general relativity that was used by, among others, Christodoulou’s recent work on dynamical formation of black holes, and Klainerman and Nicolo’s re-presentation of the stability of Minkowski space. By working in (2+1) instead of the customary (3+1) situation, the notations simplify and it is easier to see how the double null formalism proceeds.
Double null foliation and adapted null frame
Let be an dimensional Lorentzian manifold. A double null foliation of (a subset of) consists of a pair of functions that
- solve the eikonal equation and
- intersect transversely.
We will denote by the (doubly-parametrised) intersections of the level sets of and .
Proposition 1 If solves the eikonal equation, then the vector field is geodesic.
Proof. By direction computation
This proves the claim. q.e.d.
Define to be the null geodesic fields associated to , we compute their inner product to be
and we define the normalised null vectors to be and . Note that
and that for an arbitrary vector field , we have
which implies by a direct computation which I omit here that
Proposition 2 If , then . Similarly if we have .
By an adapted null frame we will refer to the set of (locally defined) vector fields such that and . The are “tangential vector fields”. The double null formalism is basically the method of moving frames using this particular choice of null frame. For Lorentzian manifolds this leads to some simplifications, as we will demonstrate below in the case of the (2+1) dimensional manifold. (For the (3+1) case with vanishing Ricci curvature, a complete description of the geometry can be found in Klainerman and Nicolo, The evolution problem in general relativity.)
(As a side remark, in the geometric analysis of hyperbolic PDEs, another useful foliation is that single-null set-up based on a single solution to the eikonal equation and a time-like foliation . This construction is used in, e.g. the original proof of stability of Minkowski space by Christodoulou and Klainerman, the recent work by Christodoulou on the formation of shocks in relativistic fluids, and by Klainerman and Rodnianski on low-regularity local well-posedness of Einstein’s equations.)
Null connection coefficients and null structure equations
Hereon we specialise to the (2+1) dimensional case. Here, the level sets are one dimensional, and we will assume that they are compact (and hence topologically circles). By a choice of orientation there is then a unique vector field, which we will write , that is unit length and is tangent to the level sets. The null frame will now be denoted by . For convenience we will denote
as we shall see these capture half of the connection coefficients. In the moving frame method, we need to know the Ricci rotation coefficients of the frame. We can summarise it in the following, where the quantities are considered to be defined by the third and fourth equations, and their compatibility with the other expressions results from Proposition 2 above.
(Remark: in (3+1) or higher dimensions, things that multiplies should be replaced by tensorial quantities. More precisely, we see that and should be one-forms, and ) should be replaced by symmetric two tensors.)
The quantities carry special meaning: they are the null expansion factors associated to respectively. Their physical interpretation is this: look at a point and a small neighborhood around it on the level surface. “Flow” the neighborhood with either or . measures the rate of change of the infinitesimal “volume” of near . So if is positive, the local volume is expanding, and the rays corresponding to are diverging. And if is negative, the local volume is shrinking, and the rays corresponding to are converging.
We say that a particular circle is “trapped” if both are negative along the entire circle; we say it is marginally trapped if one is negative and the other 0. A trapped surface is the hallmark of a black hole.
Next we need to derive the null structure equations. To do so we use the definition for the Riemann curvature tensor
to develop propagation equations for the connection coefficients in terms of curvature quantities. In higher dimensions we next decompose the Riemann curvature into the Ricci and Weyl curvatures: the Ricci curvature we “prescribe” using Einstein’s equation, while the Weyl curvature themselves solve propagation equations derived using the Bianchi identities. But in (2+1), Weyl vanishes identically. So we are left with the following equations
Observing that , the second to last equation can be used as null propagation equation for and . The two expressions on the RHS of the last equation are in fact equal.
The first two of the null structure equations above are called Raychaudhuri’s equations. Morally speaking, they show that gravity is “attractive” (under the null energy condition).
We shall assume that the dominant energy condition is satisfied on our manifold. This means that we require the Einstein tensor to evaluate to a non-negative value when given as input two future directed causal vectors. In particular, . A direct computation shows that .
Non-existence of black holes in (2+1) dimensions
In contrast to the (3+1) dimensional case, in (2+1) dimensions it is in fact not possible to have a nondegenerate outermost trapped surface. That is the content of Ida’s theorem. We can, however, approach it from a more dynamical point of view using the null structure equations above. From now on let us assume that we are working on some foliation such that is always strictly negative.
Now, while the values of depend on the precise foliation chosen, the signs of those two quantities are only dependent on the circle itself. This follows from the last of the equations defining the null coefficients. (Redefining the double null foliation so that remains fixed for one particular parameter value, we see that necessarily and only changes by positive scaling.)
Theorem Let be a circle in a (2+1) dimensional space-time that is marginally trapped. Assume the space-time satisfy the dominant energy condition. Then there exists a local double-null foliation such that , such that on , and such that for any , the quantity , with equality only when .
An immediate corollary is that black holes cannot exist.
Corollary If is a marginally trapped circle in a (2+1)-dimensional space-time satisfying the dominant energy condition, and on $S$, then there exists a continuous family of trapped circles “outside” . In particular, cannot be “outer most”.
Another way to read the result is that trapped regions cannot form dynamically.
Corollary In the globally hyperbolic evolution for a (2+1)-dimensional space-time satisfying the dominant energy condition, if the initial data does not contain a trapped surface, a marginally trapped surface cannot form dynamically, with the possible exception of along a circle where .
Proof of theorem. Starting with , we choose two families of null vectors such that and and . By rescaling and we can force the corresponding to be constant along . Now, develop and geodesically to define the surfaces and . Along , choose level surfaces for by transporting . From these level surfaces we can develop our double null foliation.
The key is that for this foliation, we have that along we have
where we used that along so that there, and that by construction . Hence if , we can find such that and for every . q.e.d.