Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 114 (Algebraic Topology)

For chain maps $f,g:C_{\ast }\to D_{\ast }$, a chain homotopy from $g$ to $f$ is a family of group homomorphisms $s_q:C_q\to D_{q+1}$ satisfyingIf $z$ is a chain cycle, then $(f-g)(z)=d^{D}s(z)$ is a chain boundary. Consequently $[f(z)]=[g(z)]$, so $\boxed{f_{\ast }=g_{\ast }}$ on every homology group.

Order the vertices of the simplex as $v_0,\dots ,v_n$. Its simplicial chain complex hasand zero groups otherwise. An arbitrary ordering represents the sign of the permutation times the increasing ordering. Its boundary operator isIn $d^2$ each face obtained by deleting the vertices in positions $r<t$ occurs twice. Deleting $r$ first gives sign $(-1{)}^r(-1{)}^{t-1}$, whereas deleting $t$ first gives $(-1{)}^t(-1{)}^r$. These signs are opposite, so all terms cancel. The case $d_0{d}_1=0$ follows directly from $d_0=0$. Thus $\boxed{d^2=0}$.

For the homology calculation, add the augmentation $\epsilon :S_0\to \mathbb{Z}$ sending every vertex to $1$. Regard $\mathbb{Z}$ as the group in degree $-1$ of an augmented chain complex. Define the simplicial cone chain contraction byIf the simplex does not contain $v_0$, expansion of its coned boundary gives $ds(\sigma )=\sigma -sd(\sigma )$. If it contains $v_0$, the only face on which $s$ is nonzero is the face omitting $v_0$, and $sd(\sigma )=\sigma$. In degree zero this uses the augmentation, and in degree $-1$ it says $\epsilon s_{-1}=1$. HenceEvery positive-degree chain cycle is therefore a chain boundary. In degree zero, the same identity says $z-\epsilon (z)[v_0]=d{s}_0(z)$, so the augmentation induces an isomorphism $H_0\to \mathbb{Z}$, with inverse $1\mapsto [v_0]$. Thus, including $n=0$,This is a direct chain homotopy calculation and uses no result about cellular homology.

Write $v$ for the cone vertex. The quotient is the topological mapping cone $C_f=Y{\cup }_{f}CX$. First assume $X\ne \varnothing$, as is implicit in having this vertex; a map then also forces $Y\ne \varnothing$.

Take the open cover consisting of the image of $X\times [0,2/3)$ and the image of $Y\bigsqcup (X\times (1/3,1])$. Denote these sets by $U,V$. The first contracts to $v$, the second has a deformation retraction onto $Y$, and $U\cap V\cong X\times (1/3,2/3)$ retracts onto $X$. Under these identifications the two inclusion maps induce the zero map into positive-degree homology of $U$ and $f_{\ast }$ into the homology of $V$. The Mayer–Vietoris theorem consequently gives, in positive degrees,The same assertion holds in degree zero, but needs care: the ordinary Mayer-Vietoris map isSince ${\epsilon }_Y{f}_{\ast }a={\epsilon }_{X}a$, its kernel equals $\ker f_{\ast }$. On quotienting $H_0(Z;G)$ by the direct summand $G[v]$, its cokernel becomes $\mathrm{coker}{f}_{\ast }$. That quotient is canonically identified with reduced homology by subtracting the augmentation times $[v]$. Thus the last nonzero part isIn particular the map from $H_0(Y;G)$ sends a component class $[y]$ to $[y]-[v]$. This proves the mapping cone exact sequence; finite generation of $G$ is not needed for this construction.

There is a literal empty-space exception in the printed hypotheses. If $X=\varnothing$ and $Y$ is a point, the given quotient is just $Y$, and the asserted degree-zero exact sequence would be $0\to G\to 0$. Thus the displayed reduced sequence presupposes nonempty $X$. It holds also for empty $X$ if one defines its cone to include a new isolated vertex. The later homology-isomorphism claim itself remains true for empty finite complexes, with the cases involving one empty complex dealt with directly in degree zero.

Now take nonempty finite CW complexes $X,Y$. Put $A_q={\tilde{H}}_q(Z;\mathbb{Z})$. The exact sequence giveswhere $H_{-1}=0$. All $A_q$ are finitely generated abelian groups, since the groups for $X,Y$ are finitely generated. Moreover, by exactness,The reduced universal coefficient theorem for homology givesIf all $A_q$ vanish, so does the middle term for every prime, and the exact sequence with coefficients proves that $f_{\ast }$ is an isomorphism modulo every prime. Conversely, those isomorphisms imply that the middle terms vanish, hence $A_q\otimes {\mathbb{F}}_p=0$ for every prime $p$. By the Fundamental theorem of finitely generated abelian groups, a nonzero free summand would survive modulo every prime, and a cyclic torsion summand would survive modulo a prime dividing its order. Thus $A_q=0$ for every $q$, provingThis argument uses the exact sequence to obtain finite generation; it does not assume in advance that the cone of an arbitrary continuous map is a finite CW complex.

Finally suppose $f$ is a cellular map. Keep the cells of $Y$, add the vertex $v$, and add a $(q+1)$-cell for the cone on every $q$-cell of $X$. Its top face attaches to $Y$ through $f$, and its other faces attach to cones on lower-dimensional cells. The cellular condition puts these attachments in the appropriate skeleton. This constructs a finite CW complex structure on $Z$.

Let $A_{\ast }=C_{\ast }^{\mathrm{cell}}(X)$ and $B_{\ast }=C_{\ast }^{\mathrm{cell}}(Y)$ be the ordinary cellular chain complexes, with $A_{-1}=0$. Orient each coned cell so that its boundary has the form $f_{\#}(e)-c(d_{A}e)$. Using $[y]-[v]$ as the reduced generator for each vertex of $Y$ givesIn particular ${\tilde{C}}_0^{\mathrm{cell}}(Z)=B_0$, and the boundary of a cone edge is its image vertex minus $v$. The chain map identity $d_B{f}_{\#}=f_{\#}{d}_A$ givesThis is the cellular chain complex of a mapping cone, equivalently the algebraic mapping cone with the displayed summand and sign conventions.

All groups in the first calculation have integral coefficients. Let $U=S^n\setminus j(W)$ and $V=S^n\setminus \mathrm{int}j(W)$. A two-sided tubular neighborhood of $j(\partial W)$ identifies $V$ as a compact manifold with boundary, with interior $U$. Pushing its boundary inward in a collar neighborhood gives a homotopy equivalence $U\simeq V$. After thickening across the same collar, excision identifies the relative groupsThe orientation of $S^n$ gives $W$ an orientation. The Poincare-Lefschetz duality isomorphism therefore givesEach component of $W$ has boundary: a closed component would have open image by the local embedding condition and closed image by compactness, hence would occupy the whole connected sphere, leaving no room for the components with boundary. In particular $U$ is nonempty, and $H^n(W)=0$.

Apply the long exact sequence in relative homology of $(S^n,V)$, using reduced homology for the absolute terms. Away from the top-dimensional homology of the sphere, it identifiesThe exceptional map iswhere $r$ is the number of components of $W$. Local compatibility of the orientations sends $1$ to $(1,\dots ,1)$, the relative fundamental classes of all the components. Its kernel is zero and its cokernel is ${\tilde{H}}^0(W)$. Thus the exceptional term has exactly the reduced form required, and all higher groups vanish. We obtain the Alexander duality formulawith negative-index cohomology zero. Ordinary degree zero is recovered byBoth formulas depend on the abstract manifold $W$, so they establish the requested independence up to group isomorphism. They make no claim that the complements themselves are homeomorphic or have isomorphic fundamental groups. The argument also covers $n=1$, when the diagonal map handles the degree-zero exception. This is the complement homology of a compact codimension-zero submanifold.

For the second calculation write $F={\mathbb{F}}_2$, $C=S^n\setminus i(M)$ and $c=n-k$. First suppose $c>0$, with $n\ge 1$. The rank-$c$ normal bundle has a mod-two Thom class, regardless of orientability. A tubular neighborhood, excision and the homological Thom isomorphism theorem identifyThe long exact sequence in relative homology becomes the Gysin sequence of an embedding:The map $\gamma$ takes the mod-two fundamental class of $S^n$ to that of $M$: restricting to each normal fiber evaluates the Thom class as $1$. Since $M$ is closed and connected, the degree-$n$ mapis an isomorphism. This cancels the exceptional top term and gives $H_i(C;F)=0$ for $i\ge n-1$ when $i>0$. In all the intervening degrees the sphere groups vanish. In degree zero, the remaining $F$ is removed by the augmentation. Consequently the mod-two homology of a submanifold complement iswhere negative-index homology of $M$ is zero. To recover ordinary homology, add one copy of $F$ in degree zero and change nothing in positive degrees. For $n=1$ the first range is empty, so the complement of a connected zero-manifold has the homology of a point. For example, codimension at least two gives $H_0(C;F)=F$, while codimension one gives $H_0(C;F)=F^2$ when $n\ge 2$.

If $k=n\ge 1$, an embedding of the closed connected manifold has image both open and closed in $S^n$, hence is onto; its complement is empty and all its ordinary homology groups vanish. The positive-codimension formula is not asserted in that case. The standard sphere calculations here assume $n\ge 1$; in ambient dimension zero the complement of the embedded connected point in $S^0$ is the other point.

For connected oriented closed manifolds of dimension $n$, the degree of a map between oriented manifolds is the integer determined bywhere the brackets are the chosen fundamental classes. Functoriality gives $\mathrm{deg}(g\circ f)=\mathrm{deg}g\mathrm{deg}f$.

Give $S^n$ its boundary orientation as the boundary of the unit ball in ${\mathbb{R}}^{n+1}$. The antipodal map is the restriction of $-I$. Its ambient determinant is $(-1{)}^{n+1}$, and it takes the outward normal at $x$ to the outward normal at $-x$. Thus its effect on the boundary orientation has this same sign, givingThe original PDF has $A:S^n\to S^n$, correcting the extra prime on the target in the TeX transcription.

For even dimension $n=2k\ge 2$, cellular homology of real projective space gives $H_n({\mathbb{RP}}^n;\mathbb{Z})=0$. Thus the composite map on top homology factors through zero, andZero is attained by constant maps.

For odd dimension $n=2k+1\ge 3$, Real projective space is orientable: the antipodal deck transformation has degree $+1$. Orient it so that the double covering map $q:S^n\to {\mathbb{RP}}^n$ has degree $2$. Since $S^n$ is simply connected, the lifting criterion for a covering space gives $f=q\circ \tilde{f}$ for a map $\tilde{f}:S^n\to S^n$. Hencewhich is even. Every even integer occurs: collapse the complement of an oriented embedded disk in ${\mathbb{RP}}^n$ to obtain a degree-one map $g:{\mathbb{RP}}^n\to S^n$, and choose $\tilde{f}$ of any prescribed integer degree $m$. Maps of all integer degrees on spheres are obtained, for example, by suspending the circle maps $z\mapsto z^m$. Setting $f=q\circ \tilde{f}$ gives degree $2m$. ThusThese are the degrees of maps factoring through real projective space. If $k=0$ is permitted in the odd-dimensional clause, there is an exception: ${\mathbb{RP}}^1\cong S^1$, so every integer degree occurs. The lifting argument requires dimension at least two. The initial connected-manifold degree definition excludes $S^0$; with the usual reduced-homology definition for self-maps of $S^0$, a factorization through the one-point ${\mathbb{RP}}^0$ has degree zero.

Finally suppose $\mathrm{deg}f=p$ is prime. Fix any prime $q\ne p$ and work over $F={\mathbb{F}}_q$. We claim that $f^{\ast }:H^r(N;F)\to H^r(S^n;F)$ is injective. If $a\ne 0$, Poincare duality supplies $b\in H^{n-r}(N;F)$ with $⟨a⌣b,[N{]}_F⟩\ne 0$. Naturality of the cup product and evaluation givesbecause $p$ is invertible in $F$. Hence $f^{\ast }a\ne 0$, proving cohomological injectivity of a map of invertible degree.

The intermediate cohomology of the sphere is zero, so $H^r(N;F)=0$ for $0<r<n$. Over a field, the universal coefficient theorem for cohomology identifies this with the dual of $H_r(N;F)$, so these homology groups vanish as well. The universal coefficient theorem for homology then givesEach integral group is a finitely generated abelian group, by the permitted finite CW complex model. Its decomposition can have no free summand, since that would survive modulo $q$, and no torsion summand divisible by any prime $q\ne p$. Thus it is a finite $p$-primary group. There are only finitely many intermediate degrees, so the exponents of their finite cyclic summands have a common bound $p^a$. Taking $a\ge 1$ also covers the case in which all the groups vanish. ThereforeThis proves that a prime-degree sphere map forces primary torsion, including one uniform exponent for all the degrees.

Put $F={\mathbb{F}}_2$. Under the usual bundle convention of a paracompact base, choose a fiber metric and let $D(E),S(E)$ be the disk bundle and sphere bundle of the rank-$n$ real vector bundle. A mod-two Thom class is a relative cohomology classwhose restriction to every fiber pair $(D^n,S^{n-1})$ is the nonzero generator. Equivalently it is a class in $H^n(E,E\setminus B;F)$, where $B$ is identified with the zero section. No orientation choices are needed over $F$.

The Thom isomorphism theorem asserts that this class exists and that, for every $r$, the mapis an isomorphism. The disk bundle retracts to the zero section $s:B\to D(E)$, so $H^r(D(E);F)\cong H^r(B;F)$. Define the mod-two Euler class $e_2(E)=s^{\ast }u\in H^n(B;F)$, where the pullback includes the passage from relative to absolute cohomology. Under the Thom identification, the map from relative to absolute cohomology sends $a$ to $a⌣e_2(E)$. Substituting into the pair's long exact sequence in cohomology gives the Gysin sequence of a sphere bundle:Here ${\pi }_{!}$ is the connecting homomorphism followed by ${\Phi }^{-1}$. Thus the sequence and the cup-product map have been derived from the Thom theorem, not just stated. The Thom/Gysin constructions are also discussed in Hatcher's Vector Bundles and K-Theory, §3.2.

The original PDF specifies the tautological bundle on ${\mathbb{RP}}^n$; the occurrences of ${\mathbb{R}}^n$ in this part of the TeX transcription have lost the projective-space symbol. Let $L\to {\mathbb{RP}}^n$ be this real line bundle. Its sphere bundle consists of pairs $(\ell ,v)$ with $v$ a unit vector in the line $\ell$, so $S(L)\cong S^n$, with projection the antipodal double covering. Write $t=e_2(L)$.

The additive mod-two groups, obtainable from the one-cell-in-each-dimension cellular chain complex, areFor $n\ge 1$, both the base and $S^n$ are connected, so ${\pi }^{\ast }:H^0({\mathbb{RP}}^n;F)\to H^0(S^n;F)$ is an isomorphism. Exactness makes the following ${\pi }_{!}$ zero and multiplication by $t$ injective from $H^0$ to $H^1$. For $1\le r<n$, the term $H^r(S^n;F)$ vanishes, so the same Gysin sequence makesinjective. Since these groups are one-dimensional, the maps are isomorphisms. Hence $1,t,\dots ,t^n$ are the respective nonzero generators, while $t^{n+1}=0$ by dimension. The mod-two cohomology ring of real projective space is thereforeFor $n=0$ this is simply $F$, with $t=0$.

For integral coefficients, the additive groups areIndeed, the cellular homology of real projective space has boundary multiplication by $2$ in even positive chain degrees and zero in odd degrees, and the integral cochain differential is its transpose. It remains to determine the products; the additive groups alone do not do so.

For $n\ge 2$, the coefficient sequence $0\to \mathbb{Z}\stackrel{2}{\to }\mathbb{Z}\to F\to 0$ has a Bockstein homomorphism $\beta$. Because $H^1({\mathbb{RP}}^n;\mathbb{Z})=0$ and $H^2({\mathbb{RP}}^n;\mathbb{Z})=\mathbb{Z}/2$, exactness makes $a=\beta (t)$ the nonzero integral degree-two class. Reduction $\rho :H^2({\mathbb{RP}}^n;\mathbb{Z})\to H^2({\mathbb{RP}}^n;F)$ is injective: its kernel is the image of multiplication by $2$, which is zero. ThusMore generally, reduction is injective in each positive even degree, and its compatibility with the cup product gives $\rho (a^j)=t^{2j}$. Consequently $a^j$ is the nonzero generator whenever $2j\le n$. Also $2a=0$, and powers beyond the dimension vanish.

If $n=2m$ is even, these powers and the unit account for all groups, so the integral cohomology ring of real projective space isIf $n=2m+1$ is odd, add an integral top-dimensional orientation class $b$ of degree $2m+1$. Its reduction is the nonzero class $t^{2m+1}$. Every product $ab$ and $b^2$ is zero by dimension, and $b$ has infinite additive order. HenceThese formulas include $m=0$: the even space is a point with ring $\mathbb{Z}$, and the odd space is a circle with ring $\mathbb{Z}[b]/(b^2)$, $|b|=1$. The polynomial presentations are interpreted with the displayed grading and products; no extra positive-degree products are left unspecified.