Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-24/6/i/solution

Use cohomological degree, and write the Sullivan minimal models as
and
The subscripts indicate degrees. The even generators generate a polynomial ring and the odd generators an exterior algebra. Their cohomology rings are respectively and , since each odd differential kills exactly the indicated non-zero-divisor polynomial relation. These are the usual projective-space and even-sphere minimal models.
Orient the top classes so that the degree-one condition is . A representative model map must send to . It must send to an element of degree with differential . The element has exactly these properties. Thus
The differential check is . In these degrees there is no other available monomial: even powers of have even degree, and an odd monomial is a power of times . Hence the coefficient is forced by the differential. For the two models coincide and the map is the identity model map.

New to topics? Read the docs here!