Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 27 / 3

An isogeny of elliptic curves $\varphi :E_1\to E_2$ over a field $K$ is a nonconstant morphism preserving the identity and addition. It is surjective and finite: its image is a closed connected subgroup, and a nonconstant morphism of smooth projective curves is finite. The degree of an isogeny is the degree of its induced extension of function fields. A separable isogeny has degree equal to the number of geometric kernel points; in general the degree is the length of the finite kernel scheme, incorporating inseparability. The degree of an isogeny multiplies under composition, and degree one means an isomorphism. In characteristic zero all elliptic isogenies are separable. In positive characteristic the Frobenius isogeny illustrates inseparability, while an elliptic isogeny of degree prime to the characteristic is separable.

The homomorphism group of elliptic curves includes the zero homomorphism, the constant identity map, and every nonzero member is an elliptic isogeny. The operations are pointwise addition and negation; for endomorphisms, composition also gives the endomorphism ring of an elliptic curve. We put $q(0)=0$ and $q(\varphi )=\mathrm{deg}\varphi$ otherwise. We now prove the positive definiteness of degree on elliptic-curve homomorphisms in full.

Let $E=E_2$, and choose a Weierstrass model. Its coordinate $x$ has a double pole at $O$, and the generic fibre of $x$ consists of $P$ and $-P$. On $E\times E$ the rational function $x(P)-x(Q)$ therefore has Weil divisorwhere $\Delta =\{P=Q\}$, ${\Delta }_{-}=\{P=-Q\}$, $V=\{O\}\times E$, and $H=E\times \{O\}$. The generic zeros on the two diagonals have multiplicity one, and the generic poles on $V,H$ have multiplicity two; their intersections have codimension two and add no Weil divisor components. This argument also uses the general Weierstrass involution in characteristic $2$, where $-P$ need not mean changing just the sign of $y$.

For the sum and difference maps $a(P,Q)=P+Q$ and $s(P,Q)=P-Q$, the divisors $a^{\ast }(O)$ and $s^{\ast }(O)$ are ${\Delta }_{-}$ and $\Delta$. Consequently, for the degree-one line bundle $L={\mathcal{O}}_E(O)$,Pull back along $P\mapsto (\varphi (P),\psi (P))$ and take degrees of line bundles on $E_1$. A nonconstant map pulls back $L$ to degree equal to its degree, while a constant map pulls it back to a trivial bundle of degree zero. We obtain the degree parallelogram lawUsing the line-bundle identity is important: it still restricts correctly when $\varphi =\psi$ or $\varphi =-\psi$, when restriction of the displayed rational function would be identically zero.

Since $q(-\varphi )=q(\varphi )$, applying the identity to $n\varphi$ and $\varphi$ gives the second-difference recursionStarting from $q(0)=0$ and $q(\varphi )$ yields $q(n\varphi )=n^{2}q(\varphi )$ for all integers $n$. DefineIt is symmetric and odd in each variable. Applying the parallelogram identity to the four terms in its first expression givesInterchanging $u,w$ and using oddness also gives $B(u+w,v)-B(u-w,v)=2B(w,v)$. Adding proves $B(u+w,v)=B(u,v)+B(w,v)$; symmetry proves additivity in the other variable. Thus $q$ is a quadratic form with associated rational bilinear form $B$.

Every nonzero homomorphism has positive degree, so $q(\varphi )>0$ for $\varphi \ne 0$. The scaling identity also shows that the homomorphism group is a torsion-free group. Hence $q$ extends to its rational vector space. On the span of any finitely many rationally independent homomorphisms, the matrix of $B$ is rational. Positivity on nonzero rational vectors implies nonnegativity on real vectors by density. If the real matrix had a nontrivial kernel, its rational linear equations would have a nonzero rational solution, contradicting positivity. Thus its real extension is a positive-definite quadratic form. This establishes the requested positivity as well as the quadratic identities.

An important companion to degree is the dual isogeny. Under $E\cong {\mathrm{Pic}}^0(E)$ via $P\mapsto [P-O]$, the pullback ${\varphi }^{\ast }:{\mathrm{Pic}}^0(E_2)\to {\mathrm{Pic}}^0(E_1)$ defines $\hat{\varphi }:E_2\to E_1$. Divisor pushforward corresponds to $\varphi$, and pushforward after pullback multiplies divisor classes by $n=\mathrm{deg}\varphi$. Therefore $\varphi \hat{\varphi }=[n]$. Composing shows that $\hat{\varphi }\varphi -[n]$ takes values in the finite kernel of $\varphi$; a morphism from a connected smooth curve into this finite scheme must be constant, and its identity value is zero. ThusThe last equality follows from $\mathrm{deg}[n]=n^2$, already proved by applying $q(m\varphi )=m^{2}q(\varphi )$ to the identity map. The dual isogeny is unique, since the difference of two choices composed with $\varphi$ would vanish and $\varphi$ is surjective. It follows that being isogenous is an equivalence relation: duality supplies symmetry, and composition supplies transitivity. For a finite subgroup of geometric points of order prime to the characteristic, the quotient curve and its quotient map give an elliptic isogeny with that kernel; in general one uses finite subgroup schemes. This is the geometric source of explicit descent maps, including the two-isogeny formula in Question 4.

Finally elliptic isogenies preserve the rational rank of an abelian group over a number field. Their dual compositions are multiplication by $n$, so after tensoring the rational point groups with $\mathbb{Q}$ the elliptic isogeny becomes invertible. For a single curve, its endomorphism algebra in characteristic zero is $\mathbb{Q}$ or an imaginary quadratic field, giving ordinary integer multiplication or complex multiplication. In positive characteristic a supersingular curve can instead have a quaternionic endomorphism algebra. The positive degree form controls the sizes of these homomorphisms, while duality makes their arithmetic and geometric properties accessible.

Let $K$ be a number field and $E/K$ an elliptic curve. Heights measure the arithmetic size of points, and turn the finite quotient supplied by the Weak Mordell-Weil theorem into finite generation. For a projective point $[X:Z]\in {\mathbb{P}}^1(K)$ define the Absolute logarithmic Weil heightusing the usual normalized absolute values and local degrees $n_v=[K_v:{\mathbb{Q}}_v]$. The product formula makes this independent of scaling and of enlarging $K$. For a Short Weierstrass form put $h_x(P)=h([x(P):1])$ and $h_x(O)=h([1:0])=0$. Over $\mathbb{Q}$, if $x=A/B$ in lowest terms, $h(x)=\log \max (|A|,|B|)$.

The finiteness property is Northcott theorem: for bounded height and bounded degree over $\mathbb{Q}$ there are only finitely many algebraic numbers. One sees the mechanism from the height-Mahler measure formula. If $\alpha$ has degree $d\le D$ and height at most $H$, its primitive integral minimal polynomial has Mahler measure $e^{dh(\alpha )}\le e^{DH}$. Expanding its product of linear factors bounds every coefficient by $2^D{e}^{DH}$. Only finitely many integral polynomials satisfy this bound, and each has finitely many roots. Thus a height bound gives only finitely many $x$-coordinates in the fixed number field $K$, and each gives at most two points of $E$, besides $O$.

To understand multiplication, the doubling formula givesIts homogeneous numerator and denominator have degree four. They have no common projective zero: at infinity the numerator is nonzero, and at a root of $f(t)=t^3+at+b$ the numerator equals $f^{\prime }(t{)}^2$, since it is $f^{\prime }(t{)}^2-8tf(t)$. Nonsingularity excludes a common root of $f,f^{\prime }$. The coordinate doubling map is therefore a degree-four morphism of the projective line.

The general height growth under a morphism of the projective line is $h(\Phi (t))=dh(t)+O(1)$ for a fixed degree-$d$ morphism. Here is why the error is bounded independently of $t$. At a place $v$, normalize its homogeneous coordinates to have maximum norm $1$. The fixed homogeneous forms have uniformly bounded norm. They also have a positive lower bound: the normalized coordinate space is compact over $K_v$, and their common zero set is empty. Outside finitely many places their coefficients are integral and their reduction has no common zero, making both bounds $1$. Homogeneity and summation over places then give the asserted height estimate. Consequently there is a fixed $C$ with

Define the canonical height of an elliptic curve by the conventional normalizationThe successive approximants differ by at most $C/(2\cdot 4^{n+1})$, so the limit exists andThus canonical height retains Northcott finiteness, while replacing the bounded-error doubling rule by an exact one.

We also need the height parallelogram identity. It follows from the symmetric-square proof of the naive height parallelogram estimate, which we give explicitly using the supplied addition formulae. For $x_i=X_i/Z_i$, the unordered pair $x(P+Q),x(P-Q)$ is represented by the binary quadratic $C{T}^2-BTS+A{S}^2$, whereThese forms define the biquadratic morphism for elliptic sums and differences. They have no common zero. If $C=0$, the two projective coordinates agree. On the finite diagonal $x_1=x_2=t$, $B=4f(t)$ and $A=f^{\prime }(t{)}^2-8tf(t)$, so simultaneous vanishing would violate nonsingularity. At $(\infty ,\infty )$ the homogeneous $A$ is nonzero. This also handles $P=\pm Q$ and sums or differences equal to $O$, for which the affine fractions alone would be inappropriate.

The same local norm argument as above, now using bidegree $(2,2)$, givesOn the other hand the binary quadratic is the product of two linear factors for $x(P+Q)$ and $x(P-Q)$. At nonarchimedean places coefficient maximum norms multiply exactly: scale each factor to norm $1$ and reduce; the product of the two nonzero residue polynomials remains nonzero. This is multiplicativity of the nonarchimedean polynomial norm. At archimedean places the norms are comparable up to fixed constants, by the coefficient triangle inequality and compactness of normalized linear factors. ThereforeCombining the estimates proves the naive-height parallelogram relation with a uniform error. Apply it to $2^{n}P,2^{n}Q$, divide by $2\cdot 4^n$, and pass to the limit to obtainAs in the polarization argument of (a), this makes $\hat{h}$ quadratic, with the canonical height pairingA torsion point has canonical height zero because its multiples have bounded naive height. Conversely, if $\hat{h}(P)=0$, then all $2^{n}P$ have bounded naive height. Northcott finiteness makes two equal, giving $(2^j-2^i)P=O$ for some $j>i$. Thus canonical height vanishes exactly on torsion. In particular the torsion subgroup is finite, since the comparison with naive height bounds the heights of all its points.

We can now prove the Mordell-Weil theorem. The Weak Mordell-Weil theorem, as explained in Question 2(ii), makes $E(K)/2E(K)$ finite. Choose representatives $R_1,\dots ,R_s$ and put $M={\max }_i\hat{h}(R_i)$. Every $P$ can be written $P=2Q+R_i$. The parallelogram identity and nonnegativity giveIterating this height descent makes the height at step $n$ at most $M+2^{-n}\max (\hat{h}(P)-M,0)$, so after finitely many steps it is at most $M+1$. There are only finitely many points of that height by Northcott and the naive-height comparison. Reversing $P=2Q+R_i$ shows that every point is an integer combination of the finitely many representatives and this finite bounded-height set. ThereforeOn the resulting free part the canonical height pairing is positive definite. Its nonnegativity extends from rational vectors to real vectors by density. If a nonzero real vector $v$ were in its kernel, in a basis of the free part round $nv$ to integer vectors $z_n$. Their rounding errors are uniformly bounded, and $\hat{h}(z_n)=\hat{h}(z_n-nv)$ would be uniformly bounded. The vectors $z_n$ are unbounded and therefore include infinitely many distinct vectors, contradicting Northcott finiteness. Thus there is no real null vector. Heights consequently support quantitative point searches, tests of independence, and the regulator of an elliptic curve, in addition to providing the descent that proves finite generation.