Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 55 / 4

A scalar cosmological perturbation at fixed wavevector carries no helicity or distinguished transverse direction. Its metric and scalar sources are unchanged by rotations around $\mathbf{k}$, and the scalar baryon peculiar velocity is longitudinal. With scalar initial conditions, rotational invariance of the linear evolution therefore makes $\Theta$ a function only of $\mu =\hat{\mathbf{k}}\cdot \mathbf{e}$. Expand it using the stated normalization, without an extra $(2\ell +1)$ factor:In the Thomson kernel, $1+v^2=4/3+(2/3)P_2(v)$. The spherical harmonic addition theorem and Orthogonality of Legendre polynomials giveOnly the monopole and quadrupole survive; the quadrupole's $(-i{)}^2=-1$ gives the angular scattering integralThis also explains why an isotropic distribution has zero net collision term.

The streaming term $ik\mu \Theta$ and the Legendre polynomial recurrence relation yield, after division by $(-i{)}^{\ell }$, $k[(\ell +1){\Theta }_{\ell +1}/(2\ell +3)-\ell {\Theta }_{\ell -1}/(2\ell -1)]$. With ${\mathbf{v}}_b=i\hat{\mathbf{k}}{v}_b$, the velocity collision source is $+{\tau }^{\prime }{v}_b$ in the dipole equation; the gravitational gradient source is $+k\psi$. Therefore the photon Boltzmann hierarchy isSet the absent ${\Theta }_{-1}$ contribution to zero. This is algebraically the printed hierarchy. In particular,Since ${\tau }^{\prime }<0$, these collision terms damp the nonzero multipoles and drive the dipole to ${\Theta }_1=-v_b$. The latter sign follows from the paper's velocity and $(-i{)}^{\ell }$ conventions, not a reversed physical photon velocity.

In the tight-coupling approximation, the Thomson-scattering rate ${\Gamma }_T=-{\tau }^{\prime }$ is much faster than both spatial streaming and cosmological evolution: $k/{\Gamma }_T\ll 1$ and $\mathcal{H}/{\Gamma }_T\ll 1$. Frequent scattering locks the photon and baryon velocities and suppresses higher angular multipoles. The photon dipole is leading order, while the photon quadrupole is first order in the mean-free-time expansion.

Use the quadrupole equation. Its time derivative is smaller than its collision term by an additional expansion parameter, and ${\Theta }_3$ starts one order beyond ${\Theta }_2$. The leading balance is thereforeThus for the temperature-only collision operator supplied here,The temperature-only tight-coupling quadrupole is not numerically interchangeable with a hierarchy that includes polarization feedback. The latter changes the leading collision coefficient and gives the existing photon quadrupole in tight coupling with polarization instead. Here the stated temperature-only approximation is the one being expanded.

For $\mathbf{k}=k\hat{\mathbf{z}}$, scalar axisymmetry leaves only $m=0$ in the photon quadrupole: ${\Theta }_{20}=-\sqrt{4\pi /5}{\Theta }_2$ with the normalization used above. The two spin-weighted spherical harmonics satisfy ${}_{+2}{Y}_{20}={}_{-2}{Y}_{20}\propto {\sin }^2\theta$. Translation from last scattering supplies $e^{-ik{\chi }_{\ast }\mu }$. Thus the two helicity combinations have the same scalar source:where $\mathcal{C}$ is a common normalization constant independent of $\mu$. In this meridian polarization basis the scalar contribution has $U=0$; this does not mean that every rotated polarization basis has zero $U$.

Apply the spin-raising and lowering operators to an axisymmetric scalar potential $f$. The first action is $-{\partial }_{\theta }f$. In the second action, the intermediate spin is respectively $+1$ or $-1$; both giveIt follows thatSubtracting the two equations gives $P_B^{\prime \prime }=0$. The possible affine $P_B=A+B\mu$ consists solely of the unobservable $\ell =0,1$ kernel of the twice-applied spin operators. Defining polarization potentials to have no such components sets the physical scalar B mode to zero, $\boxed{P_B=0}$. This is the low-multipole kernel of polarization potentials, not a physical dipole polarization.

For $x\ne 0$ the remaining equation integrates to $P_E=-\mathcal{C}{\Theta }_2{e}^{-ix\mu }/x^2+A_E+B_E\mu$. Remove the same monopole/dipole kernel and use the plane-wave expansion. Thus the scalar E-mode radial projection isThe overall minus sign is absorbed in the stated proportionality constant. Although the unprojected antiderivative has $x^{-2}$, its divergent monopole and dipole pieces are discarded; the physical $\ell \ge 2$ limit is finite because $j_{\ell }(x)=O(x^{\ell })$.

The temperature-only tight-coupling quadrupole is suppressed by $k/{\Gamma }_T$. For regular superhorizon scalar modes, the photon dipole is itself proportional to $k$, so the recombination quadrupole and the resulting polarization are especially small at large angular scales. Last-scattering polarization is generated by the small departure from perfect tight coupling, not by an isotropic monopole. Reionization can generate a separate large-angle signal after recombination and is absent from the instantaneous-last-scattering approximation here. The no-B-mode conclusion applies to linear scalar sources; it does not include tensor sources or conversion by lensing.