It appears to be common in the discussion of perturbative FRW cosmologies to choose a gauge using hypersurfaces for special values of some quantity, like surfaces of constant density ρ, constant inflaton field ϕ, or zero spatial curvature Ψ=0.
What guarantees that this foliates spacetime?
It seems clear that in general there may be local density spikes that appear and disappear, so the constant density surface isn't space-like. Further, I don't think monotonicity of these quantities (perhaps because we're assuming small perturbations?) is a sufficient condition to guarantee foliation because monotonicity itself doesn't appear to be a gauge-invariant condition. (If the density ρ were to be monotonically decreasing with respect to some choice of time coordinate t, there is another set of coordinates x and t for which it is not.)
Alternatively, am I wrong in thinking that this is expected to define a foliation in general? Maybe the only thing that matters is that you can define local gauge-invariant quantities (e.g., spatial curvature on constant-density hypersurfaces −ζ=Ψ+(H/˙ˉρ)δρ), and it's not necessary that this defines a preferred coordinate system.
This post imported from StackExchange Physics at 2015-09-06 15:12 (UTC), posted by SE-user Jess Riedel