Related papers: Chabauty without the Mordell-Weil group
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…
Let $k$ be a number field. We investigate the Mordell-Weil ranks of Jacobian varieties $J_C$ associated with algebraic curves $C$ of genus $g \geq 1$ defined by affine equations of the form $y^s=x(ax^r+b)$, where $a, b \in k$ ($ab \neq 0$),…
We study the Selmer variety associated to a canonical quotient of the $\Q_p$-pro-unipotent fundamental group of a smooth projective curve of genus at least two defined over $\Q$ whose Jacobian decomposes into a product of abelian varieties…
We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety…
This master thesis describes how Selmer groups can be used to determine the Mordell-Weil group of elliptic curves over a number field K. The Mordell-Weil Theorem states that $E(K) = E(K)_{tors} \times Z^r$, where $r$ is the rank of $E$, and…
We compute the presentations of fundamental groups of the complements of a class of rational cuspidal projective plane curves classified by Flenner, Zaidenberg, Fenske and Saito. We use the Zariski-Van Kampen algorithm and exploit the…
We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with…
We develop algorithms to compute two versions of the motivic Hilbert zeta function for curve singularities: the classical version, applicable to singularities with a monomial valuation semigroup or to singular curves defined by…
Let X be a curve over a number field K with genus g>=2, $\pp$ a prime of O_K over an unramified rational prime p>2r, J the Jacobian of X, r=rank J(K), and $\scrX$ a regular proper model of X at $\pp$. Suppose r<g. We prove that…
We give a completely explicit upper bound for integral points on (standard) affine models of hyperelliptic curves, provided we know at least one rational point and a Mordell-Weil basis of the Jacobian. We also explain a powerful refinement…
We extend the refined version of the Chabauty-Coleman bound on the number of rational points on a curve of genus g>1 to the case of bad reduction.
Consider elliptic curves $ E=E_\sigma: y^2 = x (x+\sigma p) (x+\sigma q), $ where$ \sigma =\pm 1, $ $p$ and $ q$ are prime numbers with $p+2=q$. (1) The Selmer groups $ S^{(2)}(E/{\mathbf{Q}}), S^{(\phi)}(E/{\mathbf{Q})}$, and $\…
In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\mathrm{GL}_2$-type over totally real fields. The original approach was based on hard open conjectures, which have made…
A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this…
Let V be a plane smooth cubic curve over a finitely generated field k. The Mordell-Weil theorem for V states that there is a finite subset P \subset V(k) such that the whole V(k) can be obtained from P by drawing secants and tangents…
Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$. We show that if $|R| < \frac{3}{2}n$ and $P…
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…
In this thesis we develop a Chabauty-Kim theory for the relative completion of motivic fundamental groups, including Selmer stacks and moduli spaces of admissible torsors for the relative completion of the de Rham fundamental group. On one…
We study the Diophantine equation $a^5+b^5=c^5+d^5$ under the linear slicing constraint $(c+d)-(a+b)=h$. We first prove the necessary congruence $30\mid h$. After symmetrization, the associated discriminant equation defines, for each fixed…
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…