in the context of spacetimes that admit spatially compact spacelike cauchy hypersurfaces , hypersurfaces of constant mean curvature ( cmc ) and slicings by such hypersurfaces have attracted a lot of attention .
one major motivation for studying such slicings rests on the fact that cmc foliations give rise to a geometrically distinguished time - function on the spacetime .
cmc slicings thus appear prominently whenever cosmological spacetimes are discussed , when the strong cosmic censorship conjecture is investigated , and they also play an important role in numerical studies .    there
exist several well - established properties of cmc hypersurfaces in cosmological spacetimes satisfying the timelike convergence condition ( which is identical to the strong energy condition and states that the contraction of the ricci tensor with any timelike vector is non - negative ) . in particular , uniqueness of cmc hypersurfaces is well - understood : in a cosmological spacetime satisfying the timelike convergence condition , for any given constant @xmath0 , there exists at most one compact cmc hypersurface with mean curvature @xmath1 ; the proof in  @xcite is based on the techniques of  @xcite .
modulo some subtleties , an analogous result holds for maximal hypersurfaces ( where @xmath2 ) .
a consequence of the uniqueness result is that any killing vector the spacetime possesses must be tangential to the cmc hypersurface .
the existence of compact cmc hypersurfaces ( and foliations thereof ) is a more delicate issue .
( if there exists one compact cmc hypersurface , then there exists a foliation of a neighborhood of that hypersurface by compact cmc hypersurfaces .
this follows from standard arguments if @xmath3 ; if the initial hypersurface is maximal , see  @xcite . ) if the spacetime possesses barriers , i.e. , compact hypersurfaces @xmath4 and @xmath5 , @xmath5 in the chronological future of @xmath4 , with mean curvature @xmath6 and @xmath7 such that @xmath8 , then there exists a foliation of compact cmc hypersurfaces between @xmath4 and @xmath5 where the mean curvature assumes each value between @xmath9 and @xmath10 , see  @xcite . a spacetime with crushing singularities is globally foliated by compact cmc hypersurfaces  @xcite .
it has been conjectured that every maximal globally hyperbolic vacuum cosmological spacetime ( satisfying the timelike convergence condition ) with compact cmc hypersurface admits a global cmc foliation , where the mean curvature ranges over @xmath11 or @xmath12 depending on the yamabe class of the cmc slice  @xcite . in certain special cases
the conjecture has been shown to be true , e.g. , for locally spatially homogeneous spacetimes , and for spherically symmetric spacetimes with spatial topology @xmath13 , see ( * ? ? ?
2 ) for a review and  @xcite and references therein . however , the conjecture is not true in general .
there exist examples of spacetimes with a cmc foliation that is not global  @xcite and spacetimes that do not possess compact cmc hypersurfaces at all  @xcite .
the failure of the conjecture can not be attributed to the presence of matter , since there exist vacuum cosmological spacetimes without compact cmc hypersurfaces as well  @xcite .    without the assumption of the timelike convergence condition ,
fewer results are available : uniqueness of a globally defined cmc time function with compact level sets still holds  @xcite ( and the associated cmc foliation is the unique cmc foliation ) . in
@xcite another uniqueness result is proved under the assumption that there exists @xmath14 such that @xmath15 @xmath16 : for any given constant @xmath17 , there exists at most one compact cmc hypersurface with mean curvature @xmath1 .
existence of a cmc foliation can be deduced from the existence of barriers  @xcite : if the spacetime possesses a future crushing singularity ( future mean curvature barrier ) , then a future end of the spacetime admits a cmc foliation , where the range of the mean curvature is a subset of the interval @xmath18 .
( the proofs are based on the crucial fact that @xmath19 for hypersurfaces with @xmath20 .
the expression @xmath21 appears in the lapse equation , see  . )
since it is as yet unclear which general properties are to be expected of cmc foliations in spacetimes violating the timelike convergence condition , the detailed study of cmc hypersurfaces in explicit classes of spacetimes comes into focus . in  @xcite
, a class of spatially compact kottler - schwarschild - de sitter spacetimes has been investigated in detail ; these are vacuum solutions of the einstein equations with positive cosmological constant @xmath22 , which causes the timelike convergence condition to be violated , see section  [ ksksds ] for the definition .
it is found that the spacetimes of this class do not contain compact cmc hypersurfaces with @xmath23 .
each spacetime contains a unique family of slicings of compact cmc hypersurfaces , where the mean curvature ranges between @xmath24 .
however , the slicings do not cover the entire spacetime , and , in general , the slicings are foliations only during some time of their evolution .    in this paper
we investigate the properties of cmc slicings in vacuum _ kantowski - sachs _ models with cosmological constant @xmath25 , which we introduce in some detail in section  [ ksksds ] .
let us summarize the main results we prove in this work : there are two ( of eight ) classes of kantowski - sachs spacetimes for which there exists a global cmc time function and thus a unique global cmc foliation . for the remaining classes of kantowski - sachs models
this is not true in general .
we show that , on the one hand , there are kantowski - sachs spacetimes with a unique global cmc foliation ( which does , however , not define a time function ) ; on the other hand , there are kantowski - sachs spacetimes containing ( arbitrarily ) many families of cmc slicings , where the range of @xmath26 is @xmath27 ( with ) . in the future ` end ' of the spacetime ,
these slicings are foliations .
note that , in this paper , a _ slicing _ denotes a smooth family of smooth ( spacelike ) hypersurfaces .
a parametrization of a slicing is a smooth map @xmath28 , where @xmath29 is a and @xmath30 , such that for all @xmath31 , @xmath32 is an embedding .
we require that @xmath33 is a hypersurface of the slicing for all @xmath31 , i.e. , by the parametrization of the slicing the hypersurfaces are represented as level sets @xmath34 .
note that a slicing is a _ foliation _ iff the map @xmath35 is a diffeomorphism onto its image .
section  [ ksksds ] of the paper is perhaps a ( short ) paper in its own right .
it contains a concise discussion of the ( vacuum , @xmath36 ) kantowski - sachs models with a focus on the geometric interpretation of these models in terms of the kottler - schwarzschild - de sitter metric . in section  [ data ]
we analyze spherically symmetric cmc initial data sets , which are embedded into kantowski - sachs ( and kottler - schwarzschild - de sitter ) spacetimes in the subsequent section .
finally , sections  [ sec : cdst ] and  [ properties ] contain the analysis and the results on cmc slicings and foliations in kantowski - sachs spacetimes .
the kantowski - sachs models are a class of locally rotationally symmetric ( lrs ) and spatially homogeneous ( sh ) spacetimes  @xcite .
the defining property of these models is the existence of a four - dimensional isometry group , whose orbits are three - dimensional spacelike hypersurfaces , where , however , there does not exist any three - dimensional subgroup that acts simply transitively on these orbits .
the metric of a kantowski - sachs spacetime is @xmath37}}\:,\ ] ] where @xmath38}}$ ] is the standard metric on the @xmath39-sphere . assuming that the coordinate @xmath40 ranges in @xmath41 , the spatial topology is @xmath42 and thus compact .    in this paper
we consider kantowski - sachs spacetimes @xmath43 that satisfy the einstein equations with a positive cosmological constant @xmath22 .
the qualitative dynamics of these models has been partly investigated in  @xcite ; the paper  @xcite contains a fairly complete picture .
this subsection is a concise compendium .
every ( vacuum ) kantowski - sachs model ( with @xmath36 ) is described by a metric @xmath44}}\ : , \tag{\ref{ksmetric}${}^\prime$}\ ] ] whose components @xmath45 , @xmath46 , and @xmath47 are determined by the equations @xmath48 where @xmath49 is a ` seed solution ' , i.e. , a solution of the system of equations    [ reddynsys ] @xmath50 \partial_\tau \sigma_+ & = - ( 1-\sigma_+^2 ) ( 1 + 3 h_d \sigma_+ - h_d^2 ) \:,\end{aligned}\ ] ]    which is a dynamical system on the relatively compact state space @xmath51 .
we refer to  @xcite or  @xcite for a derivation of the ` reduced dynamical system '  .
( we use the intuitive notation of  @xcite ; to compare with  @xcite one sets @xmath52 , @xmath53 . )
let us merely note that @xmath54 and @xmath55 are normalized versions of the hubble expansion @xmath56 and the shear variable @xmath57 ,    [ hdsig+ ] @xmath58 \sigma_+ & = \sigma_+/d & & = \sigma_+\ , \big(h^2 + { { \textstyle{\frac{1}{3}}}}\,g_{2 2}^{-1}\big)^{-1/2 } & & =   -{{\textstyle{\frac{1}{3 } } } } \ , ( \tensor{k}{^1_1 } - \tensor{k}{^2_2})\ , \big({{\textstyle{\frac{1}{9}}}}\ , ( \operatorname{tr}k)^2 + { { \textstyle{\frac{1}{3}}}}\,g_{2 2}^{-1}\big)^{-1/2}\:.\end{aligned}\ ] ]    in  , @xmath59 is the extrinsic curvature of the hypersurfaces of homogeneity ( where we use the convention @xmath60 ) and @xmath61 .
the dynamical system   encodes the entire dynamics of ( vacuum , @xmath36 ) kantowski - sachs models .
we omit the analysis of   and content ourselves with the crucial facts : first , the system is smoothly extendible to @xmath62 \times [ -1,1]$ ] ; second , the straight line is an invariant set ; third , the ellipse @xmath63 , in combination with the line @xmath64 , defines future and past invariant subsets of the state space .
the result of the analysis is a complete and rigorous picture of the flow of the dynamical system  .
this picture is given in fig .
[ ksflow ] .
\times [ -1,1 ] \ni ( h_d , \sigma_+)$ ] .
the labeling of the fixed points refers to the asymptotic behavior of solutions that converge to these points .
the figure on the r.h .
side shows a partition of the state space into eight invariant domains of positive measure : bh ( black hole ) , wh ( white hole ) , fc@xmath65 ( future cosmological region , positive mass ) , fc@xmath66 ( future cosmological region , negative mass ) , pc@xmath65 ( past cosmological region , positive mass ) , pc@xmath66 ( past cosmological region , negative mass ) , sh@xmath67 ( spatially homogeneous , mainly expanding ) , sh@xmath68 ( spatially homogeneous , mainly contracting ) .
this nomenclature will become clear in the context of the discussion of the kottler - schwarzschild - de sitter spacetimes.,scaledwidth=100.0% ]    a solution that converges to a fixed point labeled ` taub ' in fig .
[ ksflow ] exhibits ` taub asymptotics ' , which means @xmath69 and @xmath70 as @xmath71 or @xmath72 , respectively , where @xmath73 represents an initial / final singularity ( in cosmological time @xmath74 ) .
the label ` non - flat ' refers to asymptotic behavior governed by the non - flat lrs kasner solution ; for a solution converging to one of these points we have @xmath75 and @xmath76 as @xmath71 or @xmath72 , respectively . finally , de sitter asymptotics corresponds to @xmath77 and @xmath78 as @xmath79 .
the orbits converging to the two interior fixed points form a net of separatrices , which yields a partition of the state space into six invariant subsets .
in addition , there are two special orbits of  , which are depicted by dashed lines in fig .
[ ksflow ] .
these orbits correspond to the models described in  @xcite , which are the unique kantowski - sachs models that are isotropic  @xcite .
we thereby obtain a partition of the state space into eight domains of positive measure , whose significance will be discussed in the context of the kottler - schwarzschild - de sitter spacetimes .
we conclude this section with a brief discussion of the expansion of kantowski - sachs models . from   and
we have @xmath80 which makes it straightforward to obtain the expansion of models from fig .
[ ksflow ] .
it is interesting to note that there exist models ( in sh@xmath67 ) that exhibit an intermediate phase of contraction .
furthermore , analysis of the equation @xmath81 shows that the time - derivative of @xmath56 can change sign at most once .
all of the five classes of initially expanding models ( bh , wh , fc@xmath82 , sh@xmath67 ) are initially decelerating ; however , for three classes ( fc@xmath82 , sh@xmath67 ) , initial deceleration is followed by late - time acceleration ( associated with de sitter asymptotics ) .
the kottler - schwarzschild - de sitter metric  @xcite reads @xmath83}}\,\quad\text{with}\quad v= v(r ) = 1-\frac{2 m}{r } -\frac{\lambda r^2}{3}\:.\ ] ] we assume a cosmological constant @xmath14 . if the constant @xmath84 satisfies @xmath85 , then there exists a non - trivial interval @xmath86 such that @xmath87 and @xmath88 in @xmath86 .
the region @xmath89 is a static region of the spacetime   with killing vector @xmath90 .
it is straightforward to see that @xmath91 .
the static region of the spacetime has an analytic extension reminiscent of the kruskal extension of the schwarzschild spacetime and the de sitter spacetime . on the one hand ,
the metric is extended beyond the ` black hole horizon ' @xmath92 to arbitrarily small values of @xmath93 , where @xmath94 represents a curvature singularity , on the other hand , the metric is extended beyond the ` cosmological horizon ' @xmath95 to arbitrarily large values of @xmath93 .
the extended spacetime is commonly depicted using two charts which cover the regions @xmath96 and @xmath97 , respectively ; for the conformal compactification of these charts see , e.g. ,  @xcite . in the conformally compactified picture
, @xmath98 represents conformal infinity ( which is spacelike ) . as is well - known
, the constructed spacetime corresponding to the union of the two regions @xmath96 and @xmath97 can be smoothly ( in fact analytically ) extended in a periodic fashion .
thereby one obtains an inextendible , globally hyperbolic spacetime of topology @xmath99 , the kottler - schwarzschild - de sitter spacetime ksds , see fig .
[ ksdsfig ] .     are separated from the future / past cosmological regions @xmath100 by the static regions @xmath89 .
solid lines represent hypersurfaces @xmath101 , dashed lines are hypersurfaces @xmath102 .
note that the two charts that yield the conformal compactification of the two regions @xmath96 and @xmath97 do not agree in the static domains @xmath89 ; hence , e.g. , a dashed line represents @xmath103 in one chart , but @xmath104 in the other . ]    on ksds there exists an isometric action of @xmath105 .
the dashed lines in figs .
[ ksdsfig ] are orbits under the ` killing flow ' , i.e. , under the static killing vector @xmath106 .
the killing vector @xmath107 is globally defined ; it is null on the killing horizons @xmath108 and @xmath109 which emanate from the bifurcation 2-spheres at which @xmath107 vanishes .
the solid lines in fig .  [ ksdsfig ] represent hypersurfaces @xmath101 , which are totally geodesic as fixed point sets of the discrete isometries ( ` reflections ' ) @xmath110 . the timelike @xmath101 hypersurfaces we call @xmath101 ` cylinders ' .    by a ` cosmological
spacetime ' we mean a globally hyperbolic spacetime that is spatially compact , i.e. , contains a spacelike compact cauchy hypersurface .
( then any smooth compact spacelike hypersurface is cauchy  @xcite ) .
note that we use the term ` cosmological spacetime ' in a less restrictive manner than  @xcite , where the timelike convergence condition ( strong energy condition ) is assumed in addition .
of course , this condition is violated in the presence of a positive cosmological constant , i.e. , @xmath111 in the following we will construct a number of classes of ` cosmological spacetimes ' from ksds :    consider a _ black hole _
region @xmath112 in ksds . by identifying points mapped to each other by a discrete subgroup of the action under @xmath107 , i.e. , by identifying the cylinders @xmath113 and @xmath114
, we obtain a smooth cosmological spacetime of topology @xmath115 , which we denote by bh[t ] , see fig .
similarly , identifying @xmath113 and @xmath114 in a _
white hole _
region of ksds , we obtain a spacetime which we denote by wh[t ] ( which is related to bh[t ] by time reversal ) .
analogously , consider a _ future cosmological _
region @xmath116 in ksds .
identifying @xmath113 and @xmath114 we obtain a spacetime which we call fc@xmath65[t ] , see fig .
past cosmological _ region gives rise to pc@xmath65[t ] ( which is related to fc@xmath65[t ] by time reversal ) .
the spacetime fc@xmath65[t]/pc@xmath65[t ] is future / past geodesically complete , but geodesically incomplete to the past / future : it possesses a past / future crushing singularity ( in the standard terminology which is due to  @xcite ) corresponding to a past / future mean curvature barrier ( in the terminology of , e.g. ,  @xcite ) ; this will become obvious immediately .
bh[t]/wh[t ] possesses a past and future crushing singularity , where the future / past singularity is a curvature singularity .
the constructed spacetimes are maximal globally hyperbolic , i.e. , they agree with the maximal cauchy development of initial data defined on any compact spacelike hypersurface
. however , there are non - trivial extensions reminiscent of the extensions of the misner universe ( see , e.g. ,  @xcite ) .     that arises from the black hole region in the kottler - schwarzschild - de sitter spacetime ksds .
analogously , fc@xmath65[t ] is defined by an identification in the future cosmological region , see the r.h.s .
the spacetimes wh[t ] and pc@xmath65[t ] are not depicted ; these are associated with the white hole and the past cosmological region .
the constructed spacetimes of the kantowski - sachs type.,scaledwidth=96.0% ]    to construct from ksds a spacetime that is a model for a cosmological spacetime containing a black hole , we choose @xmath117 and identify points of equal radius @xmath93 on a @xmath118 cylinder and a @xmath119 cylinder in an adjacent copy of the region @xmath120 on the r.h .
thereby we obtain an inextendible cosmological spacetime of topology @xmath121 , which we call ksds[t ] .
ksds[t ] is a smooth , in fact analytic , spacetime , see  ( * ? ? ?
1 ) for details . in ksds[t ] two types of asymptotic behavior coexist : inextendible timelike geodesics either end in the curvature singularity after finite proper time , or go to scri .    in the kottler - schwarzschild - de sitter metric   the mass @xmath122 need not necessarily be positive ( as we have assumed so far ) .
the kottler - schwarzschild - de sitter spacetime with negative mass , @xmath123 , has a simpler structure than ksds : there is a static region ( whose boundary is a naked singularity ) and a past and a future cosmological region @xmath100 , see fig .
[ negm ] . from this spacetime
we can construct cosmological spacetimes : in the _ future cosmological _
region @xmath116 we identify @xmath113 and @xmath114 to obtain fc@xmath66[t ] , see fig .
[ negm ] . the analogous construction in the _ past cosmological _ region gives rise to pc@xmath66[t ] .
( the subscripts @xmath82 distinguishing the spacetimes fc@xmath82[t ] and pc@xmath82[t ] thus refer to the positivity / negativity of the mass @xmath122 . )    .
the cosmological spacetime fc@xmath66[t ] arises from an identification in the future cosmological region ; pc@xmath66[t ] is constructed in the past cosmological region.,scaledwidth=45.0% ]    if @xmath84 and @xmath124 in the kottler - schwarzschild - de sitter metric  , the spacetime does not have a static region and there are no horizons .
we obtain spatially homogeneous cosmological models with topology @xmath115 which we call sh@xmath67[t ] and sh@xmath68[t ] .
it remains to systematically describe the relationship between the cosmological spacetimes contructed from the kottler - schwarzschild - de sitter metric and the kantowski - sachs spacetimes .
it is immediate that the eight classes of spacetimes bh[t ] , wh[t ] , fc@xmath65[t ] , fc@xmath66[t ] , pc@xmath65[t ] , pc@xmath66[t ] , sh@xmath67[t ] , and sh@xmath68[t ] , are _ kantowski - sachs models _ ; we have @xmath125}}\:.\ ] ] since the metric is explicit , it is straightforward to compute the dynamic quantities @xmath54 and @xmath55 using  .
we find that the spacetimes bh[t ] of fig .
[ bhfc ] give rise to a one - parameter family of orbits , which is parametrized by the ( positive ) mass @xmath122 , that corresponds to the family of orbits of region bh in fig .
[ ksflow ] . for small values of @xmath122
we obtain orbits close to the boundary orbit connecting the taub point and the non - flat lrs point . for values of @xmath122
such that @xmath126 is close to @xmath127 we obtain orbits that come close to the separatrix orbits and the interior fixed point .
the case is analogous for the spacetimes wh[t ] , which fill the region wh of fig .
[ ksflow ] .
the spacetimes fc@xmath65[t ] of fig .
[ bhfc ] correspond to the orbits of region fc@xmath65 of fig .
[ ksflow ] .
values of @xmath122 such that @xmath126 is close to @xmath127 correspond to orbits that come close to the separatrix orbits and the interior fixed point .
for @xmath128 we obtain orbits in fc@xmath65 close to the special isotropic solution ( dashed line ) .
the special orbit itself corresponds to a cosmological spacetime , which may be denoted by fc@xmath129[t ] , that is obtained by an identification in the future cosmological region of the de sitter spacetime .
the family fc@xmath66[t ] of fig .
[ negm ] fills the region fc@xmath66 of fig .
[ ksflow ] . for large negative values of @xmath122
we obtain orbits that are close to the boundary of the state space .
the case of the spacetimes pc@xmath82[t ] is completely analogous .
the spacetimes sh@xmath67[t ] and sh@xmath68[t ] correspond to positive values of @xmath122 with @xmath130 . for values of @xmath122 such that @xmath126 is only slightly greater than @xmath127 ,
we obtain orbits in sh@xmath67 and sh@xmath68 that are close to the separatrix orbits and the interior fixed points . for large values of @xmath122
we obtain orbits close to the boundary .
let us make some final comments .
first , we note that the flow of fig .
[ ksflow ] is independent of @xmath14 .
it is possible to interpret @xmath131 as a function on the state space @xmath132 which is invariant along the orbits .
the net of separatrix orbits ( including the two interior fixed points ) is characterized by @xmath133 .
of course , the separatrix orbits admit an interpretation in terms of the kottler - schwarzschild - de sitter metric . in the case
@xmath133 the spacetimes defined from this metric are the _
nariai spacetimes_. we refrain from giving a discussion , but refer to  @xcite for a recent study .
( note that the kantowski - sachs models associated with the nariai spacetimes form a set of measure zero among all kantowski - sachs models . )
second , a comment in a similar vein . on the boundaries of the state space of fig .
[ ksflow ] , where we have to exclude the fixed points , the function @xmath131 takes the values @xmath134 or @xmath135 , respectively .
the solutions on the ( ` vacuum ' ) boundaries @xmath136 ( where @xmath137 ) admit a straightforward interpretation : these are the kantowski - sachs models that solve the einstein vacuum equations with @xmath138 ; an explicit representation of these models is based on performing an identification in the black hole / white hole region of the schwarzschild spacetime .
third , let us comment on the parameter t , which characterizes the length of the @xmath41 component of the spacetime .
this parameter does not enter the picture in fig .
[ ksflow ] .
this is because it corresponds to the free constant of integration in  .
finally , the statements on past / future crushing singularities of the kantowski - sachs models bh[t ] , wh[t ] , fc@xmath65[t ] , fc@xmath66[t ] , pc@xmath65[t ] , and pc@xmath66[t ] , which have been made above , are now immediate from fig .  [ ksflow ] in combination with  .
in this section we briefly discuss the parameter space(s ) of compact spherically symmetric cmc data sets . for our purposes , a spherically symmetric cmc initial data set
is a triple , where @xmath139 is a one - dimensional manifold , @xmath140 a spherically symmetric riemannian metric , and @xmath59 a spherically symmetric symmetric tensor with constant trace , subject to the einstein vacuum constraints with cosmological constant @xmath25 .
we find , cf .  @xcite , that these data sets are parametrized by @xmath141 ( ` mean curvature ' ) and a second constant , @xmath142 , through    [ gijkij ] @xmath143}}\ : , \\\label{kijinkc } k_{i j } \ , d x^i d x^j & = \frac{k}{3}\ : { g}_{i j}\ , d x^i d x^j +   c\ : \big ( \frac{2}{r(l)^3 } \,d l^2 - \frac{1}{r(l ) } \ ,   { \mathbf{g}_{[s^2]}}\big ) \ : , \ ] ] where @xmath144 is the coordinate on @xmath139 and @xmath38}}$ ] the standard metric on @xmath145 .
( the tensor in brackets in   is the standard spherically symmetric transverse traceless tensor . )
the positive function @xmath146 in   and   is required to be a solution of the differential equation @xmath147    where @xmath122 is an additional constant .
the ( local ) development of the data leads to   and @xmath122 emerges as the mass  @xcite .
a spherically symmetric cmc initial data set is _ compact _ , if @xmath148 .
this is the case if @xmath149 and @xmath142 are such that @xmath150 has two positive ( simple ) zeros , @xmath151 and @xmath152 , and @xmath153 in the interval @xmath154 ; see fig .
[ deltaborderline](a ) .
this leads to a periodic solution @xmath146 of   that oscillates between @xmath151 and @xmath152 ; we denote the period by @xmath155 , @xmath156 w.l.o.g .
we assume that @xmath157 , so that @xmath158 ; it follows that @xmath146 is even . by the natural identification of @xmath159 and @xmath160 ,
the domain of the function @xmath146 becomes @xmath41 and the cmc initial data set @xmath161 is compact .
there are ` degenerate ' cases : if @xmath149 and @xmath142 are such that @xmath150 possesses a root @xmath162 of multiplicity two ( or three ) , see figs .
[ deltaborderline](b ) and  [ deltaborderline](c ) , then @xmath163 is a constant solution of  . clearly , these solutions generate compact cmc initial data sets @xmath161 where the ` length ' @xmath155 of the @xmath41 component is arbitrary .     for parameters @xmath164 that induce compact cmc data .
( a ) corresponds to generic cmc data , subfigs .
( b , c ) are borderline cases and generate @xmath165 initial data . ]
compact cmc initial data sets with @xmath167 are obtained from   as solutions of the algebraic equations @xmath168 , @xmath169 , cf .
[ deltaborderline](b ) and  [ deltaborderline](c ) .
the parameters @xmath149 and @xmath142 associated with these data sets are @xmath170 where @xmath171 is the function of  .
the admissible range of @xmath162 depends on the values of @xmath22 ( @xmath172 ) and @xmath122 which determine @xmath171 . in the following we concentrate on the case @xmath84 , @xmath173 ( which is the most intricate one ) .
accordingly , the admissible range of @xmath162 is @xmath174 .
the cmc data sets with @xmath167 are associated with the spacelike hypersurfaces @xmath175 in ksds , @xmath176 .
the upper [ lower ] sign in   refers to hypersurfaces in the black [ white ] hole and the past [ future ] cosmological region of ksds .
equation   describes two pairs of curves , @xmath177 , one pair corresponding to @xmath178 and another pair with @xmath179 ; these curves are depicted in fig .
[ cbtdu ] .
( it is straightforward to prove the monotonicity properties and the asymptotic behavior of these curves suggested in this figure . )
a conspicuous feature is the cusp of the curve , which means that there exists a unique @xmath180 such that and ; the value of @xmath181 is determined by the equation @xmath182 the value of @xmath183 at @xmath181 is the smallest possible value of the ( modulus of the ) mean curvature within the class @xmath179 ; the same is true for the value of @xmath184 ; we denote these by @xmath185 and @xmath186 , respectively .
it is not difficult to show that @xmath187 .    in terms of the function @xmath150
, @xmath181 is determined by the conditions @xmath188 , @xmath189 , and @xmath190 .
hence , for @xmath191 , and only for these values , the function @xmath150 has a zero of third order , which corresponds to the borderline case between figs .
[ deltaborderline](b ) and  [ deltaborderline](c ) .
cmc initial data sets ( in the case , ) .
the mirror image of the ` wedge ' in the upper right corner , which is obtained by reflection at the origin , is not depicted.,scaledwidth=85.0% ]      we define the parameter space @xmath192 of compact cmc data to be the interior of the set of pairs @xmath164 that generate compact cmc data . for @xmath164 to be in @xmath193
, @xmath150 must have the form depicted in fig .
[ deltaborderline](a ) ; then @xmath146 is an even function that oscillates between @xmath151 and @xmath152 , where the period @xmath155 is given by  .
the parameter space @xmath193 is the disjoint union of three open connected domains , @xmath194 which are defined by the relations    [ kcdef ] @xmath195 \label{kc1def }   & ( k , c)\in \mathscr{kc}_{\pm 1 } \ : & & \longleftrightarrow\ : \,r_{\mathrm{c } } < r_{\min } < r_{\max } \:.\end{aligned}\ ] ]    the domain @xmath196 arises from @xmath197 by the inversion at the origin , while @xmath198 is invariant under the inversion .
let us elaborate on  .
since the function @xmath150 is non - negative in @xmath86 , see  , the roots @xmath151 and @xmath152 either satisfy @xmath199 , cf .  , or @xmath200 , or @xmath201 .
to obtain   we need to show that the subcase @xmath202 and the entire third scenario @xmath201 are excluded : first , if we assume that @xmath203 , then @xmath204 , and hence @xmath205 ; however , this contradicts the definition of @xmath151 , which includes the condition @xmath206 .
second , we note that @xmath150 can possess at most three zeros , of which @xmath152 is the largest .
this follows from an analysis of the critical points of @xmath150 , see  ( * ? ? ?
* appendix  a ) .
accordingly , @xmath150 must be negative for all @xmath207 .
this being the case , the assumption @xmath201 ( @xmath208 ) immediately leads to a contradiction , since @xmath209 .
this establishes the implicit claims of  .
the parameter spaces @xmath198 and @xmath210 are depicted in fig .
[ kc01 ] . among the boundaries of these spaces
are the curves of fig .
[ cbtdu ] that represent the pairs @xmath164 that generate @xmath165 initial data . for these ` critical ' values of @xmath164
the profile of the function @xmath150 is a borderline case , see fig .
[ deltaborderline ] .
there are arbitrarily small perturbations of fig .
[ deltaborderline](b ) and  [ deltaborderline](c ) that lead to the profile  [ deltaborderline](a ) and thus to compact cmc data , but there are other perturbations that lead to a profile of @xmath150 that is not associated with compact cmc data .
the remaining boundary components of @xmath198 and @xmath210 are the straight lines @xmath211 . for
, we find @xmath212 , cf .
[ deltaborderline](a ) , because the function @xmath150 is positive for large @xmath93 , if @xmath213 .     and @xmath197 of compact cmc data
are bounded by the curves of fig .
[ cbtdu ] that represent @xmath214 initial data and by the straight line(s ) @xmath215.,scaledwidth=90.0% ]    the analysis of   and the parameter space of compact cmc data is simpler in the remaining cases . in the case
@xmath123 we find @xmath216 , where the space @xmath210 is a ` wedge ' whose properties are analogous to those sketched in fig .
the case @xmath84 , @xmath130 is similar ; however , we refrain from going into the details .
in this section we investigate whether compact cmc initial data sets are embeddable in the kantowski - sachs spacetimes and/or the cosmological kottler - schwarzschild - de sitter spacetime ksds[t ] .
consider a compact cmc initial data set @xmath217 represented by @xmath22 , @xmath122 , and a pair .
the universal covering @xmath218 of the data is embeddable as a cmc hypersurface @xmath219 in ksds through @xmath220 see  @xcite ; the integral is understood in the principal value sense .
the embedding   is not unique : @xmath221 , @xmath222 defines a one - parameter family of embeddings of the data ; this reflects the continuous isometry of the spacetime generated by the killing vector @xmath223 .
the hypersurface @xmath219 represented by   is reflection symmetric , i.e. , invariant under the discrete isometry @xmath224 of the spacetime .
the requirement of reflection symmetry is a convenient way of fixing a representative within the one - parameter family of embeddings @xmath221 , @xmath222 : @xmath219 is the unique reflection symmetric embedding of the data .
the ( future pointing ) unit normal of @xmath219 in ksds is given by @xmath225 where the prime denotes the derivative w.r.t .
it is straightforward to check that @xmath226 .
the killing vector @xmath90 of ksds admits a decomposition into a lapse function @xmath227 and a shift vector @xmath228 : from   and   we obtain @xmath229 and @xmath230 .
we now make a fundamental definition .
let @xmath231 and @xmath232 be the ( half-)period   characterizing the compact cmc initial data set .
we define @xmath233    the value of the quantity @xmath234 is a property of the initial data set .
it is possible ( and useful ) to regard @xmath234 as a function of @xmath164 on @xmath193 .    in  ( * ?
3 ) the following statement has been proved : a compact cmc initial data set associated with a pair @xmath235 is embeddable as a smooth cmc hypersurface @xmath236 in ksds[t ] if and only if @xmath237 . the hypersurface @xmath236 is then a cauchy hypersurface and the embedding is unique modulo the killing flow .
we now prove an analogous statement for @xmath238 .
[ kc1embedprop ] let @xmath123 , or @xmath84 with @xmath173 .
consider a compact cmc initial data set @xmath239 associated with @xmath240 . this data set is embeddable as a smooth cmc hypersurface @xmath236 ( @xmath241 ) in the kantowski - sachs spacetime fc@xmath66[t ] or fc@xmath65[t ] , depending on the sign of @xmath122 , if and only if @xmath242 . the @xmath243-fold covering of the data is embeddable as a smooth cmc hypersurface @xmath244 in fc@xmath82[t ] if and only if @xmath245 . the embedded hypersurfaces are cauchy hypersurfaces , and the embeddings are unique modulo the killing flow .
consider the universal covering of the data and the embedded hypersurface @xmath219 in ksds as given by  .
since @xmath146 oscillates between @xmath151 and @xmath152 where @xmath246 , see  , @xmath219 is entirely contained in a cosmological region of ksds .
the assumption @xmath240 implies @xmath247 and we infer from   that @xmath219 is contained in a future cosmological region of ksds , see  fig .
[ corrugatedsheet ] .
the hypersurface @xmath219 is invariant under the reflections @xmath248 for all @xmath249 ; this is because @xmath146 is even about @xmath250 @xmath251 .
since the unit normal vectors of @xmath219 at @xmath252 must be invariant under these reflections as well , they must be tangential to the fixed point sets @xmath253 of these discrete isometries .
we conclude that @xmath254 at @xmath250 .
therefore , the identification of the cylinders @xmath255 and @xmath256 ( @xmath257 ) in ksds turns @xmath219 into a smooth cmc hypersurface @xmath244 in fc@xmath82[@xmath258 ( where the sign is determined by the sign of @xmath122 ) .
hence , since @xmath244 is isometric to the @xmath243-fold covering of the initial data , we have found that the @xmath243-fold covering of the data is embeddable as a smooth cmc hypersurface @xmath244 in fc@xmath82[t ] , @xmath259 . in spacetimes fc@xmath82[t ] with @xmath260 @xmath261 , however , the identification of @xmath113 with @xmath262 is inconsistent with the identifications of @xmath263 with @xmath264 on the level of the data , which is an obstruction to ( smooth ) embeddability .
the proof of the remaining claims is trivial .    ' '' ''     ( and @xmath265 , @xmath173 ) appears as a `` corrugated sheet '' confined between the @xmath102 hypersurfaces @xmath266 and @xmath267 . in fc@xmath65[t ] with @xmath237 , it is a smooth cauchy hypersurface.,scaledwidth=90.0% ]    the statement of the proposition holds analogously for @xmath268 if we replace fc@xmath82[t ] ( future cosmological ) by pc@xmath82[t ] ( past cosmological ) .
the case @xmath269 is completely analogous as well .
the ( @xmath243-fold covering of the ) data is embeddable in the cosmological spacetime fc@xmath129[t ] obtained from the de sitter spacetime , cf .
section  [ ksdssubsec ] , if @xmath259 .
we do not consider the case @xmath84 , @xmath130 ; however , we expect a result that is analogous to proposition  [ kc1embedprop ] , where fc@xmath82[t ] and pc@xmath82[t ] are replaced by sh@xmath67[t ] and sh@xmath68[t ] .
the results of section  [ embeddings ] leave open the question which of the kantowski - sachs spacetimes fc@xmath82[t ] and pc@xmath82[t ] actually contain cmc hypersurfaces . another issue that will be discussed in this section is the question of whether the embedded cmc hypersurfaces evolve to form slicings or foliations .
the interesting case is that of the kantowski - sachs spacetimes fc@xmath82[t ] and pc@xmath82[t ] .
let us begin , however , by investigating the kantowski - sachs spacetimes of the classes bh[t ] and wh[t ] .
the results of sections  [ data ] and  [ embeddings ] show that there do not exist ( spherically symmetric ) cmc hypersurfaces in these spacetimes other than the @xmath103 hypersurfaces ; see   and   in particular .
the @xmath103 hypersurfaces are associated with the @xmath165 initial data sets which are represented by pairs @xmath164 determined by   with @xmath270 , see fig .
[ cbtdu ] .
the @xmath103 hypersurfaces form a global foliation of bh[t]/wh[t ] , and the mean curvature is a monotone function along this foliation , which we infer from fig .
[ ksflow ] in combination with   or from fig .
[ cbtdu ] . in other words , _ the kantowski - sachs spacetimes * bh[t ] * and * wh[t ] * possess a global cmc time function _ and thus a unique global cmc foliation .
the kantowski - sachs spacetimes of the classes fc@xmath82[t ] and pc@xmath82[t ] exhibit a richer structure of cmc slicings .
let us concentrate on the spacetimes fc@xmath82[t ] .
the @xmath271 hypersurfaces , @xmath272 , form a global cmc foliation of fc@xmath82[t ] .
this foliation is reflection symmetric and invariant under the killing flow .
however , this global cmc foliation does not define a cmc time function .
note that the mean curvature is not monotone and attains a minimal value @xmath273 along the foliation , where @xmath274 is given by   and  ; it satisfies @xmath275 . more specifically , from fig .
[ ksflow ] in combination with   or fig .
[ cbtdu ] we see that @xmath149 ( @xmath276 ) decreases monotonically from @xmath277 to @xmath273 as @xmath162 increases from @xmath278 to @xmath181 ; at @xmath279 it attains its minimal value @xmath273 ; as @xmath162 increases further , @xmath149 is monotonically increasing as well and converges to @xmath280 in the limit @xmath281 . in some of the kantowski - sachs spacetimes fc@xmath82[t ] , this global cmc foliation is the unique cmc foliation :    [ cdsthm1 ] consider a kantowski - sachs spacetime fc@xmath82[t ] or pc@xmath82[t ] with @xmath282 then the unique ( spherically symmetric ) cmc foliation is the global foliation of hypersurfaces , where @xmath272 .
recall that @xmath283 is a measure of the length of the @xmath41 factor of the kantowski - sachs spacetime .
the situation is more intricate and more interesting for kantowski - sachs spacetimes with larger @xmath283 .
[ cdsthm ] consider a kantowski - sachs spacetime fc@xmath82[t ] or pc@xmath82[t ] with @xmath284 and let @xmath285 be the greatest integer strictly less than @xmath286 .
then the spacetime contains the global cmc foliation of @xmath271 hypersurfaces and , in addition , @xmath287 distinct families of ( maximally extended ) cmc slicings .
the existence of ` families ' of cmc slicing is due to the fact that the embedded cmc hypersurfaces are not unique .
the one - parameter family of isometries associated with the killing vector @xmath90 turns each cmc hypersurfaces into a one - parameter family of cmc hypersurfaces ( where of course each hypersurface of the family is characterized by the same parameters @xmath149 and @xmath142 ) . requiring reflection symmetry about the @xmath288 cylinder is a convenient way of fixing a unique representative of the family , see section  [ embeddings ] .
therefore , theorem  [ cdsthm ] can be restated : under the given assumptions , _
fc@xmath82[t ] ( or pc@xmath82[t ] ) contains the global cmc foliation of @xmath271 hypersurfaces and @xmath287 slicings of reflection symmetric compact cmc hypersurfaces_. the remaining compact cmc slicings arise from these reflection symmetric slicings by an appropriate admixture of the killing flow .
in addition to the statement of theorem  [ cdsthm ] we will see that along the nontrivial slicings the mean curvature is a strictly monotone function where @xmath149 ranges over a subinterval of @xmath289 .
the remainder of this section is concerned with the _ proof _ of the theorems and the additional claims .
the first part of the proof is essentially identical to the proof of theorem  4.1 of  @xcite .
let us thus merely sketch those arguments : the starting point is proposition  [ kc1embedprop ] , which establishes the existence of ( reflection symmetric ) compact cmc hypersurfaces @xmath244 in ( certain ) fc@xmath82[t ] spacetimes .
the proof that each of these hypersurfaces evolves into a unique ( reflection symmetric ) local slicing @xmath290 , where @xmath291 is a parameter of the slicing such that @xmath292 , is based on an analysis of the lapse equation , see , e.g. ,  @xcite , @xmath293 where @xmath294 is the laplacian of the induced metric   and @xmath295 ; the @xmath291-dependencies are suppressed . in  (
4.1 ) it is shown that   possesses a unique even solution @xmath296 provided that @xmath297 , which implies the existence ( and uniqueness ) of ( reflection symmetric ) local cmc slicings .
if the hypersurface @xmath244 corresponds to the point @xmath298 in the parameter space @xmath210 , see fig .
[ kc01 ] , then the constructed local slicing @xmath290 corresponds to a ( piece of a ) smooth curve in @xmath210 , which passes through that point .
smoothness follows from smoothness of @xmath59 and @xmath299 along @xmath290 , because @xmath300    to determine these curves in @xmath210 which represent cmc slicings , we differentiate   and use the evolution and the lapse equation on the l.h.s.to obtain @xmath301 in this equation , @xmath302 is the ( unique ) even solution of   and the prime denotes the derivative w.r.t .
evaluation of   at @xmath303 , which corresponds to @xmath304 , and use of   yields @xmath305 see  @xcite for details .
we infer that the tangent vectors of the curves @xmath306 in @xmath210 which represent cmc slicings are determined by  .    summarizing ,
compact cmc slicings are represented in @xmath210 by the integral curves of the ` oriented direction field ' @xmath307 given by  , see fig .
[ kc1flown ] .
maximal extension of the integral curves of the oriented direction field on @xmath210 corresponds to maximal extension of the cmc slicing in the spacetime .     for the case
@xmath308 , @xmath309 . the integral curves of this direction field are equipotential lines of the function @xmath234 on @xmath210 and represent compact cmc slicings in kantowski - sachs spacetimes fc@xmath82[t ] , @xmath259 , @xmath310.,scaledwidth=80.0% ]    consider an integral curve @xmath306 of the oriented direction field  .
by construction , the quantity @xmath234 of   is constant along this curve and the associated cmc slicing @xmath311 is a slicing in fc@xmath82[@xmath234 ] .
however , every point @xmath240 represents the original cmc data set as well as its ( finite ) coverings .
therefore , the integral curve represents not only a cmc slicing @xmath311 ( @xmath313 ) in fc@xmath82[@xmath234 ] , but also a cmc slicing @xmath290 in fc@xmath82[@xmath258 for all @xmath310 ; each hypersurface of the slicing @xmath290 corresponds to the @xmath243-fold covering of the original data .    to establish the claims of the theorems ( and to obtain additional information on the properties of the cmc slicings )
it is necessary to understand the behavior of @xmath234 , viewed as a function of @xmath240 , see  .
first , we investigate the behavior of @xmath234 on the boundary ; the relevant statements are proved in appendix  [ tonboundary ] : consider a curve in @xmath210 converging to a point on the boundary , which is either of following : a point on the right boundary with @xmath314 ; a point on the lower boundary ( including the cusp ) , which is uniquely represented by a value of @xmath162 in an interval @xmath315 $ ] ( where @xmath316 is known explicitly , see appendix  [ tonboundary ] ) ; or a point on the left boundary which is uniquely represented by a value of @xmath162 in the interval @xmath317 ; see fig .
[ cbtdu ] .
we find that @xmath318 if the curve converges to a point on the right boundary ( i.e. , @xmath314 ) or on the lower boundary ( including the cusp ) .
however , if the curve converges to a point represented by @xmath319 on the left boundary , then @xmath234 converges along this curve according to @xmath320 where the values of @xmath149 and @xmath142 that enter @xmath150 are @xmath321 and @xmath322 , cf .  ; see appendix  [ tonboundary ] for the proofs .
the function @xmath323 in   is strictly monotonically decreasing in .
moreover , @xmath324 as @xmath325 and @xmath326 for the proof we refer to the appendix .    based on   and   we are able to complete the proof of the theorems .
consider an integral curve @xmath306 of the oriented direction field on @xmath210 , see fig .
[ kc1flown ] ; we have @xmath327 along the curve .
since @xmath328 , the @xmath302-limit set of the curve must be contained in the left boundary and/or the lower boundary of @xmath210 .
however , @xmath329 on the lower boundary ( including the cusp ) , hence the curve must emerge from the left boundary .
since @xmath323 is strictly monotone , the curve must emerge from one point on the left boundary , which is determined by solving the equation @xmath330 for @xmath331 , cf .  ;
the associated values of @xmath332 and @xmath333 are then given through  .
since , conversely , each point on the left boundary gives rise to exactly one integral curve of the oriented direction field on @xmath210 , we find a one - to - one correspondence between integral curves of the direction field and points on the left boundary .    as a consequence , the range of @xmath234 on @xmath210 coincides with the range of @xmath334 on the left boundary .
taking   into account we therefore conclude that @xmath335 on @xmath210 and thus on every integral curve of the direction field .
hence , invoking proposition  [ kc1embedprop ] we have established theorem  [ cdsthm1 ] .    from each point on the left boundary
an integral curve emerges .
the monotonicity of @xmath336 along this boundary in combination with   implies that , for a given @xmath337 , the equation @xmath338 distinguishes a unique integral curve of the direction field in @xmath210 .
consider a kantowski - sachs spacetime fc@xmath82[t ] with @xmath337 .
the integral curve @xmath338 represents a unique ( reflection symmetric ) slicing @xmath311 ( @xmath313 ) of compact cmc hypersurfaces in fc@xmath82[t ] .
there is more , however .
the equation @xmath339 defines a unique integral curve in @xmath210 for each @xmath340 , cf .
theorem  [ cdsthm ] .
each of these integral curves corresponds to a slicing @xmath290 in fc@xmath82[t ] , whose hypersurfaces are isometric to the @xmath243-fold covering of the original data sets generated by @xmath306 , cf .
[ kc1embedprop ] .
accordingly , there exist @xmath243 slicings @xmath290 , @xmath341 , in fc@xmath82[t ] .
this proves the remaining claim of theorem  [ cdsthm ] .    ' '' ''
theorem  [ cdsthm ] establishes the existence of @xmath342 compact cmc slicings @xmath290 , different from the @xmath271 slicing , in kantowski - sachs spacetimes fc@xmath82[t ] or pc@xmath82[t ] with sufficiently large @xmath283 .    in the proof of theorem  [ cdsthm ] in section  [ sec : cdst ] we have shown that @xmath290 is represented in @xmath210 by the curve @xmath343 determined by the equation @xmath339 ( which is a maximally extended integral curve of the oriented direction field of fig .  [ kc1flown ] ) .
the _ asymptotic properties _ of the slicing @xmath290 are the following :    toward the future , @xmath344 , i.e. , the mean curvature increases monotonically and converges to @xmath345 ; simultaneously , @xmath346 . these results follow straightforwardly from the discussion of section  [ sec : cdst ] . in particular , we find that @xmath347 along @xmath290 as @xmath348 ( or , if we use a different time gauge , as @xmath291 approaches the finite supremum of its range ) , which follows from the fact that @xmath349 as @xmath350 in @xmath210 .    toward the past , the slicing @xmath290 converges to a limit hypersurface .
let @xmath162 be the solution of @xmath351 , i.e. , @xmath162 is the solution of @xmath352 cf .   and
. then @xmath353 and @xmath354 as @xmath355 ( where @xmath356 denotes the infimum of the maximal range of @xmath291 ) .
these statements follow straightforwardly from the discussion of section  [ sec : cdst ] . in particular ,
since @xmath357 and @xmath358 , see appendix  [ tonboundary ] , we find that the slicing @xmath290 converges to the hypersurface of constant @xmath359 as @xmath355 .    a natural question in connection with the slicing @xmath290 concerns its limit hypersurface .
let us first note that for @xmath290 we have @xmath360 as @xmath361 , where we assume a gauge of @xmath291 such that @xmath302 remains bounded in the limit . to see this ,
consider the defining equation   for the direction field .
since @xmath362 converges to zero as @xmath363 , because , @xmath364 in this limit .
an additional argument then shows that @xmath365 and @xmath366 separately as @xmath361 .
( suppose @xmath367 ; then @xmath368 and @xmath369 as @xmath361 .
this implies that @xmath370 is tangential to the left boundary of @xmath210 , since @xmath371 by  .
this is false , however ; the oriented direction field is transversal to the left boundary , which can be straightforwardly deduced from the behavior of the function @xmath234 on the boundary and in a small neighborhood thereof .
we simply recall that @xmath234 ( @xmath372 ) is strictly monotone along the boundary , while @xmath373 along the integral curves of the direction field . )
let us now consider the lapse equation and its solutions on the hypersurface @xmath374 , i.e. , for @xmath375 .
first , recall that the metric on @xmath374 is given by @xmath376}}$ ] ; the variable @xmath144 is related to @xmath377 by @xmath378 .
( this follows directly from   or from   with  . )
since @xmath374 is regarded as a hypersurface in fc@xmath82[t ] or pc@xmath82[t ] , @xmath159 is identified with @xmath160 , where @xmath379 .
the lapse equation @xmath380 specializes to @xmath381 where @xmath382 .
standard algebraic manipulations show that @xmath383 for @xmath375 , for all @xmath319 , and @xmath384 as @xmath385 ( i.e. , @xmath386 ) . in the case
@xmath387 the general even solution of   is @xmath388 with @xmath389 .
( in the case @xmath390 we obtain @xmath391 . ) intuitively speaking , the lapse function   connects @xmath374 with a infinitesimally neighboring cmc hypersurface in fc@xmath82[t ] or pc@xmath82[t ] , if and only if @xmath392 for some @xmath310 , i.e. , if . using that @xmath393
, it is straightforward to see that this condition is equivalent to @xmath394 , cf .  .
this is in prefect accord with the previous results and we conclude that the slicing @xmath290 , @xmath395 , can be smoothly extended to a slicing @xmath396 , which also includes @xmath374 .
in addition , the slicing @xmath290 , @xmath396 , can be joined continuously to the slicing of @xmath102 hypersurfaces at @xmath374 .
however , the junction is not smooth , because for the slicing of @xmath102 hypersurfaces we have @xmath297 and the lapse function is @xmath397 , while @xmath398 and   holds for @xmath290 at @xmath399 .    it remains to investigate whether the slicings @xmath290 are in fact foliations . in analogy to we may define @xmath400 as the set of all @xmath401 such that the lapse function @xmath302 is positive .
( then the slicing @xmath290 is a foliation for those values of @xmath291 for which the integral curve @xmath306 associated with @xmath290 is in @xmath400 . )
recall the parameter space @xmath210 from figs .
[ cbtdu ] and  [ kc01 ] .
we can prove that there exists a neighborhood @xmath402 in @xmath403 of the left boundary and a neighborhood @xmath404 of the lower boundary of @xmath210 such that @xmath405 and @xmath406 .
the former statement follows immediately from  , the proof of the latter statement is analogous to the proof of  ( * ? ? ?
furthermore , there exists a neighborhood @xmath407 in @xmath403 of the straight line @xmath408 , which is the right boundary of @xmath210 , such that @xmath409 .
( to see this we exploit the fact that @xmath410 as @xmath411 , which is intimately connected with the fact that the cmc hypersurfaces with @xmath314 , which are not compact , form a foliation ; for the details we refer to upcoming work . ) .
numerical investigations suggest that @xmath400 is a connected set , whose minimal value of @xmath149 is strictly greater than @xmath273 . for large @xmath142 , the boundary @xmath412 approximates the left boundary of @xmath210 ; this leads to the fact that every integral curve lies in @xmath400 for sufficiently large @xmath291 .
expressed in terms of the associated slicing in fc@xmath82[t ] : @xmath290 is indeed a foliation for sufficiently large @xmath291 .    a concluding remark : compact cmc hypersurfaces and slicings in spacetimes that satisfy the timelike convergence condition are a ( comparatively ) straightforward matter .
spacetimes that do not satisfy the timelike convergence condition , on the other hand , may exhibit a rich structure of compact cmc hypersurfaces and cmc slicings .
the vacuum kantowski - sachs spacetimes with positive cosmological constant are a fine example to illustrate this fact and to provide indications about what to expect of cmc slicings in more general spacetimes .
this appendix is concerned with an analysis of the function @xmath234 on boundary of @xmath210 and the proof of the statements of section  [ sec : cdst ] in connection with  ,  , and  , which are essential for the proof of theorem  [ cdsthm1 ] and theorem  [ cdsthm ] .
the boundary of the parameter space @xmath210 consists of ( a piece of ) the straight line @xmath314 , the curve @xmath415 , @xmath416 $ ] , which corresponds to the lower boudary and includes the cusp , and the curve @xmath415 , @xmath417 , which is the left boundary , see   and figs .
[ cbtdu ] and  [ kc01 ] . in this context
we have @xmath418 which follows by setting @xmath419 in   and using that @xmath420 .
let us begin by proving  .
consider a curve @xmath421 in @xmath210 that converges , as @xmath422 , to a point @xmath423 on the lower boundary that is represented by @xmath424 .
let @xmath425 be the function defined in   with @xmath426 and @xmath427 ; its profile is that of fig .
[ deltaborderline](a ) . as @xmath428 , however , @xmath429 , where @xmath430 is of the form depicted in fig ,  [ deltaborderline](b ) ( since @xmath431 because of the assumption @xmath432 ) .
from   we have @xmath433 where @xmath434 and @xmath435 are the relevant zeros of @xmath436 , see fig .  [ deltaborderline](a ) . as @xmath437 , we have @xmath438 and @xmath439 , where @xmath440 is a simple zero of @xmath430 .    let @xmath441 ; we split   into an integral over the interval @xmath442 and another over the interval @xmath443 .
the latter converges to some constant as @xmath437 ; the former , however , and thus @xmath444 itself , will be shown to diverge as @xmath437 . to that end
, we make the expansion @xmath445 as @xmath446 , where we note that @xmath447 and @xmath448 as @xmath437 . in this context
, a prime denotes the derivative w.r.t .  the argument , i.e. , @xmath93 .
we then find @xmath449 as @xmath446 , where @xmath450 is independent of @xmath451 .
in addition , @xmath452 then integration yields @xmath453 where @xmath454 is independent of @xmath451 . letting @xmath437 while keeping @xmath455 fixed , we obtain divergence , because @xmath447 . accordingly , @xmath456 as @xmath437 .
likewise , we find divergence of @xmath234 along every curve in @xmath210 that converges to a point on the right boundary @xmath314 . to see that , consider a curve @xmath421 in @xmath210 that converges , as @xmath422 , to a point @xmath457 on @xmath458 .
the profile of @xmath425 is that of fig .
[ deltaborderline](a ) . as @xmath428
, we have @xmath429 , where @xmath459 which entails that the zero @xmath434 of @xmath425 converges to @xmath460 , which is a zero of @xmath430 ; however , @xmath461 as @xmath428 .
for sufficiently small @xmath451 , there exists a uniform bound for @xmath425 on @xmath462 $ ] ; furthermore , @xmath463 is positive on @xmath403 and thus uniformly bounded from below .
therefore , @xmath464 and , since @xmath461 as @xmath428 , we obtain @xmath465 in this limit .
this concludes the proof of  .
let us proceed by proving  .
consider a curve @xmath421 in @xmath210 that converges , as @xmath422 , to a point @xmath423 on the left boundary that is represented by .
as @xmath428 , @xmath429 , where @xmath430 is of the form depicted in fig .  [ deltaborderline](c ) .
let @xmath466 be defined as the maximum of @xmath425 , see fig .
[ deltaborderline](a ) ; obviously , the three values @xmath467 converge to @xmath162 as @xmath437
.    set @xmath468 ( for purely aesthetic reasons ) and consider the function @xmath469 whose zeros we denote by @xmath470 and @xmath471 . obviously , there exists a diffeomorphism @xmath472 such that @xmath473 in the interval @xmath474 $ ] ; we have @xmath475 , , and @xmath476 .
we find @xmath477 it is straightforward to calculate the integral on the r.h .
side : we obtain @xmath478 . from this result ,
the claim  , i.e. , @xmath479 follows immediately by noting that @xmath480 which is because @xmath481 .
it remains to prove the claims in connection with  .
let @xmath150 be the function of   associated with @xmath482 .
first , to establish strict monotonicity of @xmath323 , we consider @xmath483 and compute @xmath484 = 8 { r_{\mathrm{m}}}^{-3}\ , \left(1- \frac{3 m}{{r_{\mathrm{m}}}}\right)^2\ : > 0 \:;\ ] ] strict inequality holds because @xmath485 ( @xmath486 ) .
( note that the computation involves derivatives of   w.r.t .
@xmath162 , since @xmath332 and @xmath333 in @xmath150 . )
second , @xmath324 as @xmath325 , since @xmath487 as @xmath162 approaches the ` cusp ' @xmath181 .
third , to show   we compute @xmath488 \big ) \:,\ ] ] hence @xmath489 as @xmath281 , and   is proved .
l.  andersson .
he global existence problem in general relativity . in p.t .
chruciel and h.  friedrich , editors , _ the einstein equations and the large scale behaviour of gravitational field _ , pages 71120 .
birkhuser , 2004 .
y.  choquet - bruhat , a.e .
fischer , and j.e .
maximal hypersurfaces and positivity of mass . in j.  ehlers ,
editor , _ isolated gravitating systems in general relativity _ , pages 396456 .
north - holland publishing , 1979 .