Nonlinear curvature covector
ID: nonlinear-curvature-covector
With negligible shear, a minimally coupled scalar field serving as a clock, and , the Hamiltonian constraint and momentum constraint imply and . Differentiating the local Friedmann relation yields and . Inserting these identities into cancels all terms, including gradients of the lapse function. The conserved covector becomes the gradient of a uniform-density curvature perturbation at linear adiabatic order. Dropping the shear constraint is essential; this is not a proof of conservation in an arbitrary non-attractor phase.
New to topics? Read the docs here!