Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 24 / 2

Move the nonidentity rational 2-torsion point to $T=(0,0)$ and complete the square. After a rational change of coordinates, the elliptic curve has an integral modelThe two-isogeny formula gives a partnerand the isogeny of elliptic curves and its dual isogeny areBoth extend at the exceptional points; their kernels are the identities and the distinguished 2-torsion points, and $\hat{\varphi }\varphi =[2]$.

The two-torsion square-class homomorphism is $\alpha (O)=1$, $\alpha (T)=[b]$, and $\alpha (x,y)=[x]$ otherwise, with values in ${\mathbb{Q}}^{\ast }/{\mathbb{Q}}^{\ast 2}$. Its kernel is $\hat{\varphi }{E}^{\prime }(\mathbb{Q})$. Define ${\alpha }^{\prime }$ on the partner in the same way. By the prime-support bound in two-isogeny descent, representatives are signed squarefree divisors $d$ of $b$, or of $b^{\prime }$ for the partner. A class is realized precisely when its quartic covering in a two-isogeny descent has a rational solution:For $UV\ne 0$, this comes from $x=d(U/V{)}^2$ and $y=dUN/V^3$; the cases $U=0$ or $V=0$ account for the distinguished point and the identity. Test this finite list using signs and local congruences, and exhibit rational solutions for the surviving classes. The local-to-global gap in isogeny descent matters: local solubility gives an upper bound from the isogeny Selmer group, so a rank determination requires matching actual classes or further descent, not merely declaring every locally soluble cover to have a rational point.

Once the two actual images are determined, the two-isogeny rank formula isFor completeness, put $A=E(\mathbb{Q})$ and $B=E^{\prime }(\mathbb{Q})$. The Mordell-Weil theorem gives $[A:2A]=2^r|A[2]|$. The index of a subgroup formula through $\hat{\varphi }B$ givesHere $\ker \hat{\varphi }\cap \varphi A=\varphi (A[2])$, since $\hat{\varphi }\varphi =[2]$, and this image has size $|A[2]|/2$. The denominator is therefore $4/|A[2]|$, proving the displayed rank of an elliptic curve formula.

Use two-isogeny descent with $a=-7$, $b=12$, so the partner elliptic curve is $E^{\prime }:Y^2=X^3+14X^2+X$. On $E$, a negative $x$ would make $x(x-3)(x-4)$ negative. Hence the prime-support bound in two-isogeny descent restricts the square class image to $\{1,2,3,6\}$. All four occur: the identity gives $1$, and the rational points $(2,2)$, $(0,0)$, $(6,6)$ give respectively $2$, $12\equiv 3$, and $6$ in ${\mathbb{Q}}^{\ast }/{\mathbb{Q}}^{\ast 2}$. Thus $|\alpha E(\mathbb{Q})|=4$.

For the partner, $b^{\prime }=1$, so its square class image is contained in $\{1,-1\}$. A realization of $-1$ would yield coprime integers $U,V$, not both zero, satisfyingIf exactly one of $U,V$ is odd, the right side is $3$ modulo four, which is not a square. If both are odd, $U^4\equiv V^4\equiv 1(\mathrm{mod}16)$ and $14U^2{V}^2\equiv 14(\mathrm{mod}16)$, so the right side is $12$ modulo sixteen, again impossible. Both even is excluded by coprimality. This proves the negative unit obstruction for the fourteen-coefficient isogeny cover; the identity realizes $1$, so $|{\alpha }^{\prime }{E}^{\prime }(\mathbb{Q})|=1$.

The two-isogeny rank formula now gives $2^r=4\cdot 1/4=1$. Consequently this is the rank-zero elliptic curve with roots zero three and four:The displayed nonzero-ordinate points are therefore torsion points of an elliptic curve, rather than evidence of positive rank. In fact doubling either $(2,2)$ or $(6,6)$ gives $(4,0)$, so both have order four.