Introduction to Cosmology and the Cosmic Microwave Background: Lecture 2
1 Redshift
In the previous section we described the expansion of the universe using physical distance and comoving distance. Two comoving galaxies keep the same coordinates, yet the physical distance between them can grow with time because of the scale factor a(t). That left an open question: how do we know from observations that the universe is expanding?
We cannot lay a ruler between distant galaxies. Almost everything we know about them comes from the light that reaches us, so we need to understand what the expansion does to that light.
Recall first what a wavelength is. In an electromagnetic wave, the distance between two successive crests is the wavelength, written λ. For light, wavelength and frequency are related by
c=λν(1)
where c is the speed of light, λ the wavelength and ν the frequency.
The local speed of light c is constant, so if the wavelength increases the frequency has to decrease. Let λe be the wavelength of a light wave when it leaves the source and λo the wavelength measured when it reaches the observer. If the observed wavelength is larger than the emitted one,
λo>λe,(2)
the light has shifted toward longer wavelengths. Longer wavelengths in the visible spectrum lie toward the red end, so this effect is called redshift.
The size of the shift is given by the parameter z:
z=λeλo−λe(3)
Rearranging,
z=λeλo−1⇒1+z=λeλo(4)
The interpretation is direct. If
z>0⇒λo>λe,(5)
then the wavelength has grown on the way to us and the light is redshifted.
Take z=1 as an example. Then
1+z=2(6)
so
λo=2λe(7)
The wavelength we observe is twice the wavelength at emission.
So far redshift has been defined only through the change in wavelength. Why should the expansion of the universe change the wavelength of a photon at all?
If a(t) describes the scale of the expanding universe, we need to show how the wavelength is tied to this scale factor. The claim is that, as the universe expands, the physical wavelength of a photon measured by comoving observers grows along with a(t).
Saying "the universe stretches, so the wavelength stretches" is a picture, not a derivation. We want to see how the relation follows from the geometry of an expanding spacetime.
In this section we show from scratch, using general relativity, why the frequency of a photon travelling through an expanding universe changes as
ω∝a(t)1(8)
and then use the relation between frequency and wavelength to recover λ∝a(t). We start with spacetime coordinates.
1.1 Spacetime coordinates
In special and general relativity an event is labelled by four coordinates:
xμ=(x0,x1,x2,x3).(9)
[!note] Notation Greek indices μ,ν,α,β run over 0,1,2,3. The zeroth component is timelike and the other three are spatial.
We do not use natural units here and keep the speed of light c explicit. The time coordinate is therefore x0=ct, and the four-position is
xμ=(ct,x,y,z)(10)
With this choice ct, x, y and z all have dimensions of length.
1.2 The metric and the spacetime interval
With coordinates in place, we need a way to measure the physical separation between two nearby events. In general relativity the metric tensor does this.
[!info] Definition The spacetime interval between two nearby events is ds^2 = g_{\mu\nu},dx^\mu dx^\nu \tag{11} where gμν is the metric tensor.
We use the signature (−,+,+,+). In flat Minkowski spacetime the metric is
gμν=(−1000 0100 0010 0001)(12)
so the interval is
ds2=−(dx0)2+(dx1)2+(dx2)2+(dx3)2=−c2dt2+dx2+dy2+dz2(13)
Our universe, however, is expanding, and a static Minkowski spacetime cannot describe it. We need the FLRW metric, in which spatial distances can change with time.
1.3 The FLRW metric
The spacetime geometry of a homogeneous and isotropic universe is given by the FLRW metric:
ds2=−c2dt2+a2(t),γij,dxidxj.(14)
[!note] Notation Latin indices i,j=1,2,3 label spatial components only.
[!info] Definition The function a(t) is the scale factor. It tells us how physical distances in the universe change with cosmic time.
[!info] Definition γij is the time-independent metric that describes the spatial geometry of a slice of constant cosmic time.
For a spatially flat universe γij=δij. Then γijdxidxj=dx2+dy2+dz2 and the FLRW metric becomes
ds2=−c2dt2+a2(t)(dx2+dy2+dz2)(15)
Since x0=ct, we have dx0=c,dt. The metric components are
gμν=(−1000 0a200 00a20 000a2)(16)
and the inverse metric is
gμν=(−1000 0a−200 00a−20 000a−2)(17)
[!info] Definition The inverse metric is the tensor that satisfies gμαgαν=δμν. For example, g11g11=a−2a2=1.
1.4 The comoving observer and proper time
Many different observers could use this metric, so we have to decide which observer we mean in an expanding universe.
FLRW coordinates can be pictured as a grid that expands with the universe. Observers who sit at fixed points of this grid are called comoving observers.
[!info] Definition A comoving observer has constant spatial coordinates: x^i = \text{const}. \tag{18} Hence dxi=0 and dxi/dτ=0.
Constant coordinates do not mean constant physical distance to other galaxies. The physical distance between two comoving points changes approximately as dphys(t)=a(t),dcom: the coordinate distance stays fixed while the physical distance grows with the scale factor.
An observer carries a clock as well as a ruler. What does a comoving observer's clock read?
[!info] Definition The time measured by an ideal clock carried by an observer is the proper time, written τ.
Along a timelike worldline,
ds2=−c2dτ2(19)
For a comoving observer dxi=0, so the FLRW metric reduces to ds2=−c2dt2. Comparing with the definition of proper time,
−c2dτ2=−c2dt2(20)
and, choosing the future direction of time,
dτ=dt(21)
The clock in a comoving observer's pocket therefore measures the cosmic time t that appears in the FLRW metric.
1.5 The four-velocity of the comoving observer
Next we describe the direction in which the observer moves through spacetime, using the four-velocity.
[!info] Definition The four-velocity of an observer is u^\mu = \frac{dx^\mu}{d\tau} \tag{22}
With xμ=(ct,x,y,z),
uμ=(dτd(ct),dτdx,dτdy,dτdz).(23)
For a comoving observer dt=dτ and dxi=0, which gives u0=c,dt/dτ=c and ui=0:
uμ=(c,0,0,0)(24)
Now we lower the index.
[!info] Definition An index is lowered with the metric: uμ=gμνuν.
The zeroth component is
u0=g00u0+g01u1+g02u2+g03u3=(−1)c=−c(25)
The metric is diagonal and the spatial components of the four-velocity vanish, so u1=u2=u3=0 and
uμ=(−c,0,0,0)(26)
1.6 Electromagnetic waves and phase
We can now return to the main problem. The observer's measurement is made on photons, which means on electromagnetic waves, so the observer and the metric are not enough by themselves; we also need a description of the wave.
In the geometric-optics approximation an electromagnetic wave is written as
Ψ(x)=A(x),eiΦ(x)(27)
where A(x) is the amplitude and Φ(x) the phase.
The phase tells us where in its oscillation cycle the wave is. For a plane wave in flat spacetime,
Φ(x)=k⋅x−ωt(28)
or explicitly Φ=kxx+kyy+kzz−ωt.
Since x0=ct, we can write t=x0/c and
Φ=kxx+kyy+kzz−cωx0(29)
How much does the phase change when we move a small step in spacetime? The total differential of a scalar field is
dΦ=∂μΦ,dxμ(30)
which written out is
dΦ=∂x0∂Φdx0+∂x1∂Φdx1+∂x2∂Φdx2+∂x3∂Φdx3(31)
1.7 The wave four-covector
To package the change of phase in a single geometric object, we define the wave four-covector.
[!info] Definition The wave four-covector is k_\mu = \partial_\mu\Phi \tag{32} so that dΦ=kμdxμ.
In words, kμ tells us how much a small displacement in spacetime changes the phase of the wave.
We compute the components one at a time. With
Φ=kxx+kyy+kzz−cωx0(33)
we get
k0=∂x0∂Φ=−cω,k1=∂x∂Φ=kx,k2=ky,k3=kz.(34)
so
kμ=(−cω,kx,ky,kz)(35)
The time component carries the frequency, and the spatial components carry the direction of propagation and the wavelength. The magnitude of the spatial wave vector is ∣k∣=2π/λ.
Now we raise the index.
[!info] Definition An index is raised with the inverse metric: kμ=gμνkν.
The zeroth component is
k0=g00k0=(−1)(−cω)=cω(36)
and the spatial components are
k1=a2k1,k2=a2k2,k3=a2k3(37)
so
kμ=(cω,a2k1,a2k2,a2k3)(38)
Note that ki and ki differ: raising a spatial index brings in a factor a−2(t).
1.8 The four-momentum of the photon
What changes when this wave is treated quantum mechanically, as a photon?
Using ω=2πν and ℏ=h/(2π), the photon energy is
E=hν=h2πω=2πhω=ℏω(39)
The spatial momentum of the photon is related to the wave vector by p=ℏk. Energy and momentum combine into the four-dimensional relation
pμ=ℏkμ(40)
and likewise pμ=ℏkμ.
Since k0=ω/c, the zeroth component is
p0=ℏk0=cℏω=cE(41)
1.9 The frequency measured by the observer
With the photon and the observer both defined, we can work out how the observer measures the photon's frequency.
As the observer moves along their worldline, they measure how fast the phase of the wave changes. By the chain rule,
dτdΦ=∂xμ∂Φdτdxμ=kμuμ.(42)
With our convention Φ=k⋅x−ωt, the time part of the phase decreases toward the future. To get a positive frequency we define
ωobs=−kμuμ(43)
The frequency an observer measures is the rate at which the phase of the wave changes according to that observer's own clock. Everything that follows rests on this formula.
For a comoving observer uμ=(c,0,0,0), so
ωobs=−(k0u0+k1u1+k2u2+k3u3)=−c,k0.(44)
With k0=−ω/c this gives ωobs=ω. Since k0=ω/c, we can also write
ωobs=c,k0(45)
The measured frequency is a single number, a scalar. It depends on both the photon's vector kμ and the observer's four-velocity uμ, which is why different observers can measure different frequencies for the same photon.
1.10 Null trajectories and the affine parameter
The photon is moving, so we also need the equation that governs its path through spacetime.
The photon has zero rest mass. From the general energy-momentum relation E2=p2c2+m2c4, a photon has E=pc.
The norm of the four-momentum is pμpμ=−m2c2, so for m=0
pμpμ=0(46)
and with pμ=ℏkμ,
kμkμ=0(47)
[!info] Definition A vector with zero norm is called null, or lightlike.
The photon's worldline is therefore a null curve, along which ds2=0.
A massive particle's trajectory can be parametrized by its proper time τ. For a photon, ds2=−c2dτ2=0 gives dτ=0, so proper time cannot serve as a parameter. We need something else.
[!info] Definition The parameter used to order points along a photon's trajectory is the affine parameter, usually written λaff.
To keep it apart from the wavelength, we write the affine parameter as λaff and the physical wavelength as λphys.
The trajectory is xμ=xμ(λaff), with tangent vector
kμ=dλaffdxμ(48)
The zeroth component is
k0=dλaffdx0=cdλaffdt(49)
so
dλaffdt=ck0(50)
With an affine parameter, the photon's geodesic equation is
dλaffdkμ+Γμαβkαkβ=0(51)
1.11 The null condition in the FLRW metric
Before using the geodesic equation, we write the null condition explicitly in the FLRW metric:
gμνkμkν=0.(52)
With g00=−1 and gij=a2(t)γij,
−(k0)2+a2(t),γijkikj=0(53)
which gives
γijkikj=a2(t)(k0)2(54)
This links the time and space components of the photon's wave vector. It does not say how k0 evolves in time; for that we need the geodesic equation.
1.12 Christoffel symbols
The geodesic equation contains the objects Γμαβ.
[!info] Definition The Christoffel symbols are \Gamma^\mu{}_{\alpha\beta} = \frac{1}{2}g^{\mu\nu}\left(\partial_\alpha g_{\nu\beta} + \partial_\beta g_{\nu\alpha} - \partial_\nu g_{\alpha\beta}\right) \tag{55}
They encode how the metric components vary with the coordinates.
We want k0, the component tied to the frequency, so we take the μ=0 component of the geodesic equation:
dλaffdk0+Γ0αβkαkβ=0.(56)
The sum can contain terms of type Γ000, Γ00i and Γ0ij. We check first that the ones with time indices vanish.
For Γ000,
Γ000=21g00(∂0g00+∂0g00−∂0g00)=21g00∂0g00.(57)
In the FLRW metric g00=−1 is constant, so ∂0g00=0 and
Γ000=0(58)
Next, the mixed term Γ00i with one time index and one space index:
Γ00i=21g00(∂0g0i+∂ig00−∂0g0i).(59)
Here g0i=0 and g00=−1 is constant, so every derivative vanishes:
Γ00i=0(60)
The only remaining term is Γ0ij, which comes from the time dependence of the spatial metric:
Γ0ij=21g00(∂ig0j+∂jg0i−∂0gij).(61)
With g0i=0 and g00=−1,
Γ0ij=21∂0gij(62)
The spatial metric is gij=a2(t)γij, and ∂0 is the derivative with respect to x0=ct:
∂0=∂x0∂=c1∂t∂.(63)
Then
∂0gij=c1∂t∂(a2γij)=c2aa˙γij.(64)
and therefore
Γ0ij=caa˙γij(65)
This is where the physics enters: the time component of the photon's wave vector changes because the spatial metric changes with time through a(t).
We now have everything we need. The time component of the geodesic equation was
dλaffdk0+Γ0αβkαkβ=0(66)
Since Γ000=0 and Γ00i=0, only the spatial term survives:
dλaffdk0+Γ0ijkikj=0.(67)
Inserting Γ0ij=(aa˙/c)γij,
dλaffdk0+caa˙γijkikj=0(68)
From the null condition, γijkikj=(k0)2/a2. Substituting,
dλaffdk0+aca˙(k0)2=0(69)
[!info] Definition The Hubble parameter is H(t)=a˙/a.
The equation becomes
dλaffdk0+cH(k0)2=0(70)
To rewrite this in terms of cosmic time, recall that
dλaffdt=ck0(71)
By the chain rule,
dλaffdk0=dtdk0dλaffdt=ck0dtdk0.(72)
Putting this into the geodesic equation,
ck0dtdk0+cH(k0)2=0(73)
and dividing by k0/c,
dtdk0+Hk0=0(74)
With H=a˙/a,
k01dtdk0=−aa˙(75)
which can be written as
dtdlnk0=−dtdlna(76)
Integrating both sides in time gives lnk0=−lna+C, so
k0=a(t)C′(77)
that is,
k0∝a(t)1(78)
For a comoving observer ωobs=c,k0, and the constant c does not affect the proportionality:
ωobs∝a(t)1(79)
In an expanding universe, then, the photon frequency measured by a comoving observer is inversely proportional to the scale factor.
If the photon is emitted at time te and observed at time to,
ωeωo=aoae(80)
In an expanding universe ao>ae, so ωo<ωe and the photon arrives at a lower frequency.
1.13 Wavelength and redshift
We know how the frequency changes, and the relation between frequency and wavelength from introductory physics takes us straight back to where we started.
Angular and ordinary frequency are related by ω=2πν, and for light c=λphysν. Therefore
λphys=ω2πc(81)
and since ω∝a−1,
λphys∝a(t)(82)
The emitted and observed wavelengths are then related by
λeλo=aeao(83)
[!info] Definition The cosmological redshift is z = \frac{\lambda_o - \lambda_e}{\lambda_e} \tag{84}
It follows that
1+z=λeλo=aeao=ωoωe(85)
Normalizing the present-day scale factor to ao=1,
1+z=ae1(86)
As the universe expands, the wavelength grows with the scale factor and the frequency falls as its inverse:
λphys∝a(t),ω∝a(t)1(87)
The local speed of light stays the same throughout. Every local comoving observer still measures c=λphysν: the wavelength increases and the frequency decreases by the same factor, so their product remains c.
In the next section we combine these results with the relation between energy and temperature.