Angular diameter distance Created 2026-09-28 Updated 2026-10-14
The angular diameter distance is defined by for a small transverse physical size subtending angle . In a spatially flat Friedmann-Lemaître-Robertson-Walker metric,where is the comoving radial distance.
Cosmological density parameter flow Created 2026-10-06 Updated 2026-10-14
For an expanding Friedmann-Lemaître-Robertson-Walker metric with positive energy density, put and , in units . The Friedmann equation, Friedmann acceleration equation and cosmological perfect-fluid continuity equation giveFor constant , linearizing at gives . For variable , replace the power by . This describes the flatness problem for decelerating expansion, away from epochs at which .
Cosmological event horizon 2026-10-14
For a comoving observer in a spatially flat Friedmann-Lemaître-Robertson-Walker metric, a finite future conformal time interval gives an event horizon at the displayed comoving radius. Its physical radius at time is .
Lambda-CDM model Created 2026-09-28 Updated 2026-10-13
The Lambda-CDM model combines a cosmological constant with cold dark matter and the standard baryonic and radiation components in an expanding Friedmann-Lemaître-Robertson-Walker metric.
Linear cosmological perturbation theory Created 2026-09-24 Updated 2026-10-13
This is the first-order sector of cosmological perturbation theory.
Linear cosmological perturbation theory expands the metric and matter fields to first order about a homogeneous and isotropic Friedmann-Lemaître-Robertson-Walker metric.
Linearized cosmological Hamiltonian constraint Created 2026-10-06 Updated 2026-10-14
For a spatially flat Friedmann-Lemaître-Robertson-Walker metric, negative extrinsic curvature, and , the Hamiltonian constraint gives the displayed scalar perturbation equation. Indeed and to first order. The spatial Ricci scalar is ; subtract the background equation and divide by four.
Local cosmological tidal acceleration 2026-10-24
Neighboring freely falling comoving particles in a homogeneous Friedmann-Lemaître-Robertson-Walker metric have separation and relative acceleration , where is cosmic time and is constant. This is a local tidal force effect, of order when the dimensionless background parameters are of order one. In a weak-field central-mass model retaining the homogeneous background tide, one writes . The detailed residual tide depends on the cosmological embedding; a bound orbit is not required to satisfy . Comparing with estimates whether that background tide can affect its dynamics. A locally vacuum region with a cosmological constant has the corresponding outward term .
Open dust distance-redshift relation 2026-10-14
For an open dust-only Friedmann-Lemaître-Robertson-Walker metric with zero cosmological constant and , . The present radial cosmological proper distance is , and the areal radial coordinate satisfies . Integrating with gives the displayed relation. It has near the observer and as . The luminosity distance is , not the radial cosmological proper distance.
Open dust linear growth mode 2026-10-25
For pressureless matter in a Friedmann-Lemaître-Robertson-Walker metric with negative spatial curvature of an FLRW universe and no cosmological constant, set . A decaying linear growth factor is . Reduction of order gives the regular growing linear growth factorIts Wronskian with is , so the modes are independent. The limits are during matter domination and in a curvature-dominated universe. Multiplying by normalizes the early mode to . Negative spatial curvature of an FLRW universe thus stops late linear amplification even though the model contains no dark energy.
The density contrast is , and is one spatial Fourier mode with comoving wavevector . The scale factor is , is the Hubble parameter, is the physical sound speed, the mean matter density, and the gravitational constant. For each fixed the displayed equation is an ordinary differential equation in cosmic time. It compares pressure restoration, self-gravity and expansion-induced damping:The pressure term resists compression; self-gravity enhances an overdensity; the term slows the motion relative to a static background. The Newtonian treatment is appropriate to small perturbations on subhorizon scales within the specified fluid model, rather than an arbitrary gauge-independent treatment of superhorizon perturbations.
The physical Jeans length follows by equating pressure and gravity:The comoving Jeans wavenumber is . Perturbations well below the physical Jeans length are pressure-supported acoustic oscillations whose amplitude is modified by expansion; those above it admit gravitational growth when the background evolution permits. Pressureless matter in a matter-dominated universe is the example below. Merely having a large wavelength is not sufficient to apply this Newtonian equation outside the horizon.
For a gas of particle mass and temperature , write , with for the isothermal sound-speed convention or the appropriate adiabatic heat-capacity ratio otherwise. ThenAt fixed density it is larger for hotter or lighter particles, and it decreases with increasing density. Numerical coefficients differ between sound-crossing and self-gravitating-sphere conventions; the expression here uses the Fourier instability boundary of the stated equation.
In an Einstein-de Sitter universe, the spatially flat Friedmann-Lemaître-Robertson-Walker metric is . Conservation of pressureless matter gives ; the Friedmann equation then gives , and . With ,Trying gives . Hence the Einstein-de Sitter density-growth modes areThe growing mode increases only as a power law because the expansion dilutes and slows the collapsing matter.
Conformal time is defined by , so the metric becomes . Choosing its origin at the big bang gives and . ThereforeEquivalently the equation is , where primes denote conformal-time derivatives.
Before and through cosmological recombination, photons diffuse between hotter and cooler parts of the tightly coupled photon–baryon fluid. Radiative viscosity and heat transport erase short-wavelength acoustic perturbations. As free electrons disappear, the photon mean free path grows, enhancing this diffusion before decoupling. Silk damping can be represented by a factor approximately in the linear acoustic amplitude. The comoving Silk wavelength may be defined as ; the associated diffusion-length convention is .
A random-walk estimate is up to transport and baryon-loading factors, with physical . Scales much shorter than the damping wavelength are strongly suppressed. This is photon diffusion, not the Jeans boundary and not erasure of every cold-dark-matter perturbation. After decoupling, photon free streaming is a distinct part of the evolution.
Use the dimensionally correct flat Friedmann-Lemaître-Robertson-Walker metricThe source's is missing a factor , and its angular term must mean the unit-sphere line element , not the solid angle element . For example, has dimensions length times time, while has dimensions length squared. The corrected convention above removes both ambiguities.
A radial light ray has and . ThusA proper shell volume at emission is . Multiplying by cancels the expansion factors, equivalently using the comoving volume element directly. HenceThis counts every galaxy in the shell per solid angle, rather than intersections weighted by individual galaxy areas. Near it reduces to , as expected for a Euclidean volume shell.
The cosmological principle permits a Friedmann-Lemaître-Robertson-Walker metric. The Friedmann equation, with vanishing cosmological constant, isFor separately conserved pressureless matter, the cosmological continuity equation gives : its rest energy is conserved while its physical volume grows as . Define the present critical density and matter density parameter byEvaluating the Friedmann equation today gives . Thus the model has negative spatial curvature of an FLRW universe; the second contribution to represents that spatial curvature of an FLRW universe, rather than another material fluid. Taking the expanding branch givesHere . At early times, , matter domination gives , hence, measuring cosmic time from the Big Bang,At late times the term dominates the Friedmann equation. This curvature-dominated universe has and thereforeThe late expansion approaches the coasting Milne model. The early limit belongs to this idealized matter-only model; including radiation in cosmology would alter the sufficiently early evolution.
Past exam of the general relativity II course of the University of Oxford 2015 3 b Solution 2026-10-25
The Friedmann-Lemaître-Robertson-Walker metric implements the cosmological principle: on the scales being modelled, the spatial slices have spatial homogeneity and cosmological isotropy. There is a family of comoving observers whose orthogonal slices share one cosmic time and one scale factor. Each spatial slice is a locally maximally symmetric space, with time-independent normalized .
The matter is represented by a perfect fluid in general relativity, at rest relative to the comoving observers, with energy density and pressure depending only on cosmic time. Its stress-energy tensor isThere is no preferred spatial direction, so there is no anisotropic stress or spatial heat flux in that rest frame. Gravity obeys the Einstein field equations; the equations in this paper contain no separate cosmological constant, although a component with can represent one. An equation of state relating and closes the evolution equations. Spatial homogeneity and cosmological isotropy are idealizations of the cosmological background; they do not assert that individual local structures are uniform.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 70 4 a Solution Created 2026-10-03 Updated 2026-10-14
Each separately conserved component obeys the constant-equation-of-state density scaling . For the flat Friedmann-Lemaître-Robertson-Walker metric, the Friedmann equations therefore giveWrite , where . Expanding the reciprocal inside the luminosity distance integral givesMatching its quadratic coefficient gives the deceleration parameter . Using flatness in this part,A negative deceleration parameter signifies accelerated expansion; negative pressure must overcome the positive matter and radiation terms. Restoring units replaces by in the expansion, leaving unchanged.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 70 4 c i Solution Created 2026-10-03 Updated 2026-10-14
Varying the canonical scalar action gives . In a homogeneous flat Friedmann-Lemaître-Robertson-Walker metric written in conformal time, and , soThe quadratic potential therefore givesEquivalently in cosmic time. The intrinsic roll/oscillation time is and the damping time is . If , the scalar has long since begun rapid oscillations: averaging over a quadratic oscillation gives equal kinetic and potential energies, , so it behaves as matter rather than accelerating dark energy. To remain nearly frozen or only begin rolling today requires the mass scale of quadratic quintessenceIf its energy is predominantly potential, equating to , with the reduced Planck mass, givesTaking the natural onset estimate and gives , of order the Planck mass. More strongly frozen, negative-pressure evolution requires a smaller mass and correspondingly larger field. The density fixes the product at this accuracy, rather than a unique mass and field separately.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 72 4 Solution Created 2026-10-03 Updated 2026-10-18
A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.
In an asymptotically flat spacetime, choose the relevant future null infinity , the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere is the causal past. Events in cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.
An observer-based definition replaces infinity by a future-inextendible worldline . Its future observer event horizon is the boundary of events that can signal to , conventionally . A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.
A Killing horizon is a null hypersurface to which a nonzero Killing vector field is normal. On it, is tangent to its null generators and satisfies . The surface gravity measures the failure of this Killing parameter to be an affine parameter; rescaling rescales . A degenerate Killing horizon has . Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition alone is insufficient: the null vector must also be normal to a null hypersurface.
The Schwarzschild spacetime illustrates several of these notions. In units , let . Its metric is , and is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in ingoing Eddington-Finkelstein coordinates, , :At this metric is regular and the normal is null. Future outgoing radial rays satisfy ; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field generates the horizon with when normalized at infinity. The Kretschmann scalar is , finite at the horizon and divergent at . Thus the event horizon is not the curvature singularity. The photon sphere at , which supports circular null orbits, is also not the horizon.
Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals , with in signature . Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has and : both future light fronts initially shrink. A marginally outer trapped surface has ; for the future black-hole type also require . On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.
For the Schwarzschild metric in ingoing coordinates choose and . The spherical null expansion in ingoing coordinates givesThe round spheres inside are future trapped, while is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.
A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys , and . Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units . A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as . Preserving gives . Hence : the future outer horizon is spacelike or null. Its area expansion is . These conclusions use the outer condition and the energy condition, not merely marginality.
For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.
Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has , with . Its outer Killing horizon is generated by , where , rather than by time translation alone. The ergosphere begins at the stationary-limit surface , whose radius is . Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are . The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.
A Cauchy horizon concerns predictability from initial data. The future domain of dependence of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects . Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.
Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set and , with . The Minkowski spacetime metric becomes . The null boundaries and are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.
In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have . The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often , so it is global and observer-dependent. For on , a finite particle horizon exists for , while a finite event horizon exists for . Neither integral is finite for . In the expanding flat patch of de Sitter spacetime, and the proper event-horizon radius is . The static form identifies it as a cosmological Killing horizon; its surface-gravity magnitude is with the central static time normalization.
Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius are . At the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
Use units and take the initially expanding branch with ordinary positive matter or radiation density. In the Friedmann-Lemaître-Robertson-Walker metric, respectively describe positive, zero and negative spatial curvature. Separately conserved pressureless matter has and radiation in cosmology has , so either dominates the curvature and vacuum terms sufficiently far back on a hot Big Bang branch.
With negligible cosmological constant, a spatially flat radiation universe has and a flat matter universe has ; both expand forever while decelerating. An open universe also expands forever and eventually becomes approximately curvature dominated, with . A closed universe containing only ordinary matter/radiation reaches a maximum size and recollapses. For example, dust gives with , so only admits the positive turning point .
Curvature alone does not determine the fate when the cosmological constant is retained. Positive can cause late accelerated expansion and prevent even a closed universe from recollapsing; whether a closed expanding branch turns around depends on the relative matter and vacuum terms. Negative can cause recollapse even for flat or open spatial sections. These statements follow by inspecting for dust; the curvature sign is a geometrical classification, not by itself a universal destiny criterion.
Define the critical density and cosmological density parameters , , and . The Friedmann equation gives . Dividing the Friedmann acceleration equation by givesConsequentlyThe deceleration parameter measures the sign and size of the acceleration relative to : means deceleration, accelerated expansion and instantaneously zero acceleration. In particular a falling Hubble parameter alone does not imply deceleration, since .
For conformal time , the conformal Hubble parameter is . Using matter conservation and differentiating ,This is the matter density flow with a cosmological constant. Neglecting during matter domination reduces it to the requested relationThat last equation is not exact with nonzero . For example, a flat dust-plus-vacuum state with gives , whereas the matter-only expression gives .
For the flatness problem, let . Curvature satisfies , soIn decelerating near-flat radiation and matter eras, deviations therefore grow as and respectively. Maintaining small curvature at a late epoch requires very small early deviations unless a prior mechanism suppresses them. Cosmic inflation, with , drives the deviation down approximately as . If vacuum energy is present, flatness means , not .
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 64 1 i Solution Created 2026-10-03 Updated 2026-10-14
The spatial coordinates are cyclic because the flat Friedmann-Lemaître-Robertson-Walker metric depends only on time. Differentiating the printed affine Lagrangian gives the canonical momentumThe Euler-Lagrange equations give , soThis is the conserved quantity associated with spatial translation invariance. The overall minus sign in the stated action makes this canonical covector opposite to the usual future-directed mechanical momentum; it does not alter the geodesic trajectories or the conservation result. The canonical momentum sign in the affine particle action will be kept explicit below.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 64 3 i Solution Created 2026-10-03 Updated 2026-10-14
Write , and for the spatial covariant derivative. With the negative-shift convention, the extrinsic curvature of a spatial hypersurface is . Contracting with and using metric compatibility givesThe logarithmic determinant identity makes , henceThis is also the fractional volume expansion, with a minus sign from the extrinsic-curvature convention.
Define so that . The useful unit-determinant conformal decomposition is with , equivalently . Multiplying by instead would be a different conformal rescaling, not this unit-determinant one; no conformal decomposition is needed for the trace identity itself.
With zero shift vector, and the local volume Hubble parameter isAlong a normal trajectory proper time satisfies , so is the local physical volume-expansion rate. The printed equality with requires the proper-time gauge ; zero shift alone does not set the lapse to unity. In a homogeneous Friedmann-Lemaître-Robertson-Walker metric it reduces to the ordinary Hubble parameter, while in an inhomogeneous spacetime it can vary from one normal trajectory to another.