Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-13T05:57:40.354Z Has data issue: false hasContentIssue false
  • English
  • Français

Coleman integration for even-degree models of hyperelliptic curves

Part of: Algebraic number theory: local and $p$-adic fields Arithmetic problems. Diophantine geometry

Published online by Cambridge University Press:  01 April 2015

Jennifer S. Balakrishnan
Jennifer S. Balakrishnan*
Affiliation:
Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Road, Oxford OX2 6GG, United Kingdom email balakrishnan@maths.ox.ac.uk

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The Coleman integral is a $p$-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

MSC classification

Primary: 11S80: Other analytic theory (analogues of beta and gamma functions, $p$-adic integration, etc.)
Secondary: 14G22: Rigid analytic geometry
Type
Research Article
Information
LMS Journal of Computation and Mathematics , Volume 18 , Issue 1 , 2015 , pp. 258 - 265
Copyright
© The Author 2015 

References

Balakrishnan, J. S., ‘Iterated Coleman integration for hyperelliptic curves’, ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium , Open Book Series 1 (eds Howe, E. W. and Kedlaya, K. S.; Mathematical Sciences Publishers, 2013) 41–61.Google Scholar
Balakrishnan, J. S., Besser, A. and Müller, J. S., ‘Quadratic Chabauty: $p$ -adic height pairings and integral points on hyperelliptic curves’, J. reine angew. Math., to appear.Google Scholar
Balakrishnan, J. S., Bradshaw, R. W. and Kedlaya, K. S., ‘Explicit Coleman integration for hyperelliptic curves’, Algorithmic number theory , Lecture Notes in Computer Science 6197 (eds Hanrot, G., Morain, F. and Thomé, E.; Springer, 2010) 16–31.CrossRefGoogle Scholar
Chabauty, C., ‘Sur les points rationnels des courbes algébriques de genre supérieur à l’unité’, C. R. Acad. Sci. Paris 212 (1941) 882–885.Google Scholar
Coleman, R. F., ‘Dilogarithms, regulators and p-adic L-functions’, Invent. Math. 69 (1982) no. 2, 171–208.CrossRefGoogle Scholar
Coleman, R. F., ‘Effective Chabauty’, Duke Math. J. 52 (1985) no. 3, 765–770.CrossRefGoogle Scholar
Coleman, R. F., ‘Torsion points on curves and p-adic abelian integrals’, Ann. of Math. (2) 121 (1985) no. 1, 111–168.CrossRefGoogle Scholar
Coleman, R. F. and de Shalit, E., ‘ p-adic regulators on curves and special values of p-adic L-functions’, Invent. Math. 93 (1988) no. 2, 239–266.CrossRefGoogle Scholar
Flynn, E. V., ‘Descent via isogeny in dimension 2’, Acta Arith. 66 (1994) no. 1, 23–43.CrossRefGoogle Scholar
Flynn, E. V., ‘A flexible method for applying Chabauty’s theorem’, Compos. Math. 105 (1997) no. 1, 79–94.CrossRefGoogle Scholar
Harrison, M. C., ‘An extension of Kedlaya’s algorithm for hyperelliptic curves’, J. Symbolic Comput. 47 (2012) no. 1, 89–101.CrossRefGoogle Scholar
Kedlaya, K. S., ‘Counting points on hyperelliptic curves using Monsky–Washnitzer cohomology’, J. Ramanujan Math. Soc. 16 (2001) 323–338; erratum J. Ramanujan Math. Soc. 18 (2003) 417–418.Google Scholar
Stein, W. A. et al. , ‘Sage mathematics software, version 6.2’ (The Sage Development Team, 2014) http://www.sagemath.org.Google Scholar