Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-127/3/solution

Because is simply connected for , the homological Serre spectral sequence has constant coefficients and only two nonzero columns:
Its only possible nonzero differential is
Using the orientation generator of to identify both columns with defines the Wang homomorphism
The kernel and cokernel descriptions of the two surviving columns splice with the filtration of to give the Wang sequence over a sphere
Let be the homotopy fiber of a degree- map . Apply this sequence to the fibration
At the bottom, the map between the two copies of is multiplication by . It follows that
The first torsion group can also be seen from and the Hurewicz theorem; the Wang map then propagates it periodically.
The universal coefficient theorem for cohomology gives
Every product of two positive-degree classes is zero. For , this follows immediately because the sum of two degrees of the form is not of that form. For , degree counting does not suffice, since for every . Use instead the multiplicative cohomological Serre spectral sequence for
Its transgression in degree one is multiplication by . Every positive integral cohomology class that survives lies in filtration two, while the product of two such classes lies in filtration four; the base has dimension two, so filtration four is zero. Thus the reduced cohomology is a square-zero ideal, and
as a graded ring, with zero multiplication on the second summand.

New to topics? Read the docs here!