Nonlinear curvature covector Created 2026-10-07 Updated 2026-10-14
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.
Small primordial fluctuations seed later structure. For adiabatic cosmological perturbations on scales outside the horizon, the uniform-density curvature perturbation is conserved when the non-adiabatic pressure perturbation and the decaying mode can be neglected. A density contrast outside the horizon is gauge-dependent, so its apparent power-law growth should not be confused with directly measured local collapse.
For subhorizon, pressureless matter, the linearized continuity equation, Euler equation and Poisson equation combine into
Hubble expansion damps peculiar motion; self-gravity amplifies overdensities. During radiation domination, radiation pressure drives acoustic oscillations and cold dark matter growth after horizon entry is only logarithmic. During matter domination the growing and decaying solutions are and . Dark-energy domination later suppresses growth relative to the matter-era law.
For a pressure-supported fluid the Fourier-mode equation also contains , giving a Jeans length separating acoustic support from gravitational growth. Before recombination, baryons are tightly coupled to photons and oscillate rather than freely following dark matter. Silk damping from photon diffusion damps small-scale photon-baryon fluctuations; after decoupling, baryons can fall into dark-matter potential wells. free streaming smooths species-dependent scales and distinguishes cold from warm or hot dark matter.
Schematically, the linear matter power spectrum can be written under the usual primordial-curvature normalization. The cosmological transfer function records horizon entry, matter-radiation equality, acoustic physics and damping; the linear growth factor records later amplification. density contrasts approaching unity require nonlinear collapse and halo formation beyond this approximation. cosmic microwave background anisotropies and galaxy clustering test the same initial perturbations through different transfer histories; galaxy bias, redshift-space distortions and observational selection enter the galaxy comparison.
Let , and assume so that the density-defined curvature is meaningful. Under the cosmological gauge transformation in part ii,
Therefore the two time-shift terms cancel:
This is the uniform-density curvature perturbation with the paper's overall sign. On a uniform-density slice it is the spatial curvature potential . Its opposite overall sign is also a common convention, so the sign must be kept consistent rather than imported from another metric convention.
To establish time conservation, write and . Background stress-energy conservation implies
For constant in the given barotropic equation of state, . Differentiate :
Insert both perturbed evolution equations from the hint, keeping the spatial Laplacian :
Thus the lapse perturbation and the trace perturbation cancel exactly. The remaining pressure term is the non-adiabatic pressure perturbation . In the assumed barotropic fluid, the perturbed equation of state gives and , so it vanishes. For a Fourier mode,
For regular long-wavelength perturbations, the velocity and shear potentials in this combination do not grow as , so the right-hand side is gradient-suppressed when . Therefore is conserved to leading superhorizon order, which is the superhorizon conservation of uniform-density curvature requested.
The statement is not exact for arbitrary finite : the displayed gradient term gives its correction. It also requires adiabatic cosmological perturbations; entropy perturbations in a multicomponent system or a nonbarotropic fluid can give and evolve even at zero gradient order. At exact , and the question's variable is undefined, rather than a well-defined conserved density-slicing perturbation.
Use and , and define the physical background Hubble parameter by . At first order, the spacetime metric components are , and . Apply the given passive cosmological gauge transformation component by component. The temporal component changes by ; the mixed component changes by ; and the spatial component changes by . Hence
These are the scalar gauge transformations with a background lapse in the paper's sign convention.
Starting in synchronous gauge, preserving both and requires
The first equation integrates to ; substituting in the second and integrating gives
The arbitrary lower integration limit is absorbed into . Thus specifying synchronous lapse and shift does not fix the origins of the freely falling clocks or all spatial coordinate labels. This is the residual gauge freedom in synchronous gauge.
During cosmic inflation, choosing these clocks remains arbitrary. For example, the mode shifts the spatial potential by and the density perturbation by . In the de Sitter approximation, varies little, so a nearly constant metric perturbation can contain a pure coordinate contribution. An inflaton fluctuation or density contrast in synchronous gauge therefore cannot be declared physical solely from its time behavior. Use a uniform-density curvature perturbation or an appropriate field-based gauge-invariant variable, or fix a physical initial slicing. The exact de Sitter case has no evolving homogeneous density clock, which makes density-defined slicing degenerate.
During the standard hot Big Bang, a cold-matter rest frame supplies a convenient additional condition: imposing zero cold-matter velocity removes the nontrivial spatially varying time-shift mode. Before that condition is imposed, the pure-gauge density contrast for constant is , which decays as in either radiation or matter domination. In conformal time this is proportional to during radiation domination and during matter domination. It can be confused with an independent decaying physical mode unless gauge freedom is fixed. The mode is a time-independent spatial relabeling and must likewise be fixed by a coordinate or initial-metric convention.
Finally, a scalar density transforms by evaluating the homogeneous scalar at the shifted time:
To reach Newtonian gauge from synchronous quantities, impose . For the nonhomogeneous scalar modes, choose
Using background stress-energy conservation, , gives the synchronous-to-Newtonian density transformation with a lapse:
The expression includes the lapse factors because dots refer to the arbitrary time coordinate, not automatically to proper time.
Use the spatial-potential convention of this paper and assume . A passive time displacement changes the spatial scalar by and changes the energy density by
The two contributions to the uniform-density curvature perturbation therefore cancel:
A spatial scalar displacement changes but not this combination. Hence is gauge invariant at linear order. Pure cosmological-constant matter, for which , does not supply a energy density clock and this formula is not defined for that component alone.
Now take the definite constant- barotropic equation of state and use physical-time differentiation . Put . Background stress-energy conservation gives . Differentiating , then substituting the two supplied perturbation equations, gives
Thus the lapse and expansion perturbations cancel without imposing a gauge. In terms of the non-adiabatic pressure perturbation ,
For the stipulated barotropic equation of state, , so the first term vanishes. For a Fourier mode, . For regular long-wavelength solutions the remaining gradients are suppressed when . Consequently on superhorizon scales, with exact conservation in the leading zero-gradient limit. It is not an exact finite- identity. Entropy perturbations or a singular gradient expansion can invalidate that conclusion; the supplied adiabatic assumption is what removes the unsuppressed pressure source.
This superhorizon conservation of uniform-density curvature is useful because inflationary fluctuations leave the horizon during cosmic inflation and may re-enter only much later. In an adiabatic single-clock evolution, the conserved uniform-density curvature perturbation transports their initial amplitude through reheating and the later radiation in cosmology and matter eras without solving every short-distance process. It then determines the initial conditions for large-scale structure and Cosmic microwave background anisotropy. Extra fluctuating fields or fluids can introduce isocurvature perturbations and convert them into curvature, so conservation must be checked rather than assumed during such transitions.
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.
Because density is a scalar field, . Write both sides as background plus perturbation and expand the background time shift:
The coordinate shift acting on an already first-order perturbation contributes only at second order. Thus the density perturbation gauge transformation is
The uniform-density curvature perturbation in the paper's sign convention is
The derivative on is essential and is present in the PDF; the TeX transcription drops it. The scalar-curvature combination transforms as
while the density term changes by . Hence the two time-slicing changes cancel:
On a uniform-density slice, and this variable is the signed spatial-curvature perturbation. The construction assumes ; a pure constant-density cosmological constant does not define such a time slicing.
In Newtonian gauge in cosmology, and . The background cosmological perfect-fluid continuity equation gives , so, writing ,
Set the cosmological adiabatic sound speed . Then . Differentiate the previous expression and insert the perturbed energy-conservation equation:
Consequently the curvature evolution equation in this sign convention is
The last equality defines the total energy-frame velocity by . For adiabatic cosmological perturbations, the non-adiabatic pressure perturbation vanishes. On superhorizon scales, the stated suppression of the velocity divergence makes the remaining gradient term negligible. Thus is conserved to leading order in . The positive sign of the pressure source follows from the paper's definition of and must not be replaced by a formula using the opposite curvature convention.
Superhorizon conservation of uniform-density curvature lets one carry a primordial perturbation from its inflationary generation through otherwise complicated eras and predict the initial conditions for later Cosmic microwave background anisotropy and structure growth. It relies on adiabaticity: an isocurvature perturbation can source curvature evolution, so the same conclusion is not automatic in an arbitrary multifield model.