Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-3/24f/iv/solution
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 3 24F iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
Choose a point and project from to a line not containing . Every line through meets the quartic in four points counted with intersection multiplicity by Bézout theorem; removing the fixed intersection at leaves a generic fibre of three points. This projection from a point on a plane curve therefore defines a nonconstant morphismof degree three, so the gonality is at most three.
It cannot be one, because a degree-one morphism between smooth projective curves is an isomorphism of algebraic varieties, whereas has genus three and the projective line has genus zero. It cannot be two either: that would make a hyperelliptic curve. The canonical map of a hyperelliptic curve is not a closed embedding, but for a smooth plane quartic the canonical map of a smooth plane curve is exactly its given embedding , since . This contradiction proves
New to topics? Read the docs here!