Maximal hypersurfaces and foliations of constant mean curvature in general relativity

We prove theorems on existence, uniqueness and smoothness of maximal and constant mean curvature compact spacelike hypersurfaces in globally hyperbolic spacetimes. The uniqueness theorem for maximal hypersurfaces of Brill and Flaherty, which assumed matter everywhere, is extended to spacetimes that are vacuum and non-flat or that satisfy a generic-type condition. In this connection we show that under general hypotheses, a spatially closed universe with a maximal hypersurface must be Wheeler universe; i.e. be closed in time as well. The existence of Lipschitz achronal maximal volume hypersurfaces under the hypothesis that candidate hypersurfaces are bounded away from the singularity is proved. This hypothesis is shown to be valid in two cases of interest: when the singularities are of strong curvature type, and when the singularity is a single ideal point. Some properties of these maximal volume hypersurfaces and difficulties with Avez' original arguments are discussed. The difficulties involve the possibility that the maximal volume hypersurface can be null on certain portions; we present an incomplete argument which suggests that these hypersurfaces are always smooth, but prove that an a priori bound on the second fundamental form does imply smoothness. An extension of the perturbation theorem of Choquet-Bruhat, Fischer and Marsden is given and conditions under which local foliations by constant mean curvature hypersurfaces can be extended to global ones is obtained.