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 ﬁelds ${K}_{v}$ other than ${K}_{v}=\u2102$. Accounts of Tate’s algorithm were published in [1] and [2], the former including a modiﬁed algorithm that also allows ${K}_{v}=\u2102$. 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 eﬃcient 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 ${\lambda}_{v}$ on any local ﬁeld ${K}_{v}$ except in case ${K}_{v}\cong \u2102$. The trick is to use as parameter a function $t=\frac{1}{x+r}$ with a double zero at 0, but with $r$ chosen so that the 2 poles of $t$ are conjugate quadratic over ${K}_{v}$ rather than being in ${K}_{v}$, so that $t$ is bounded on the group $E\left({K}_{v}\right)$ of rational points, and the computer can compute $t\left({2}^{n}P\right)$ by iteration, never overﬂowing. The method is summed up in:

Theorem. Let $K$ be a local ﬁeld. Let $E$ be an elliptic curve over $K$ deﬁned by the usual equation

$${y}^{2}+{a}_{1}xy+{a}_{3}y={x}^{3}+{a}_{2}{x}^{2}+{a}_{4}x+{a}_{6}$$

and deﬁne ${b}_{2}$, ${b}_{4}$, ${b}_{6}$, and ${b}_{8}$ as usual. Suppose there is an open subgroup $\Gamma $ of $E\left(K\right)$ such that $x\left(P\right)$ does not take the value $0$ for $P\in \Gamma $.

[Examples: $\left(K=\mathbb{R}\right)$ If ${b}_{6}<0$, we can take $\Gamma =E\left(\mathbb{R}\right)$; if $\Delta >0$, and ${b}_{2}=0$ (or more generally if the point of order 2 on the connected component of $0$ has a strictly positive $x$-coordinate) then we can take $\Gamma ={E}^{0}\left(\mathbb{R}\right)$, the connected component of $0$ in $E\left(\mathbb{R}\right)$.]

Suppose $P\in \Gamma $. Deﬁne sequences $\left({t}_{n}\right)$, $\left({W}_{n}\right)$, and $\left({Z}_{n}\right)$, $n\ge 0$, inductively by:

$${t}_{0}=\frac{1}{x\left(P\right)}\text{and}{t}_{n+1}=\frac{{W}_{n}}{{Z}_{n}},\text{where}\left\{\begin{array}{ccc}\hfill {W}_{n}& =4{t}_{n}+{b}_{2}{t}_{n}^{2}+2{b}_{4}{t}_{n}^{3}+{b}_{6}{t}_{n}^{4},\hfill & \hfill \\ \hfill {Z}_{n}& =1-{b}_{4}{t}_{n}^{2}-2{b}_{6}{t}_{n}^{3}-{b}_{8}{t}_{n}^{4}.\hfill \\ \hfill \end{array}\right.$$

There are constants $\mathit{\epsilon}>0$ and $M$, independent of $P$, such that

$$\text{}\left|{t}_{n}\right|\le M\text{and}\left|{Z}_{n}\right|\ge \mathit{\epsilon}\text{forall}n\text{,}$$

and consequently there is a bound $N$ such that $log\left|{Z}_{n}\right|\le N$ for all $n$ and all $P\in \Gamma $. Put

$$\mu \left(P\right)=\sum _{n=0}^{\infty}\frac{1}{{4}^{n}}log\left|{Z}_{n}\right|\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\lambda \left(P\right)=\frac{1}{2}log\left|x\left(P\right)\right|+\frac{1}{8}\mu \left(P\right).$$

Then $\lambda $ is a function continuous on $\Gamma -\left\{0\right\}$, bounded outside of any neighborhood of $0$ in $\Gamma $, such that

$$\lambda \left(P\right)-\frac{1}{2}log\left|x\left(P\right)\right|\to 0\phantom{\rule{1em}{0ex}}\text{as}\phantom{\rule{1em}{0ex}}P\to 0,$$

and such that

$$\lambda \left(2P\right)=4\lambda \left(P\right)-log\left|Y\left(P\right)\right|,\phantom{\rule{1em}{0ex}}\text{if}2P\ne 0\text{,where}Y=2y+{a}_{1}x+{a}_{3}\text{.}$$

Proof. We have ${Y}^{2}=4{x}^{3}+{b}_{2}{x}^{2}+2{b}_{4}x+{b}_{6}$. Let ${x}_{2}=x\left(2P\right)$. Then

$${x}_{2}=\frac{{x}^{4}-{b}_{4}{x}^{2}-2{b}_{6}x-{b}_{8}}{4{x}^{3}+{b}_{2}{x}^{2}+2{b}_{4}x+{b}_{6}}=\frac{{x}^{4}Z}{{Y}^{2}},$$ | ($\ast $) |

where

$$Z=1-{b}_{4}{x}^{-2}-2{b}_{6}{x}^{-3}-{b}_{8}{x}^{-4}.$$

Now, under our underlined hypothesis, there is an $\mathit{\epsilon}>0$ such that

$$\text{}\left|x\left(P\right)\right|\ge \mathit{\epsilon}\text{for}P\in \Gamma \text{.}$$

Hence the function ${x}^{-1}$ is bounded on $\Gamma $, and so $Z$ is also. But $Z$ is bounded away from $0$, too, on $\Gamma $, because $\left|{x}_{2}\right|\ge \mathit{\epsilon}$, and $Z$ has no zero in common with ${x}^{-1}$ and $Y$. Thus $log\left|Z\right|$ is bounded on $\Gamma $. From ($\ast $) we see that, in the notation of the theorem, we have ${Z}_{n}=Z\left({2}^{n}P\right)$, and consequently

$$\mu \left(P\right)=\sum _{n=0}^{\infty}\frac{1}{{4}^{n}}log\left|Z\left({2}^{n}P\right)\right|$$

is well-deﬁned, continuous, and bounded on $\Gamma $; and satisﬁes

$$\mu \left(P\right)=log\left|Z\left(P\right)\right|+\frac{1}{4}\mu \left(2P\right).$$ | ($\ast \ast $) |

From ($\ast $) we ﬁnd for $P$ such that $2P\ne 0$,

$$log\left|x\left(2P\right)\right|=4log\left|x\left(P\right)\right|+log\left|Z\left(P\right)\right|-2log\left|Y\left(P\right)\right|.$$

Eliminating $log\left|Z\left(P\right)\right|$ from these last two equations we ﬁnd that the function

$$\lambda =\frac{1}{2}log\left|x\right|+\frac{1}{8}\mu $$

satisﬁes

$$\lambda \left(2P\right)=4\lambda \left(P\right)-log\left|Y\left(P\right)\right|\phantom{\rule{1em}{0ex}}\text{for}P\in \Gamma \text{,}2P\ne 0\text{.}$$

Moreover,

$$\lambda \left(P\right)-\frac{1}{2}log\left|x\left(P\right)\right|=\frac{1}{8}\mu \left(P\right)\to 0\phantom{\rule{1em}{0ex}}\text{as}\phantom{\rule{1em}{0ex}}P\to 0,$$

because $\mu $ is continuous and $\mu \left(0\right)=0$, as one sees by putting $P=0$ in ($\ast \ast $) and using $Z\left(0\right)=1$. □

Salut et Fraternité

J. Tate