Skip to content

Gravitational Production of Massive Relics

Expansion can create a population of massive quanta even when the field has no direct coupling to a thermal bath. A relic prediction begins only after a late-time particle basis exists and then requires spin and statistics, the full transition history, dilution, entropy production, subsequent interactions, and backreaction to be specified.

Required background. FLRW mode quantization fixes canonical normalization; adiabatic particle number fixes the late-time projection and its error; and time-dependent particle creation supplies the Bogoliubov interpretation. Helpful background. Review spinor and gauge fields and mass thresholds and decoupling.

For a massive conformally coupled scalar, the site value ξ=1/6\xi=-1/6 removes the curvature potential and the canonical mode equation is

vk+Ωk2vk=0,Ωk2=k2+a2m2.v_k''+\Omega_k^2v_k=0, \qquad \Omega_k^2=k^2+a^2m^2.

Suppose the geometry has adiabatic early and late regimes. Relative to normalized in and out modes,

vkin=αkvkout+βkvkout,αk2βk2=1.v_k^{\rm in}=\alpha_kv_k^{\rm out} +\beta_kv_k^{{\rm out}*}, \qquad \lvert\alpha_k\rvert^2-\lvert\beta_k\rvert^2=1.

After subtracting the out-vacuum contribution, the distribution is fk=βk2f_k=\lvert\beta_k\rvert^2. For degeneracy gg its physical number and energy densities are

nX(a)=g2π2a30dkk2fk,ρX(a)=g2π2a40dkk2Ωkfk.n_X(a)=\frac{g}{2\pi^2a^3} \int_0^\infty dk\,k^2f_k, \qquad \rho_X(a)=\frac{g}{2\pi^2a^4} \int_0^\infty dk\,k^2\Omega_k f_k.

The factors of aa distinguish a conserved comoving number a3nXa^3n_X from physical density. Once the population is nonrelativistic, ρXmnX\rho_X\simeq mn_X. A yield YX=nX/sY_X=n_X/s remains constant only through epochs in which the entropy current is conserved and number-changing interactions are negligible. Those assumptions are additional cosmology, not consequences of the mode equation.

Bosonic and fermionic mode equations, normalization relations, degeneracies, and high-momentum tails differ. Pauli blocking gives 0fkh10\le f_{kh}\le1 for each fermion helicity, whereas bosonic amplification has no analogous one-mode ceiling. A scalar result therefore cannot be transferred to another spin by merely changing gg.

First application: inflation-to-radiation production

Section titled “First application: inflation-to-radiation production”

Choose a C4C^4 scale factor that approaches quasi-de Sitter expansion and then radiation domination over a physical duration τ\tau. Initialize fourth-order adiabatic in modes, evolve the exact equation through the transition, and project onto second- and fourth-order out bases only after Ωk/Ωk2\lvert\Omega_k'/\Omega_k^2\rvert is uniformly small over the contributing band. Integrate fkf_k to obtain a3nXa^3n_X and report separate uncertainties from time stepping, momentum truncation, WKB order, and the background interpolation.

The classic superheavy-relic calculation shows explicitly how the result depends on m/Hm/H, the end-of-inflation transition, and the subsequent expansion history Chung, Kolb, and Riotto 1998, §§II–IV, pp. 023501-2–023501-10. A current community review likewise treats gravitational production as one conditional mechanism among several, not a universal abundance theorem Carney et al. 2023, §2.2, pp. 9–12. The evidence class here is a model calculation. It predicts a population for the declared smooth history; identifying that population with all dark matter additionally requires stability, an entropy history, interaction bounds, and phenomenological tests.

The structure map shows where a late particle spectrum becomes an abundance only after dilution and consistency checks. Inspect the separation between mode production and relic transfer.

A smooth inflation-to-radiation mode evolution yields a late occupation that becomes a relic density only after dilution and entropy transfer are specified

Bogoliubov production supplies fkf_k; spin, degeneracy, expansion, entropy, stability, and interactions determine whether it becomes a surviving massive relic. Schematic; not to scale.

The chapter’s canonical domain table records the required late basis and smooth-history control. The calculation assumes a free spectator field during production, an adiabatic out region, convergent momentum integrals, and ρX3MPl2H2\rho_X\ll3M_{\rm Pl}^2H^2 whenever the background is treated as fixed.

Adversarial test. Replace a sharp transition by a family of smooth scale factors with durations τ\tau, raise the initial and final adiabatic orders, and refine the momentum grid. Reject any abundance whose dominant modes move with the numerical cutoff, whose value fails to approach a smooth-transition limit, or whose backreaction becomes order unity. A genuine rapid-transition prediction may depend on the physical τ\tau; it must not depend on an unresolved discontinuity used in place of it.

The validity map separates controlled production from artificial junction excitations. A surviving abundance may be handed to a Boltzmann or structure-formation calculation only with its phase-space distribution, entropy history, stability assumptions, and uncertainty envelope attached.

A relic abundance is rejected when it is dominated by a sharp matching artifact, a nonconvergent WKB basis, ultraviolet cutoff modes, or large backreaction

Smooth-transition convergence, late-basis stability, finite density, and small source stress are necessary before a mode calculation supports a relic claim. Schematic; not to scale.