13.08.02 · gr-cosmology / cosmology

Cosmology — FLRW, inflation, nucleosynthesis, CMB, and structure

shipped3 tiersLean: none

Anchor (Master): Dodelson, Modern Cosmology (2003); Weinberg, Cosmology (Oxford, 2008); Mukhanov, Physical Foundations of Cosmology (Cambridge, 2005), Ch. 4-9 (slow-roll, perturbation theory, full proofs)

Intuition Beginner

The universe used to be hot, dense, and tiny. About 13.8 billion years ago every patch of space was filled with a searing bath of particles. Since then space itself has been stretching, so the distance between any two far-apart galaxies keeps growing. The galaxies are not flying outward through a fixed space; the space between them is being created. This single fact -- the expansion of space -- is the backbone of modern cosmology.

As space stretched, the hot bath cooled. When it was about a billion degrees, the lightest atomic nuclei formed. This process is called Big-Bang nucleosynthesis, and it cooked almost all the hydrogen and helium that exists today. It explains why about one quarter of the universe's ordinary matter is helium-4, a number we measure in stars and gas clouds and match to percent precision.

When the universe was about 380,000 years old it cooled enough for neutral atoms to form. Light, which had been trapped bouncing around in the hot fog, was suddenly free to stream. That light is still travelling, stretched by the expansion into microwaves. We detect it today as the cosmic microwave background -- a faint glow at temperature 2.725 K coming from every direction. It is a baby picture of the universe.

But the baby picture has tiny temperature ripples, about one part in 100,000. Those ripples are the seeds of everything we see. Gravity, mostly from dark matter, pulled matter into those slightly denser spots, which pulled in more matter, which eventually collapsed into the first galaxies. The large-scale structure of the cosmos -- sheets, filaments, and voids of galaxies -- grew from those seeds.

To explain why the baby picture is so uniform, and why space looks so flat, cosmologists posit a brief early phase of extraordinarily rapid stretching called inflation. In a tiny fraction of a second the universe doubled in size many dozens of times. This smoothed out wrinkles and flattened curvature, leaving the remarkably uniform sky we observe.

Visual Beginner

Picture the history of the universe as a vertical timeline running from a hot dense start at the bottom to the cool structured cosmos today at the top. As you climb upward, space stretches wider and the temperature drops. Each major event -- nucleosynthesis, the release of the CMB, the first galaxies -- sits at the height where the temperature first allowed it.

The widening of the timeline as you climb is the expansion: every comoving region grows in physical size by the scale factor . Temperature falls as , so events happen when the expanding, cooling universe reaches the right conditions.

Worked example Beginner

Here are four numbers that anchor physical cosmology.

Hubble time. Distant galaxies recede at with km/s/Mpc. The inverse is a rough age scale. Converting units (1 Mpc km) gives billion years. The true age, 13.8 Gyr, sits just below this because dark energy recently sped the expansion up.

CMB temperature. The background glow today has K. By Wien's law its peak wavelength is m mm, squarely in the microwave band. At decoupling the temperature was about 3000 K, hotter than the surface of many stars.

Helium by mass. Big-Bang nucleosynthesis predicts that about 25% of the ordinary matter ends up as helium-4 by mass, the rest almost entirely hydrogen. A star like the Sun is born with roughly this composition -- the primordial helium is its starting stock, before it makes any more.

Critical density. The density that would make space perfectly flat is kg/m -- about six hydrogen atoms per cubic metre. Ordinary matter contributes only about 5% of this, dark matter about 27%, and dark energy the remaining 68%.

Check your understanding Beginner

Formal definition Intermediate+

This unit takes the Friedmann framework of 13.08.01 as given and develops the physical cosmology built on top: inflation, nucleosynthesis, the CMB, and structure formation. We restate the minimal scaffolding compactly.

The FLRW metric (homogeneous, isotropic universe) is

with scale factor and curvature . Feeding this into the Einstein field equations 13.04.01 yields the Friedmann equations:

The critical density is kg/m today, and the density parameters are . Energy conservation (the continuity equation) gives, for a component with equation of state ,

The present-day budget (Planck 2018) is , , , .

Inflation is defined kinematically as any epoch during which the expansion accelerates, , equivalently with the comoving Hubble radius shrinking. A perfect-fluid description requires ; near-exponential inflation needs .

The horizon problem: the CMB is isotropic to on scales that were causally disconnected at recombination in the decelerating Friedmann era, because was growing then. The flatness problem: is unstable in decelerating expansion, so the observed today requires at the Planck epoch -- extreme fine-tuning. Inflation reverses both: a shrinking drives exponentially and brings presently-separated regions into past causal contact.

The density contrast for a matter component is

The CMB temperature field on the sky is expanded in spherical harmonics, , and the angular power spectrum is . Its series of acoustic peaks encodes the geometry, baryon density, and dark-matter density of the universe.

Core model [Intermediate+] Master

This section assembles the four pillars -- inflation, nucleosynthesis, the acoustic CMB, and linear structure growth -- as a single coherent model.

Slow-roll inflation

Model inflation as a scalar inflaton field , minimally coupled, with potential . The stress-energy of a homogeneous field is

so when the kinetic energy is negligible compared with . The field obeys the Klein-Gordon equation in the FLRW background,

where the Hubble friction term drains kinetic energy. The slow-roll conditions are parameterised by

and slow roll means and . Then const, , and the number of e-folds of expansion is . The horizon and flatness problems are solved once .

Big-Bang nucleosynthesis

At MeV, weak interactions kept the neutron-to-proton ratio at its equilibrium value . When the weak rate dropped below the Hubble rate , the ratio froze out at MeV, giving . Free-neutron decay over the next minutes reduced this to .

Nucleosynthesis then proceeded through the deuterium bottleneck: until fell to about MeV, photodisintegration of the fragile deuteron held back heavier synthesis. Once the bottleneck broke, essentially all neutrons were swept into helium-4. The predicted primordial helium-4 mass fraction is

with trace deuterium D, helium-3, and lithium-7 at the to abundance level. The observed values (; D/H ) match the prediction and pin the baryon density to .

Acoustic oscillations in the CMB

Before recombination, photons and baryons formed a tightly coupled plasma supporting acoustic waves driven by the competition between photon pressure and gravity (mainly from dark matter). The plasma oscillated with sound speed where . The sound horizon at the drag epoch is

The observed angular scale of the first peak, , gives a multipole . Because with the angular-diameter distance to last scattering, the peak position measures spatial curvature: forces , the cleanest evidence that the universe is spatially flat. The peak-height ratios fix and .

Linear growth of structure

Small density perturbations in the matter component obey the linearised continuity, Euler, and Poisson equations, which combine into a single growth equation for the growing mode :

In the Einstein-de Sitter (matter-dominated, flat, ) era, and the two independent solutions are (growing) and (decaying). The primordial perturbations seeded by inflation therefore grow linearly with the scale factor until nonlinearity sets in at . During radiation domination the Meszaros effect suppresses matter growth to a logarithm ; during domination growth freezes. These effects are encoded in the transfer function and growth factor that map the primordial power spectrum onto the late-time matter power spectrum.

Bridge. The slow-roll picture builds toward the quantum-field-theoretic origin of the primordial perturbations, where vacuum fluctuations of are stretched beyond the horizon and seed the CMB anisotropies, and the same fluctuations appear again in the matter power spectrum that grew through the linear equation above. The foundational reason these four pillars fit together is that a single nearly scale-invariant spectrum with is produced by inflation, processed by the acoustic oscillator, and then amplified by gravitational instability -- this is exactly the unifying thread of the concordance model. Putting these together, the CMB peaks, the light-element abundances, and the galaxy power spectrum all measure the same underlying parameters . The bridge is that the Friedmann background of 13.08.01 supplies the clock that every subsequent process -- nuclear, acoustic, gravitational -- runs against, and the acceleration condition generalises from dark energy today to the inflaton in the early universe.

Exercises Intermediate+

Lean formalization Intermediate+

Mathlib does not yet contain the cosmological physics layer this unit develops. The differential-geometric substrate (Lorentzian metrics, the Levi-Civita connection, curvature tensors) is partially in place for pseudo-Riemannian manifolds, and the ODE library covers existence and uniqueness for the Friedmann system at a formal level. What is missing is any structured encoding of the cosmological objects: the FLRW ansatz as a parametric Lorentzian metric, the Friedmann equations as a coupled ODE system on the scale factor, the slow-roll parameters and and the e-fold count, the acoustic-oscillator equations, the BBN reaction network and freezeout criterion , or the linearised perturbation growth equation and its Einstein-de Sitter solution .

Closing this gap matters because each of these is an exact, checkable theorem once the physical scaffolding is defined: the e-fold bound for flatness, the helium-4 mass fraction , and the growing-mode exponent are all statements that admit machine-checked proofs on top of a modest cosmology layer. Tyler's review attests intermediate-tier correctness; the lean_status: none field reflects the absence of such a layer today.

Advanced results Master

Slow-roll inflation and the primordial power spectrum

Theorem (slow-roll predicts near scale-invariance). For single-field slow-roll inflation with Hubble-flow parameters and both small, the scalar power spectrum of curvature perturbations leaving the horizon at a mode is with spectral index

and tensor-to-scalar ratio . The observed near-scale-invariance ( slightly below unity) is a direct signature of slow roll.

The near scale-invariance follows because during slow roll is nearly constant, so each comoving mode experiences nearly the same amplification as it crosses the shrinking comoving Hubble radius. The tilt (red tilt) is the leading imprint of the time variation of . Planck measures , excluding exact scale invariance () at over , a decisive confirmation of the slow-roll mechanism. The tensor bound constrains , pushing the inflationary energy scale below GeV.

BBN as a baryometer

Theorem (deuterium pinning of the baryon density). The primordial deuterium abundance D/H is a steeply decreasing function of the baryon-to-photon ratio , approximately . The observed in pristine gas infers , in agreement with the CMB value to within 1%.

The agreement is striking because BBN probes the universe at minutes while the CMB probes it at years; concordance on across nine decades of cosmic time is one of the strongest tests of the standard cosmology. The sensitivity of D/H to arises because deuterium is processed away into helium-4 more efficiently at higher baryon density (faster He and subsequent reactions), leaving less residual deuterium. Lithium-7 is the one discordant note: BBN predicts while observations of metal-poor halo stars give -- the lithium problem, an open issue possibly involving stellar depletion or new physics.

The CMB as a geometrical probe

Theorem (first-peak position measures curvature). For a universe with comoving sound horizon at last scattering and angular-diameter distance , the first acoustic peak sits at . In a flat CDM universe ; a closed universe with shifts the peak to higher (a geometric Sachs-Wolfe magnification) and an open universe with to lower . Planck measures , forcing .

The geometric effect is intuitive: positive curvature (closed space) makes distant objects subtend larger angles, compressing the peak pattern toward higher ; negative curvature (open) stretches angles, pushing peaks to lower . The peak ratio -- odd peaks are compression maxima enhanced by baryon loading, even peaks are rarefaction minima -- fixes the baryon density; the relative heights of the third and first peak fix the cold-dark-matter density. The full curve thus overconstrains the six-parameter CDM model to percent-level precision.

Structure growth and the matter power spectrum

Theorem (transfer-function mapping). The late-time linear matter power spectrum is

where is the transfer function encoding sub-horizon processing during radiation domination and is the linear growth factor. For CDM, on large scales and on small scales, producing the characteristic turnover of the galaxy power spectrum at corresponding to the horizon scale at matter-radiation equality.

The turnover scale is a direct geometric measurement of and hence of . On large scales the spectrum preserves the primordial shape; on small scales it is suppressed because modes that entered the horizon during radiation domination grew only logarithmically (the Meszaros effect of Exercise 8). Galaxy surveys (2dF, SDSS, DES) measure this shape and recover and , independently confirming the CMB and BBN inferences.

Synthesis. The four pillars -- inflation, nucleosynthesis, the acoustic CMB, and gravitational instability -- form a single closed logical loop, and the foundational reason they fit together is that the Friedmann background of 13.08.01 supplies one universal clock against which every process runs. Inflation sets the initial conditions: a near-scale-invariant spectrum with and a flat geometry, and this is exactly what the CMB peaks () and the matter power spectrum both measure. Putting these together, BBN fixes at minutes and the CMB fixes the same parameter at years; the bridge is that the Friedmann equation is the same equation in both eras, only the dominant changes. The acoustic peaks generalise the simple photon free-streaming picture into a precision spectroscopic tool, and the growth equation generalises gravitational instability from the static Jeans analysis to an expanding background. The central insight is that one six-parameter model (, , , , , ) fits the CMB, the light elements, the galaxy power spectrum, and the Hubble diagram simultaneously, which is why CDM is called the concordance model.

Full proof set Master

Proposition 1 (e-folds drive flatness). During slow-roll inflation with and approximately constant, the curvature density parameter evolves as where . Reducing from unity at the Planck epoch to its observed value today requires e-folds of inflation.

Proof. By definition . Differentiate with respect to :

because . During slow roll , so to leading order , giving and hence .

To reach the present from a Planck-era value of order unity, accounting for the post-inflationary dilution by radiation and matter domination (which together contribute a factor of growth in before today), inflation itself must supply , i.e. . Including the requirement that the present horizon scale was inflated beyond the Planck length (a stronger, scale-based bound) gives the canonical .

Proposition 2 (growing mode in Einstein-de Sitter). In a flat, matter-dominated, universe with and , the linear perturbation equation has general solution , so the growing mode satisfies .

Proof. Substitute and into the growth equation and try :

The roots are , giving and . The general solution is . Because , the growing mode is and the decaying mode . Generic initial conditions excite both, but the decaying component redshifts away, leaving the growing mode to dominate.

Proposition 3 (helium-4 mass fraction from the ratio). If, at the onset of efficient nucleosynthesis, essentially every free neutron is incorporated into a helium-4 nucleus and the neutron-to-proton ratio is , then the primordial helium-4 mass fraction is . For this gives .

Proof. Consider a baryon reservoir of protons and neutrons. Each helium-4 nucleus consumes 2 protons and 2 neutrons, so the number of He-4 nuclei formed (assuming all neutrons are used) is . The mass of each He-4 nucleus is approximately (neglecting binding-energy corrections at the level). The total helium mass is , and the total baryon mass is . Therefore

For the post-freezeout, post-decay value : , matching observation.

*Proposition 4 (acceleration requires ).** *In the FLRW background with a single perfect-fluid component of equation of state , the expansion accelerates () if and only if .

Proof. The second Friedmann equation (with and absorbed or zero for the single-component case) reads

Since , the sign of is the sign of . Acceleration requires , i.e. . Pressureless matter () and radiation () both fail this bound and decelerate; a cosmological constant () and the slow-roll inflaton () satisfy it and accelerate.

Connections Master

  • To the field equations 13.04.01. Every result in this unit is the Einstein field equation specialised to the FLRW ansatz and then decorated with microphysics. The Friedmann equations are the and components; the perturbation growth equation is the linearised Einstein equation about FLRW; inflation is just an inflaton stress-energy tensor with fed into those same equations. There is no extra gravitational dynamics in cosmology beyond 13.04.01 -- only a drastic symmetry reduction that turns PDEs into ODEs.

  • To curvature and spatial geometry 13.03.01. The acoustic-peak measurement is a direct observation of spatial curvature -- the very Riemann tensor of 13.03.01 evaluated on the largest accessible scale. A nonzero would mean the spatial slices carry intrinsic curvature , shifting the peak; the observed flatness tells us the spatial Riemann tensor nearly vanishes on Gpc scales, a fact inflation explains dynamically via Proposition 1.

  • To black holes 13.06.01. The late de-Sitter attractor of 13.08.01 gives the universe an event horizon with a Gibbons-Hawking temperature and Bekenstein-Hawking entropy, structurally identical to a black-hole horizon 13.06.01. The same thermodynamic laws (area theorem, generalised second law) govern both. Cosmological horizons also source the Hawking radiation that sets the ultimate floor on the universe's temperature.

  • To the foundational FLRW unit 13.08.01. This unit presupposes the Friedmann equations, CDM decomposition, de Sitter asymptotics, and conformal-time / horizon machinery developed in 13.08.01. Where that unit derived the background dynamics, this unit overlays the thermal, nuclear, acoustic, and gravitational microphysics that runs on top of that background: inflation sets the initial perturbations, BBN and the CMB are thermal-history events on the clock , and structure growth is gravitational instability against the Friedmann expansion.

Historical & philosophical context Master

Cosmology as an exact science was born when Alexander Friedmann found non-static exact solutions of the Einstein equations in 1922 [Friedmann1922], against Einstein's own belief in a static universe (Einstein had inserted precisely to keep it static). Georges Lemaitre independently derived the expansion law in 1927 and predicted the velocity-distance relation [Lemaitre1927]; Edwin Hubble's 1929 observations confirmed it [Hubble1929], and Lemaitre further identified an initial "primeval atom" -- the first statement of what would be called the Big Bang.

The hot-Bang picture became quantitative with the alpha-beta-gamma paper of Alpher, Bethe and Gamow in 1948 [AlpherBetheGamow1948], which predicted the light-element abundances and, in follow-up work by Alpher and Herman, a relic radiation at a few kelvin. That radiation was discovered serendipitously by Penzias and Wilson in 1965 [PenziasWilson1965] as an unexplained 3 K antenna temperature, immediately vindicating the hot Big Bang over its steady-state rival. The COBE satellite (1992) detected the anisotropies that seed structure.

Inflation was proposed by Alan Guth in 1980-1981 [Guth1981] as a resolution of the horizon and flatness problems; its later refinement (Linde, Albrecht and Steinhardt; "new" and "chaotic" inflation) made it a mechanism also for generating the primordial perturbations. The philosophical import is striking: the largest-scale structure of the universe -- its flatness, isotropy, and the seeds of galaxies -- is traced back to microscopic quantum physics in the first s. Open questions remain: the cosmological-constant / coincidence problem (why is now?), the lithium-7 discrepancy, the nature of dark matter and dark energy, and whether the inflationary perturbations carry a detectable tensor signal. The concordance of BBN, CMB, and large-scale structure across nine decades of cosmic time is the strongest evidence that the Friedmann framework is correct in its domain, even while its dark components remain physically unidentified.

Bibliography Master

@article{Friedmann1922,
  author  = {Friedmann, Alexander},
  title   = {{\"U}ber die Kr{\"u}mmung des Raumes},
  journal = {Zeitschrift f{\"u}r Physik},
  volume  = {10},
  pages   = {377--386},
  year    = {1922}
}

@article{Lemaitre1927,
  author  = {Lema{\^\i}tre, Georges},
  title   = {Un Univers homog{\`e}ne de masse constante et de rayon croissant},
  journal = {Annales de la Soci{\'e}t{\'e} Scientifique de Bruxelles},
  volume  = {A47},
  pages   = {49--59},
  year    = {1927}
}

@article{Hubble1929,
  author  = {Hubble, Edwin},
  title   = {A relation between distance and radial velocity among extra-galactic nebulae},
  journal = {Proceedings of the National Academy of Sciences},
  volume  = {15},
  pages   = {168--173},
  year    = {1929}
}

@article{AlpherBetheGamow1948,
  author  = {Alpher, Ralph A. and Bethe, Hans and Gamow, George},
  title   = {The origin of chemical elements},
  journal = {Physical Review},
  volume  = {73},
  pages   = {803--804},
  year    = {1948}
}

@article{PenziasWilson1965,
  author  = {Penzias, Arno A. and Wilson, Robert W.},
  title   = {A measurement of excess antenna temperature at 4080 {Mc/s}},
  journal = {The Astrophysical Journal},
  volume  = {142},
  pages   = {419--421},
  year    = {1965}
}

@article{Guth1981,
  author  = {Guth, Alan H.},
  title   = {Inflationary universe: A possible solution to the horizon and flatness problems},
  journal = {Physical Review D},
  volume  = {23},
  pages   = {347--356},
  year    = {1981}
}

@book{Dodelson2003,
  author    = {Dodelson, Scott},
  title     = {Modern Cosmology},
  publisher = {Academic Press},
  year      = {2003}
}

@book{Weinberg2008,
  author    = {Weinberg, Steven},
  title     = {Cosmology},
  publisher = {Oxford University Press},
  year      = {2008}
}

@book{Mukhanov2005,
  author    = {Mukhanov, Viatcheslav},
  title     = {Physical Foundations of Cosmology},
  publisher = {Cambridge University Press},
  year      = {2005}
}

@book{Ryden2017,
  author    = {Ryden, Barbara},
  title     = {Introduction to Cosmology},
  edition   = {2},
  publisher = {Cambridge University Press},
  year      = {2017}
}