English
Related papers

Related papers: Quadratic Chabauty for modular curves: Algorithms …

200 papers

We give a generalization of the method of "Elliptic Curve Chabauty" to higher genus curves and their Jacobians. This method can sometimes be used in conjunction with covering techniques and a modified version of the Mordell-Weil sieve to…

Number Theory · Mathematics 2013-04-10 Michael Mourao

In this article, we present a method for computing rational points on hyperelliptic curves of genus~3 and isolated quadratic points on hyperelliptic curves of genus~2 and~3 whose Jacobians have rank~0. Our approach begins by computing the…

Number Theory · Mathematics 2025-09-25 Brice Miayoka Moussolo

We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when…

Number Theory · Mathematics 2014-12-31 Jennifer S. Balakrishnan , Amnon Besser , J. Steffen Müller

This article generalizes the geometric quadratic Chabauty method, initiated over $\mathbb{Q}$ by Edixhoven and Lido, to curves defined over arbitrary number fields. The main result is a conditional bound on the number of rational points on…

Number Theory · Mathematics 2023-03-16 Pavel Čoupek , David T. -B. G. Lilienfeldt , Zijian Yao , Luciena Xiao Xiao

The Chabauty--Kim method is a method for finding rational points on curves under certain technical conditions, generalising Chabauty's proof of the Mordell conjecture for curves with Mordell--Weil rank less than their genus. We show how the…

Number Theory · Mathematics 2019-05-15 Jennifer Balakrishnan , Netan Dogra

We determine all the quadratic points on the genus $13$ modular curve $X_0(163)$, thus completing the answer to a recent question of Banwait, the second-named author, and Padurariu. In doing so, we investigate a curious phenomenon involving…

Number Theory · Mathematics 2023-10-17 Philippe Michaud-Jacobs , Filip Najman

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to…

Bruin and Najman, Ozman and Siksek, and Box described all the quadratic points on the modular curves of genus $2\leq g(X_0(n)) \leq 5$. Since all the hyperelliptic curves $X_0(n)$ are of genus $\leq 5$ and as a curve can have infinitely…

Number Theory · Mathematics 2022-11-01 Filip Najman , Borna Vukorepa

Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic…

Number Theory · Mathematics 2025-05-22 L. Alexander Betts , Juanita Duque-Rosero , Sachi Hashimoto , Pim Spelier

We classify the graphs that can occur as the graph of rational preperiodic points of a quadratic polynomial over $\bold Q$, assuming the conjecture that it is impossible to have rational points of period $4$ or higher. In particular, we…

Number Theory · Mathematics 2016-09-06 Bjorn Poonen

Conditionally on the Tate--Shafarevich and Bloch--Kato Conjectures, we give an explicit upper bound on the size of the $p$-adic Chabauty--Kim locus, and hence on the number of rational points, of a smooth projective curve $X/\mathbb{Q}$ of…

Number Theory · Mathematics 2023-10-10 L. Alexander Betts , David Corwin , Marius Leonhardt

For Atkin-Lehner quotients $X_0^+(N)$, of prime level and of genus at least 2, we provide an algorithm for computing one of the main objects in the quadratic Chabauty algorithm in terms of weakly holomorphic modular forms associated to the…

Number Theory · Mathematics 2025-09-03 Isabel Rendell

We construct curves of each genus $g\geq 2$ for which Coleman's effective Chabauty bound is sharp and Coleman's theorem can be applied to determine rational points if the rank condition is satisfied. We give numerous examples of genus two…

Number Theory · Mathematics 2020-11-26 Stevan Gajović

We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the…

Number Theory · Mathematics 2022-09-26 Nikola Adžaga , Shiva Chidambaram , Timo Keller , Oana Padurariu

We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the…

Number Theory · Mathematics 2022-12-27 Vishal Arul , J. Steffen Müller

We explain how one can efficiently determine the (finite) set of rational points on a curve of genus 2 over $\mathbb Q$ with Jacobian variety $J$, given a point $P \in J(\mathbb Q)$ generating a subgroup of finite index in $J(\mathbb Q)$.

Number Theory · Mathematics 2025-09-30 Michael Stoll

We determine the quadratic points on the modular curves $X_0(N)$ for $N\leq 100$ for which this has not been previously done, namely the cases $$N\in\{66,70,78,82,84,86,87,88,90,96,99\}.$$ We accomplish this by improving on the ``going down…

Number Theory · Mathematics 2025-08-21 Filip Najman , Ivan Novak

In this paper we determine the quadratic points on the modular curves X_0(N), where the curve is non-hyperelliptic, the genus is 3, 4 or 5, and the Mordell--Weil group of J_0(N) is finite. The values of N are 34, 38, 42, 44, 45, 51, 52, 54,…

Number Theory · Mathematics 2018-08-16 Ekin Ozman , Samir Siksek

Let $C$ be a smooth projective absolutely irreducible curve of genus $g \geq 2$ over a number field $K$ of degree $d$, and denote its Jacobian by $J$. Denote the Mordell--Weil rank of $J(K)$ by $r$. We give an explicit and practical…

Number Theory · Mathematics 2010-10-19 Samir Siksek

Thanks to work of Rouse, Sutherland, and Zureick-Brown, it is known exactly which subgroups of GL$_2(\mathbf{Z}_3)$ can occur as the image of the $3$-adic Galois representation attached to a non-CM elliptic curve over $\mathbf{Q}$, with a…