Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 55 4 c Solution Created 2026-10-03 Updated 2026-10-06
For , scalar axisymmetry leaves only in the photon quadrupole: with the normalization used above. The two spin-weighted spherical harmonics satisfy . Translation from last scattering supplies . Thus the two helicity combinations have the same scalar source:where is a common normalization constant independent of . In this meridian polarization basis the scalar contribution has ; this does not mean that every rotated polarization basis has zero .
Apply the spin-raising and lowering operators to an axisymmetric scalar potential . The first action is . In the second action, the intermediate spin is respectively or ; both giveIt follows thatSubtracting the two equations gives . The possible affine consists solely of the unobservable kernel of the twice-applied spin operators. Defining polarization potentials to have no such components sets the physical scalar B mode to zero, . This is the low-multipole kernel of polarization potentials, not a physical dipole polarization.
For the remaining equation integrates to . 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 , its divergent monopole and dipole pieces are discarded; the physical limit is finite because .
The temperature-only tight-coupling quadrupole is suppressed by . For regular superhorizon scalar modes, the photon dipole is itself proportional to , 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.