No label defined (Q3977593)

[For the entire collection see Zbl 0689.00005.] Let \(\mathbb{K}\) be an algebraic number field of finite degree over \(\mathbb{Q}\), and let \(E/\mathbb{K}\) be an elliptic curve. It is well known that the canonical global height \(\hat h\) on the group of points \(E(\mathbb{K})\) can be given by the limit formula \(\hat h(P)=\lim_{m\to\infty} h(n^ mP)/n^{2m}\), for any fixed integer \(n>1\). Here \(h\) denotes the ordinary global height function. This paper presents a limit formula for the canonical logal height \(\hat h_{\mathfrak p}\) in case of an elliptic curve \(E\) defined over a local field \(K_{\mathfrak p}\). The actual formula is somewhat involved, so it is not reproduced here. The proof is deferred to a forthcoming paper, but a brief outline is given, as well as sharp estimates of the difference between the canonical local height and the so-called modified local height (modified with respect to the ordinary local height) on which the proof is based. The estimates are stronger than those previously obtained by the author. The final section discusses the computation of the canonical global height.