Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 22 / 4

A height function measures arithmetic size, which is what makes an otherwise infinite descent terminate. For a number field $K$, normalize absolute values to extend the standard real and $p$-adic ones, and write $n_v=[K_v:{\mathbb{Q}}_v]$. The logarithmic projective height isThe product formula makes it independent of the chosen homogeneous coordinates, and the local-degree normalization makes it independent of the number field containing them. Over $\mathbb{Q}$, $h([a:b])=\log \max (|a|,|b|)$ for coprime integer coordinates. Set $h_x(P)=h(x(P))$ on an elliptic curve, with $h_x(O)=0$.

Two features are essential. First, the Northcott theorem says that points of bounded projective height and bounded field degree form a finite set. For points on a fixed elliptic curve over $K$, each $x$-coordinate has at most two preimages, so bounded $h_x$ gives finitely many points. Second, a degree-$d$ morphism of the projective line satisfies $h(f(z))=dh(z)+O(1)$, uniformly in $z$. The upper bound comes from evaluating its homogeneous polynomials; for the lower bound, their lack of a common zero gives a resultant identity bounding the input coordinates by the output coordinates at each place. Summing the local bounds gives the asserted uniform constant.

The duplication map on the $x$-line has degree four. Nonsingularity ensures that its numerator and denominator have no common projective zero. ThereforeTelescoping defines the canonical height of an elliptic curveThe error in successive terms is bounded by a geometric series, proving convergence and the uniform bounded difference. It also gives $\hat{h}(2P)=4\hat{h}(P)$ and nonnegativity. The usual addition formula gives the approximate height parallelogram identity for $h_x$; equivalently, the unordered pair of sum and difference on the $x$-line has bidegree $(2,2)$. Applying that identity to $2^{j}P,2^{j}Q$ and passing to the limit givesIn particular $\hat{h}(nP)=n^2\hat{h}(P)$. Its polarization is the canonical height pairing, a positive semidefinite bilinear form even before finite generation has been proved. The Cauchy-Schwarz inequality for this pairing givesAlso $\hat{h}(P)=0$ precisely for torsion points of an elliptic curve: one direction follows from periodic multiples, and in the other direction all multiples have bounded $h_x$, so the Northcott theorem makes two multiples equal. Bounded canonical height of an elliptic curve likewise gives a finite set of $K$-rational points.

Now the Weak Mordell-Weil theorem gives finitely many representatives $R_1,\dots ,R_s$ for $E(K)/2E(K)$. Put $H={\max }_i\hat{h}(R_i)$. Write any point as $P=2Q+R_i$. ThenRepeatedly applying this height descent lemma eventually reaches height at most $H+1$: after $j$ steps the height is at most $H+2^{-j}(\hat{h}(P)-H)$. The set of points with height at most $H+1$ is finite. Reading the relations $P=2Q+R_i$ backwards shows that this finite set together with the $R_i$ generates $E(K)$. ConsequentlyHeights turn weak Mordell-Weil finiteness into the Mordell-Weil theorem. The canonical height pairing subsequently equips the free part with a positive definite quadratic form, useful for bounding searches and measuring independent generators; this interpretation is a consequence of the proof, not an assumption used in the descent.

Classical Kummer theory relates extraction of $n$th roots to Galois cohomology. In characteristic zero the exact sequenceand Hilbert theorem 90 identify $H^1(K,{\mu }_n)$ with $K^{\times }/K^{\times n}$. For an elliptic curve, the corresponding Kummer exact sequence of an elliptic curve isMultiplication by $n$ is surjective over the algebraic closure. If $nQ=P\in E(K)$, the cocycle $\sigma \mapsto \sigma Q-Q$ takes values in $E[n]$. Changing the choice of $Q$ changes it by a coboundary, and changing $P$ by an element of $nE(K)$ does not change its class. Conversely, a trivial cocycle class allows $Q$ to be adjusted by an $n$-torsion point to become $K$-rational. Thus the Kummer map of an elliptic curve is an injectionThis is the elliptic form of Kummer theory. The full cohomology group need not be finite; the arithmetic restriction on these classes is essential.

Choose a finite set $S$ of places containing the archimedean places, the primes over $n$, and all primes of bad reduction of an elliptic curve. At a finite place outside $S$, $E$ has good reduction and $n$ is a unit. A division point of the reduction of $P$ exists over the algebraic closure of the residue field. Smooth lifting gives a point over a finite unramified extension whose multiple differs from $P$ by an element of the kernel of reduction of an elliptic curve. In the formal group of an elliptic curve, $[n](T)=nT+O(T^2)$ is an isomorphism by the invertible morphism criterion for formal group laws, and its integral inverse converges on the maximal ideal. Correcting that difference produces a division point in the maximal unramified extension. Hence the Kummer map of an elliptic curve class is unramified outside $S$.

To prove finiteness explicitly, choose a finite Galois extension $L/K$ containing all $E[n]$ and all $n$th roots of unity, and enlarge $S$ to include its ramified places. A basis of $E[n]\cong (\mathbb{Z}/n\mathbb{Z}{)}^2$ identifies it over $L$ with ${\mu }_n^2$. Classical Kummer theory then identifiesThe restriction of every class in the image of $\delta$ belongs to $L(S_L,n{)}^2$, where the S-unramified power class group isIndeed an unramified local Kummer extension at residue characteristic prime to $n$ has valuation divisible by $n$: in an unramified field containing a root, $nv(a^{1/n})=v(a)$ with integral valuations.

The finiteness of S-unramified Kummer classes follows from the exact sequenceTo see the final map, write the ideal of $a$ away from $S_L$ as ${\mathfrak{a}}^n$ and take the ideal class of $\mathfrak{a}$. Its kernel is represented by an S-unit, after division by an $n$th power; conversely an $n$-torsion ideal class yields such an $a$. The S-unit group is finitely generated by the Dirichlet unit theorem together with the finitely many inverted primes. The ideal class group of the localized ring is a quotient of the finite ordinary ideal class group. Both outer groups are therefore finite.

Finally restriction has finite kernel: inflation-restriction puts it in the finite group $H^1(\mathrm{Gal}(L/K),E[n])$. Thus the image of $\delta$ has finite restriction image and finite kernel, andThis proves the weak Mordell-Weil theorem. Combining it with the height descent lemma proves the full Mordell-Weil theorem. Local restrictions at every place refine the finite group used here to the Selmer group of an elliptic curve, which is useful for explicit descent calculations.