Explicit Coleman Integration for Hyperelliptic Curves

Coleman’s theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.

[1]  Amnon Besser,et al.  Li(p)-service? An algorithm for computing p-adic polylogarithms , 2007, Math. Comput..

[2]  Wouter Castryck,et al.  Computing Zeta Functions of Nondegenerate Curves , 2006, IACR Cryptol. ePrint Arch..

[3]  J. Coates,et al.  Algebraic number theory : in honor of K. Iwasawa , 1989 .

[4]  Robert F. Coleman,et al.  Dilogarithms, regulators andp-adicL-functions , 1982 .

[5]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[6]  William Stein,et al.  Computation of p-Adic Heights and Log Convergence , 2006 .

[7]  David Harvey,et al.  Kedlaya's Algorithm in Larger Characteristic , 2006 .

[8]  Nicolas Gürel,et al.  An Extension of Kedlaya's Point-Counting Algorithm to Superelliptic Curves , 2001, ASIACRYPT.

[9]  H. Furusho.  p-adic multiple zeta values I. , 2004 .

[10]  Alan G. B. Lauder.  Deformation Theory and The Computation of Zeta Functions , 2004 .

[11]  K. Kedlaya.  Counting Points on Hyperelliptic Curves using Monsky-Washnitzer Cohomology , 2001, math/0105031.

[12]  S. Lang.  The Unipotent Albanese Map and Selmer Varieties for Curves , 2009 .

[13]  R. Remmert,et al.  Non-Archimedean Analysis: A Systematic Approach to Rigid Analytic Geometry , 1984 .

[14]  F. Rawlins,et al.  The Method , 1966, Nature.

[15]  David Harvey.  Efficient computation of p-adic heights , 2007 .

[16]  Robert F. Coleman,et al.  Torsion points on curves and p-adic Abelian integrals , 1985 .

[17]  V. Berkovich.  Integration of One-forms on P-adic Analytic Spaces. , 2006 .

[18]  Minhyong Kim.  Massey products for elliptic curves of rank 1 , 2009, 0901.4668.

[19]  H. Furusho.  p -adic multiple zeta values II. Tannakian interpretations , 2005, math/0506117.

[20]  Robert A. Coleman,et al.  p-Adic regulators on curves and special values ofp-adicL-functions , 1988 .

[21]  Amnon Besser.  Coleman integration using the Tannakian formalism , 2000, math/0011269.

[22]  Jacobiennes de certaines courbes de genre $2$ : torsion et simplicité , 1995 .

[23]  Marius van der Put,et al.  Rigid analytic geometry and its applications , 2003 .