Explicit Coleman integration in larger characteristic

DOI10.2140/OBS.2019.2.85MaRDI QIDQ6165858zbMATH OpenOpenAlexFDO

Authors Alexander Best

Publication date 2 August 2023

Published in Open Book Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.03393

zbMATH Keywords

Coleman integrationhyperelliptic curvesKedlaya's algorithm

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Analytic computations (11Y35)

Abstract: We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in $sqrtp$ and is polynomial in the genus and precision. We provide timings comparing our implementation with existing approaches.

Recommendations

• Explicit Coleman integration for hyperelliptic curves
• Coleman integration for even-degree models of hyperelliptic curves
• Explicit Coleman integration for curves
• Explicit Vologodsky integration for hyperelliptic curves
• Explicit p-adic method for elliptic and hyperelliptic curves

Cites work

• \(p\)-adic regulators on curves and special values of \(p\)-adic \(L\)-functions
• A point counting algorithm for cyclic covers of the projective line
• An extension of Kedlaya's algorithm for hyperelliptic curves
• Coleman integration for even-degree models of hyperelliptic curves
• Computing zeta functions of superelliptic curves in larger characteristic
• Counting points on curves using a map to \(\mathbf P^1\). II.
• Counting points on hyperelliptic curves in average polynomial time
• Dilogarithms, regulators and \(p\)-adic \(L\)-functions
• Explicit Coleman integration for hyperelliptic curves
• Heidelberg lectures on Coleman integration
• scientific article; zbMATH DE number 2081082 (Why is no real title available?)
• scientific article; zbMATH DE number 1775200 (Why is no real title available?)
• Iterated Coleman integration for hyperelliptic curves
• Kedlaya's Algorithm in Larger Characteristic
• Linear Recurrences with Polynomial Coefficients and Application to Integer Factorization and Cartier–Manin Operator
• Quadratic Chabauty and rational points. I: \(p\)-adic heights
• Torsion points on curves and p-adic abelian integrals

Cited in

(10)

• Computing local p-adic height pairings on hyperelliptic curves
• MEMORY EFFICIENT HYPERELLIPTIC CURVE POINT COUNTING
• Explicit Coleman integration for hyperelliptic curves
• What is $\ldots$ a Coleman integral?
• p-adic integration on bad reduction hyperelliptic curves
• Explicit Vologodsky integration for hyperelliptic curves
• Explicit Coleman integration for curves
• Coleman integration for even-degree models of hyperelliptic curves
• Explicit p-adic method for elliptic and hyperelliptic curves
• Square root time Coleman integration on superelliptic curves

This page was built for publication: Explicit Coleman integration in larger characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165858)