Explicit Coleman integration for curves
HTML articles powered by AMS MathViewer
- by Jennifer S. Balakrishnan and Jan Tuitman;
- Math. Comp. 89 (2020), 2965-2984
- DOI: https://doi.org/10.1090/mcom/3542
- Published electronically: May 22, 2020
- HTML | PDF | Request permission
Abstract:
The Coleman integral is a $p$-adic line integral that plays a key role in computing several important invariants in arithmetic geometry. We give an algorithm for explicit Coleman integration on curves, using the algorithms of the second author [Math. Comp. 85 (2016), pp. 961–981] and [Finite Fields Appl. 45 (2019), pp. 301–322] to compute the action of Frobenius on $p$-adic cohomology. We present a collection of examples computed with our implementation. This includes integrals on a genus 55 curve, where other methods do not currently seem practical.References
- Jennifer S. Balakrishnan, Iterated Coleman integration for hyperelliptic curves, ANTS X—Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Ser., vol. 1, Math. Sci. Publ., Berkeley, CA, 2013, pp. 41–61. MR 3207407, DOI 10.2140/obs.2013.1.41
- Jennifer S. Balakrishnan, Coleman integration for even-degree models of hyperelliptic curves, LMS J. Comput. Math. 18 (2015), no. 1, 258–265. MR 3349319, DOI 10.1112/S1461157015000029
- Jens-Dietrich Bauch, Computation of integral bases, J. Number Theory 165 (2016), 382–407. MR 3479230, DOI 10.1016/j.jnt.2016.01.011
- Jennifer S. Balakrishnan, Robert W. Bradshaw, and Kiran S. Kedlaya, Explicit Coleman integration for hyperelliptic curves, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 6197, Springer, Berlin, 2010, pp. 16–31. MR 2721410, DOI 10.1007/978-3-642-14518-6_{6}
- Francesco Baldassarri and Bruno Chiarellotto, Algebraic versus rigid cohomology with logarithmic coefficients, Barsotti Symposium in Algebraic Geometry (Abano Terme, 1991) Perspect. Math., vol. 15, Academic Press, San Diego, CA, 1994, pp. 11–50. MR 1307391
- Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI 10.1006/jsco.1996.0125
- Amnon Besser and Rob de Jeu, $\textrm {Li}^{(p)}$-service? An algorithm for computing $p$-adic polylogarithms, Math. Comp. 77 (2008), no. 262, 1105–1134. MR 2373194, DOI 10.1090/S0025-5718-07-02027-3
- Nils Bruin, Bjorn Poonen, and Michael Stoll, Generalized explicit descent and its application to curves of genus 3, Forum Math. Sigma 4 (2016), Paper No. e6, 80. MR 3482281, DOI 10.1017/fms.2016.1
- J. S. Balakrishnan and J. Tuitman, Magma code, https://github.com/jtuitman/Coleman.
- Robert Coleman and Ehud de Shalit, $p$-adic regulators on curves and special values of $p$-adic $L$-functions, Invent. Math. 93 (1988), no. 2, 239–266. MR 948100, DOI 10.1007/BF01394332
- Robert F. Coleman and Benedict H. Gross, $p$-adic heights on curves, Algebraic number theory, Adv. Stud. Pure Math., vol. 17, Academic Press, Boston, MA, 1989, pp. 73–81. MR 1097610, DOI 10.2969/aspm/01710073
- Robert F. Coleman, Dilogarithms, regulators and $p$-adic $L$-functions, Invent. Math. 69 (1982), no. 2, 171–208. MR 674400, DOI 10.1007/BF01399500
- Robert F. Coleman, Effective Chabauty, Duke Math. J. 52 (1985), no. 3, 765–770. MR 808103, DOI 10.1215/S0012-7094-85-05240-8
- Robert F. Coleman, Torsion points on curves and $p$-adic abelian integrals, Ann. of Math. (2) 121 (1985), no. 1, 111–168. MR 782557, DOI 10.2307/1971194
- Jean Fresnel and Marius van der Put, Rigid analytic geometry and its applications, Progress in Mathematics, vol. 218, Birkhäuser Boston, Inc., Boston, MA, 2004. MR 2014891, DOI 10.1007/978-1-4612-0041-3
- F. Hess, Computing Riemann-Roch spaces in algebraic function fields and related topics, J. Symbolic Comput. 33 (2002), no. 4, 425–445. MR 1890579, DOI 10.1006/jsco.2001.0513
- Kiran S. Kedlaya, Errata for: “Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology” [J. Ramanujan Math. Soc. 16 (2001), no. 4, 323–338; MR1877805], J. Ramanujan Math. Soc. 18 (2003), no. 4, 417–418. Dedicated to Professor K. S. Padmanabhan. MR 2043934
- Minhyong Kim, The unipotent Albanese map and Selmer varieties for curves, Publ. Res. Inst. Math. Sci. 45 (2009), no. 1, 89–133. MR 2512779, DOI 10.2977/prims/1234361156
- Bjorn Poonen and Edward F. Schaefer, Explicit descent for Jacobians of cyclic covers of the projective line, J. Reine Angew. Math. 488 (1997), 141–188. MR 1465369
- Jan Tuitman, Counting points on curves using a map to $\mathbf {P}^1$, Math. Comp. 85 (2016), no. 298, 961–981. MR 3434890, DOI 10.1090/mcom/2996
- Jan Tuitman, Counting points on curves using a map to $\mathbf {P}^1$, II, Finite Fields Appl. 45 (2017), 301–322. MR 3631366, DOI 10.1016/j.ffa.2016.12.008
- Yifan Yang, Defining equations of modular curves, Adv. Math. 204 (2006), no. 2, 481–508. MR 2249621, DOI 10.1016/j.aim.2005.05.019
Bibliographic Information
- Jennifer S. Balakrishnan
- Affiliation: Department of Mathematics and Statistics, Boston University, 111 Cummington Mall, Boston, Massachusetts 02215
- MR Author ID: 910890
- Email: jbala@bu.edu
- Jan Tuitman
- Affiliation: Departement Wiskunde, KU Leuven, Celestijnenlaan 200B, 3001 Leuven, Belgium
- MR Author ID: 941045
- Email: jan_tuitman@hotmail.com
- Received by editor(s): November 14, 2017
- Received by editor(s) in revised form: January 10, 2020, January 16, 2020, and March 2, 2020
- Published electronically: May 22, 2020
- Additional Notes: The first author was supported in part by NSF grant DMS-1702196, the Clare Boothe Luce Professorship (Henry Luce Foundation), and Simons Foundation grant #550023.
The second author is a Postdoctoral Researcher of the Fund for Scientific Research FWO - Vlaanderen. - © Copyright 2020 American Mathematical Society
- Journal: Math. Comp. 89 (2020), 2965-2984
- MSC (2010): Primary 11S80; Secondary 11Y35, 11Y50
- DOI: https://doi.org/10.1090/mcom/3542
- MathSciNet review: 4136553