Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 25 4 Solution Created 2026-10-03 Updated 2026-10-14
Choose real constants and define the smooth homogeneous quotientIt is unchanged by nonzero rescaling, so it is well defined on Real projective space. On the unit sphere its differential vanishes on the tangent space precisely when is proportional to , where . The entries are distinct, so the only critical projective lines are . In the affine chart , write for . ThenIts Hessian at zero is diagonal with entries . Exactly are negative, and none vanish. Thus this is a Morse function with one critical point of index for every .
Choose the quotient of the round metric on the unit sphere. The downward gradient flow has sphere equation and projective solutionNormalization to the unit sphere supplies the common positive factor. As , the smallest index with nonzero coordinate dominates; as , the largest dominates. ConsequentlyThese are its unstable manifolds and stable manifolds. If , the tangent directions in allow coordinates , and those in allow , modulo the common projective line. Together they span the full tangent space at every intersection. If the intersection is empty. Thus the flow is a Morse-Smale gradient flow, with no generic perturbation needed.
Orient each unstable manifold using its affine coordinates. The Morse-Smale complex has ; its differential counts oriented unparametrized connecting trajectories of index difference one. A trajectory from to has only coordinates nonzero, and there are exactly two, distinguished by the sign of . Each sign branch is a single orbit modulo time translation.
To calculate their signs rather than merely count two, use the characteristic closed disk of the unstable cell: the closed upper hemisphere of with , followed by projection onto . Its interior is , and its boundary map is the antipodal double cover . After collapsing , its degree on the -cell is the sum of the degrees of the two sheets. Comparing the sheets by the antipodal map on gives relative orientation : it is induced by on , whose determinant is . Thus the two trajectory signs add to , up to the choice of generator orientations. The projective quadratic Morse complex is thereforeIn particular , as required for the connected one-dimensional skeleton. The signed trajectory count agrees with this attaching-map incidence calculation, so it computes integral rather than only mod-two homology.
For , taking kernels modulo images givesFor example, an odd interior-degree generator has zero outgoing differential but twice itself is the image from the next degree; an even positive-degree differential is injective. At the top there is no incoming differential, leaving a copy of exactly when is odd. For the space is one point and only remains. This recovers the cellular homology of real projective space by explicitly constructing its Morse-Smale complex and signs.