13.08.03 · gr-cosmology / cosmology

Cosmological inflation: slow-roll scalar fields and the origin of structure

shipped3 tiersLean: none

Anchor (Master): Mukhanov, Physical Foundations of Cosmology (Cambridge, 2005), Ch. 4-5, 8; Dodelson, Modern Cosmology (Academic Press, 2003), Ch. 6-7; Weinberg, Cosmology (Oxford, 2008), Ch. 4, 10

Intuition Beginner

The universe is uncannily flat. Measure how much the geometry of space deviates from perfectly flat and you find it is flat to better than one part in a thousand. In an ordinary hot Big Bang that flatness is unstable: any tiny curvature grows with time. For the universe to be this flat today, it must have begun flat to one part in , a coincidence so extreme it begs for an explanation. This is the flatness problem.

Look at the cosmic microwave background, the afterglow of the early universe. It has almost exactly the same temperature in every direction, to one part in . Yet opposite sides of the sky were so far apart when that light was set free that no signal could ever have crossed between them. There is no reason they should agree. This is the horizon problem. Both puzzles dissolve if the very early universe went through a moment of extraordinarily rapid, accelerated expansion called inflation.

During inflation a patch of space doubled in size, then doubled again, dozens of times in a tiny fraction of a second. The engine was a field called the inflaton, filling all of space and slowly rolling down its energy landscape like a ball on a wide, nearly flat plateau. That slow roll made the expansion accelerate. Inflation stretched any curvature flat and brought distant regions into contact. And the same field carried tiny quantum jitters, which inflation stretched to cosmic size and froze into place as the seeds of every galaxy.

Visual Beginner

Picture a graph of the inflaton's energy as a function of the field value . The curve is a wide, gently sloping plateau on top, then drops steeply at one end. A ball placed on the plateau rolls down very slowly at first: while it creeps, the universe inflates. When the slope steepens the ball picks up speed, slow roll ends, and the field's stored energy converts into a hot bath of particles in a process called reheating.

The same story told in horizons: during inflation the distance light could travel in one expansion time, the Hubble radius, stayed nearly fixed while space itself ballooned, so regions once in contact were swept out of contact. Reversing that, any quantum ripple of the field smaller than the Hubble radius was stretched past it and frozen, becoming a permanent density seed.

Worked example Beginner

After doublings of the scale factor, the size of a region has grown by a factor , where . Inflation needs roughly of these e-folds to solve the flatness and horizon problems. The total growth factor is .

Since , a region the size of a proton, about metres across, is stretched to roughly metres, a hundred million kilometres, in that brief instant. A patch far smaller than an atom becomes larger than the entire observable universe. The number comes from requiring the patch that contains today's visible cosmos to have been inflated beyond the smallest meaningful length, the Planck length, metres.

What this tells us: the power of inflation is exponential. Sixty quiet e-folds turn subatomic patches into cosmic ones, which is exactly how a single process both flattens the geometry and lets every part of the sky share a common thermal history.

Check your understanding Beginner

Formal definition Intermediate+

This unit deepens the inflation sketch of 13.08.02 into a dynamical theory: a scalar field drives an epoch of accelerated expansion, and its quantum fluctuations generate the primordial perturbations. The FLRW background and Friedmann equations of 13.08.01 are taken as given.

An inflaton is a real scalar field minimally coupled to gravity with potential . The action is [Mukhanov 2005]

with reduced Planck mass GeV. For a homogeneous configuration the stress-energy is that of a perfect fluid,

so the equation of state tends to whenever the kinetic energy is negligible against . Feeding into the Friedmann equations of 13.08.01 yields the coupled system

the second equation being the Klein-Gordon equation in the FLRW background; the friction term drains kinetic energy into the expansion [Baumann 2009].

Inflation is the regime of accelerated expansion, equivalently a shrinking comoving Hubble radius:

The Hubble-flow slow-roll parameters are

and slow roll means and , so is negligible and the field tracks the slow-roll attractor

Equivalent potential slow-roll parameters depend only on the shape of [Liddle & Lyth 2000]:

with and to leading order. The number of e-folds before inflation ends at is

and viable inflation requires for the present horizon.

The comoving curvature perturbation measures the spatial curvature on slices of uniform density; on super-horizon scales it is conserved and is related to a field fluctuation by . A Fourier mode exits the horizon when ; during inflation the shrinking carries each mode from sub- to super-horizon, where it freezes. Reheating is the post-inflationary conversion of the inflaton's coherent oscillation energy into relativistic particles at temperature , with the inflaton decay width [Mukhanov 2005].

The observable predictions are the scalar power spectrum , the tensor-to-scalar ratio , and the single-field consistency relation , all derived in the next section.

Key derivation Intermediate+

The slow-roll mechanism and the attractor equation

In slow roll the acceleration is a small correction to the friction . Dropping in the Klein-Gordon equation and the kinetic term in Friedmann gives the attractor equations

Solving the first for and using gives the field velocity on the attractor,

To connect this to , differentiate and use the continuity equation of 13.08.01:

so . Substituting the attractor and ,

Thus on the attractor, and inflation () is the statement that the potential is flat enough that is small compared with . The attractor is also stable: an upward perturbation of raises , raises , raises the Hubble friction, and damps the perturbation back.

Flatness, horizons, and the spectrum of perturbations

The flatness and horizon problems are resolved kinematically by the shrinking comoving Hubble radius. The curvature density parameter is , so when shrinks, decays. During slow roll with nearly constant, hence , an exponential suppression. The horizon problem is resolved because the shrinking means comoving regions that are outside contact today were inside it before inflation stretched them apart.

The central dynamical output is the spectrum of primordial curvature perturbations. Quantising the field fluctuation on the Bunch-Davies vacuum (treated in the Master tier) gives each mode variance at horizon exit . Since is conserved after exit,

using . Substituting and gives the scalar amplitude

evaluated at a pivot scale Mpc. Planck measures , so the inflationary energy scale is GeV [Dodelson 2003]. Because varies slowly, every mode acquires nearly the same amplification; differentiating with respect to at horizon exit gives the scalar tilt

and quantising tensor modes gives the tensor spectrum , hence the tensor-to-scalar ratio

The observed (slightly below unity) and pin the inflationary potential to be flat, .

Bridge. This slow-roll derivation builds toward the quantum-field-theoretic origin of the primordial perturbations developed in the Master tier, where the Mukhanov variable is quantised on the Bunch-Davies vacuum and the horizon-exit condition appears again in the freezing that imprints the spectrum. The foundational reason inflation can serve both as the resolution of the flatness and horizon puzzles and as the source of all cosmic structure is that a single slowly rolling field sets a nearly constant while its fluctuations generate : this is exactly the unification that makes inflation predictive rather than decorative. Putting these together, the measured values become a consistency check on the shape of itself. The bridge is that the Friedmann background of 13.08.01 supplies the clock , and inflation reinterprets that as a field-driven quasi-de Sitter phase whose stretched fluctuations seed everything catalogued in 13.08.02.

Exercises Intermediate+

Lean formalization Intermediate+

Mathlib does not yet contain the inflationary physics this unit develops. The gravitational substrate (Lorentzian metrics, the Einstein-Hilbert action, curvature tensors, the Levi-Civita connection) is partially in place, 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 inflationary objects: a minimally coupled scalar field with a potential as a stress-energy source in the Friedmann equations, the Hubble-flow parameters and , the potential slow-roll parameters and and their leading-order equality , the slow-roll attractor equation together with its stability, the e-fold count , the quantisation of the comoving curvature perturbation on the Bunch-Davies vacuum with mode equation and horizon-exit freeze, the resulting power spectra and , the consistency relation , or the Lyth bound on the field excursion.

Each of these is an exact, machine-checkable statement once the physical scaffolding is defined: on the attractor, , and the quadratic-chaotic predictions , are all identities that admit Lean proofs on top of a modest inflation-physics layer. The named human reviewer attests intermediate-tier correctness; the lean_status: none field reflects the absence of such a layer in Mathlib today.

Advanced results Master

Quantum origin of the perturbations

The curvature perturbation is not postulated but derived by quantising the inflaton fluctuation on the quasi-de Sitter background. Writing and using the Friedmann and Klein-Gordon equations to second order yields the Mukhanov-Sasaki equation for the canonically normalised variable , with [Mukhanov & Chibisov 1981]:

where primes denote derivatives with respect to conformal time . Imposing the Bunch-Davies initial condition as (positive-frequency Minkowski vacuum deep inside the horizon), and evaluating the mode at horizon exit where , gives the frozen amplitude and hence as derived above. Two features make this robust: the Bunch-Davies vacuum is the unique de-Sitter-invariant Hadamard state, and is conserved on super-horizon scales, so the prediction is insensitive to the messy post-inflationary physics.

The Lyth bound and the cost of detectable tensors

Combining with at horizon exit gives the Lyth bound [Lyth 1997]

For the bound is . Detectable tensors, , force a super-Planckian excursion, which selects large-field models and exposes inflation to assumptions about UV completion (the effective field theory of must remain controlled over a trans-Planckian range). Sub-Planckian excursion, , predicts unobservably small , as in Starobinsky and Higgs inflation.

Reheating and the thermal start

When slow roll ends at , the field oscillates about the minimum of with frequency , and the coherent oscillation energy (for a quadratic minimum) redshifts like matter. Couplings of to Standard Model fields through a decay width transfer this energy to relativistic particles; the universe becomes radiation-dominated when , at reheating temperature

with the relativistic degrees of freedom. The reheating history shifts the mapping between and the physical pivot scale , producing a model-dependent uncertainty of one to two e-folds in the predicted and .

Model landscape

The flatness constraints , select a narrow family of potentials. Large-field models (): quadratic gives , now excluded; quartic gives , also excluded. Plateau models: Starobinsky inflation and Higgs inflation with non-minimal coupling give , favoured by Planck. Small-field and hilltop models () predict . The current bound (BICEP/Keck and Planck) eliminates the steep large-field region and concentrates viable models near the plateau class.

Synthesis. The quantum-to-classical passage of a single inflaton fluctuation builds toward the entire observed large-scale structure of the universe: the foundational reason a nearly scale-invariant, nearly Gaussian, adiabatic perturbation spectrum is generic is that de-Sitter-like expansion amplifies every comoving mode identically at horizon exit, and this is exactly what the CMB and galaxy surveys measure (, ). The tensor sector generalises the scalar story to spacetime itself, predicting a primordial gravitational-wave background at ratio whose detection would fix the inflationary energy scale GeV. The central insight of the Lyth bound is that this tensor signal costs a super-Planckian field excursion, so detectable selects large-field models and binds inflation to UV physics. Putting these together, the consistency relation ties two independent observables to a single parameter , turning the inflationary spectrum into a falsifiable, quantitative theory of initial conditions. The bridge is that all of this rides on the Friedmann background clock of 13.08.01 and refines the inflation sketch of 13.08.02 into a precision, model-discriminating framework.

Full proof set Master

Proposition 1 (potential and Hubble-flow slow-roll parameters agree on the attractor). On the slow-roll attractor , , the Hubble-flow parameter equals the potential parameter to leading order.

Proof. Differentiating and using the continuity equation (equivalently on the homogeneous field),

On the attractor , so . Substituting,

which is the claimed leading-order equality.

Proposition 2 (single-field consistency relation). In single-field slow-roll inflation, the tensor-to-scalar ratio and the tensor spectral index satisfy .

Proof. The tensor spectrum evaluated at horizon exit is , with constant, so . The spectral index is

During slow roll varies slowly, so , and . Thus

Since and , eliminating gives , equivalently .

Proposition 3 (Lyth bound on the inflaton excursion). The total field excursion during single-field slow-roll inflation satisfies over the interval of e-folds ending at horizon exit.

Proof. On the slow-roll attractor, , so using from Proposition 1. The excursion over the interval is

the inequality bounding the integrand by its minimum. During slow roll is monotonic increasing as rolls toward , so its minimum on the interval is its value at horizon exit, . Substituting ,

For and this gives , forcing super-Planckian excursion whenever is detectable.

Proposition 4 (inflation exponentially drives the universe flat). During slow-roll inflation with approximately constant, the curvature density parameter evolves as where , so e-folds suffice to suppress any initial curvature below present observational bounds.

Proof. By definition , so . Differentiating with respect to ,

since . During slow roll , so , giving and hence . Combined with the post-inflationary dilution of roughly from radiation and matter domination, reaching today's from an initial value of order unity requires only to e-folds of inflation.

Connections Master

  • To the FLRW and Friedmann foundation 13.08.01. Every equation in this unit is the Friedmann system of 13.08.01 with a scalar-field stress-energy fed in. The Hubble parameter that governs the slow-roll attractor, the e-fold count , and the curvature evolution are all quantities defined in the background unit; inflation simply arranges for to be nearly constant and to shrink.

  • To the cosmological overview 13.08.02. The sibling unit introduces inflation qualitatively and quotes the slow-roll predictions , . This unit supplies the derivation: the attractor mechanism, the potential slow-roll parameters, the amplitude , the consistency relation, the Lyth bound, and reheating. The perturbations seeded here are exactly those processed by the acoustic oscillator and gravitational instability analysed in 13.08.02.

  • To the free Klein-Gordon quantum field 12.05.04. Quantising the inflaton fluctuation to obtain is the curved-spacetime version of the canonical quantisation of the free scalar field treated in 12.05.04. The Mukhanov-Sasaki mode equation is a Klein-Gordon equation with a time-dependent effective mass supplied by the FLRW background; the Bunch-Davies vacuum is the curved-space upgrade of the Minkowski positive-frequency vacuum.

  • To the Einstein field equations 13.04.01. The Friedmann equations driving the inflaton are the and spatial components of with that of a homogeneous scalar field, and the perturbation equation for is the linearised Einstein equation about FLRW. Inflation adds no new gravitational dynamics beyond 13.04.01; it specialises that dynamics to a scalar-field source.

Historical & philosophical context Master

Inflation was first proposed by Alan Guth in 1980-1981 as a resolution of the horizon and flatness problems [Guth 1981]. Guth's original "old inflation" relied on a first-order phase transition through bubble nucleation and was quickly recognised to fail (the bubbles never percolate). Alexei Starobinsky had already constructed, in 1980, an inflationary solution driven by corrections to the Einstein-Hilbert action, motivated by singularity avoidance rather than by the horizon and flatness puzzles [Starobinsky 1980]; his model, after a conformal transformation, becomes the plateau potential that carries his name and remains the data-favoured template. Linde and, independently, Albrecht and Steinhardt proposed "new inflation" in 1982, in which the field slowly rolls down a plateau-shaped potential rather than tunnelling, giving smooth reheating [Linde 1982].

The decisive second act was the realisation that inflation also generates structure. Mukhanov and Chibisov in 1981 showed that the quantum fluctuations of the inflaton, stretched by the expansion and frozen at horizon exit, produce a nearly scale-invariant spectrum of curvature perturbations [Mukhanov & Chibisov 1981]. This turned inflation from a graceful-exit scenario into a quantitative, falsifiable theory of initial conditions, whose predictions (, , near-Gaussianity, near-adiabaticity) have been confirmed by COBE, WMAP, and Planck to percent precision. The tensor-to-scalar ratio and its relation to the field excursion through the Lyth bound [Lyth 1997] remain the key open observational target: a detection would fix the inflationary energy scale near GeV and probe physics near the Planck scale, while a continued upper limit concentrates viable models in the plateau class. The deepest open question is the status of the inflaton within a UV-complete theory, since most detectable- models require a controlled effective field theory over a trans-Planckian field range.

Bibliography Master

  1. Guth, A. H. (1981). Inflationary universe: A possible solution to the horizon and flatness problems. Physical Review D 23, 347-356.

  2. Starobinsky, A. A. (1980). A new type of isotropic cosmological models without singularity. Physics Letters B 91, 99-102.

  3. Linde, A. D. (1982). A new inflationary universe scenario: A possible solution of the horizon, flatness, homogeneity, isotropy and primordial monopole problems. Physics Letters B 108, 389-393.

  4. Albrecht, A. & Steinhardt, P. J. (1982). Cosmology for grand unified theories with radiatively induced symmetry breaking. Physical Review Letters 48, 1220-1223.

  5. Mukhanov, V. F. & Chibisov, G. V. (1981). Quantum fluctuations and a nonsingular universe. JETP Letters 33, 532-535.

  6. Lyth, D. H. (1997). What would we learn by detecting a gravitational wave signal? Physical Review Letters 78, 1861-1863.

  7. Mukhanov, V. (2005). Physical Foundations of Cosmology. Cambridge University Press.

  8. Baumann, D. (2009). TASI lectures on inflation. arXiv:0907.5424; in Physics of the Large and the Small, TASI 2009, World Scientific.

  9. Dodelson, S. (2003). Modern Cosmology. Academic Press.

  10. Liddle, A. R. & Lyth, D. H. (2000). Cosmological Inflation and Large-Scale Structure. Cambridge University Press.