Skip to main content

Canonical heights and division polynomials

  • ROBIN de JONG (a1) and J. STEFFEN MÜLLER (a2)

We discuss a new method to compute the canonical height of an algebraic point on a hyperelliptic jacobian over a number field. The method does not require any geometrical models, neither p-adic nor complex analytic ones. In the case of genus 2 we also present a version that requires no factorisation at all. The method is based on a recurrence relation for the ‘division polynomials’ associated to hyperelliptic jacobians, and a diophantine approximation result due to Faltings.

Hide All
[1]Cassels, J. W. S. and Flynn, E. V.. Prolegomena to a middlebrow arithmetic of curves of genus 2. London Mathematical Society Lecture Note Series no. 230 (Cambridge University Press, 1996).
[2]David, S. and Hirata–Kohno, N.. Linear forms in elliptic logarithms. J. Reine Angew. Math. 628 (2009), 3789.
[3]Everest, G. and Ward, T.. The canonical height of an algebraic point on an elliptic curve. New York J. Math. 6 (2000), 331342.
[4]Faltings, G.. Diophantine approximation on abelian varieties. Ann. of Math. (2) 133 (1991), 549576.
[5]Flynn, E. V. and Smart, N. P.. Canonical heights on the Jacobians of curves of genus 2 and the infinite descent. Acta Arith. 79 (1997), 333352.
[6]Holmes, D.. Computing Néron–Tate heights of points on hyperelliptic Jacobians. J. Number Theory 132 (2012), 12951305.
[7]Kanayama, N.. Division polynomials and multiplication formulae of Jacobian varieties of dimension 2. Math. Proc. Camb. Phil. Soc. 139 (2005), 399409.
[8]Kanayama, N.. Corrections to “Division polynomials and multiplication formulae in dimension 2”. Math. Proc. Camb. Phil. Soc. 149 (2010), 189192.
[9]Lang, S.. Higher dimensional diophantine problems. Bull. Amer. Math. Soc. 80 (1974), 779787.
[10]Lang, S.. Fundamentals of Diophantine Geometry (Springer–Verlag, 1983).
[11]MAGMA is described in Bosma, W., Cannon, J. and Playoust, C.. The Magma algebra system I: The user language. J. Symb. Comp. 24 (1997), 235265.
[12]Müller, J. S.. Computing canonical heights using arithmetic intersection theory. Math. Comp. 83 (2014), 311336.
[13]Müller, J. S.. Explicit Kummer varieties of hyperelliptic Jacobian threefolds, to appear in LMS J. Comput. Math. (2014).
[14]Müller, J. S. and Stoll, M.. Canonical heights on genus two Jacobians. In preparation.
[15]Stoll, M.. On the height constant for curves of genus two, II. Acta Arith. 104 (2002), 165182.
[16]Stoll, M.. An explicit theory of heights for hyperelliptic Jacobians of genus three. In preparation.
[17]Uchida, Y.. Canonical local heights and multiplication formulas. Acta Arith. 149 (2011), 111130.
[18]Uchida, Y.. Division polynomials and canonical local heights on hyperelliptic Jacobians. Manuscript. Math. 134 (2011), 273308.
[19]Uchida, Y.. Valuations of Somos 4 sequences and canonical local heights on elliptic curves. Math. Proc. Camb. Phil. Soc. 150 (2011), 385397.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Proceedings of the Cambridge Philosophical Society
  • ISSN: 0305-0041
  • EISSN: 1469-8064
  • URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 17 *
Loading metrics...

Abstract views

Total abstract views: 130 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 17th March 2018. This data will be updated every 24 hours.