Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 13 3 Solution Created 2026-10-03 Updated 2026-10-14
Work over and put . For a closed orientable six-dimensional manifold, Poincare duality gives , soThe remaining Betti number is even. Indeed, the cup product pairingis nondegenerate by duality and skew-symmetric by graded commutativity, since . If its dimension were odd, a matrix for it would satisfy , forcing in characteristic zero, a contradiction. Thus is even andThis is the Euler characteristic parity in dimensions congruent to two modulo four. If the manifold has several components, apply the argument to each component and add.
The orientability assumption is essential. The Real projective space has one cell in each dimension from zero to six, givingIt is nonorientable: its double cover has the orientation-reversing antipodal deck transformation, of degree .
For the construction, is a closed orientable real six-dimensional manifold with cells in dimensions , hence Euler characteristic four. The product is also closed and orientable, with Euler characteristic . The six-sphere has Euler characteristic two.
In dimension six, removing an open ball subtracts one from the Euler characteristic. To see this, write as the punctured manifold joined to a closed ball along , whose Euler characteristic is zero, and apply the cellular inclusion-exclusion formula. Gluing two punctured manifolds along therefore givesA connected sum of copies of and copies of haswith the empty sum interpreted as . Given any even integer , takeBoth are nonnegative integers and the displayed Euler characteristic equals . Hence every even integer is the Euler characteristic of a closed oriented six-manifold, including zero and negative integers; the construction is connected.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 16 3 c Solution Created 2026-10-03 Updated 2026-10-14
Write , with odd. Rational Poincare duality gives . Pairing every term outside the middle yieldsThe Poincare duality pairing on is . It is nondegenerate, and graded commutativity of the cup product gives because is odd. In particular over . Part (b) therefore makes even, soFor the failure without orientability, is a closed nonorientable surface with one cell in each dimension zero, one and two; hence . More generally, is nonorientable and has Euler characteristic one. Thus the orientation hypothesis in the Euler characteristic parity in dimensions congruent to two modulo four is essential.