Related papers: An application of "Selmer group Chabauty" to arith…

Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower…

Let C : y^2=f(x) be a hyperelliptic curve defined over the rationals. Let K be a number field and suppose f factors over K as a product of irreducible polynomials f=f_1 f_2...f_r. We shall define a "Selmer set" corresponding to this…

Based on ideas from recent joint work with Bjorn Poonen, we describe an algorithm that can in certain cases determine the set of rational points on a curve $C$, given only the $p$-Selmer group $S$ of its Jacobian (or some other abelian…

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…

We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic…

We give refined methods for proving finiteness of the Chabauty--Coleman--Kim set $X(\mathbb{Q}_2 )_2 $, when $X$ is a hyperelliptic curve with a rational Weierstrass point. The main developments are methods for computing Selmer conditions…

We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty…

We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of…

In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication…

Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case…

We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental…

We study the arithmetic of curves and Jacobians endowed with the action of a finite group $G$. This includes a study of the basic properties, as $G$-modules, of their $\ell$-adic representations, Selmer groups, rational points and…

In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of…

We prove that the jacobian of a hyperelliptic curve y^2=f(x) is absolutely simple if deg(f)=q+1 where q is a power prime congruent to 5 modulo 8, the polynomial f(x) is irreducible over the ground field of characteristic zero and its Galois…

We compute the rational points on certain members of the following family of hyperelliptic curves \[C_a \colon y^2 = x^8 + (4-4a^4) x^6 + (8a^4 + 6)x^4 + (4-4a^4)x^2 + 1\] via the method first developed by Dem'yanenko \cite{dem1966rational}…

Given number fields $L \supset K$, smooth projective curves $C$ defined over $L$ and $B$ defined over $K$, and a non-constant $L$-morphism $h \colon C \to B_L$,we consider the curve $C_h$ defined over $K$ whose $K$-rational points…

We explore a number of problems related to the quadratic Chabauty method for determining integral points on hyperbolic curves. We remove the assumption of semistability in the description of the quadratic Chabauty sets…

Let $\mathcal{C}$ be a hyperelliptic curve $y^2 = p(x)$ defined over a number field $K$ with $p(x)$ integral of odd degree. The purpose of the present article is to prove lower and upper bounds for the $2$-Selmer group of the Jacobian of…

We study unit groups of rings of the form $\mathbb{F}_2[x,y]/(y^2 + gy + h)$, for $g, h \in \mathbb{F}_2[x]$ -- in particular, the question of (non)triviality of such unit groups. Up to automorphisms of $\mathbb{F}_2[x,y]$ we classify such…

We establish several surjectivity theorems regarding the Galois groups of small iterates of $\phi_c(x)=x^2+c$ for $c\in\mathbb{Q}$. To do this, we use explicit techniques from the theory of rational points on curves, including the method of…