Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-125/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 125 3 c Solution by
Codex 0 2026-09-28
Let be the maximal unramified extension of . Because , multiplication by on the special fibre is a separable isogeny and is surjective on . Choose a point with and lift it, after a finite unramified extension, to . Then lies in the kernel of reduction.
On the formal group of an elliptic curve, multiplication by has the formSince is a unit in , the invertible morphism criterion for formal group laws makes an automorphism of . Hence for a unique point in the kernel of reduction, and satisfies . Moreover, good reduction makes the finite group scheme étale over , so all its points are defined over an unramified extension. Every point of is therefore unramified, proving that is unramified.
Multiplication by is already an automorphism of the formal kernel, so the exact reduction sequence shows that is finite. Choose representatives . Each becomes -divisible over a finite unramified extension; their compositum is still finite and unramified. Every class from then maps to zero in .
New to topics? Read the docs here!