# Division polynomials and canonical local heights on hyperelliptic Jacobians

@article{Uchida2011DivisionPA, title={Division polynomials and canonical local heights on hyperelliptic Jacobians}, author={Yukihiro Uchida}, journal={Manuscripta Mathematica}, year={2011}, volume={134}, pages={273-308} }

We generalize the division polynomials of elliptic curves to hyperelliptic Jacobians over the complex numbers. We construct them by using the hyperelliptic sigma function. Using the division polynomial, we describe a condition that a point on the Jacobian is a torsion point. We prove several properties of the division polynomials such as determinantal expressions and recurrence formulas. We also study relations among the sigma function, the division polynomials, and the canonical local height… Expand

#### 9 Citations

Canonical heights and division polynomials

- Mathematics
- 2014

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… Expand

Canonical heights and division polynomials

- Mathematical Proceedings of the Cambridge Philosophical Society
- 2014

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… Expand

Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

- Mathematics
- 2020

Two problems are addressed: reduction of an arbitrary degree non-special divisor to the equivalent divisor of the degree equal to genus of a curve, and addition of divisors of arbitrary degrees. The… Expand

Formulae for Computation of Tate Pairing on Hyperelliptic Curve Using Hyperelliptic Nets

- Mathematics, Computer Science
- AFRICACRYPT
- 2014

The Uchida and Uchiyama algorithm for curves of all genus is extended, giving a generalization of elliptic nets to hyperelliptic curves and the optimality of these algorithms is studied. Expand

Addition of divisors on trigonal curves

- Mathematics
- 2020

In this paper we present a realisation of addition of divisors on the basis of uniformisation of Jacobi varieties of plain algebraic curves. Addition is realised through consecutive reduction of a… Expand

Sigma-function solution to the general Somos-6 recurrence via hyperelliptic Prym varieties

- Mathematics, Physics
- 2015

We construct the explicit solution of the initial value problem for sequences generated by the general Somos-6 recurrence relation, in terms of the Kleinian sigma-function of genus two. For each… Expand

The Tate-Lichtenbaum Pairing on a Hyperelliptic Curve via Hyperelliptic Nets

- Mathematics, Computer Science
- Pairing
- 2012

Hegeliptic nets are defined as a generalization of elliptic nets to hyperelliptic curves and an expression for the Tate-Lichtenbaum pairing on a hypelliptic curve in terms of hyperellipic nets is given. Expand

Isogenous components of Jacobian surfaces

- Mathematics
- European Journal of Mathematics
- 2019

Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, \iota)$ its Jacobian, where $\iota$ is the principal polarization of $\mbox{Jac}… Expand

Addition formulae on hyperelliptic curves : applications to cryptography. (Formules d'addition sur les jacobiennes de courbes hyperelliptiques : applications à la cryptographie)

- Computer Science, Philosophy
- 2014

Dans cette these, j’etudie deux aspects distincts de the cryptographie basee sur les courbes elliptiques et hyperelliptique, mais ne donnerent un algorithme pour le calcul de couplages que dans le cas des courbes de genre 2. Expand

#### References

SHOWING 1-10 OF 38 REFERENCES

On height functions on Jacobian surfaces

- Mathematics
- 1998

Abstract:The canonical height on an abelian variety is useful and important for the study of the Mordell-Weil group. But it is difficult to calculate the canonical height in general. We give an… Expand

Division polynomials and multiplication formulae of Jacobian varieties of dimension 2

- Mathematics
- Mathematical Proceedings of the Cambridge Philosophical Society
- 2005

D. Grant gave a set of defining equations and the addition formulae on the Jacobian varieties of hyperelliptic curves of the form $y^2=x^{5}+\cdots$, using the $\sigma$-function and hyperelliptic… Expand

DETERMINANT EXPRESSIONS FOR HYPERELLIPTIC FUNCTIONS

- Mathematics
- Proceedings of the Edinburgh Mathematical Society
- 2005

Abstract In this paper we give an elegant generalization of the formula of Frobenius–Stickelberger from elliptic curve theory to all hyperelliptic curves. A formula of Kiepert type is also obtained… Expand

Determinantal Expressions for Hyperelliptic Functions in Genus Three

- Mathematics
- 2001

In this paper we generalize the formula of Frobenius-Stickelberger and the formula of Kiepert to genus-three case. The latter is well-known determinant expression for any division polynomial of any… Expand

Determinant Expressions for Hyperelliptic Functions (with an Appendix by Shigeki Matsutani)

- Mathematics
- 2001

In this paper we give quite pretty generalization of the formula of Frobenius-Stickelberger to all hyperelliptic curves. The formula of Kiepert type is also obtained by limiting process from this… Expand

Formal groups in genus two.

- Mathematics
- 1990

Despite the machinery of modern algebraic geometry, the study of elliptic curves is still greatly facilitated by explicit knowledge of their defining equations and group laws. The study of abelian… Expand

Advanced Topics in the Arithmetic of Elliptic Curves

- Mathematics
- 1994

In The Arithmetic of Elliptic Curves, the author presented the basic theory culminating in two fundamental global results, the Mordell-Weil theorem on the finite generation of the group of rational… Expand

Determinant Expressions for Abelian Functions in Genus Two

- Mathematics
- 2001

In this paper we generalize the formula of Frobenius-Stickelberger and the formula of Kiepert type to the genus-two case.

On Algebraic Expressions of Sigma Functions for (n,s) Curves

- Mathematics
- 2008

An expression of the multivariate sigma function associated with a (n,s)-curve is given in terms of algebraic integrals. As a corollary the first term of the series expansion around the origin of the… Expand

On the Analogue of the Division Polynomials for Hyperelliptic Curves

- 2012

On the Analogue of the Division Polynomials for Hyperelliptic Curves