Canonical heights and division polynomials
arXiv:1306.4030 · doi:10.1017/S0305004114000371
Abstract
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 -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.
17 pages, 2 figures, 2 tables; comments welcome