We consider open globally hyperbolic spacetimes $N$ of dimension $n+1$, $n\ge 3$, which are spatially asymptotic to a Robertson-Walker spacetime or an open Friedmann universe with spatial curvature $\tildeκ= 0,-1$ and prove, under reasonable assumptions, that there exists a unique foliation by hypersurfaces of constant mean curvature and that the mean curvature function $τ$ is a smooth time function if $N$ is smooth. Moreover, among the Friedmann universes which satisfy the necessary conditions are those that reflect the present assumptions of the development of the universe.
We first summarize the characterization of smooth spacelike spherically symmetric constant mean curvature (SS-CMC) hypersurfaces in the Schwarzschild spacetime and Kruskal extension. Then use the characterization to prove special SS-CMC foliation property, and verify part of the conjecture by Malec and Ó Murchadha in their 2003 paper.
We prove the existence and uniqueness of the Dirichlet problem for spacelike, spherically symmetric, constant mean curvature equation with symmetric boundary data in the extended Schwarzschild spacetime. As an application, we completely solve the CMC foliation conjecture which is posted by Malec and O Murchadha in 2003.
In this paper we prove existence and uniqueness of a CMC foliation in asymptotically cuspidal manifolds. Moreover, we study the isoperimetric problem in this case. Our proof does not require any curvature assumption and it holds for any dimension.
We prove that every closed, smooth $n$-manifold $X$ admits a Riemannian metric together with a smooth, transversely oriented CMC foliation if and only if its Euler characteristic is zero, where by CMC foliation we mean a codimension-one, transversely oriented foliation with leaves of constant mean curvature and where the value of the constant mean curvature can vary from leaf to leaf. Furthermore, we prove that this CMC foliation of $X$ can be chosen so that the constant values of the mean curvatures of its leaves change sign. We also prove a general structure theorem for any such non-minimal …
In this paper we generalize the Local Removable Singularity Theorem in [16] for minimal laminations to the case of weak $H$-laminations (with $H\in \mathbb{R}$ constant) in a punctured ball of a Riemannian three-manifold. We also obtain a curvature estimate for any weak CMC foliation (with possibly varying constant mean curvature from leaf to leaf) of a compact Riemannian three-manifold $N$ with boundary solely in terms of a bound of the absolute sectional curvature of $N$ and of the distance to the boundary of $N$. We then apply these results to classify weak CMC foliations of $\mathbb{R}^3$ …
We study half-spheres with small radii sitting on the boundary of a smooth bounded domain while meeting it orthogonally. Even though it is known that there exist families of CMC and Willmore type half-spheres near a nondegenerate critical point p of the domains boundaries mean curvature, it is unknown in both cases whether these provide a foliation of any deleted neighborhood of p. We prove that this is not guaranteed and establish a criterion in terms of the boundaries geometry that ensures or prevents the respective surfaces from providing such a foliation. This perhaps surprising phenomenon…
In 1996, Huisen-Yau proved that every three-dimensional, asymptotically Schwarzschilden manifold with positive mass is uniquely foliated by stable spheres of constant mean curvature and they defined the center of mass using this CMC-foliation. Rigger and Neves-Tian showed in 2004 and 2009/10 analogous existence and uniqueness theorems for three-dimensional, asymptotically Anti-de Sitter and asymptotically hyperbolic manifolds with positive mass aspect function, respectively. Last year, Cederbaum-Cortier-Sakovich proved that the CMC-foliation characterizes the center of mass in the hyperbolic s…
We consider spacetimes with compact Cauchy hypersurfaces and with Ricci tensor bounded from below on the set of timelike unit vectors, and prove that the results known for spacetimes satisfying the timelike convergence condition, namely, foliation by CMC hypersurfaces, are also valid in the present situation, if corresponding further assumptions are satisfied. In addition we show that the volume of any sequence of spacelike hypersurfaces, which run into the future singularity, decays to zero provided there exists a time function covering a future end, such that the level hypersurfaces have non…
We construct a $T$-axisymmetric, spacelike, spherically symmetric, constant mean curvature hypersurfaces foliation in the Kruskal extension with properties that the mean curvature varies in each slice and ranges from minus infinity to plus infinity. This family of hypersurfaces extends the CMC foliation discussions posted by Malec and Ó Murchadha in 2009.
In this paper we consider the uniqueness problem of the constant mean curvature spheres in asymptotically flat 3-manifolds. We require the metric have the form g_{ij}=δ_{ij}+h_{ij} with h_{ij}=O_{4}(r^{-1}) and R=O(r^{-3-τ}),τ>0. We do not require the metric to be close to Schwarzschild metric in any sense or to satisfy RT conditions. We prove that, when the mass is not 0, stable CMC spheres that separate a certain compact part from infinity satisfy the radius pinching estimate r_{1}\leq Cr_{0} , which in many cases is critical to prove the uniqueness of the CMC spheres. As applications of thi…
In 1996, Huisken-Yau proved that every three-dimensional Riemannian manifold can be uniquely foliated near infinity by stable closed surfaces of constant mean curvature (CMC) if it is asymptotically equal to the (spatial) Schwarzschild solution. Using their method, Rigger proved the same theorem for Riemannian manifolds being asymptotically equal to the (spatial) (Schwarzschild-)Anti-de Sitter solution. This was generalized to asymptotically hyperbolic manifolds by Neves-Tian, Chodosh, and the author at a later stage. In this work, we prove the reverse implication as the author already did in …
It is shown by several authors going back to Huisken-Yau that asymptotically Schwarzschildean time-slices possess a unique foliation by stable constant mean curvature (CMC) spheres defining the so-called CMC center of mass. We analyze how the leaves of this foliation evolve in time under the Einstein equations. More precisely, we prove that, asymptotically, their time evolution is a translation induced by the quotient of their linear momentum and mass, as to be expected from the corresponding Newtonian setting. In particular, the definitions of mass and linear momentum defined by Arnowitt-Dese…
Let $Γ$ be a nondegenerate geodesic in a compact Riemannian manifold $M$. We prove the existence of a partial foliation of a neighbourhood of $Γ$ by CMC surfaces which are small perturbations of the geodesic tubes about $Γ$. There are gaps in this foliation, which correspond to a bifurcation phenomenon. Conversely, we also prove, under certain restrictions, that the existence of a partial CMC foliation of this type about a submanifold $Γ$ of any dimension implies that $Γ$ is minimal.
For $2+1$ spacetime dimensions, we derive sufficient conditions for the twisting function in a twisted product spacetime, such that there is a global foliation by spacelike CMC surfaces.
We propose a new foliation of asymptotically Euclidean initial data sets by 2-spheres of constant spacetime mean curvature (STCMC). The leaves of the foliation have the STCMC-property regardless of the initial data set in which the foliation is constructed which asserts that there is a plethora of STCMC 2-spheres in a neighborhood of spatial infinity of any asymptotically flat spacetime. The STCMC-foliation can be understood as a covariant relativistic generalization of the CMC-foliation suggested by Huisken and Yau. We show that a unique STCMC-foliation exists near infinity of any asymptotica…
In 1996, Huisken-Yau showed that every three-dimensional Riemannian manifold can be uniquely foliated near infinity by stable closed CMC-surfaces if it is asymptotically equal to the (spatial) Schwarzschild solution and has positive mass. Their assumptions were later weakened by Metzger, Huang, Eichmair-Metzger and others. We further generalize these existence results in dimension three by proving that it is sufficient to assume asymptotic flatness and non-vanishing mass to conclude the existence and uniqueness of the CMC-foliation and explain why this seems to be the conceptually optimal resu…
We investigate the local regularity of pointed spacetimes, that is, time-oriented Lorentzian manifolds in which a point and a future-oriented, unit timelike vector (an observer) are selected. Our main result covers the class of Einstein vacuum spacetimes. Under curvature and injectivity bounds only, we establish the existence of a local coordinate chart defined in a ball with definite size in which the metric coefficients have optimal regularity. The proof is based on quantitative estimates, on one hand, for a constant mean curvature (CMC) foliation by spacelike hypersurfaces defined locally n…
A characterization of the foliation by spacelike slices of an $(n+1)$-dimensional spatially closed Generalized Robertson-Walker spacetime is given by means of studying a natural mean curvature type equation on spacelike graphs. Under some natural assumptions, of physical or geometric nature, all the entire solutions of such an equation are obtained. In particular, the case of entire spacelike graphs in de Sitter spacetime is faced and completely solved by means of a new application of a known integral formula.
In 1996, Huisken-Yau proved that every three-dimensional Riemannian manifold can be uniquely foliated near infinity by stable closed surfaces of constant mean curvature (CMC) if it is asymptotically equal to the (spatial) Schwarzschild solution. Later, their decay assumptions were weakened by Metzger, Huang, Eichmair-Metzger, and the author. In this work, we prove the reverse implication, i.e. any three-dimensional Riemannian manifold is asymptotically flat if it possesses a CMC-cover satisfying certain geometric curvature estimates, a uniqueness property, a weak foliation property, and each s…
This paper gives a new proof that maximal, globally hyperbolic, flat spacetimes of dimension $n\geq 3$ with compact Cauchy hypersurfaces are globally foliated by Cauchy hypersurfaces of constant mean curvature, and that such spacetimes admit a globally defined constant mean curvature time function precisely when they are causally incomplete. The proof, which is based on using the level sets of the cosmological time function as barriers, is conceptually simple and will provide the basis for future work on constant mean curvature time functions in general constant curvature spacetimes, as well f…
This paper continues the investigation of constant mean curvature (CMC) time functions in maximal globally hyperbolic spatially compact spacetimes of constant sectional curvature, which was started in math.DG/0604486. In that paper, the case of flat spacetimes was considered, and in the present paper, the remaining cases of negative curvature (i.e. anti-de Sitter) spacetimes and postitive curvature (i.e. de Sitter) spacetimes is dealt with. As in the flat case, the existence of CMC time functions is obtained by using the level sets of the cosmological time function as barriers. A major part of…
In this article we survey recent developments in the theory of constant mean curvature surfaces in homogeneous 3-manifolds, as well as some related aspects on existence and descriptive results for $H$-laminations and CMC foliations of Riemannian $n$-manifolds.
We consider expanding vacuum spacetimes with a CMC foliation by compact spacelike hypersurfaces. Under scale invariant a priori geometric bounds (type-III), we show that there are arbitrarily large future time intervals that are modelled by a flat spacetime or a Kasner spacetime. We give related results for a class of expanding vacuum spacetimes that do not satisfy the a priori bounds (type-II).
In this note we consider asymptotically flat manifolds with non-negative scalar curvature and an inner boundary which is an outermost minimal surface. We show that there exists an upper bound on the mean curvature of a constant mean curvature surface homologous to a subset of the interior boundary components. This bound allows us to find a maximizer for the constant mean curvature of a surface homologous to the inner boundary. With this maximizer at hand, we can construct an increasing family of sets with boundaries of increasing constant mean curvature. We interpret this familiy as a weak ver…
Cosmological singularity theorems such as that of Hawking and Penrose assume local curvature conditions as well as global ones like the existence of a compact (achronal) slice. Here, we prove a new singularity theorem for chronological spacetimes that satisfy what we call a `past null focusing' condition. Such a condition forces all null geodesics with future endpoint to develop a pair of conjugate points if past complete. By the Einstein field equations, such a condition will be satisfied if the density of matter fields remains sufficiently high towards the past of the spacetime, as may be ex…
