Abstract:A 1979 letter from John Tate to Jean-Pierre Serre in which the author describes an efficient and elegant algorithm for computing local heights on elliptic curves.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to efficiently calculate the local canonical heights of elliptic curves over local fields \(K_v\). Specifically, in this letter, Tate described a fast and elegant algorithm for calculating the local canonical heights of elliptic curves over local fields, except for the case of the complex field \(\mathbb{C}\).
### Main problems:
1. **Calculating local canonical heights**: How to effectively calculate the local canonical height \(\lambda(P)\) of an elliptic curve over the local field \(K_v\), especially for \(K_v\neq \mathbb{C}\).
2. **Effectiveness and applicability of the algorithm**: Ensure that the algorithm is not only theoretically feasible but also can be used in practical calculations, for example, through programming implementation.
### Key content:
- **Elliptic curve equation**: Consider an elliptic curve \(E\) defined over a local field \(K\), whose standard equation is:
\[
y^2 + a_1xy + a_3y=x^3 + a_2x^2 + a_4x + a_6
\]
where \(b_2, b_4, b_6, b_8\) are the standard coefficients defined by \(a_i\).
- **Parameter selection**: Introduce a function \(t = \frac{1}{x + r}\), where \(r\) is chosen so that \(t\) is bounded on \(E(K_v)\) and \(t(2^nP)\) can be iteratively calculated without overflow.
- **Sequence definition**: Define sequences \((t_n), (W_n), (Z_n)\), where:
\[
t_0=\frac{1}{x(P)}, \quad t_{n + 1}=\frac{W_n}{Z_n}
\]
\[
W_n = 4t_n + b_2t_n^2+2b_4t_n^3 + b_6t_n^4
\]
\[
Z_n=1 - b_4t_n^2-2b_6t_n^3 - b_8t_n^4
\]
- **Height function definition**: Define height functions \(\mu(P)\) and \(\lambda(P)\):
\[
\mu(P)=\sum_{n = 0}^{\infty}\frac{1}{4^n}\log|Z_n|
\]
\[
\lambda(P)=\frac{1}{2}\log|x(P)|+\frac{1}{8}\mu(P)
\]
- **Properties and conclusions**: It is proved that \(\lambda(P)\) satisfies the following properties:
\[
\lambda(2P)=4\lambda(P)-\log|Y(P)|
\]
where \(Y = 2y + a_1x + a_3\), and when \(P\rightarrow0\), \(\lambda(P)-\frac{1}{2}\log|x(P)|\rightarrow0\).
### Summary:
Tate's algorithm provides an effective method for calculating the local canonical heights of elliptic curves over local fields, applicable to all local fields except the complex field. This method is not only of theoretical significance but also can be applied in practical calculations, such as through computer programs.