Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 24F b Solution Created 2026-09-24 Updated 2026-09-29
Homogenizing the affine equation gives the projective closureThis is the Klein quartic. It is smooth: if all three projective partial derivatives vanished, thenMultiplying them gives . If one coordinate is zero, the displayed equations force all three to vanish, which is impossible in projective space. Thus is a smooth compactification of . The smooth compactification compatible with the extended coordinate functions is its normalization, and since is already smooth it is biholomorphic to .
For a direct genus computation, consider the extended coordinate map . A generic leaves the cubic equationso . In the affine part, ramification occurs where . Solving gives and the seven pointsAt the origin, , so the ramification index of a holomorphic map is three and the contribution is two. At each of the other seven points, , , and , so the ramification index is two and each contributes one.
There are two points at infinity. Near , in coordinates , , the equation isand , so is unramified. Near , in coordinates , , the equation isThus and , so has ramification index two and contributes one. The total ramification is thereforeThe Riemann-Hurwitz formula for the degree-three map to the sphere givesand henceThis also agrees with the genus of a smooth plane curve of degree four.