Abstract
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 functions.
Similar content being viewed by others
References
Adams W.W., Loustaunau P.: An Introduction to Gröbner Bases. Graduate Studies in Mathematics, vol. 3. American Mathematical Society, Providence (1994)
Baker H.F.: Abelian Functions: Abel’s Theorem and the Allied Theory of Theta Functions. Cambridge University Press, Cambridge (1897)
Baker H.F.: On a system of differential equations leading to periodic functions. Acta Math. 27, 135–156 (1903)
Baker H.F.: An Introduction to the Theory of Multiply Periodic Functions. Cambridge University Press, Cambridge (1907)
Buchstaber V.M., Enolskii V.Z., Leykin D.V.: Kleinian functions, hyperelliptic Jacobians and applications. Rev. Math. Math. Phys. 10, 1–125 (1997)
Buchstaber V.M., Enolskii V.Z., Leykin D.V.: A recursive family of differential polynomials generated by the Sylvester identity and addition theorems for hyperelliptic Kleinian functions. Funct. Anal. Appl. 31, 240–251 (1997)
Bukhshtaber V.M., Leikin D.V., Enol’skii V.Z.: σ-Functions of (n, s)-curves. Russ. Math. Surv. 54, 628–629 (1999)
Call G.S., Silverman J.H.: Canonical heights on varieties with morphisms. Compost. Math. 89, 163–205 (1993)
Cantor D.G.: On the analogue of the division polynomials for hyperelliptic curves. J. Reine Angew. Math. 447, 91–145 (1994)
Caspary F.: Zur Theorie der Thetafunctionen mehrerer Argumente. J. Reine Angew. Math. 96, 324–326 (1884)
Frobenius G.: Ueber Thetafunctionen mehrerer Variabeln. J. Reine Angew. Math. 96, 100–122 (1884)
Grant D.: Formal groups in genus two. J. Reine Angew. Math. 411, 96–121 (1990)
Grayson, D.R., Stillman, M.E.: Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/
Hindry M., Silverman J.H.: Diophantine Geometry: An Introduction. Graduate Texts in Mathematics, vol. 201. Springer-Verlag, New York (2000)
Kanayama N.: Division polynomials and multiplication formulae of Jacobian varieties of dimension 2. Math. Proc. Camb. Philos. Soc. 139, 399–409 (2005)
Kanayama N.: Corrections to “Division polynomials and multiplication formulae in dimension 2”. Math. Proc. Camb. Philos. Soc. 149, 189–192 (2010)
Lang S.: Introduction to Algebraic and Abelian Functions, 2nd edn. Graduate Texts in Mathematics, vol. 89. Springer-Verlag, New York (1982)
Lang S.: Fundamentals of Diophantine Geometry. Springer-Verlag, New York (1983)
Maxima.sourceforge.net: Maxima, a Computer Algebra System. Version 5.18.1, http://maxima.sourceforge.net/ (2009)
Mumford D.: Tata Lectures on Theta I. Progress in Mathematics, vol. 28. Birkhäuser, Boston (1983)
Mumford D.: Tata Lectures on Theta II. Progress in Mathematics, vol. 43. Birkhäuser, Boston (1984)
Nakayashiki, A.: On algebraic expressions of sigma functions for (n, s) curves. arXiv:0803.2083v1 [math.AG]
Noro, M., et al.: A computer algebra system Risa/Asir. http://www.math.kobe-u.ac.jp/Asir/
Ônishi Y.: Determinant expressions for Abelian functions in genus two. Glasg. Math. J. 44, 353–364 (2002)
Ônishi Y.: Determinantal expressions for hyperelliptic functions in genus three. Tokyo J. Math. 27, 299–312 (2004)
Ônishi Y.: Determinant expressions for hyperelliptic functions (with an appendix by Shigeki Matsutani). Proc. Edinb. Math. Soc. 48, 705–742 (2005)
Schmitt S., Zimmer H.G.: Elliptic Curves: A Computational Approach. de Gruyter Studies in Mathematics 31. Walter de Gruyter, Berlin (2003)
Silverman J.H.: Advanced Topics in the Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, vol. 151. Springer-Verlag, New York (1994)
van der Waerden B.L.: Algebra, vol. 2. Ungar, New York (1970)
Weierstrass, K.: Zur Theorie der Jacobi’schen Functionen von mehreren Veränderlichen. Sitzung. Königlich Preuss. Akad. Wiss. Berl. 505–508 (1882); Mathematische Werke III, Johnson Reprint Corporation, New York, pp. 155–159 (1967)
Whittaker E.T., Watson G.N.: A Course of Modern Analysis, 4th edn. Cambridge University Press, Cambridge (1927)
Yoshitomi K.: On height functions on Jacobian surfaces. Manuscripta Math. 96, 37–66 (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uchida, Y. Division polynomials and canonical local heights on hyperelliptic Jacobians. manuscripta math. 134, 273–308 (2011). https://doi.org/10.1007/s00229-010-0394-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-010-0394-9