Chabauty-Coleman experiments for genus 3 hyperelliptic curves

DOI10.1007/978-3-030-19478-9_3MaRDI QIDQ3296198zbMATH OpenOpenAlexFDO

Authors Jennifer S. Balakrishnan, Francesca Bianchi, Victoria Cantoral Farfán, Mirela Ciperiani, Anastassia Etropolski

Publication date 7 July 2020

Published in Association for Women in Mathematics Series (Search for Journal in Brave)

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

zbMATH Keywords

hyperelliptic curvesrational pointsChabauty-Coleman method

Mathematics Subject Classification ID

[https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Rational points (14G05) Curves over finite and local fields (11G20) Algebraic number theory computations (11Y40) Coverings of curves, fundamental group (14H30) Computational aspects of algebraic curves (14Q05) Special algebraic curves and curves of low genus (14H45)

Abstract: We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $mathbbQ$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(mathbbQ)$.

Recommendations

• Quadratic Chabauty: p-adic heights and integral points on hyperelliptic curves
• Computing integral points on hyperelliptic curves using quadratic Chabauty
• scientific article; zbMATH DE number 939810
• The method of Chabauty and Coleman
• Explicit Coleman integration for hyperelliptic curves

Cites work

• scientific article; zbMATH DE number 3975085 (Why is no real title available?)
• scientific article; zbMATH DE number 3566956 (Why is no real title available?)
• A database of genus-2 curves over the rational numbers
• Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time. II
• Deciding Existence of Rational Points on Curves: An Experiment
• Decomposing Jacobians of curves with extra automorphisms
• Effective Chabauty
• Explicit Coleman integration for hyperelliptic curves
• Explicit \(p\)-adic method for elliptic and hyperelliptic curves
• Finite descent obstructions and rational points on curves
• Finiteness theorems for abelian varieties over number fields.
• Modular curves and the Eisenstein ideal
• On an analogue of the Lutz-Nagell theorem for hyperelliptic curves
• Rigorous computation of the endomorphism ring of a Jacobian
• The Magma algebra system. I: The user language
• The Mordell-Weil sieve: proving non-existence of rational points on curves
• The method of Chabauty and Coleman
• Torsion points on curves and p-adic abelian integrals

Cited in

(11)

• Distributions of Traces of Frobenius for Smooth Plane Curves Over Finite Fields
• On the Diophantine equation \(\binom{n}{k} = \binom{m}{l} + d\)
• Rational points and the elliptic Chabauty method.
• Chabauty-Coleman computations on rank 1 Picard curves
• Computing rational points on rank 0 genus 3 hyperelliptic curves
• Modular invariants for genus 3 hyperelliptic curves
• Computing \(L\)-series of geometrically hyperelliptic curves of genus three
• WIN4
• Algebraic curves with small genus and sharp Chabauty-Coleman's bound
• Quadratic Chabauty for (bi)elliptic curves and Kim's conjecture
• GEOMETRIC QUADRATIC CHABAUTY

Describes a project that uses

Uses Software

• GitHub
• Coleman
• endomorphisms
• SageMath
• Magma

This page was built for publication: Chabauty-Coleman experiments for genus 3 hyperelliptic curves

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