Explicit Coleman integration for curves

DOI10.1090/MCOM/3542zbMATH Open1460.30015arXiv1710.01673OpenAlexW3013422507MaRDI QIDQ5118859FDOQ5118859

Jennifer S. Balakrishnan, Jan Tuitman

Publication date: 27 August 2020

Published in: Mathematics of Computation (Search for Journal in Brave)

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 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.

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

Recommendations

• Explicit Coleman integration for hyperelliptic curves
• Coleman integration for even-degree models of hyperelliptic curves
• Explicit Coleman integration in larger characteristic
• What is $\ldots$ a Coleman integral?
• Iterated Coleman integration for hyperelliptic curves

zbMATH Keywords

algebraic curvesnumber-theoretic algorithmsColeman integral

Mathematics Subject Classification ID

Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Computer solution of Diophantine equations (11Y50) Analytic computations (11Y35) Non-Archimedean function theory (30G06)

Cites Work

• The Magma algebra system. I: The user language
• Dilogarithms, regulators and \(p\)-adic \(L\)-functions
• Rigid analytic geometry and its applications
• Computation of integral bases
• Title not available (Why is that?)
• Torsion points on curves and p-adic abelian integrals
• Effective Chabauty
• \(p\)-adic regulators on curves and special values of \(p\)-adic \(L\)-functions
• The unipotent Albanese map and Selmer varieties for curves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explicit Coleman Integration for Hyperelliptic Curves
• Computing Riemann-Roch spaces in algebraic function fields and related topics.
• Title not available (Why is that?)
• Defining equations of modular curves
• Generalized explicit descent and its application to curves of genus 3
• Title not available (Why is that?)
• Counting points on curves using a map to \(\mathbf P^1\). II.
• Counting points on curves using a map to \(\mathbf{P}^1\)
• $\mathbf{Li}^{\boldsymbol{(p)}}$-service? An algorithm for computing $\boldsymbol{p}$-adic polylogarithms
• Coleman integration for even-degree models of hyperelliptic curves

Cited In (18)

• Quadratic Chabauty for Atkin–Lehner quotients of modular curves of prime level and genus 4, 5, 6
• Coleman integration versus Schneider integration on semistable curves
• Explicit Vologodsky integration for hyperelliptic curves
• Chabauty-Coleman computations on rank 1 Picard curves
• Explicit Chabauty-Kim for the split Cartan modular curve of level 13
• Elliptic curves over totally real quartic fields not containing √5 are modular
• Two Recent p-adic Approaches Towards the (Effective) Mordell Conjecture
• Coleman
• Computing quadratic points on modular curves 𝑋₀(𝑁)
• Quadratic Chabauty for modular curves: algorithms and examples
• Rational points on Atkin-Lehner quotients of geometrically hyperelliptic Shimura curves
• A generalization of Coleman's \(p\)-adic integration theory
• Explicit Coleman integration in larger characteristic
• Automorphism loci for degree 3 and degree 4 endomorphisms of the projective line
• Preperiodic points for quadratic polynomials over cyclotomic quadratic fields
• Coleman integration using the Tannakian formalism
• Title not available (Why is that?)
• Rational points on hyperelliptic Atkin-Lehner quotients of modular curves and their coverings

Uses Software

• Magma
• GitHub

This page was built for publication: Explicit Coleman integration for curves

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