Existence of maximal hypersurfaces in some spherically symmetric spacetimes

Spacetimes with collisionless matter evolving from data on a compact Cauchy surface with hyperbolic symmetry are shown to be timelike and null geodesically complete in the expanding direction, provided the data satisfy a certain size restriction.

A necessary condition for a globally hyperbolic spacetime ${\mathbb R}\times \Sigma$ to admit a maximal slice is that the Cauchy slice $\Sigma$ admit a metric with nonnegative scalar curvature, $R\ge 0$. In this paper, the two cases considered are the closed spatial manifold and the asymptotically flat spatial manifold. Although most results here will apply in four or more spacetime dimensions, this work will mainly consider 4-dimensional spacetimes. For $\Sigma$ closed or as...

It is shown that the initial singularities in spatially compact spacetimes with spherical, plane or hyperbolic symmetry admitting a compact constant mean curvature hypersurface are crushing singularities when the matter content of spacetime is described by the Vlasov equation (collisionless matter) or the wave equation (massless scalar field). In the spherically symmetric case it is further shown that if the spacetime admits a maximal slice then there are crushing singulariti...

Foliations by constant mean curvature hypersurfaces provide a possibility of defining a preferred time coordinate in general relativity. In the following various conjectures are made about the existence of foliations of this kind in spacetimes satisfying the strong energy condition and possessing compact Cauchy hypersurfaces. Recent progress on proving these conjectures under supplementary assumptions is reviewed. The method of proof used is explained and the prospects for ge...

We study constant mean curvature spacelike hypersurfaces and in particular maximal hypersurfaces immersed in pp-wave spacetimes satisfying the timelike convergence condition. We prove the non-existence of compact spacelike hypersurfaces whose constant mean curvature is non-zero and also that every compact maximal hypersurface is totally geodesic. Moreover, we give an extension of the classical Calabi-Bernstein theorem to this class of pp-wave spacetimes.

Many results in mathematical relativity, including results for both the initial data problem and for the evolution problem, rely on the existence of a constant mean curvature (CMC) Cauchy surface in the underlying spacetime. However, it is known that some spacetimes have no CMC Cauchy surfaces (slices). This is an obstacle for many results and constructions with these types of spacetimes, and is particularly worrisome since it is not known whether spacetimes that do have CMC ...

This work discusses the apriori possible asymptotic behavior to the future, for (vacuum) space-times which are geodesically complete to the future and which admit a foliation by compact constant mean curvature Cauchy surfaces.

We show that there exist maximal globally hyperbolic solutions of the Einstein-dust equations which admit a constant mean curvature Cauchy surface, but are not covered by a constant mean curvature foliation.

We establish a new CMC (constant mean curvature) existence result for cosmological spacetimes, i.e., globally hyperbolic spacetimes with compact Cauchy surfaces satisfying the strong energy condition. If the spacetime contains an expanding Cauchy surface and is future timelike geodesically complete, then the spacetime contains a CMC Cauchy surface. This result settles, under certain circumstances, a conjecture of the authors and a conjecture of Dilts and Holst. Our proof reli...

In [8] Gerhardt proves longtime existence for the inverse mean curvature flow in globally hyperbolic Lorentzian manifolds with compact Cauchy hypersurface, which satisfy three main structural assumptions: a strong volume decay condition, a mean curvature barrier condition and the timelike convergence condition. Furthermore, it is shown in [8] that the leaves of the inverse mean curvature flow provide a foliation of the future of the initial hypersurface. We show that this r...