Let , and define on a patch with . In the shear-negligible long-wavelength approximation in cosmology, the relations just derived give
with and . For the nonlinear curvature covector,
commuting coordinate derivatives gives
The two terms proportional to cancel exactly. The remaining expression is
Substituting the spatial relations cancels the gravitational terms and then the terms separately. Therefore
This is nonlinear in perturbation amplitude; only the spatial-gradient truncation and the decaying-shear approximation have been used. Conservation does not require a spatially homogeneous lapse. On a uniform-field slice, , making its interpretation as a conserved local spatial-curvature perturbation transparent, with the sign convention used here.
For ordinary attractor single-field inflation, conservation means that nonlinear curvature correlations already generated near horizon exit are transported to later superhorizon times without additional local growth. It does not prove that the perturbation is Gaussian: horizon-scale interactions, the nonlinear relation to the field perturbation, and quantum initial conditions can generate a nonzero bispectrum. In canonical slow-roll inflation that primordial non-Gaussianity is usually slow-roll suppressed; the single-field inflation squeezed-limit consistency relation describes the effect of a long adiabatic mode on shorter modes under its stated attractor and initial-state assumptions. Strong local superhorizon primordial non-Gaussianity is therefore not generated merely by evolving this conserved variable. Entropy perturbations in multifield models, or non-attractor single-field phases for which the preceding single-clock and shear-neglect assumptions cannot be applied in this form, evade that inference. The result is a conservation theorem under explicit dynamical assumptions, not a blanket assertion that every single-field model has zero or small primordial non-Gaussianity.
Now impose the stipulated negligible shear and work where . The Hamiltonian constraint, momentum constraint and local expansion evolution give
Time differentiation of the first equation, followed by , gives . Spatial differentiation of the same equation and use of the momentum constraint gives
These are the temporal and spatial identities needed for the nonlinear curvature covector. Differentiate its definition, keeping the spatially varying lapse function:
The terms proportional to cancel. The terms and cancel by the momentum constraint, and the remaining two terms cancel by the spatial momentum identity. Therefore
to the retained gradient order. No homogeneous-lapse assumption was needed.
For linear adiabatic cosmological perturbations, expansion of the local scale and scalar field gives . For nonzero spatial modes, linearizing the Hamiltonian constraint and the momentum constraint gives
Thus
This uses the paper's overall sign for the uniform-density curvature perturbation; the opposite overall sign is also common. For an adiabatic single-field attractor, superhorizon conservation of single-field comoving curvature allows the primordial amplitude to be transported through later epochs without following every short-scale process. This proof specifically discarded the shear contribution to the momentum constraint and assumed a usable field clock. It is not a claim that every single-field background conserves every curvature mode: growing curvature perturbation in ultra-slow-roll inflation is a non-attractor counterexample, and makes this particular covector undefined.
For zero shift vector, negative-expansion extrinsic curvature and , retain the leading spatial-gradient equations of a minimally coupled scalar. They give , , , and . The first-gradient momentum constraint is . Shear decays as during expansion. Its neglect after inflationary damping yields the equations underlying conservation of the nonlinear curvature covector.