For the positive-expansion convention for extrinsic curvature, write with normal acceleration . The Ricci commutator applied to gives the difference of its two second-derivative contractions. Projecting tangentially, the acceleration term in that commutator cancels exactly the acceleration term converting a spacetime divergence of into its fully projected spatial covariant derivative. Einstein's equations then identify the displayed equation as the momentum constraint.
Hamiltonian formulation of general relativity Created 2026-10-05 Updated 2026-10-06
Using the lapse function , shift vector and spatial metric , the Legendre transform in mechanics of the Einstein-Hilbert action gives, in units ,Here and is the canonical momentum of the spatial metric. Varying lapse and shift imposes the Hamiltonian constraint and momentum constraint. An asymptotic time translation requires an Arnowitt-Deser-Misner energy boundary term. The bulk constraints generate gauge evolution; the nonzero asymptotic energy comes from the boundary.
Initial data in general relativity 2026-10-06
Gravitational initial data on a spatial manifold consist of a Riemannian metric and an extrinsic curvature satisfying the Hamiltonian constraint and momentum constraint. Matter theories require their own data and constraints as well. The data determine a maximal Cauchy development.
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.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
The positive energy theorem concerns the total gravitational energy of isolated systems, rather than a pointwise gravitational energy density. Its standard asymptotically flat form isHere are the hypotheses used in a spinorial proof. Take smooth, complete, three-dimensional initial data in general relativity with a spin structure, no inner boundary, and finitely many asymptotically Euclidean ends. Assume the usual differentiable falloff , , , with sufficiently decaying further derivatives and integrable matter densities. The Hamiltonian constraint and momentum constraint must hold, and the matter must satisfy the dominant energy condition. These hypotheses exclude a naked singularity or an unaccounted boundary flux from the argument. An oriented three-manifold admits a spin structure; in higher dimensions the spinorial proof needs this as an additional assumption. Work in signature and units .
Let be the future unit normal, choose , and define and . With this convention the Hamiltonian constraint and momentum constraint readThe dominant energy condition implies . The asymptotic charges are the ADM energy and ADM momentum,These are boundary charges; a sign condition on alone does not visibly determine their sign.
Choose gamma matrices obeying , with spatial matrices Hermitian and anti-Hermitian. The relevant derivative is the Sen spinor connection, not just the intrinsic spin connection:The symmetric extrinsic curvature makes . This is an elliptic differential operator with the ordinary spatial Dirac operator as principal part. Solve the Witten spinor equation , with constant at the end under consideration and zero asymptotic constants at any other ends.
The central algebraic ingredient is the Witten-Nester identity. Define , the future-directed Dirac current , and the Nester two-formIn an orthonormal frame . Since is Hermitian with eigenvalues for any unit spatial vector , . Thus the Dirac current is future causal. Differentiate the Nester two-form by the product rule. The antisymmetric second-derivative terms reduce using the spinor curvature identityThe Clifford algebra and the first Bianchi identity turn the curvature contraction into the Einstein tensor. The spatial derivative terms give the difference of two squares. Projecting onto therefore givesThe constraints are exactly the normal components of the Einstein field equations needed here. Moreover,For a solution of the Witten spinor equation, both terms left in this divergence are nonnegative.
There is an essential analytic step: an asymptotically constant spinor field solving the Witten spinor equation must actually exist. Extend the chosen constant smoothly from infinity to a field . Then is square-integrable. For compactly supported fields , the same Witten-Nester identity has zero boundary flux and givesThe asymptotically Euclidean Hardy inequality in Euclidean space, local elliptic estimates and this identity supply the coercive estimate in the weighted first-order Sobolev space of decaying corrections. One way to see why a compact-region error cannot spoil coercivity is to assume the estimate fails and take a normalized sequence whose Dirac operator tends to zero. Local compactness and the estimate on the ends produce a decaying homogeneous solution. Integrating the identity with cutoffs shows that such a solution is parallel for the Sen spinor connection. A parallel field tending to zero at infinity is zero, contradicting its normalization. The end estimates exclude escape of the normalized sequence to infinity.
More constructively, on this completed correction space solvefor every compactly supported , using the Lax-Milgram theorem. Set . Since is formally skew-adjoint in the positive spatial spinor inner product, the residual is a square-integrable weak solution of . Elliptic regularity makes it smooth. Cutoff integration of the identity excludes a nonzero square-integrable homogeneous solution: it would be parallel, whereas a nonzero parallel field has nonzero limiting norm on an asymptotically Euclidean end and cannot be square-integrable. Hence . Weighted elliptic estimates then give the required asymptotic decay of . This supplies elliptic existence of a Witten spinor, rather than assuming it from the sign of a formal integral.
Finally integrate the Witten-Nester identity over . The ADM boundary term of the Nester two-form isTo identify this boundary term, expand the asymptotic spin connection to first order in . Its flux is half of ; the extrinsic curvature contribution is . Their coefficients give precisely the two charges displayed above. The derivative of the decaying spinor correction has zero leading integrated flux by antisymmetry, and the higher-order terms vanish with the falloff. ThusChoose a normalized asymptotic spinor field that is an eigenvector with eigenvalue of . Then and . Choosing proves ; if , any such choice gives . This is positivity in every asymptotic frame, not only the zero-momentum case.
The zero-energy rigidity also follows from the vanishing integrals. If , then and the construction for a basis of asymptotic spinors produces a basis of parallel fields. Their spinor curvature identity forces the spatially pulled-back spacetime curvature to vanish; the nonnegative matter terms vanish too. The resulting Gauss–Codazzi equations are those of a hypersurface in Minkowski spacetime, and its vacuum development is flat. Completeness and the ordinary Euclidean asymptotic end rule out a nontrivial flat quotient. The initial hypersurface need not have : a curved spacelike slice of Minkowski spacetime also has zero ADM energy. The proof works by converting an asymptotic energy charge into a nonnegative bulk integral, with the spinor equation and its existence supplying the crucial bridge.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 64 3 ii Solution Created 2026-10-03 Updated 2026-10-14
The long-wavelength approximation in cosmology organizes equations in powers of , while allowing finite perturbation amplitudes. For fields and lapse varying on the same large spatial scale, a spatial derivative is of order relative to a temporal expansion scale. Intrinsic spatial curvature, scalar gradient energy, and second spatial derivatives of the lapse are therefore second order and can be neglected at leading order. First-gradient constraints must still be retained: they relate neighboring locally homogeneous patches. During cosmic inflation, physical wavelengths stretch while the Hubble scale changes slowly, improving this expansion. Sharp spatial features or independently large anisotropic expansion require additional care.
Set the shift to zero, let , , and keep the lapse explicit. The normal scalar momentum is , and the shear-inclusive long-wavelength scalar equations obtained from the given Einstein and scalar equations areTerms with two spatial gradients have been omitted in the time equations; the last equation is the retained first-gradient momentum constraint. The Friedmann-type equation is the Hamiltonian constraint. To check the Hubble evolution, the trace equation gives ; inserting the Hamiltonian constraint gives the displayed kinetic and cosmological shear terms. Shear energy is not a spatial-gradient correction and cannot be discarded merely because the wavelength is large.
The trace-free evolution integrates immediately:The arbitrary spatial integration tensor is trace free and must obey the initial constraints. This inflationary shear damping suppresses anisotropic expansion exponentially during sustained inflation; its contribution falls as . It does not force the spatial conformal metric to be exactly flat: a frozen anisotropic shape or tensor perturbation can survive with negligible time-dependent cosmological shear.
After this decaying cosmological shear mode and its first-gradient contribution become negligible, the equations simplify to and . Spatially differentiating the first relation givesSubstitute the momentum constraint and divide by to obtain . The time scalar equation, together with , similarly becomes . Finally . Thus the requested single-clock relations areThese retain arbitrary lapse and reduce to proper-time expressions when . The division assumes the scalar is a valid local clock; turning points with need another regular variable or a limiting treatment. The shear-neglect step, rather than the long-wavelength expansion alone, is what permits these single-clock spatial relations.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 57 1 iii Solution Created 2026-10-03 Updated 2026-10-14
Let be the normal acceleration. It is tangential by normalization. Resolving the derivative's first index into normal and tangential parts givesThe extrinsic curvature is symmetric because the normal is hypersurface orthogonal: locally , and the antisymmetric derivative of vanishes after projecting both indices tangentially.
Apply the supplied Ricci commutator to and project its free index. With the positive-expansion convention it givesTo identify the first two terms, expand the fully projected divergence:Tangency gives . Differentiating it shows that the last term is . Substituting into the commutator proves the contracted Codazzi equation with positive expansion:No assumption of geodesic normals was needed; the acceleration terms cancel rather than being discarded.
The metric-trace term in the Einstein field equations drops out of a tangential-normal projection, since . Define the normal-frame momentum density . The equation becomesThus Codazzi supplies the momentum constraint on each spatial slice. In flat homogeneous FRW, and has no spatial gradient, so its left side vanishes. A comoving homogeneous perfect fluid likewise has . The background satisfies the constraint automatically; the Friedmann expansion law is instead obtained from the normal-normal constraint.
Suitable scalar variables are lapse and shift potentials , spatial curvature and scalar shear potentials , and a matter momentum potential with . For example, chooseA density contrast and pressure perturbation can be added for the remaining scalar matter equations. With this positive-shift convention, the linear extrinsic-curvature perturbation isIts scalar shear cancels out of the momentum-constraint combination, leavingThese are the scalar momentum constraint with positive extrinsic curvature variables; a specified gauge can then remove two of the four scalar metric potentials.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 57 1 iii Solution Created 2026-10-03 Updated 2026-10-07
Retain zeroth and first spatial-gradient orders in the long-wavelength approximation in cosmology. Spatial Ricci curvature, , and scalar anisotropic stress are of second gradient order. Put and . The supplied Einstein field equations then reduce toThe scalar-field stress projections show that the momentum constraint is a first-gradient equation and must be retained. The square is not a spatial derivative and cannot yet be dropped merely by invoking the long-wavelength approximation in cosmology. The time-derivative dot on the trace-free evolution equation is visible in the PDF and missing from the TeX aid.
Using , the last equation becomes . HenceThe time-independent spatial tensor must also satisfy the momentum constraint and the symmetry inherited from . This is inflationary shear damping: expanding regions lose anisotropic expansion, without requiring the frozen spatial metric shape to vanish. The matter evolution, useful below, is and , the leading Klein-Gordon equation in each local region.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 57 1 iv Solution Created 2026-10-03 Updated 2026-10-07
Now impose the stipulated negligible shear and work where . The Hamiltonian constraint, momentum constraint and local expansion evolution giveTime differentiation of the first equation, followed by , gives . Spatial differentiation of the same equation and use of the momentum constraint givesThese 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. Thereforeto 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 givesThusThis 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.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 50 3 c Solution Created 2026-10-03 Updated 2026-10-06
With vanishing extrinsic curvature, the momentum constraint is identically satisfied and the vacuum Hamiltonian constraint reduces to . To evaluate that Ricci scalar, write , raise these intermediate indices with , and use . The Levi-Civita connection isSubstitution into the stated curvature convention givesTracing with cancels the gradient-square terms:Here the Laplacian and norm on the right are those of the flat Euclidean metric. Thus the time-symmetric conformally flat vacuum initial data constraints becomeThe equivalence uses . This identity is also the three-dimensional specialization of scalar curvature under conformal rescaling; locally the conformal exponent is , so either fixed nonzero sign of gives the same metric.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 55 1 ii Solution 2026-10-06
Write , and . Since the background scalar has no spatial gradient,Also . These are the linearized scalar-field matter projections; gradient energy first contributes quadratically.
There is a source convention defect in the shear formula. For the stated positive shift and spatial metric with , direct substitution into the extrinsic curvature gives the positive-shift scalar shear conventionThere is no extra Laplacian in the definition of . Equivalently use : then the trace-free term has the printed minus sign and . This latter convention retains the printed momentum-constraint form. The source mixes these two choices.
At first order and . Combining their difference with givesFor the momentum constraint, differentiating the tensor above givesFor nonzero Fourier wavenumber, and absorbing the homogeneous integration mode into the background, the consistent momentum constraint is
Linearizing the scalar equation, the shift-advection term and lapse-gradient times scalar-gradient term vanish at this order because the background is spatially homogeneous. The remaining equation isInsert , differentiate its lapse term, and use . The two background-acceleration terms combine into . Hence the perturbed Klein-Gordon equation with background lapse isThis scalar evolution equation and the Hamiltonian constraint agree with the displayed targets after the shear conventions are repaired.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 55 1 i Solution Created 2026-10-03 Updated 2026-10-06
Use signature , the positive spatial metric , and a future-directed unit normal , so . This fixes the sign of the normal to agree with the specified . The negative normal covector printed in the source would instead give ; its orientation and the displayed derivative cannot both be retained. Use the operational negative-expansion convention for the extrinsic curvature of a spatial hypersurface, , which is the convention giving the requested expanding-universe sign. With this future normal and signature it equals ; the source's identity instead uses its past-pointing normal.
For the scalar-field matter projections, put and . Decomposing the scalar gradient into normal and tangent parts gives . Contracting the Klein-Gordon scalar stress-energy tensor with the normal and the spatial projection tensor therefore yieldsIn particular, the positive spatial metric raises the indices in ; raising them with the four-metric would reverse that spatial sign. These quantities are the energy density, momentum density and spatial stress in the normal frame.
For the homogeneous Spatially flat FLRW metric, , and . Consequently , , , , andThe intrinsic Ricci scalar is zero and . The Hamiltonian constraint thus gives the scalar-field Friedmann equation:The momentum constraint is identically satisfied, since its homogeneous spatial derivatives and vanish. The scalar equation reduces to . Substituting and multiplying by gives the background inflaton equation of motion:No derivation of the supplied gravitational constraints is needed.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 311 3 a iii Solution Created 2026-10-03 Updated 2026-10-06
For a closed universe, the spatial Cauchy hypersurface is compact without boundary. There is consequently no asymptotic surface term in the gravitational Hamiltonian. On solutions, the Hamiltonian constraint and momentum constraint giveThis is the vanishing canonical Hamiltonian of a closed universe: evolution generated by lapse and shift is a gauge transformation, and there is no asymptotic time-translation charge. It does not mean the local stress-energy tensor or Riemann curvature tensor is zero. In an asymptotically flat universe the same bulk constraint equations in field theory hold, but a boundary Arnowitt-Deser-Misner energy can be nonzero.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 311 3 a ii Solution Created 2026-10-03 Updated 2026-10-06
Perform the Legendre transform in mechanics, using . The trace contraction givesTo avoid differentiating a tensor density as though it were an ordinary tensor, set . Integration by parts with the Levi-Civita connection of givesafter dropping the surface term. AlsoTherefore the requested Hamiltonian isVarying the lapse function and shift vector imposes the Hamiltonian constraint and momentum constraint . The total canonical generator also contains multipliers for the vanishing lapse and shift canonical momenta. With an asymptotic boundary, surface terms must be restored to define the Arnowitt-Deser-Misner energy.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 311 1 ii Solution Created 2026-10-03 Updated 2026-10-05
In the paper's convention, . The Legendre transform in mechanics therefore givesIndeed , and inversion of the canonical momentum of the spatial metric givesTo integrate the shift term without ambiguity about tensor densities, put . Metric compatibility of the spatial covariant derivative gives, up to a boundary term,Thus the Hamiltonian formulation of general relativity hasVariation of the lapse function imposes the Hamiltonian constraint , while variation of the shift vector imposes the momentum constraint .
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 311 1 iv Solution Created 2026-10-03 Updated 2026-10-05
A closed spatial Cauchy hypersurface is compact and has no boundary. Thus there is no asymptotic surface charge, and the complete gravitational Hamiltonian is the integral of the Hamiltonian constraint and momentum constraint derived above. Both constraints vanish on solutions, givingThis is the vanishing canonical Hamiltonian of a closed universe: canonical evolution is generated by constraints and there is no asymptotic time translation whose boundary charge could define an Arnowitt-Deser-Misner energy. It does not require local matter energy densities or local curvature to vanish. With matter included, the corresponding total constraints still vanish.
For scalar metric potentials and positive extrinsic curvature, . The scalar shear terms cancel between its divergence and trace gradient. With , the momentum constraint becomes . Reversing the convention for reverses the geometric left side.
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.
For a spatial initial slice with vanishing extrinsic curvature, the vacuum momentum constraint is automatic and the Hamiltonian constraint requires zero Ricci scalar. In three spatial dimensions, the indicated conformally flat metric has , with a nonzero conformal factor. Thus a harmonic function supplies the data on its domain. A positive example is on a punctured or exterior region. There is no nonconstant globally smooth example on all of Euclidean three-space tending to one at infinity, by the maximum principle for harmonic functions. Time symmetry of an initial slice does not imply that its entire evolved spacetime is static.