Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 32 / 4 / i / Solution

Translate the rational point of order two to $(0,0)$ and complete the square. After clearing denominators by admissible scaling, writeThe companion curve is $E^{\prime }:Y^2=X(X^2-2aX+a^2-4b)$. The two-isogeny formula gives maps $\varphi :E\to E^{\prime }$ and $\psi :E^{\prime }\to E$ satisfying $\psi \varphi =[2]$.

For the Weak Mordell-Weil theorem in this setting, use the two-torsion square-class homomorphismand its counterpart ${\alpha }^{\prime }$ on $E^{\prime }$. These are homomorphisms: a nonvertical line intersecting the cubic in three points has the product of their $x$-coordinates a square, by comparison of the constant term of the intersection cubic. For a line through $(0,0)$, the product of the other two coordinates is $b$, explaining the special value there. The kernels are $\psi E^{\prime }(\mathbb{Q})$ and $\varphi E(\mathbb{Q})$, respectively, as follows by solving the elliptic isogeny preimage quadratic and testing its discriminant for a square.

The prime-support bound in two-isogeny descent makes both images finite. Indeed at a prime not dividing $b$, a negative valuation of $x$ makes the leading cubic term dominate, giving $2v(y)=3v(x)$; a positive valuation makes $x^2+ax+b$ a unit, giving $2v(y)=v(x)$. In either case $v(x)$ is even. Thus the square class of $x$ is supported only on primes dividing $b$, together with a possible sign. The same argument uses $b^{\prime }=a^2-4b$ on $E^{\prime }$. Since $2E=\psi \varphi E$, the two finite elliptic isogeny quotients imply that $E(\mathbb{Q})/2E(\mathbb{Q})$ is finite.

Finite generation still needs a descent on height. Let $h_x$ be the logarithmic height of the $x$-coordinate. The duplication formula has a degree-four rational $x$-coordinate map with coprime numerator and denominator. Polynomial height estimates, with the resultant supplying the lower bound, give the height growth under a morphism of the projective line relation $h_x(2P)=4h_x(P)+O(1)$. Thus the convergent telescoping limitdefines the canonical height of an elliptic curve, without assuming finite generation. It is nonnegative, satisfies $\hat{h}(2P)=4\hat{h}(P)$ and the height parallelogram identity, and differs from $h_x/2$ by a bounded amount. Consequently its bounded subsets of rational points are finite by the Northcott theorem.

Choose the finite list $R_i$ of representatives modulo $2E(\mathbb{Q})$ and let $H={\max }_i\hat{h}(R_i)$. For $P=2Q+R_i$, the canonical height pairing inequality givesRepeated halving brings the height below $H+1$. There are only finitely many such terminal points, and recovering $P$ expresses it as an integer combination of those points and the $R_i$. This proves the canonical-height proof of Mordell-Weil finite generation, so