An oft cited letter from Tate to Serre on computing local heights on elliptic curves

This document contains a letter written by John Tate to Jean-Pierre Serre in 1979 in which Professor Tate describes a fast and elegant algorithm for computing local canonical heights on elliptic curves over local fields KvK_{v} other than Kv=K_{v}=\mathbb{C}. Accounts of Tate’s algorithm were published in [1] and [2], the former including a modified algorithm that also allows Kv=K_{v}=\mathbb{C}. But over the years there have been numerous articles that make direct reference to the original handwritten letter, so Professor Tate has kindly given me permission to post this typeset version on the ArXiv.

Joseph H. Silverman
July 24, 2012

[1]  J. H. Silverman, Computing heights on elliptic curves, Math. Comp. 51 (1988), 339–358.

[2]  H. Tschöpe and H. Zimmer, Computation of the Néron-Tate height on elliptic curves, Math. Comp. 48 (1987), 351–370.

October 1, 1979

Dear Serre,

Here is an appendix to my letter of 21 June 1968. I want to explain what seems to me an efficient way to compute λ\lambda_{\infty}, the “canonical quasifunction” on an elliptic curve over \mathbb{R}. The method can be used on an HP25 (see enclosed programs). On the other hand, from a theoretical point of view it can be used to show the existence of the λv\lambda_{v} on any local field KvK_{v} except in case KvK_{v}\cong\mathbb{C}. The trick is to use as parameter a function t=1x+rt=\frac{1}{x+r} with a double zero at 0, but with rr chosen so that the 2 poles of tt are conjugate quadratic over KvK_{v} rather than being in KvK_{v}, so that tt is bounded on the group E(Kv)E(K_{v}) of rational points, and the computer can compute t(2nP)t(2^{n}P) by iteration, never overflowing. The method is summed up in:


Let KK be a local field. Let EE be an elliptic curve over KK defined by the usual equation


and define b2b_{2}, b4b_{4}, b6b_{6}, and b8b_{8} as usual. Suppose there is an open subgroup Γ\Gamma of E(K)E(K) such that x(P)x(P) does not take the value 00 for PΓP\in\Gamma.

[Examples:(K=)(K=\mathbb{R}) If b6<0b_{6}<0, we can take Γ=E()\Gamma=E(\mathbb{R}); if Δ>0\Delta>0, and b2=0b_{2}=0 (or more generally if the point of order 2 on the connected component of 00 has a strictly positive xx-coordinate) then we can take Γ=E0()\Gamma=E^{0}(\mathbb{R}), the connected component of 00 in E()E(\mathbb{R}).]

Suppose PΓP\in\Gamma. Define sequences (tn)(t_{n}), (Wn)(W_{n}), and (Zn)(Z_{n}), n0n\geq 0, inductively by:

t0=1x(P) and tn+1=WnZn, where {Wn=4tn+b2tn2+2b4tn3+b6tn4,Zn=1-b4tn2-2b6tn3-b8tn4.t_{0}=\frac{1}{x(P)}\text{ and }t_{n+1}=\frac{W_{n}}{Z_{n}},\text{ where }% \left\{\begin{aligned}\displaystyle W_{n}&\displaystyle=4t_{n}+b_{2}t^{2}_{n}+% 2b_{4}t^{3}_{n}+b_{6}t^{4}_{n},\\ \displaystyle Z_{n}&\displaystyle=1-b_{4}t^{2}_{n}-2b_{6}t^{3}_{n}-b_{8}t^{4}_% {n}.\\ \end{aligned}\right.

There are constants ε>0\varepsilon>0 and MM, independent of PP, such that

|tn|M|t_{n}|\leq M and |Zn|ε|Z_{n}|\geq\varepsilon for all nn,

and consequently there is a bound NN such that log|Zn|N\log|Z_{n}|\leq N for all nn and all PΓP\in\Gamma. Put

μ(P)=n=014nlog|Zn|𝑎𝑛𝑑λ(P)=12log|x(P)|+18μ(P).\mu(P)=\sum^{\infty}_{n=0}\frac{1}{4^{n}}\log|Z_{n}|\quad\text{and}\quad% \lambda(P)=\frac{1}{2}\log\bigl|x(P)\bigr|+\frac{1}{8}\mu(P).

Then λ\lambda is a function continuous on Γ-{0}\Gamma-\{0\}, bounded outside of any neighborhood of 00 in Γ\Gamma, such that

λ(P)-12log|x(P)|0𝑎𝑠P0,\lambda(P)-\frac{1}{2}\log\bigl|x(P)\bigr|\to 0\quad\text{as}\quad P\to 0,

and such that

λ(2P)=4λ(P)-log|Y(P)|, if 2P02P\neq 0, where Y=2y+a1x+a3Y=2y+a_{1}x+a_{3}.\lambda(2P)=4\lambda(P)-\log\bigl|Y(P)\bigr|,\quad\text{if $2P\neq 0$, where $% Y=2y+a_{1}x+a_{3}$.}

We have Y2=4x3+b2x2+2b4x+b6Y^{2}=4x^{3}+b_{2}x^{2}+2b_{4}x+b_{6}. Let x2=x(2P)x_{2}=x(2P). Then

x2=x4-b4x2-2b6x-b84x3+b2x2+2b4x+b6=x4ZY2,x_{2}=\frac{x^{4}-b_{4}x^{2}-2b_{6}x-b_{8}}{4x^{3}+b_{2}x^{2}+2b_{4}x+b_{6}}=% \frac{x^{4}Z}{Y^{2}},\tag{$*$}



Now, under our underlined hypothesis, there is an ε>0\varepsilon>0 such that

|x(P)|ε\bigl|x(P)\bigr|\geq\varepsilon for PΓP\in\Gamma.

Hence the function x-1x^{-1} is bounded on Γ\Gamma, and so ZZ is also. But ZZ is bounded away from 00, too, on Γ\Gamma, because |x2|ε|x_{2}|\geq\varepsilon, and ZZ has no zero in common with x-1x^{-1} and YY. Thus log|Z|\log|Z| is bounded on Γ\Gamma. From (?) we see that, in the notation of the theorem, we have Zn=Z(2nP)Z_{n}=Z(2^{n}P), and consequently


is well-defined, continuous, and bounded on Γ\Gamma; and satisfies


From (?) we find for PP such that 2P02P\neq 0,

log|x(2P)|=4log|x(P)|+log|Z(P)|-2log|Y(P)|.\log\bigl|x(2P)\bigr|=4\log\bigl|x(P)\bigr|+\log\bigl|Z(P)\bigr|-2\log\bigl|Y(% P)\bigr|.

Eliminating log|Z(P)|\log\bigl|Z(P)\bigr| from these last two equations we find that the function



λ(2P)=4λ(P)-log|Y(P)|for PΓP\in\Gamma2P02P\neq 0.\lambda(2P)=4\lambda(P)-\log\bigl|Y(P)\bigr|\quad\text{for $P\in\Gamma$, $2P% \neq 0$.}


λ(P)-12log|x(P)|=18μ(P)0asP0,\lambda(P)-\frac{1}{2}\log\bigl|x(P)\bigr|=\frac{1}{8}\mu(P)\to 0\quad\text{as% }\quad P\to 0,

because μ\mu is continuous and μ(0)=0\mu(0)=0, as one sees by putting P=0P=0 in (?) and using Z(0)=1Z(0)=1. ∎

Salut et Fraternité

J. Tate