On their way from the last scattering surface into our antennas, the microwave photons travel through a perturbed Friedmann geometry. Thus, even if the photon temperature was completely uniform at the last scattering surface, we would receive it slightly perturbed [Sachs and Wolfe, 1967]. In addition, a photon traveling through a perturbed universe is in general deected. In this section we calculate both these eects in rst order perturbation theory. I present the calculation rather explicitly, since I haven't found a complete gauge invariant treatment of this problem anywhere in the literature. For sake of simplicity we restrict ourselves to
k
= 0.As already mentioned, two metrics which are conformally equivalent,
d
~s
2 =a
2ds
2;
have the same lightlike geodesics, only the corresponding ane parameters are dierent. We may thus discuss the propagation of light in a perturbed Minkowski geometry. This simplies things greatly. We denote the ane parameters by ~
and respectively and the tangent vectors to the geodesic byn
=dx
d
and ~n
=dx
d ; n
~ 2 = ~n
2 = 0;
with unperturbed values
n
0 = 1 and n2 = 1. If the tangent vector of the perturbed geodesic is (1;
n) +n
, the geodesic equation for the metricwhere the integral is along the unperturbed photon trajectory and the unperturbed values for
n
can be inserted. Starting from this general relation, let us rst discuss the photon redshift. The ratio of the energy of a photon measured by some observer att
f to the energy emitted att
i is given byE
f=E
i = (~n
u
)f(~
n
u
)i = (T
f=T
i)(n
u
)f(
n
u
)i;
(2.99)where
u
f andu
i are the four velocities of the observer and the emitter respectively and the factorT
f=T
i is the usual redshift which relatesn
and ~n
. We writeT
f=T
i and nota
f=a
i here, since also this redshift is slightly perturbed in general, and we wanta
to denote the unperturbed background expansion factor.Since this is a physical, intrinsically dened quantity it is independent of coordinates. It must thus be possible to write it in terms of gauge invariant variables. We now calculate the gauge invariant expression for
E
f=E
i. The observer and emitter are comoving with the cosmic uid. We haveu
= (1A
)@
tlv
;i@
i:
Furthermore, since the photon density
(r) /T
4 may itself be perturbedT
f=T
i = (a
i=a
f)(1 +T
fT
f ?T
iT
i ) =a
i=a
f(1 + (1=
4)(r)jfi);
where
(r)is the intrinsic density perturbation in the radiation. This term was neglected in the orig-inal analysis of Sachs and Wolfe, but since it is gauge dependent, doing so violates gauge invariance.We therefore have to include
(r) to obtain a gauge invariant expression. Inserting all this and (2.98) into (2.99) yieldsE
f=E
i= (a
i=a
f)[1 +n
jv;
jjfi +A
jfi + (1=
4)(r)jfi ?1=
2Zifh
_n
n
d
]:
(2.100) With the help of equation (2.11) for the denition ofh
one nds forscalar
perturbations after several integrations by part(
E
f=E
i)(S) = (a
i=a
f)f1 + [(1=
4)D
(r)s +lV
j(m)jn
j + ]jfi ?Zif( _? _ )d
g (2.101)= (
a
i=a
f)f1 + [(1=
4)D
(r)g +lV
j(m)jn
j + ?]fi ?Zif( _? _ )d
g:
(2.102) HereD
s(r); D
(r)g denote the gauge invariant density perturbation in the radiation eld andV
(m)is the peculiar velocity of the matter component (the emitter and observer of radiation). From the second of these equations one sees explicitly that the geometrical part of the perturbation of the photon redshift depends on the Weyl curvature only (specialize eq. (2.26) to purely scalar perturbations), i.e., is conformally invariant.For a discussion of the Sachs{Wolfe eect alone we neglect the intrinsic density perturbation of the radiation, i.e., we set
D
(r)g = 0, which now is a gauge invariant statement (but a bad approximation in many circumstances like, e.g. for adiabatic CDM perturbations).V
(m) is a Doppler term due to the relative motion of emitter and receiver. The ? { term accounts for the redshift due to the dierence of the gravitational eld at the place of the emitter and receiver and the integral is a path dependent contribution to the redshift.For
vector
perturbations (r) andA
vanish and eq. (2.100) leads to(
E
f=E
i)(V ) = (a
i=a
f)[1?V
j(m)n
jjfi +Zif_jn
jd
]:
(2.103) Again we obtain a Doppler term and a gravitational contribution. Fortensor
perturbations, i.e.gravitational waves, only the gravitational part remains:
(
E
f=E
i)(T) = (a
i=a
f)[1?ZifH
_ljn
ln
jd
]:
(2.104) Equations (2.101), (2.103) and (2.104) are the manifestly gauge invariant results for the Sachs{Wolfe eect for scalar vector and tensor perturbations.In addition to redshift, photons in a perturbed Friedmann universe also experiences deection.
We now calculate this eect.
The direction of the light ray with respect to a comoving observer is given by the direction of the spacelike vector
n
(3) =n
+ (un
)u
which lives on the sub{space of tangent space normal to
u
. Let us also dene the vector eldn
jj(3), which coincides withn
(3) initially (i.e. att
i) and is Fermi transported alongu
, i.e.ru
n
jj(3)= (n
jj(3)ruu
)u :
(2.105)Note, that we have to require Fermi transport and not parallel transport since
u
is in general not a geodesic and therefore (un
jj(3)) = 0 is not conserved under parallel transport! (For an explanation of Fermi transport, see e.g. Straumann [1985]).n
jj(3) = (0;
n) +n
jj(3), wheren
jj(3) is determined by the Fermi transport equation (2.105). Since the observer Fermi transports her frame of reference with respect to which angles are measured, she would consider the light ray as not being deected ifn
jj(3)(t
f) is parallel ton
(3)(t
f). The dierence between the direction of these two vectors is thus the light deection:'e
=2
4
n
(3)?(n
jj(3)n
(3)) (n
jj(3)n
jj(3))n
jj(3)3
5(
t
f):
(2.106)Here
e
is a spacelike unit vector normal tou
and normal ton
jj(3)which determines the direction of the deection and'
is the deection angle. (Note that (2.106) is the general formula for light deection in an arbitrary gravitational eld. Up to this point we did not make any assumptions about the strength of the eld.) For a spherically symmetric problem, as we shall encounter when discussing the collapsing texture,e
is uniquely determined by the above conditions since the path of a light ray is conned to the plane normal to the angular momentum. In the general case, when angular momentum is not conservede
still has one degree of freedom. We now calculate'e
perturbatively.Let us recall and dene the perturbed quantities:
n
= (1;
n) +n
with n2 = 1u
= (1;
0) +u
= (1 + 12h
00;
v)n
(3) = (0;
n) +n
(3) andn
jj(3) = (0;
n) +n
jj(3):
The perturbation
n
is given in (2.98). Furthermore, we obtainn
(3)=u
+n
?u ;
(2.107)with
= [n
iv
i?n
0+ 12h
00+n
ih
i0] The Fermi transport equation leads to (n
jj(3))0 =n
i(h
i0+v
i) (2.108) (n
jj(3))j = ?12[
h
ljn
l)jfi +Zifdt
(h
j0;l?h
l0;j)n
l:
(2.109)So that (
n
jj(3))2 = 1 and'e
=n
(3)?(n
jj(3)n
(3))n
jj(3)=u
+n
?u
?n
jj(3)?[h
jin
in
j+n
i((n
jj(3))i+n
i?v
i)]n:
Inserting (2.107{2.109) into (2.106) we nd'e
0 = 0 (2.110)'e
i = i?( n)n
i;
with (2.111) j = [n
j ?v
j+ 12h
jkn
k]jfi + 12Zif(h
0j;k ?h
0k;j)n
kdt :
(2.112) This quantitiy is observable and thus gauge invariant. For scalar perturbations one nds (after integrations by parts)(
j)(S) =V
;jjfi +Zif(? );j
d :
(2.113)For spherically symmetric perturbations, where
e
is uniquely dened, we can write this result in the form'
=V
;ie
ijfi +Zif(? );ie
id :
(2.114)The rst term here denotes the special relativistic spherical aberration. The second term represents the gravitational light deection. Here again one sees that gravitational light deection, which of course is conformally invariant, only depends on the Weyl part of the curvature. As an easy test we insert the Schwarzschild weak eld approximation: =? =?GMr . The unperturbed geodesic is given by
x
= (;
n+ed
), whered
denotes the impact parameter of the photon. Inserting this into (2.114) yields Einstein's well known result'
= 4GM
For vector perturbations we obtain from (2.112)
d :
(j)(V ) = jjfi ?12[
Z f
i (
j;k?k;j)n
kdt
+Zifk;jn
kd
]:
(2.115) This result can be expressed in three dimensional notation as follows:'
e=?( n)n=?(
^n)^njfi + 12Zif(r^)^ndt
?Zif(r(n)^n)^nd :
The rst term is again a special relativistic "frame dragging" eect. The second term is the change of frame due to the gravitational eld along the path of the observer and the third term gives the gravitational light deection. This formula could be used to obtain in rst order the light deection in the vicinity of a rotating neutron star or a Kerr black hole. The special relativistic Thomas precession is not recovered with this formula since it is of order
v
2.For tensor perturbations we nd
(
j)(T)=H
jkn
kfi +ZifH
lk;jn
ln
kd ;
or, after an integration by parts,
(