Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 16 (Algebraic Topology)

Use integral cellular homology. All three vertices become a single vertex, and all three oriented edges become one oriented circle, with generator $a$. The face goes round that circle three times in the same direction. Thus the quotient has a CW complex structure with one cell in each of dimensions zero, one and two, and cellular chain complexThe degree-two boundary is injective and its cokernel is $\mathbb{Z}/3$. ThereforeThe attaching word is $a^3$, so the Seifert-van Kampen theorem also gives ${\pi }_1(X)\cong \mathbb{Z}/3$. This is the degree-three circle-attachment model of a Moore space.

Let $a$ be the projective-line loop and $b$ the core loop of the Möbius band. The boundary of the Möbius band goes twice around its core. Its boundary inclusion is a cofibration, so replacing the gluing map by a homotopic cellular degree-$n$ map preserves the homotopy type. More precisely, the band is a mapping cylinder of the boundary double covering onto the core circle. After attaching its other end and collapsing the connecting tree, the resulting space has a homotopy-equivalent CW complex with one vertex, edges $a,b$, and two two-cells with attaching wordsThe first is the projective-plane face; the second records equality of the attached boundary loop $a^n$ and the band boundary loop $b^2$. Taking exponent sums gives the cellular chain complexSince $\det D=4$, its kernel is zero. The first invariant factor in the Smith normal form is the greatest common divisor of its entries, $d=\gcd (2,n)$, and the second is $4/d$. HenceThis includes $n=0$ and negative degrees. The fundamental group after attaching a Möbius band is $⟨a,b\mid a^2=1,b^2=a^n⟩$, consistent with the computed abelianization. The calculation is an example of homology after attaching a Möbius band to the real projective plane.

The space is the mapping torus of the antipodal map $A:S^n\to S^n$. For $n\ge 1$, its mapping degree is $\delta =(-1{)}^{n+1}$: $A$ is the restriction of $-I$ on ${\mathbb{R}}^{n+1}$, whose determinant is $(-1{)}^{n+1}$. The Wang sequence givesThe kernel terms are free abelian, so these short exact sequences split as groups. On $H_0(S^n)$ the map is the identity, and on $H_n(S^n)$ it is multiplication by $\delta$. For $n\ge 2$ this givesAt $n=1$, both contributions to degree one are present, giving $H_0=H_2=\mathbb{Z}$ and $H_1={\mathbb{Z}}^2$, with all other groups zero. At $n=0$, the antipodal map exchanges the two points of $S^0$, and the two cylinder intervals join into a single circle; thus $H_0=H_1=\mathbb{Z}$ and higher groups vanish. These are the homology of the antipodal sphere mapping torus cases.

For the triangle quotient, the universal coefficient theorem for homology gives $H_j(X;{\mathbb{F}}_2)=0$ for every $j>0$, because its only positive integral homology is $\mathbb{Z}/3$. A connected positive-dimensional closed manifold has a nonzero top mod-two fundamental class, independently of orientability. Thus this quotient cannot be homotopy equivalent to such a manifold. A connected zero-dimensional closed manifold is a point, which its nonzero $H_1(X;\mathbb{Z})$ also excludes.

For the attached-band space, the same universal coefficient theorem for homology gives nonzero $H_2(X;{\mathbb{F}}_2)$ and zero homology above degree two. A connected closed manifold homotopy equivalent to it would consequently have dimension two. Its Euler characteristic would be one. The classification theorem for surfaces says that a closed connected surface of Euler characteristic one is the real projective plane. But its integral $H_1$ is $\mathbb{Z}/2$, differing from both possibilities computed in part 2. Thus this space is never homotopy equivalent to a closed manifold.

The antipodal mapping torus is already a closed manifold: gluing the two boundary components of $S^n\times [0,1]$ by a diffeomorphism gives a smooth $(n+1)$-manifold without boundary. For $n\ge 1$, it is orientable exactly when $(-1{)}^{n+1}=1$, namely when $n$ is odd. In that case $-I$ on ${\mathbb{R}}^{n+1}$ is isotopic to the identity through rotations, so the mapping torus is diffeomorphic to $S^n\times S^1$. The $n=0$ case is a circle as above. Only the third family can be homotopy equivalent to a closed manifold.

For finite-dimensional Complex projective space ${\mathbb{CP}}^r$, use the filtration by its linear projective subspaces. The difference ${\mathbb{CP}}^j\setminus {\mathbb{CP}}^{j-1}$ is ${\mathbb{C}}^j$, so there is one topological cell in every even dimension $0,2,\dots ,2r$, and none in odd dimensions. Every cellular boundary vanishes for degree reasons. The integral cohomology is therefore $\mathbb{Z}$ in those even degrees and zero elsewhere.

For the cohomology ring, let $x\in H^2({\mathbb{CP}}^r;\mathbb{Z})$ be the Poincare dual of a projective hyperplane, using the complex orientation. Generic hyperplanes meet transversely, and a collection of $j$ of them intersects in ${\mathbb{CP}}^{r-j}$. The geometric interpretation of the cup product identifies $x^j$ with the dual of that intersection. Restricting to a linear ${\mathbb{CP}}^j$, the $j$ hyperplanes meet in one point, with positive sign because the transverse normal directions are complex lines. HenceThus $x^j$ is a primitive generator in degree $2j$, not merely a nonzero multiple. There are no classes beyond degree $2r$, soThe point case $r=0$ has ring $\mathbb{Z}$. Taking the union of the finite projective spaces gives $H^{\ast }({\mathbb{CP}}^{\infty };\mathbb{Z})=\mathbb{Z}[x]$, since each fixed cohomological degree stabilizes. This proves the cohomology ring of complex projective space computation.

For the rank bound for a nonsingular complex bilinear map, write $a={\dim }_{\mathbb{C}}U$, $b={\dim }_{\mathbb{C}}V$, $R=\mathrm{im}\varphi$, and $s={\dim }_{\mathbb{C}}R$. Assume $a,b\ge 1$. Injectivity with either nonzero factor fixed implies $\varphi (u\otimes v)\ne 0$ whenever $u,v\ne 0$. Thereforeis well defined and continuous. Scaling either vector only scales the output, and in local projective charts the formula is given by bilinear coordinates with no simultaneous zero. Let $h$ be the target's degree-two generator and $x,y$ the pullbacks of the two factor generators. The Künneth theorem givesFixing $[v]$ or $[u]$ makes $F$ a projective linear embedding induced by an injective linear map. Such an embedding pulls back the hyperplane class to the factor's hyperplane class. Since the two restrictions determine $H^2$ of the product, $F^{\ast }h=x+y$, with the generator of a point factor interpreted as zero.

Put $d=a+b-2$. In the source cohomology ring, every term in $(x+y{)}^d$ vanishes except the one with exponents $a-1,b-1$, andThe binomial coefficient is a positive integer and the final monomial generates the top integral cohomology. If $s\le d$, the class $h^d$ in ${\mathbb{CP}}^{s-1}$ would be zero. This contradiction provesWhen $a=b=1$, the nonzero pure-tensor image already gives $s\ge 1$. A positivity convention is genuinely necessary: if $U=0$, $V={\mathbb{C}}^2$, and $W=0$, all restrictions to the zero tensor subspaces are injective, but the literal bound would read $0\ge 1$. The displayed theorem is therefore the nonzero-factor version. If a nonzero factor is infinite-dimensional, either factor restriction already bounds the image dimension below by that factor dimension; the sum of two positive cardinal dimensions, with at least one infinite, is their maximum, giving the corresponding cardinal bound.

Use cohomology with coefficients in ${\mathbb{F}}_2={\mathbb{Z}}_2$. The cellular homology of real projective space has one cell in degrees zero, one and two, and its boundary coefficients become zero modulo two. Hence there is a one-dimensional cohomology group in each of those degrees. Let $x\in H^1(P;{\mathbb{F}}_2)$ be the Poincare dual of a projective line. Two distinct projective lines intersect transversely in one point, so $⟨x^2,[P{]}_2⟩=1$. ThusThis is the mod-two cohomology ring of real projective space in dimension two. The Künneth theorem over a field makes the cross product an isomorphism of graded rings. Writing $x,y$ for the factor pullbacks givesThere are no additional signs over ${\mathbb{F}}_2$.

The obstruction to a graph avoiding the diagonal is the mod-two diagonal class of the real projective plane. Its dual class $D\in H^2(P\times P;{\mathbb{F}}_2)$ is determined bywhere $i:P\to P\times P$ is the diagonal embedding. Test $z=x^2,xy,y^2$. Each diagonal pullback is $x^2$, with evaluation one. Since $x^2{y}^2$ is the product's top generator, comparison of coefficients givesIf the submanifold were the graph of a smooth map $f:P\to P$, its parametrization would be $j=(\mathrm{id},f)$. For some $\epsilon \in {\mathbb{F}}_2$, $f^{\ast }x=\epsilon x$, and thereforeOn the other hand, the Poincare dual of the diagonal comes from its relative Thom class in $H^2(P\times P,(P\times P)\setminus \Delta ;{\mathbb{F}}_2)$. It restricts to zero on the complement. A graph disjoint from the diagonal would factor through that complement and force $j^{\ast }D=0$, a contradiction. Such a submanifold cannot be the graph of a smooth map $P\to P$. The relative Thom-class argument also applies to continuous self-maps.

Take ${\mathbb{CP}}^3$. It is a closed smooth manifold and is simply connected: its CW complex structure has no one-cells, and attaching cells of dimension at least two to a point cannot create a fundamental group. Its cohomology ring is $\mathbb{Z}[x]/(x^4)$ with $|x|=2$, so $x^3\ne 0$.

The theorem used is the Lusternik–Schnirelmann critical point theorem: every smooth real-valued function on a closed connected smooth manifold has at least its unnormalized Lusternik–Schnirelmann category many distinct critical points, without a nondegeneracy assumption. Here category is the minimum number of open subsets covering the manifold whose inclusions are null-homotopic. The cup length bound gives category at least four. To justify that bound, a cover by three categorical sets would make each positive-degree class vanish on its assigned set. The long exact sequence of each pair lifts three copies of $x$ to relative classes, and their relative cup product would lie in $H^6(M,M;\mathbb{Z})=0$, contradicting $x^3\ne 0$. Thus every smooth function has at least four critical points, including functions with degenerate critical points. The critical-point theorem in this formulation is described in Conley pairs in geometry—Lusternik–Schnirelmann theory and more.

Under the intended convention that the finite group is nontrivial, take ${\mathbb{CP}}^2$. It is simply connected by its CW complex structure. The Lefschetz fixed-point theorem says that a continuous self-map of a compact triangulable space with nonzero rational Lefschetz number has a fixed point.

For any continuous $f:{\mathbb{CP}}^2\to {\mathbb{CP}}^2$, write $f^{\ast }x=dx$ for the integral degree-two generator, with $d\in \mathbb{Z}$. Preservation of the cup product gives $f^{\ast }(x^2)=d^2{x}^2$. Only degrees zero, two and four contribute to the rational Lefschetz number, soConsequently every such map has a fixed point. In a free group action, each nonidentity group element must act by a fixed-point-free homeomorphism. This is impossible here, so no nontrivial finite group can act freely. This is the fixed-point property of even-dimensional complex projective space for complex dimension two. If the trivial group is included, the literal request has no example, since the trivial group acts freely on every space.

Take the Möbius line bundle over $S^1$,A continuous section of a vector bundle corresponds to a continuous real-valued function $s:[0,1]\to \mathbb{R}$ with $s(1)=-s(0)$. If $s(0)=0$, it already vanishes. Otherwise its endpoint values have opposite signs, so the intermediate value theorem gives $s(t_0)=0$ for some $t_0\in (0,1)$. Thus this vector bundle has no nowhere-zero section. Every continuous section must vanish.

Take the Hopf map $\eta :S^3\to {\mathbb{CP}}^1\cong S^2$, given by $\eta (z_0,z_1)=[z_0:z_1]$. The domain has positive-dimensional homology only in degree three, while $H_3(S^2;\mathbb{Z})=0$. In degree two the source group is zero, and all remaining positive-degree source groups are zero too. Hence the induced map on homology is zero in every positive degree.

For nontriviality, use the Hopf fibration $S^1\to S^3\stackrel{\eta }{\to }{S}^2$. It is a fiber bundle: phase multiplication gives each fibre, and choosing a normalized representative on either standard projective chart gives a local trivialization. The theorem invoked is the long exact sequence of homotopy groups of a fibration. Since the universal cover of $S^1$ is contractible, ${\pi }_2(S^1)={\pi }_3(S^1)=0$. Its exact sequence consequently gives an isomorphismThe identity class of $S^3$ is nonzero, since an identity map cannot be null-homotopic while inducing the identity on $H_3(S^3;\mathbb{Z})$. Its image under ${\eta }_{\ast }$ is the class of $\eta$, so that class is nonzero. The Hopf map is not homotopic to a constant despite inducing zero on all positive-degree homology.

False. Take $M={\mathbb{CP}}^2\#{\mathbb{CP}}^2$ and $N=S^2\times S^2$, with their standard product and connected-sum orientations. They are closed simply connected four-manifolds. For the connected sum, removing a four-ball leaves the fundamental group unchanged, and the Seifert-van Kampen theorem across the separating three-sphere preserves simple connectivity. The Mayer–Vietoris sequence computes integral cohomology $\mathbb{Z},{\mathbb{Z}}^2,\mathbb{Z}$ in degrees zero, two and four, and zero in other degrees. The Künneth theorem gives the same groups for $S^2\times S^2$. Thus their Betti numbers agree and all their integral cohomology is torsion-free.

Their cohomology rings nevertheless differ. In $M$, let $u,v$ come from the two projective summands and let $z$ generate degree four. The cohomology ring of the connected sum of two complex projective planes hasThese relations follow by using cycles in the separate summands and the degree-one pinch projections onto them. In $N$, the sphere-factor generators $x,y$ satisfyConsequently every degree-two class of $N$ has squarean even multiple of the top generator, whereas $u^2$ in $M$ is a primitive generator. An integral graded-ring isomorphism cannot change this property, since it sends a generator of $H^4$ to its positive or negative. A homotopy equivalence induces a graded-ring isomorphism, so none exists. Equivalently, their intersection forms are $\mathrm{diag}(1,1)$ and $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$, an odd form and an even form respectively.

False. Take $M=S^4$ and $N=S^3$. Both are closed oriented simply connected manifolds and $4>3$. A cohomological obstruction rules out even a topological fiber bundle.

Suppose a fiber bundle $F\to S^4\to S^3$ existed. The long exact sequence of homotopy groups of a fibration, including its component terms, makes $F$ path-connected. A local trivialization over a small open ball in $S^3$ identifies its preimage, an open subset of $S^4$, with $F\times B^3$. Projection onto $F\times \{0\}$ gives a retraction. An open smooth four-manifold has the homotopy type of a CW complex of dimension at most four, so its rational cohomology vanishes in degrees above four. A retract's cohomology injects into that of the ambient space. Therefore

Use the multiplicative cohomological Serre spectral sequence with rational coefficients. Since $S^3$ is simply connected, there is no nontrivial coefficient action, and only columns zero and three occur on $E_2$. Thus $E_3=E_2$, and the only possibly nonzero differential is $d_3$. Let $u$ be the degree-three base generator. It cannot survive, because the sequence converges to $H^{\ast }(S^4;\mathbb{Q})$ and that ring has zero degree-three part. It has no outgoing differential and its only possible incoming differential is from $E_3^{0,2}$. Hence there is $a\in H^2(F;\mathbb{Q})$ withThe class $a$ is nonzero and, by the degree bound above, has a first vanishing power $a^r=0$ for some $r\ge 2$. Multiplicativity says that $d_3$ is a graded derivation. Since $|a|=2$ is even,But $E_3^{3,2r-2}=H^3(S^3;\mathbb{Q})\otimes H^{2r-2}(F;\mathbb{Q})$, in which $u{a}^{r-1}\ne 0$ by minimality of $r$; also $r$ is nonzero over $\mathbb{Q}$. This is a contradiction. Thus no such fiber bundle exists. This is the special case of a sphere cannot fibre over a lower-dimensional odd sphere required here.

True for two positive-dimensional factors. In fact degree three can be replaced by any nonzero mapping degree. Suppose $M=X^k\times Y^{m-k}$ with $0<k<m$. The factors are closed and connected. They are also orientable: an orientation-reversing loop in either factor would reverse the product orientation while the other factor stays fixed, contradicting the orientation of $M$.

Let ${\omega }_X,{\omega }_Y$ be their integral top orientation classes, and let $\alpha ,\beta$ be the corresponding projection pullbacks to $M$. The Künneth theorem and the product fundamental class giveFor $f:S^m\to M$, both $f^{\ast }\alpha$ and $f^{\ast }\beta$ vanish, since a sphere has no cohomology in those intermediate positive degrees. Naturality of the cup product therefore givesOn the other hand, the definition of degree three gives $f^{\ast }{\omega }_M=3{\omega }_{S^m}\ne 0$. This contradiction proves the nonzero degree from a sphere obstructs manifold products assertion. The product with a zero-dimensional point factor is the excluded trivial case.

True: every integer occurs. The simple-connectivity assumptions in parts 1 and 2 are local to those statements and are not imposed here. For a connected closed oriented four-manifold, Poincare duality givessince $b_3=b_1$. This expression has no fixed sign or parity.

Use $\chi ({\mathbb{CP}}^2)=3$, from its three even-dimensional cells, and $\chi (S^1\times S^3)=0$, by Euler characteristic of a product. The Euler characteristic of a connected sum in dimension four isIt follows either by Mayer–Vietoris sequence after deleting balls, or by the intermediate-degree cohomology splitting and the single top and bottom generators. Therefore a connected sum of $r$ projective planes and $s$ copies of $S^1\times S^3$ hasGiven an integer $h$, choose an integer $s\ge \max \{0,\lceil (2-h)/2\rceil \}$ and put $r=h-2+2s\ge 0$. This produces a connected closed oriented four-manifold of Euler characteristic $h$. When $r=s=0$, use $S^4$. ThusIf simple connectivity were added, the possible values would instead satisfy $\chi =2+b_2\ge 2$. This distinction is recorded in Euler characteristics of closed oriented four-manifolds.

Work with integral cohomology. For a frame $v=(v_1,\dots ,v_k)$ in the complex Stiefel manifold, defineThese fibres form the complement bundle on a complex Stiefel manifold, a complex vector subbundle of the trivial rank-$n$ bundle. Indeedis a smooth orthogonal projector of constant complex rank $n-k$; locally projecting suitable fixed basis vectors and applying Gram-Schmidt process provides bundle frames. The underlying real vector bundle has rank $r=2(n-k)$ and is oriented by its complex structure: a complex change of frame has real determinant equal to the positive number $|{\det }_{\mathbb{C}}A{|}^2$.

A point of its sphere bundle is $(v_1,\dots ,v_k,w)$ with $\Vert w\Vert =1$ and $w$ orthogonal to the frame. Appending $w$ gives a diffeomorphismwhose inverse forgets the last vector while retaining it as the unit vector in the complement. Thus the asserted homotopy equivalence is actually an identification of sphere bundles, for $0\le k<n$.

Start the induction at $V_0({\mathbb{C}}^n)=\{\mathrm{point}\}$, with cohomology the exterior algebra on no generators. SupposeThis is a free abelian group in every degree, and for $k\ge 1$ its smallest positive degree is $2n-2k+1=r+1$. Hence $H^r(V_k;\mathbb{Z})=0$. This vanishing holds at $k=0$ as well, since the base is a point and $r=2n>0$. The Euler class $e(E)$ belongs to this zero group and is therefore zero.

For this oriented rank-$r$ vector bundle, the Gysin sequence of a sphere bundle has segmentBecause $e(E)=0$, this becomesIn particular $H^{\ast }(V_{k+1};\mathbb{Z})$ is torsion-free. At $j=r-1$, choose a class $a\in H^{r-1}(V_{k+1};\mathbb{Z})$ with ${\pi }_{!}a=1$. Its restriction to the sphere fibre is an integral generator. The projection formula for sphere bundle integration, with the conventional fibre-integration sign, isIt can be obtained from the relative cohomology of the disk/sphere pair and the Thom isomorphism theorem. Consequently every cohomology class of $V_{k+1}$ is uniquely expressible as ${\pi }^{\ast }c+{\pi }^{\ast }b⌣a$: subtract the second term using its fibre integral, then use exactness to identify the remaining term; injectivity of ${\pi }^{\ast }$ and the projection formula prove uniqueness. This establishes an additive splitting by the old monomials and the old monomials multiplied by $a$.

To establish the ring, $|a|=r-1$ is odd, so graded commutativity of the cup product gives $a^2=-a^2$, and hence $2a^2=0$. The torsion-freeness just proved now gives $a^2=0$. Graded commutativity also gives the required anticommutation with each old odd generator, and the old relations persist under the injective ring map ${\pi }^{\ast }$. The additive splitting proves that there are no additional relations. This is exactly Gysin ring splitting for an odd-dimensional sphere bundle, and supplies a new exterior generator of degreeInduction therefore proves the full ring calculationOver $\mathbb{Z}$, graded commutativity by itself only kills twice an odd square; torsion-freeness is the essential extra step in this integral cohomology of a complex Stiefel manifold proof.

Finally an ordered orthonormal $n$-frame is a unitary matrix, so $V_n({\mathbb{C}}^n)=U(n)$. Each exterior generator may be included once or omitted from a basis monomial. The rank of degree $j$ is therefore the number of subsets of the generator degrees $1,3,\dots ,2n-1$ summing to $j$. Multiplication of their two-term generating factors givesThe highest exponent is $1+3+\cdots +(2n-1)=n^2$, agreeing with the real dimension of the unitary group, and the total rank is $2^n$.