Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 14 (Algebraic Topology)

Let $q:{\mathbb{CP}}^8\to Q$ collapse the indicated Complex projective space. Write $x\in H^2({\mathbb{CP}}^8;\mathbb{Z})$ for the positive generator, so the cohomology ring of complex projective space is $\mathbb{Z}[x]/(x^9)$. The inclusion of ${\mathbb{CP}}^3$ sends $x$ to its corresponding generator and is an isomorphism in degrees $0,2,4,6$.

The CW complex structure makes the inclusion a cofibration, so the positive-degree cohomology of $Q$ identifies with the relative cohomology of the pair. Its long exact sequence shows that $q^{\ast }$ is injective in positive degrees, with image the additive subgroup generated by $x^4,x^5,x^6,x^7,x^8$. Equivalently, the surviving cellular cochain complex has one copy of $\mathbb{Z}$ in each of degrees $8,10,12,14,16$ and zero differential. Let $u_i$ denote the class with $q^{\ast }{u}_i=x^i$, for $4\le i\le 8$.

Naturality of the cup product, together with the injectivity of $q^{\ast }$, now determines all multiplication:Every other product of positive-degree basis elements is zero. Indeed, their degrees exceed $16$. In particular, the surviving classes do not form a polynomial algebra on a degree-eight generator: the independent classes in degrees $10,12,14$ must also be retained. This is an instance of the cohomology ring of a collapsed projective subspace.

Write $A=S^2\times S^2$ and let $i:A\to X$ be its inclusion after the attachment. The cohomology ring of a product of two spheres iswhere $a,b$ come from the first and second factors and $ab$ is the chosen orientation class. The diagonal pulls both $a$ and $b$ back to the same generator of $H^2(S^2;\mathbb{Z})$.

There is one new three-cell. In the cellular chain complex, its boundary has coordinates $(1,1)$ in the two-dimensional cells. Thus the relevant differential isand the original four-cell still has zero boundary. This gives $H_2(X;\mathbb{Z})=\mathbb{Z}$, $H_3(X;\mathbb{Z})=0$, $H_4(X;\mathbb{Z})=\mathbb{Z}$, and no other positive homology groups. Equivalently, the relative cohomology sequence of $(X,A)$ gives an injective restriction in degree two with image $\mathbb{Z}(a-b)$, and an isomorphism in degree four.

Choose $u\in H^2(X;\mathbb{Z})$ and $v\in H^4(X;\mathbb{Z})$ by $i^{\ast }u=a-b$, $i^{\ast }v=ab$. Naturality of the cup product givesSince restriction is injective in degree four, $u^2=-2v$. All further positive-degree cup products vanish by dimension. ThereforeChanging the sign of $v$ would instead give $u^2=2v$; the displayed sign uses the product orientation $ab$. The factor $2$ is the characteristic feature of a cup square after a diagonal sphere attachment.

Call this simultaneous antipodal quotient of two spheres $M$. The simultaneous antipodal map acts freely on $S^2\times S^2$, so $M$ is a connected closed manifold of dimension four. Each antipodal factor has mapping degree $-1$; their product preserves orientation. Hence $M$ is orientable.

The product $S^2\times S^2$ is simply connected, so this double covering space is the universal cover. Consequentlyusing the abelianization of the fundamental group. The Euler characteristic under a finite covering gives $\chi (M)=4/2=2$. Its rational first Betti number is zero, and Poincare duality gives $b_3=b_1=0$ and $b_0=b_4=1$. Thus $b_2=0$ as well.

The universal coefficient theorem for cohomology now gives $H^1(M;\mathbb{Z})=0$ andHere $\mathrm{Hom}(H_2(M;\mathbb{Z}),\mathbb{Z})=0$ because $b_2=0$. Integral Poincare duality further gives $H^3(M;\mathbb{Z})\cong H_1(M;\mathbb{Z})=\mathbb{Z}/2$, and $H^4(M;\mathbb{Z})=\mathbb{Z}$.

Let $a,b,c$ generate these groups in degrees $2,3,4$ respectively. The only potentially nonzero positive-degree cup product is $a^2$. But $2a^2=(2a)a=0$, while $H^4(M;\mathbb{Z})$ has no nonzero torsion subgroup, so $a^2=0$. Every other positive product vanishes by dimension. Thuswith every product of positive-degree elements equal to zero. The degree-three torsion is essential: it would be lost by computing only rational cohomology.

First check the signs directly. For $(x,y)\in M_i$, applying the proposed differential twice givesbecause $f$ is a chain map. Thus $M$ is a chain complex.

Let $C^{\prime }$ be the shifted chain complex with $C_i^{\prime }=C_{i-1}$ and differential $d_C$; here there is no minus sign in that differential. Inclusion in the second summand and projection onto the first give a short exact sequence of chain complexesTo compute the connecting map in its long exact sequence in homology, lift a cycle $x\in C_{i-1}$ to $(x,0)\in M_i$. Its boundary is $(0,(-1{)}^{i}f(x))$. Hence the connecting map $H_i(C^{\prime })\to H_{i-1}(D)$ is $(-1{)}^i{f}_{\ast }$, and the relevant exact portion isIf every $f_{\ast }$ is an isomorphism, exactness makes $H_i(M)=0$. Conversely, if every $H_i(M)$ is zero, the adjacent exact portions make every $f_{\ast }$ both injective and surjective. ThereforeThis is the acyclicity criterion for a mapping cone, with the degree-dependent signs adjusted to the given convention.

For the assertion about spaces, use the cellular approximation theorem to replace $f$ by a cellular map, and take the induced map of the finite free cellular chain complexes. Tensoring these complexes and their cone with ${\mathbb{F}}_p$ gives the corresponding mod-$p$ complexes and cone. The same exact-sequence argument works over ${\mathbb{F}}_p$, so the assumed homology isomorphisms implyThe universal coefficient theorem for homology givesIn particular $H_i(M)\otimes {\mathbb{F}}_p=0$ for every prime. Each $H_i(M)$ is a finitely generated abelian group. A nonzero free summand would survive tensoring with every ${\mathbb{F}}_p$, while a nonzero finite cyclic summand would survive for a prime dividing its order. Thus $H_i(M)=0$ in every degree, by detection of integral acyclicity modulo primes. Applying the cone criterion once more proves the integral homology map is an isomorphism in every degree. Finite generation is what makes detection by all prime fields sufficient.

Use the standard complex orientations and the product orientation. Let $a,b\in H^2(S^2\times S^2;\mathbb{Z})$ satisfy $a^2=b^2=0$ and $⟨ab,[S^2\times S^2]⟩=1$, and let $x\in H^2({\mathbb{CP}}^2;\mathbb{Z})$ satisfy $⟨x^2,[{\mathbb{CP}}^2]⟩=1$. These are the cohomology rings of the product of two spheres and the Complex projective plane.

For a map from the Complex projective plane, write $f^{\ast }a=rx$ and $f^{\ast }b=sx$. Naturality of the cup product gives $r^2{x}^2=f^{\ast }(a^2)=0$ and $s^2{x}^2=f^{\ast }(b^2)=0$. Since $x^2$ has infinite order, $r=s=0$. It follows that $f^{\ast }(ab)=0$, so every such map has degree $0$.

In the reverse direction, write $g^{\ast }x=ra+sb$. ThenEvery even mapping degree really occurs. To construct it, identify $S^2$ with ${\mathbb{CP}}^1$ and use the Segre embeddingThe generator $x_3\in H^2({\mathbb{CP}}^3;\mathbb{Z})$ pulls back to $a+b$: restricting to either factor gives a projective line and hence coefficient $1$. By the cellular approximation theorem, $\sigma$ is homotopic to a cellular map. Its four-dimensional domain then maps into the four-skeleton ${\mathbb{CP}}^2$ of ${\mathbb{CP}}^3$. Denote that map by $g_0$; restriction of $x_3$ to ${\mathbb{CP}}^2$ is $x$, so $g_0^{\ast }x=a+b$ and $\mathrm{deg}{g}_0=2$.

For any integer $m$, choose a map $d_m:S^2\to S^2$ of mapping degree $m$. For $m>0$ one may use $z\mapsto z^m$ on the Riemann sphere, for $m<0$ use $z\mapsto {\overline{z}}^{|m|}$, and for $m=0$ use a constant map. Then $g_m=g_0\circ (d_m\times \mathrm{id})$ satisfies $g_m^{\ast }x=ma+b$, so the possible degrees are exactly all even integers, with $g_m$ realizing $2m$. The cellular approximation here deforms this particular map into the skeleton; it does not require a retraction of ${\mathbb{CP}}^3$ onto ${\mathbb{CP}}^2$.

Finally, take the connected sum of oriented manifolds with both summands carrying their standard complex orientations. Its degree-two cohomology has generators $u,v$ withThis follows by choosing the generators supported away from the two balls used to form the connected sum, so mixed cup products vanish while each square gives the common orientation class. WriteIf $\mathrm{deg}h=n$, the three cup product relations sayTaking determinants gives $-(\det P{)}^2=n^2$, which forces $n=0$. Therefore the only possible degree to the connected sum is $0$, realized by a constant map. This is a degree constraint from intersection forms: the indefinite intersection form of the sphere product cannot pull back a definite form with a nonzero degree multiplier.

Work first with coefficients ${\mathbb{F}}_2$. For a rank-$r$ real vector bundle $E\to B$ over a CW complex, choose a fibre metric and its disk bundle $D(E)$ and sphere bundle $S(E)$. The mod-two Thom class is the unique class $U\in H^r(D(E),S(E);{\mathbb{F}}_2)$ restricting to the nonzero generator on every fibre pair. The Thom isomorphism theorem asserts thatNo orientation of the vector bundle is needed with these coefficients.

Let $j:H^{\ast }(D(E),S(E))\to H^{\ast }(D(E))$ forget the relative condition, and let $s:B\to D(E)$ be the zero section. Set $e_2(E)=s^{\ast }j(U)$, the top Stiefel–Whitney class $w_r(E)$. Since $D(E)$ retracts onto the zero section, $j(U)={\pi }^{\ast }{e}_2(E)$. Thus the relative-to-absolute map corresponds under the Thom isomorphism theorem to multiplication by $e_2(E)$. Substituting these identifications into the long exact sequence in relative cohomology of $(D(E),S(E))$ gives the unoriented Gysin sequencewhere $p$ is the sphere bundle projection.

Apply this to the real tautological line bundle ${\gamma }_n\to {\mathbb{RP}}^n$. Its sphere bundle is $S^n$, with projection the antipodal double cover, and put $t=e_2({\gamma }_n)\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$. Suppose $n\ge 1$. The map on $H^0$ from the connected base to the connected sphere is an isomorphism, so exactness shows that multiplication by $t$ is injective from $H^0$ to $H^1$. Since both groups are one-dimensional, $t$ is a generator.

For $1<j<n$, the adjacent sphere cohomology groups in the Gysin sequence vanish, so multiplication by $t$ is an isomorphism from degree $j-1$ to degree $j$. If $n>1$, the top portion isThe last nonzero arrow is surjective between one-dimensional groups, hence an isomorphism; the preceding arrow is zero, so multiplication by $t$ is again an isomorphism. For $n=1$ the earlier $H^0$ argument already gives the top multiplication. Thus $1,t,\dots ,t^n$ are the nonzero generators in their respective degrees, while $t^{n+1}=0$ by dimension. We obtainFor $n=0$ this says simply $H^{\ast }({\mathbb{RP}}^0;{\mathbb{F}}_2)={\mathbb{F}}_2$, with $t=0$. This computes the mod-two cohomology ring of real projective space, including its multiplication rather than only its additive groups.

Now use integral coefficients and an oriented rank-$n$ vector bundle. Its orientation selects an integral Thom class $U$. Define its Euler class byAgain $j(U)={\pi }^{\ast }e(E)$. The cup product of two relative classes in $H^{\ast }(D(E),S(E))$ agrees with the mixed relative/absolute product after forgetting the relative condition on either factor. ConsequentlyThis is the cup square of a Thom class. If $n$ is odd, graded commutativity of the cup product gives $U\cup U=-U\cup U$, hence $2U^2=0$. Since $U\cup {\pi }^{\ast }(2e(E))$ is, up to the graded sign, the Thom isomorphism image of $2e(E)$, its vanishing impliesThus the Euler class of an oriented odd-rank vector bundle is two-torsion; the conclusion is integral and does not require the base cohomology to be torsion-free.

For $n\ge 1$, let $\#$ denote concatenation in the first cube coordinate and let $\cdot$ denote pointwise multiplication of maps into the topological group. Both operations descend to the homotopy group, and the constant map is their common identity. They satisfy the interchange rulewhich follows by considering the two halves of the first coordinate. Using the identity class $0$ givesTherefore $[\alpha \beta ]=[\alpha ]+[\beta ]$. The equality is on based homotopy classes; the usual reparametrization homotopies justify the unit identities for concatenation. This is the Eckmann-Hilton argument, and proves homotopy-group addition in a topological group even for $n=1$.

For the unit quaternions, the explicit inverse isBoth compositions cancel in the displayed order, without commuting the quaternions. Multiplication, inversion and all integer powers are continuous, so this proves that ${\Phi }_{k,l}$ is a homeomorphism for all integers $k,l$.

Put $m=k+l$. Let $a,b$ be the standard generators of $H_3(S^3\times S^3;\mathbb{Z})$, represented by the first and second factors. The previous pointwise-multiplication result and the Hurewicz theorem imply that the mapping degree of $q\mapsto q^m$ on $S^3$ is $m$, including negative integers. Restricting $\Phi$ to the two factors therefore givesThe map on $H_0$ is the identity. For the top homology group, take the dual degree-three cohomology classes $x,y$. We have ${\Phi }^{\ast }x=mx+y$, ${\Phi }^{\ast }y=x$. Since these classes have odd degree, graded commutativity of the cup product givesThus ${\Phi }_{\ast }$ is multiplication by $-1$ on $H_6$, and all other homology groups of the product are zero.

For the gluing, regard $\Phi$ as the attaching identification from $\partial (D^4\times S^3)$ to $\partial (S^3\times D^4)$. In these coordinates its first input is the boundary coordinate of $D^4$, its second input the fibre coordinate; its second output is the boundary coordinate of the other $D^4$. This makes the two pieces the usual two trivializations of a three-sphere bundle over the four-sphere.

Let $A=S^3\times D^4$ and $B=D^4\times S^3$, and parametrize their common boundary $T=S^3\times S^3$ using the $B$ coordinates. Collar neighbourhoods give an open cover with the same homotopy types, so the Mayer–Vietoris sequence applies. Both pieces retract onto $S^3$. In degree three, the map into the homology of the pieces isIndeed, inclusion into $A$ retains the first output coordinate, while inclusion into $B$ retains the second input coordinate. Exactness now givesThe second relation eliminates the second generator of the cokernel, leaving a single generator with relation $m$ times that generator equal to zero. Thus $\mathrm{coker}L=\mathbb{Z}/m\mathbb{Z}$. The kernel is zero if $m\ne 0$ and is generated by $(1,0)$ if $m=0$.

The degree-six boundary class gives $H_7(X_{k,l})\cong H_6(T)=\mathbb{Z}$. All remaining positive-degree groups outside degrees $3,4,7$ vanish by the same Mayer–Vietoris sequence; connectedness gives $H_0=\mathbb{Z}$. Consequently the complete integral answer isHere $\mathbb{Z}/0\mathbb{Z}$ means $\mathbb{Z}$, and a negative $m$ gives the same cyclic group as $|m|$. In particular, $m=\pm 1$ gives the integral homology of a seven-sphere, while $m=0$ gives the integral homology of $S^3\times S^4$.