Hostname: page-component-5c6d5d7d68-sv6ng Total loading time: 0 Render date: 2024-08-15T07:17:19.119Z Has data issue: false hasContentIssue false

The elliptic Mahler measure

Published online by Cambridge University Press:  24 October 2008

G. R. Everest
Affiliation:
School of Mathematics, University of East Anglia, Norwich, NR4 7TJ e-mail: g.everesta@uea.ac.uk
Bríd Ní Fhlathúin
Affiliation:
School of Mathematics, University of East Anglia, Norwich, NR4 7TJ e-mail: g.everesta@uea.ac.uk

Extract

In this paper, we are going to introduce an elliptic analogue of the classical Mahler measure of an integral polynomial. The measure is shown to vanish if and only if the roots of the polynomial are attached to division points of the curve. This is the exact analogue of the statement that the Mahler measure of an integral polynomial vanishes if and only if all of its roots are division points of the circle (in other words, roots of unity). The proof of this result exploits an integral representation for the local canonical heights on the elliptic curve. The integral is that of a simple polynomial function over the complete curve in the appropriate valuation. Attention then shifts to the calculation of local integrals of arbitrary rational functions on elliptic curves. Results are proved which show these integrals may be computed as effective limits of Riemann sums. Finally, consideration is given to analogous behaviour for abelian varieties. We give a method, in principle, for computing the global canonical height of a rational point on an abelian variety denned over an algebraic number field, once again exploiting the integral representation of the local heights. The methods used include recent inequalities for linear forms in elliptic and abelian logarithms.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bertrand, D.. La theorie de Baker revisitée. Publ. Math, de l'université de Paris VI, Problèmes Diophantiens exp. no. 2 (1984/1985).Google Scholar
[2]David, S.. Minoralions de formes linéaires de logarithmes elliptiques. Publ. Math, de l'université Pierre et Marie Curie, Problèmes Diophantiens exp. no. 3 106 (1991/1992).Google Scholar
[3]Denef, J. and Van Den Dries, L., p-adic and real subanalytic sets. Annals of Mathematics 128 (1988), 79138.Google Scholar
[4]Faltings, G.. Diophantine approximation on abelian varieties. Annals of Mathematics 133 (1991), 549576.Google Scholar
[5]Fhlathúin, Bríd Ní. Mahler's measure on Abelian varieties. PhD Thesis, University of East Anglia, 1995.Google Scholar
[6]Flynn, Eugene Victor. The Jacobian-and formal group of a curve of genus 2 over an arbitrary ground field. Math. Proc. Camb. Phil. Soc. 107 (1990), 425441.CrossRefGoogle Scholar
[7]David, Grant. Formal groups in genus two. J. reine angew. Math. 411 (1990), 96121.Google Scholar
[8]Kuipers, L. and Niederreiter, H.. Uniform Distribution of Sequences (Wiley, 1974).Google Scholar
[9]Lang, S.. Fundamentals of Diophantine Geometry (Springer-Verlag, 1983).CrossRefGoogle Scholar
[10]Mahler, K.. An application of Jensen's formula to polynomials. Mathematika 7 (1960), 98100.Google Scholar
[11]Van Der Poorten, A. J.. Zeros of exponential polynomials. Indag. Math. 38 (1976), 4649.Google Scholar
[12]Silverman, Joseph H.. The arithmetic of elliptic curves (Springer-Verlag, 1986).CrossRefGoogle Scholar
[13]Silverman, Joseph H.. Computing heights on elliptic curves. Mathematics of Computation 51 (1988), 339358.Google Scholar
[14]Tschope, Heinz M. and Zimmer, Horst G.. Computations of the Neron-Tate height on elliptic curves. Math. Comp. 48 (1987), 351370.Google Scholar
[15]Zagier, D. B.. Large integral points on curves. Math. Comp. 48 (1987), 425436.CrossRefGoogle Scholar
[16]Horst, Gunter Zimmer. On the difference of the Weil height and the Neron-Tate height. Math. Zeit. 147 (1976), 3553.Google Scholar