---
abstract: '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 Chabauty-style criterion for showing that a given subset ${\mathcal{K}}\subseteq C(K)$ is in fact equal to $C(K)$. This criterion is likely to be successful if $r \leq d(g-1)$. We also show that the only solutions to the equation $x^2+y^3=z^{10}$ in coprime non-zero integers is $(x,y,z)=(\pm 3, -2, \pm 1)$. This is achieved by reducing the problem to the determination of $K$-rational points on several genus $2$ curves where $K={{\mathbb Q}}$ or ${{\mathbb Q}}(\sqrt[3]{2})$, and applying the method of this paper.' 
address: |
    Mathematics Institute\
    University of Warwick\
    Coventry\
    CV4 7AL\
    United Kingdom
author:
- Samir Siksek
title: Explicit Chabauty over Number Fields
---

\[section\] \[lem\][Proposition]{} \[lem\][Algorithm]{} \[lem\][Corollary]{}

\[thm\][Example]{}

[^1]

Introduction
============

Let $C$ be a smooth projective absolutely irreducible curve of genus $g \geq 2$ defined over a number field $K$, and write $J$ for the Jacobian of $C$.  Suppose that the rank of the Mordell–Weil group $J(K)$ is at most $g-1$. In a pioneering paper, Chabauty [@Chabauty] proved the finiteness of the set of $K$-rational points on $C$.  This has since been superceded by Faltings’ proof of the Mordell conjecture [@Faltings1] which gives the finiteness of $C(K)$ without any assumption on the rank of $J(K)$. Chabauty’s approach, where applicable, does however have two considerable advantages:

[**(a)**]{} The first is that Chabauty can be refined to give explicit bounds for the cardinality of $C(K)$, as shown by Coleman [@Co].  Coleman’s bounds are realistic, and occasionally even sharp; see for example [@Grant], [@FlynnCo].  Coleman’s approach has been adapted to give bounds (assuming some reasonable conditions) for the number of solutions of Thue equations [@LT], the number of rational points on Fermat curves [@Mc1], [@Mc2], the number of points on curves of the form $y^2=x^5+A$ [@Stoll06], and the number of rational points on twists of a given curve [@Stollch]. 

[**(b)**]{} The second is that the Chabauty–Coleman strategy can often be adapted to compute $C(K)$, as in [@Br1], [@Br2], [@Flynn], [@FW1], [@FW2], [@MP], [@We], and even the $K$-rational points on the symmetric powers of $C$ [@Sik09]. 

This paper is inspired by a talk [^2] given by Joseph Wetherell at MSRI on December 11, 2000.  In that talk Wetherell suggested that it should be possible to adapt the Chabauty strategy to compute the set of $K$-rational points on $C$ provided the rank $r$ of the Mordell–Weil group $J(K)$ satisfies $r \leq d(g-1)$, where $d=[K:{{\mathbb Q}}]$. Wetherell has never published details of his method which we believe is similar to the one we give here. 

In this paper we give a practical Chabauty-style method for determining $C(K)$ which should succeed if the inequality $r \leq d(g-1)$ holds (but see the discussion at the end of Section \[sec:heu\]).  We suppose that we have been supplied with a basis $D_1,\dots,D_r$ for a subgroup of $J(K)$ of full-rank and hence finite index—the elements of this basis are represented as degree $0$ divisors on $C$ (modulo linear equivalence).  Obtaining a basis for a subgroup of full-rank is often the happy outcome of a successful descent calculation (see for example [@CF], [@Flynnd], [@PS], [@Sch], [@SchW], [@StollI], [@Stoll], [@StollII]).  Obtaining a basis for the full Mordell–Weil group is often time consuming for genus $2$ curves ([@Flynnh], [@FS], [@Stollh1], [@Stollh2]) and simply not feasible in the present state of knowledge for curves of genus $\geq 3$. We also assume the knowledge of at least one rational point $P_0 \in C(K)$. If a search for rational points on $C$ does not reveal any points, then experience suggests that $C(K)=\emptyset$, and the methods of [@BS], [@BS2] are likely to prove this. 

This paper is organized as follows.  Section \[sec:heu\] gives a heuristic explanation of why Chabauty’s approach should be applicable when the rank $r$ of the Mordell–Weil group satisfies $r \leq g(d-1)$. Section \[sec:prelim\] gives a quick summary of basic facts regarding ${{\upsilon}}$-adic integration on curves and Jacobians.  In Section \[sec:chab\], for $Q \in C(K)$ and a rational prime $p$, we define a certain neighbourhood of $Q$ in $\prod_{{{\upsilon}}\mid p} C(K_{{\upsilon}})$ that we call the $p$-unit ball around $Q$, and give a Chabauty-style criterion for $Q$ to be the unique $K$-rational point belonging to this neighbourhood.  In Section \[sec:MW\] we explain how to combine our Chabauty criterion with the Mordell–Weil sieve, and deduce a practical criterion for a given set ${\mathcal{K}}\subseteq C(K)$ to be equal to $C(K)$. In Section \[sec:Fermat\] we use our method to prove the following theorem. 

\[thm:Ferm\] The only solutions to the equation $$\label{eqn:2310}
x^2+y^3=z^{10}$$ in coprime integers $x$, $y$, $z$ are $$(\pm 3, -2, \pm 1), \quad (\pm 1,0 , \pm 1), 
\quad (\pm 1, -1, 0), 
\quad (0,1, \pm 1).$$

We note that Dahmen [@Dahmen Chapter 3.3.2] has solved the equation $x^2+z^{10}=y^3$ using Galois representations and level lowering.  We have been unable to solve by using Galois representations; the difficulty arises from the additional non-trivial solution $(x,y,z)=(\pm 3, -2, \pm 1)$ which is not present for the equation $x^2+z^{10}=y^3$. We solve by reducing the problem to determining the $K$-rational points on several genus $2$ curves where $K$ is either ${{\mathbb Q}}$ or ${{\mathbb Q}}({\sqrt[3]{2}})$. For all these genus $2$ curves the inequality $r \leq d(g-1)$ is satisfied and we are able to determine the $K$-rational points using the method of this paper. 

Recently, David Brown has given [@DB] an independent and entirely different proof of Theorem \[thm:Ferm\].  Brown’s method is rather intricate, and makes use of elliptic curve Chabauty, mod $5$ level lowering and number field enumeration. 

We would like to thank Tim Dokchitser for useful discussions and Sander Dahmen for corrections. 

A Heuristic Explanation of Wetherell’s Idea {#sec:heu}
===========================================

In this section we explain the heuristic idea behind Chabauty’s method and then how the heuristic can be modified for curves over number fields.  Let $C$ be a smooth projective curve of genus $g \geq 2$ defined over $K$. Let $J$ be the Jacobian of $C$ and $r$ the rank of the Mordell–Weil group $J(K)$. Fix a rational point $P_0 \in C(K)$ and let $\jmath:C \hookrightarrow J$ be the Abel-Jacobi map with base point $P_0$. We use $\jmath$ to identify $C$ as a subvariety of $J$.

To explain the usual Chabauty method it is convenient to assume that $K={{\mathbb Q}}$. Choose a finite prime $p$. Inside $J({{\mathbb Q}}_p)$ it is clear that $$C ({{\mathbb Q}}) \subseteq C({{\mathbb Q}}_p) \cap J({{\mathbb Q}}) \subseteq C({{\mathbb Q}}_p) \cap \overline{J({{\mathbb Q}})},$$ where $\overline{J({{\mathbb Q}})}$ is the closure of $J({{\mathbb Q}})$ in the $p$-adic topology.  Now $J({{\mathbb Q}}_p)$ is a ${{\mathbb Q}}_p$-Lie group of dimension $g$, and $\overline{J({{\mathbb Q}})}$ is a ${{\mathbb Q}}_p$-Lie subgroup of dimension at most $r$. Moreover, $C({{\mathbb Q}}_p)$ is a $1$-dimensional submanifold of $J({{\mathbb Q}}_p)$. If $r+1 \leq g$ then we expect that the intersection $C({{\mathbb Q}}_p) \cap \overline{J({{\mathbb Q}})}$ is finite.  It turns out that this intersection is indeed finite if $r \leq g-1$ and Coleman [@Co] gives a bound for the cardinality of this intersection under some further (but mild) hypotheses.  Moreover, in practice this intersection can be computed to any desired $p$-adic accuracy. 

Now we return to the general setting by letting $K$ be a number field of degree $d$. Define the Weil restrictions $$\label{eqn:wr}
V=\operatorname{Res}_{K/{{\mathbb Q}}} C, \qquad A=\operatorname{Res}_{K/{{\mathbb Q}}} J.$$ Then $V$ is a variety of dimension $d$ and $A$ an abelian variety of dimension $gd$, both defined over ${{\mathbb Q}}$. Moreover $\jmath: C \hookrightarrow J$ descends to a morphism $V \hookrightarrow A$ defined over ${{\mathbb Q}}$ which we use to identify $V$ as a subvariety of $A$.  The Weil restriction defines a bijection between $C(K)$ and $V({{\mathbb Q}})$, and $$\operatorname{rank}A({{\mathbb Q}})=\operatorname{rank}J(K)=r.$$ Mimicking the previous argument $$V({{\mathbb Q}}) \subseteq  V({{\mathbb Q}}_p) \cap \overline{A({{\mathbb Q}})}.$$ Now $\overline{A({{\mathbb Q}})}$ is at most $r$-dimensional, $V({{\mathbb Q}}_p)$ is $d$-dimensional and the intersection is taking place in the ${{\mathbb Q}}_p$-Lie group $A({{\mathbb Q}}_p)$ of dimension $gd$. If $r+d \leq gd$ we expect that the intersection is finite.  As Wetherell points out, this is not always true.  For example, let $C$ be a curve defined over ${{\mathbb Q}}$ with Mordell–Weil rank $\geq g$. One normally expects that $\overline{J({{\mathbb Q}})}$ is $g$-dimensional.  Assume that this is the case.  Then the intersection $$C({{\mathbb Q}}_p) \cap \overline{J({{\mathbb Q}})}$$ will contain a neighbourhood in $C({{\mathbb Q}}_p)$ of the base point $P_0$ and so will be infinite.  Now let $V$ and $A$ be obtained from $C$ and $J$ by first base extending to number field $K$ and then taking Weil restriction back to ${{\mathbb Q}}$. One has a natural injection $$C({{\mathbb Q}}_p) \cap \overline{J({{\mathbb Q}})} \hookrightarrow V({{\mathbb Q}}_p) \cap \overline{A({{\mathbb Q}})}$$ proving that the latter intersection is infinite.  This is true regardless of whether the inequality $r \leq d(g-1)$ is satisfied.  However, for a random curve $C$ defined over a number field $K$, on the basis for the above heuristic argument, we expect the intersection $V({{\mathbb Q}}_p) \cap \overline{A({{\mathbb Q}})}$ to be finite when the inequality $r \leq d(g-1)$ is satisfied. 

A [**possibly correct**]{} statement is the following.  Let $C$ be a smooth projective curve of genus $g \geq 2$ over a number field $K$ of degree $d$. Suppose that for every subfield $L \subseteq K$ and for every smooth projective curve $D$ defined over $L$ satisfying $D \times_L K \cong_K C$, the inequality $$\operatorname{rank}J_D(L) \leq [L:{{\mathbb Q}}] (g-1)$$ holds, where $J_D$ denotes the Jacobian of $D$. Let $V$ and $A$ be given by .  Then $V({{\mathbb Q}}_p) \cap \overline{A({{\mathbb Q}})}$ is finite. 

Preliminaries {#sec:prelim}
=============

In this section we summarise various results on $p$-adic integration that we need.  The definitions and proofs can be found in [@CoAb] and [@Colmez].  For an introduction to the ideas involved in Chabauty’s method we warmly recommend Wetherell’s thesis [@We] and the survey paper of McCallum and Poonen [@MP], as well as Coleman’s paper [@Co]. 

Integration
-----------

Let $p$ be a (finite) rational prime.  Let $K_{{\upsilon}}$ be a finite extension of ${{\mathbb Q}}_p$ and ${{\mathcal O}}_{{\upsilon}}$ be the ring of integers in $K_{{\upsilon}}$. Let ${\mathcal W}$ be a smooth, proper connected scheme of finite type over ${{\mathcal O}}_{{\upsilon}}$ and write $W$ for the generic fibre.  In [@CoAb Section II] Coleman describes how to integrate differentials of the second kind on $W$. We shall however only be concerned with global $1$-forms (i.e. differentials of the first kind) and so shall restrict our attention to these.  Among the properties of integration (see [@CoAb Section II]) we shall need are the following:

1.   $\displaystyle \int_{P}^Q \omega= -\int_Q^P \omega$,

2.   $\displaystyle \int_Q^P \omega+\int_P^R \omega=
    \int_Q^R \omega$,

3.   $ \displaystyle \int_{Q}^{P} \omega+\omega^\prime
    = \int_{Q}^{P} \omega+
    \int_{Q}^{P} \omega^\prime$,

4.   $ \displaystyle \int_Q^P \alpha \omega= \alpha \int_Q^P \omega$,

for $P$, $Q$, $R \in W(K_{{\upsilon}})$, global $1$-forms $\omega$, $\omega^\prime$ on $W$, and $\alpha \in K_{{\upsilon}}$. We shall also need the change of variables formula  [@CoAb Theorem 2.7]: if ${\mathcal W}_1$, ${\mathcal W}_2$ are smooth, proper connected schemes of finite type over ${{\mathcal O}}_{{\upsilon}}$ and $\varrho:W_1 \rightarrow W_2$ is a morphism of their generic fibres then $$\int_{Q}^P \varrho^* \omega= \int_{\varrho(Q)}^{\varrho(P)} \omega$$ for all global $1$-forms $\omega$ on $W_2$ and $P$, $Q \in W_1(K_{{\upsilon}})$.

Now let $A$ be an abelian variety of dimension $g$ over $K_{{\upsilon}}$, and write $\Omega_A$ for the $K_{{\upsilon}}$-space of global $1$-forms on $A$.  Consider the pairing $$\label{eqn:abpairing}
\Omega_A \times A(K_{{\upsilon}}) \rightarrow K_{{\upsilon}}, \qquad
(\omega,P) \mapsto \int_0^P \omega.$$ This pairing is bilinear.  It is $K_{{\upsilon}}$-linear on the left by (iii) and (iv).  It is ${{\mathbb Z}}$-linear on the right; this is a straightforward consequence [@CoAb Theorem 2.8] of the change of variables formula.  The kernel on the left is $0$ and on the right is the torsion subgroup of $A(K_{{\upsilon}})$; see [@Bourbaki III.7.6]. 

Notation
--------

Henceforth we shall be concerned with curves over number fields and their Jacobians.  We fix once and for all the following notation:

  ------------------------------- ---------- --------------------------------------------------------------------------------
  $K$                             $\qquad$   [a number field,]{}
  $C$                                        [a smooth projective absolutely irreducible curve]{}
                                             [defined over $K$, of genus $\geq 2$,]{}
  $J$                                        [the Jacobian of $C$,]{}
  ${{\upsilon}}$                             [a non-archimedean prime of $K$, of good reduction for $C$,]{}
  $K_{{\upsilon}}$                           [the completion of $K$ at ${{\upsilon}}$,]{}
  $k_{{\upsilon}}$                           [the residue field of $K$ at ${{\upsilon}}$,]{}
  ${{\mathcal O}}_{{\upsilon}}$              [the ring of integers in $K_{{\upsilon}}$,]{}
  $x \mapsto \tilde{x}$                      [the natural map ${{\mathcal O}}_{{\upsilon}}\rightarrow k_{{\upsilon}}$,]{}
  ${\mathcal C}_{{\upsilon}}$                [a minimal regular proper model for $C$ over ${{\mathcal O}}_{{\upsilon}}$,]{}
  $\tilde{C}_{{\upsilon}}$                   [the special fibre of ${\mathcal C}_{{\upsilon}}$ at ${{\upsilon}}$,]{}
  $\Omega_{C/K_{{\upsilon}}}$                [the $K_{{\upsilon}}$-vector space of global $1$-forms on $C$.]{} 
  ------------------------------- ---------- --------------------------------------------------------------------------------

Integration on Curves and Jacobians
-----------------------------------

For any field extension $M/K$ (not necessarily finite), we shall write $\Omega_{C/M}$ and $\Omega_{J/M}$ for the $M$-vector spaces of global $1$-forms on $C/M$ and $J/M$ respectively.  We shall assume the existence of some $P_0 \in C(K)$. Corresponding to $P_0$ is the Abel–Jacobi map, $$\jmath: C \hookrightarrow J, \qquad P \mapsto [P-P_0].$$ It is well-known that the pull-back $\jmath^*:\Omega_{J/K} \rightarrow \Omega_{C/K}$ is an isomorphism of $K$-vector spaces [@Milne Proposition 2.2].  Moreover any two Abel–Jacobi maps differ by a translation on $J$. As $1$-forms on $J$ are translation invariant, the map $\jmath^*$ is independent of the choice of $P_0$ (see [@We Section 1.4]).  Let ${{\upsilon}}$ be a non-archimedean place for $K$. The isomorphism $\jmath^*$ extends to an isomorphism $\Omega_{J/K_{{\upsilon}}} \rightarrow \Omega_{C/K_{{\upsilon}}}$, which we shall also denote by $\jmath^*$. For any global $1$-form $\omega \in \Omega_{J/K_{{\upsilon}}}$ and any two points $P$, $Q \in C(K_{{\upsilon}})$ we have $$\int_Q^P \jmath^* \omega=\int_{\jmath{Q}}^{\jmath{P}} \omega
=\int_0^{[P-Q]} \omega,$$ using the properties of integration above.  We shall henceforth use $\jmath^*$ to identify $\Omega_{C/K_{{\upsilon}}}$ with $\Omega_{J/K_{{\upsilon}}}$. With this identification, the pairing with $J=A$ gives the bilinear pairing $$\label{eqn:pairing}
\Omega_{C/K_{{\upsilon}}} \times J(K_{{\upsilon}}) \rightarrow K_{{\upsilon}}, \qquad
\left(\, \omega,\; \left[\sum P_i -  Q_i\right] \right)
\longmapsto
\sum \int_{Q_i}^{P_i} \omega,$$ whose kernel on the right is $0$ and on the left is the torsion subgroup of $J(K_{{\upsilon}})$. We ease notation a little by defining, for divisor class $D=\sum P_i-Q_i$ of degree $0$, the integral $$\int_D \omega=\sum \int_{Q_i}^{P_i} \omega.$$ Note that this integral depends on the equivalence class of $D$ and not on its decomposition as $D=\sum P_i-Q_i$.

Uniformizers {#sec:uniformizers}
------------

The usual Chabauty approach when studying rational points in a residue class is to work with a local coordinate (defined shortly) and create power-series equations in terms of the local coordinate whose solutions, roughly speaking, contain the rational points.  In our situation we find it more convenient to shift the local coordinate so that it becomes a uniformizer at a rational point in the residue class.  Fix a non-archimedean place ${{\upsilon}}$ of good reduction for $C$, and a minimal regular proper model ${\mathcal C}_{{\upsilon}}$ for $C$ over ${{\upsilon}}$. Since our objective is explicit computation, we point out that in our case of good reduction, such a model is simply a system of equations for the non-singular curve that reduces to a non-singular system modulo ${{\upsilon}}$. Let $Q \in C(K)$ and let $\tilde{Q}$ be its reduction on the special fibre $\tilde{C}_{{\upsilon}}$. Choose a rational function $s_Q \in K(C)$ so that the maximal ideal in ${{\mathcal O}}_{{\mathcal C}_{{\upsilon}},\tilde{Q}}$ is $(s_Q,\pi)$, where $\pi$ is a uniformizing element for $K_{{\upsilon}}$. The function $s_Q$ is called [@LT Section 1] a [*local coordinate*]{} at $Q$. Let $t_Q=s_Q-s_Q(Q)$. We shall refer to $t_Q$, constructed as above, as a [*well-behaved uniformizer*]{} at $Q$. The reason for the name will be clear from Lemma \[lem:wb\] below. 

Before stating the lemma we define the [*${{\upsilon}}$-unit ball around $Q$*]{} to be $$\label{eqn:vub}
{\mathcal{B}}_{{\upsilon}}(Q)=\{P \in C(K_{{\upsilon}}): \tilde{P}=\tilde{Q}\}.$$

\[lem:wb\]

1.   $t_Q$ is a uniformizer at $Q$,

2.   $\tilde{t}_Q$ is a uniformizer at $\tilde{Q}$,

3.   Let $\pi$ be a uniformizing element for $K_{{\upsilon}}$. Then $t_Q$ is regular and injective on ${\mathcal{B}}_{{\upsilon}}(Q)$. Indeed, $t_Q$ defines a bijection between ${\mathcal{B}}_{{\upsilon}}(Q)$ and $\pi {{\mathcal O}}_{{\upsilon}}$, given by $P \mapsto t_Q(P)$.

Parts (i) and (ii) are clear from the construction.  Part (iii) is standard; see for example [@LT Section 1] or [@We Sections 1.7, 1.8]. 

Estimating Integrals on Curves {#subsec:eval}
------------------------------

\[lem:approx\] Let $p$ be an odd rational prime that does not ramify in $K$. Let ${{\upsilon}}$ be a place of $K$ above $p$. Fix a minimal regular model ${\mathcal C}_{{\upsilon}}$ for $C$ over ${{\mathcal O}}_{{\upsilon}}$. Let $Q \in C(K_{{\upsilon}})$ and let $t_Q \in K(C)$ be a well-behaved uniformizer at $Q$. Let $\omega \in \Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$, and write $$\label{eqn:alpha}
\alpha=\frac{\omega}{dt_Q}\Bigr\rvert_{t_Q=0}.$$ Then $\alpha \in {{\mathcal O}}_{{\upsilon}}$. Moreover, for all $P \in {\mathcal{B}}_{{\upsilon}}(Q)$, $$\label{eqn:approx}
\int_Q^P \omega = \alpha \cdot t_Q(P)  + \beta \cdot t_Q(P)^2$$ for some $\beta \in {{\mathcal O}}_{{\upsilon}}$ (which depends on $P$). 

We can expand $\omega$ (after viewing it as an element in $\Omega_{\hat{{{\mathcal O}}}_Q}$) as a formal power series $$\label{eqn:exp}
\omega=(\alpha_0+ \alpha_1 t_Q + \alpha_2 t_Q^2+ \cdots) dt_Q,$$ where the coefficients $\alpha_i$ are all integers in $K_{{\upsilon}}$ (see for example [@LT Proposition 1.6] or [@We Chapters 1.7, 1.8]); here we have not used the assumption that $t_Q(Q)=0$, merely that $t_Q$ is a local coordinate at $Q$. We note that $\alpha=\alpha_0$ and hence integral. 

Let $P \in {\mathcal{B}}_{{\upsilon}}(Q)$. We can now evaluate the integral (see for example [@LT Proposition 1.3]) $$\int_Q^P \omega=\sum_{j=0}^\infty \frac{\alpha_j}{j+1} t_Q(P)^{j+1};$$ the infinite series converges since $\operatorname{ord}_{{\upsilon}}(t_Q(P)) \geq 1$ by part (iii) of Lemma \[lem:wb\].  Thus holds with $$\beta=\sum_{j=0}^\infty \frac{\alpha_{j+1}}{j+2} t_Q(P)^{j}.$$ To complete the proof we must show that $\beta$ is integral.  Thus, it is sufficient to show that $$\operatorname{ord}_{{\upsilon}}(j+2) \leq  j$$ for all $j \geq 0$. But $K_{{\upsilon}}/{{\mathbb Q}}_p$ is unramified, and so $\operatorname{ord}_{{\upsilon}}(j+2)=\operatorname{ord}_p(j+2)$. Hence we need to show that $\operatorname{ord}_p(j+2) \leq j$ for all $j \geq 0$ and all odd primes $p$. This is now an easy exercise. 

Chabauty in a Single Unit Ball {#sec:chab}
==============================

Let $C$ be a smooth projective curve over a number field $K$. Let $J$ be the Jacobian of $C$ and write $r$ for the rank of the Mordell–Weil group $J(K)$. Let $D_1,\cdots,D_r$ be a basis for a free subgroup of finite index in $J(K)$. Let $p$ a rational prime satisfying the following: \[assumptions\]

1.   $p$ is odd

2.   $p$ is unramified in $K$,

3.   every prime ${{\upsilon}}$ of $K$ above $p$ is a prime of good reduction for the curve $C$. 

For each ${{\upsilon}}\mid p$ we fix once and for all a minimal regular proper model ${\mathcal C}_{{\upsilon}}$ for $C$ over ${{\mathcal O}}_{{\upsilon}}$. Let $Q \in C(K)$. For ${{\upsilon}}\mid p$, let ${\mathcal{B}}_{{\upsilon}}(Q)$ be as in , and define the [*$p$-unit ball around $Q$*]{} to be $$\label{eqn:pub}
{\mathcal{B}}_p(Q)=\prod_{{{\upsilon}}\mid p} {\mathcal{B}}_{{\upsilon}}(Q).$$ We will shortly give a criterion for a point $Q \in C(K)$ to be the unique $K$-rational point in its own $p$-unit ball. 

To state our criterion—Theorem \[thm:1\] below—we need to define a pair of matrices $T$ and $A$.  The matrix $T$ depends on the basis $D_1,\dotsc,D_r$. The matrix $A$ depends on the point $Q \in C(K)$. Let ${{\upsilon}}_1,\dotsc,{{\upsilon}}_n$ be the places of $K$ above $p$. For each place ${{\upsilon}}$ above $p$ we fix once and for all a ${{\mathbb Z}}_p$-basis $\theta_{{{\upsilon}},1},\dots,\theta_{{{\upsilon}},d_{{\upsilon}}}$ for ${{\mathcal O}}_{{\upsilon}}$, where $d_{{\upsilon}}=[K_{{\upsilon}}:{{\mathbb Q}}_p]$. Of course $d_{{\upsilon}}=[{{\mathcal O}}_{{\upsilon}}:{{\mathbb Z}}_p]=[k_{{\upsilon}}:{{\mathbb F}}_p]$ as $p$ is unramified in $K$. We also choose an ${{\mathcal O}}_{{\upsilon}}$-basis $\omega_{{{\upsilon}},1},\dotsc,\omega_{{{\upsilon}},g}$ for $\Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$.

Now fix ${{\upsilon}}$ above $p$, and let $\omega \in \Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$. Let $$\label{eqn:tau}
\tau_j=\int_{D_j} \omega, \qquad j=1,\dotsc,r.$$ Write $$\label{eqn:tij}
\tau_j=\sum_{i=1}^{d_{{\upsilon}}} t_{ij} \theta_{{{\upsilon}},i}, \qquad t_{ij} \in {{\mathbb Q}}_p.$$ Let $$\label{eqn:Tvomega}
T_{{{\upsilon}},\omega}=(t_{ij})_{i=1,\dotsc,d_{{\upsilon}},\; j=1,\dotsc,r};$$ that is $T_{{{\upsilon}},\omega}$ is the $d_{{\upsilon}}\times r$ matrix with entries $t_{ij}$. Recall that $\omega_{{{\upsilon}},1},\dotsc,\omega_{{{\upsilon}},g}$ is a basis for $\Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$. Let $$\label{eqn:Tv}
T_{{{\upsilon}}}=
\begin{pmatrix}
T_{{{\upsilon}},\omega_{{{\upsilon}},1}} \\ 
T_{{{\upsilon}},\omega_{{{\upsilon}},2}} \\
\vdots \\ 
T_{{{\upsilon}},\omega_{{{\upsilon}},g}}
\end{pmatrix};$$ this is a $g d_{{\upsilon}}\times r$ matrix with entries in ${{\mathbb Q}}_p$. We now define the matrix $T$ needed for our criterion below: $$\label{eqn:T}
T=
\begin{pmatrix}
T_{{{\upsilon}}_1} \\
T_{{{\upsilon}}_2} \\
\vdots \\
T_{{{\upsilon}}_n}
\end{pmatrix}.$$ Note that $T$ is $gd \times r$ matrix with entries in ${{\mathbb Q}}_p$ where $d=[K:{{\mathbb Q}}]=d_{{{\upsilon}}_1}+\cdots+d_{{{\upsilon}}_n}$.

Let $Q \in C(K)$. We now define the second matrix $A$ needed to state our criterion for $C(K) \cap {\mathcal{B}}_p(Q)=\{ Q\}$. For each place ${{\upsilon}}$ of $K$ above $p$, we have chosen a minimal proper regular model ${\mathcal C}_{{\upsilon}}$. Let $t_Q$ be a well-behaved uniformizer at $Q$ as defined in Subsection \[sec:uniformizers\].  Let $\omega \in \Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$ and let $\alpha$ be given by .  By Lemma \[lem:approx\], $\alpha \in {{\mathcal O}}_{{\upsilon}}$. Recall that we have fixed a basis $\theta_{{{\upsilon}},1},\dotsc,\theta_{{{\upsilon}},d_{{\upsilon}}}$ for ${{\mathcal O}}_{{\upsilon}}/{{\mathbb Z}}_p$. Write $$\label{eqn:aij}
\alpha \cdot \theta_{{{\upsilon}},j}=\sum_{i=1}^{d_{{\upsilon}}} a_{ij} \theta_{{{\upsilon}},i},
\qquad j=1,\dots,d_{{\upsilon}},$$ with $a_{ij} \in {{\mathbb Z}}_p$. Let $$\label{eqn:Avomega}
A_{{{\upsilon}},\omega}=(a_{ij})_{i,j=1,\dotsc,d_{{\upsilon}}}.$$ Let $$\label{eqn:Av}
A_{{\upsilon}}=\begin{pmatrix}
A_{{{\upsilon}},\omega_1} \\
A_{{{\upsilon}},\omega_2} \\
\vdots \\
A_{{{\upsilon}},\omega_g}
\end{pmatrix};$$ this is a $d_{{\upsilon}}g \times d_{{\upsilon}}$ matrix with entries in ${{\mathbb Z}}_p$. Let $$\label{eqn:AQ}
A=\left(
\begin{array}{cccc}
A_{{{\upsilon}}_1} & \mathbf{0} &  \hdots & \mathbf{0} \\
\mathbf{0} & A_{{{\upsilon}}_2} &  \hdots & \mathbf{0} \\
\vdots & \vdots & \ddots  & \vdots \\
\mathbf{0} & \mathbf{0} &  \hdots & A_{{{\upsilon}}_n}
\end{array}
\right).$$ Then $A$ is a $dg \times d$ matrix with entries in ${{\mathbb Z}}_p$.

We use $A$ and $T$ to define a matrix $M_p(Q)$ in terms of which we will express our criterion for $Q$ to be the unique rational point in its $p$-unit ball.  Choose a non-negative integer $a$ such that $p^a T$ has entries in ${{\mathbb Z}}_p$. Let $U$ be a unimodular matrix with entries in ${{\mathbb Z}}_p$ such that $U (p^a T) $ is in Hermite Normal Form.  \[HNF\] Let $h$ be the number of zero rows of $U (p^a T) $.  Let $M_p(Q)$ be the $h \times d$ matrix (with entries in ${{\mathbb Z}}_p$) formed by the last $h$ rows of $UA$.

\[thm:1\] With the above assumptions and notation, denote by $\tilde{M}_p(Q)$ the matrix with entries in ${{\mathbb F}}_p$ obtained by reducing $M_p(Q)$ modulo $p$. If $\tilde{M}_p(Q)$ has rank $d$ then $C(K) \cap {\mathcal{B}}_p(Q) =\{Q\}$.

**Remarks.** 

1.   Let $\mathbf{u}_1,\dots,\mathbf{u}_h$ be a ${{\mathbb Z}}_p$-basis for the kernel of the homomorphism of ${{\mathbb Z}}_p$-modules ${{\mathbb Z}}_p^{gd} \rightarrow {{\mathbb Z}}_p^r$ given by $p^a T$. Then $\mathbf{u}_1 A,\dots,\mathbf{u}_h A$ span the same ${{\mathbb Z}}_p$-module the rows of $M_p(Q)$, showing that the rank of $\tilde{M}_p(Q)$ is independent of the choice of $U$.

2.   Since the matrix $T$ is $gd \times r$, it is evident that $h \geq \max(gd-r,0)$ and, very likely, $h=\max(gd-r,0)$. Now the matrix $\tilde{M}_p(Q)$ is $h \times d$ and so a necessary condition for the criterion to hold is that $h \geq d$. Thus it is sensible to apply the theorem when $gd-r \geq d$, or equivalently when $r \leq d(g-1)$.

3.   In practice, we do not compute the matrix $T$ exactly, merely an approximation to it.  Thus we will not be able to provably determine $h$ unless $h=\max(gd-r,0)$.

Suppose that $P \in C(K) \cap {\mathcal{B}}_p(Q)$. We need to show that $P=Q$.

Let $m$ be the index $$\label{eqn:index}
m:= [J(K): \langle D_1,\cdots,D_r \rangle].$$ There are integers $n_1^\prime,\dotsc,n_r^\prime$ such that $$\label{eqn:mw}
m(P-Q)=n_1^\prime D_1+\cdots+n_r^\prime D_r,$$ where the equality takes place in $\operatorname{Pic}^0(C)$.

Let ${{\upsilon}}$ be one of the places ${{\upsilon}}_1,\dotsc,{{\upsilon}}_n$ above $p$. Recall that we have chosen a well-behaved uniformizer $t_Q$ at $Q$. Write $z=t_Q(P)$. By part (iii) of Lemma \[lem:wb\], $\operatorname{ord}_{{\upsilon}}(z) \geq 1$. We will show that $z=0$, and so again by part (iii) of Lemma \[lem:wb\], $P=Q$ which is what we want to prove. 

We write $$z=z_{{{\upsilon}},1}\theta_{{{\upsilon}},1}+\cdots+z_{{{\upsilon}},d_{{\upsilon}}} \theta_{{{\upsilon}},d_{{\upsilon}}},$$ where $z_{{{\upsilon}},i} \in {{\mathbb Z}}_p$. As $\tilde{\theta}_{{{\upsilon}},1},\dotsc,\tilde{\theta}_{{{\upsilon}},d_{{\upsilon}}}$ is a basis for $k_{{\upsilon}}/{{\mathbb F}}_p$ and $\operatorname{ord}_{{\upsilon}}(z) \geq 1$, we see that $\operatorname{ord}_{{\upsilon}}(z_{{{\upsilon}},i}) \geq 1$ for $i=1,\dotsc,d_{{\upsilon}}$. Let $$\label{eqn:sv}
s_{{\upsilon}}=\min_{1 \leq i \leq d_{{\upsilon}}}{\operatorname{ord}_p(z_{{{\upsilon}},i})}.$$ We will show that $s_{{\upsilon}}=\infty$, which implies that $z_{{{\upsilon}},i}=0$ for $i=1,\dotsc,d_{{\upsilon}}$ and so $z=0$ as required.  For now we note that $s_{{\upsilon}}\geq 1$.

Now fix an $\omega \in \Omega_{{\mathcal C}_{{\upsilon}}/{{\mathcal O}}_{{\upsilon}}}$ and let $\alpha \in {{\mathcal O}}_{{\upsilon}}$ be as in Lemma \[lem:approx\]; by that lemma $$\int_Q^P \omega = \alpha  z +\beta z^2,$$ for some $\beta \in {{\mathcal O}}_{{\upsilon}}$. However, by equation  and the properties of integration explained in Section \[sec:prelim\], $$m\int_Q^P \omega=n_1^\prime \tau_1+\cdots+ n_r^\prime \tau_r,$$ where the $\tau_j$ are given in .  Let $n_i=n_i^\prime/m \in {{\mathbb Q}}$. Thus $$\int_Q^P \omega=n_1 \tau_1+\cdots + n_r \tau_r.$$ Hence $$\label{eqn:linquad}
n_1 \tau_1+\cdots+ n_r \tau_r=
\alpha (z_{{{\upsilon}},1}\theta_{{{\upsilon}},1}+\cdots+z_{{{\upsilon}},d_{{\upsilon}}} \theta_{{{\upsilon}},d_{{\upsilon}}})
+\beta (z_{{{\upsilon}},1}\theta_{{{\upsilon}},1}+\cdots+z_{{{\upsilon}},d_{{\upsilon}}} \theta_{{{\upsilon}},d_{{\upsilon}}})^2.$$ From and we obtain $$\label{eqn:lin}
n_1 \tau_1+\cdots+n_r \tau_r \equiv 
z_{{{\upsilon}},1}(\alpha \theta_{{{\upsilon}},1})+\cdots+z_{{{\upsilon}},d_{{\upsilon}}} (\alpha \theta_{{{\upsilon}},d_{{\upsilon}}}) \pmod{p^{2 s_{{\upsilon}}}{{\mathcal O}}_{{\upsilon}}}.$$ Write $$\mathbf{n}=\begin{pmatrix}
n_1 \\ n_2 \\ \vdots \\ n_r
\end{pmatrix}, \qquad
\mathbf{z}_{{\upsilon}}=
\begin{pmatrix}
z_{{{\upsilon}},1} \\ z_{{{\upsilon}},2} \\ \vdots \\ z_{{{\upsilon}},d_{{\upsilon}}}
\end{pmatrix},$$ and note that the entries of $\mathbf{n}$ are in ${{\mathbb Q}}$, and the entries of $\mathbf{z}_{{\upsilon}}$ are in $p^{s_{{\upsilon}}}{{\mathbb Z}}_p$. Recall that we have expressed $\tau_j=\sum t_{ij} \theta_{{{\upsilon}},i}$ in and $\alpha \cdot \theta_{{{\upsilon}},j}=\sum a_{ij} \theta_{{{\upsilon}},i}$ in where $t_{ij}$ are in ${{\mathbb Q}}_p$ and the $a_{ij}$ are in ${{\mathbb Z}}_p$. Substituting in and comparing the coefficients for $\theta_{{{\upsilon}},i}$ we obtain $$T_{{{\upsilon}},\omega} \mathbf{n}
\equiv
A_{{{\upsilon}},\omega} 
\mathbf{z}_{{\upsilon}}\pmod{p^{2 s_{{\upsilon}}}},$$ where $T_{{{\upsilon}},\omega}$ and $A_{{{\upsilon}},\omega}$ are respectively given in and . 

Let $T_{{\upsilon}}$ and $A_{{\upsilon}}$ be as given in and respectively.  Then $$T_{{{\upsilon}}} \mathbf{n}
\equiv
A_{{{\upsilon}}} \mathbf{z}_{{\upsilon}}\pmod{p^{2 s_{{\upsilon}}}}.$$

Now let $$\mathbf{z}=\begin{pmatrix} \mathbf{z}_{{{\upsilon}}_1} \\ 
\mathbf{z}_{{{\upsilon}}_2}\\
\vdots \\ \mathbf{z}_{{{\upsilon}}_n}
\end{pmatrix}.$$ Then $\mathbf{z}$ is of length $d=[K:{{\mathbb Q}}]$ with entries in $p{{\mathbb Z}}_p$. Write $$\label{eqn:s}
s=\min_{{{\upsilon}}={{\upsilon}}_1,\dots,{{\upsilon}}_n}{s_{{{\upsilon}}}} = \min_{i,j}\; \operatorname{ord}_{{{\upsilon}}_j}(z_{i,{{\upsilon}}_j}),$$ where the $s_{{\upsilon}}$ are defined in .  Clearly $s \geq 1$. It is sufficient to show that $s=\infty$ since then all of the $z_{i,{{\upsilon}}_j}=0$ implying that $P=Q$.

Let $T$ and $A$ be as given in and .  Then $$\label{eqn:Tcong}
T \mathbf{n}  \equiv A \mathbf{z} \pmod{p^{2s}},$$ where we note once again that $T$ is $dg\times r$ with entries in ${{\mathbb Q}}_p$ and $A$ is $dg \times d$ with entries in ${{\mathbb Z}}_p$.

Let $U$, $M_p(Q)$, $h$ be as in the paragraph preceding the statement of the theorem.  Suppose that $\tilde{M}_p(Q)$ has rank $d$. Suppose $s< \infty$ and we will derive a contradiction.  Recall that the last $h$ rows of $UT$ are zero.  From we have that $M_p(Q) \mathbf{z} \equiv 0 \pmod{p^{2s}}$ since, by definition, $M_p(Q)$ is the matrix formed by the last $h$ rows of $UA$. In particular $M_p$ has coefficients in ${{\mathbb Z}}_p$ since both $U$ and $A$ have coefficients in ${{\mathbb Z}}_p$. From the definition of $s$ in we can write $\mathbf{z}=p^s \mathbf{w}$ where the entries of $\mathbf{w}$ are in ${{\mathbb Z}}_p$ and $\mathbf{w} \not \equiv \mathbf{0} \pmod{p}$. However, $M_p(Q) \mathbf{w} \equiv 0 \pmod{p^s}$, and as $s \geq 1$, we have that $M_p(Q) \mathbf{w} \equiv 0 \pmod{p}$. Since $\mathbf{w} \in {{\mathbb Z}}_p^d$, if $\tilde{M}_p(Q)$ has rank $d$ then $\mathbf{w} \equiv \mathbf{0} \pmod{p}$, giving the desired contradiction. 

Chabauty and the Mordell–Weil Sieve {#sec:MW}
===================================

Theorem \[thm:1\] gives a criterion for showing that a given $K$-rational point $Q$ on $C$ is the unique $K$-rational point in its $p$-unit ball, for a rational prime $p$ satisfying certain conditions. 

Let $L_0$ be a subgroup of $J(K)$ of finite index containing the free subgroup $L$ generated by $D_1,\dotsc,D_r$ of the previous section.  We can take $L_0=L$ but for our purpose it is preferable to include the torsion subgroup of $J(K)$ in $L_0$. The usual $p$-saturation method [@Si], [@Sikphd], [@FS] shows how to enlarge $L_0$ so that its index in $J(K)$ is not divisible by any given small prime $p$. One expects, after checking $p$-saturation for all small primes $p$ up to some bound that $L_0$ is in fact equal to $J(K)$. However, proving that $J(K)=L_0$ requires an explicit theory of heights on the Jacobian $J$. This is not yet available for Jacobians of curves of genus $\geq 3$. For Jacobians of curves of genus $2$ there is an explicit theory of heights [@Flynnh], [@FS], [@Stollh1], [@Stollh2], though the bounds over any number fields other than the rationals are likely to be impractically large. 

As usual we assume the existence of some $P_0 \in C(K)$ and denote the associated Abel–Jacobi map by $\jmath$. It is easiest to search for $K$-rational points on $C$ by taking small linear combinations of the generators of $L_0$ and checking if they are in the image of $\jmath$. In this way we determine a set ${\mathcal{K}}\subseteq C(K)$ of known $K$-rational points, and the challenge is to show that ${\mathcal{K}}$ is in fact equal to $C(K)$. In this section we show how to combine our Theorem \[thm:1\] with an adaptation of the Mordell–Weil sieve to give a practical criterion for ${\mathcal{K}}$ to be equal to $C(K)$. The usual Mordell–Weil sieve [@BrE], [@BS], [@BS3], [@integral] assumes knowledge of the full Mordell–Weil group.  Our adaptation takes careful account of the fact that we are working with a subgroup of finite (though unknown) index. 

Before we give the details we point that substantial improvements can be made to the version of the Mordell–Weil sieve outlined below.  It has certainly been sufficient for the examples we have computed so far (including the ones detailed in the next section).  But we expect that for some other examples it will be necessary (though not difficult) to incorporate the improvements to the Mordell–Weil sieve found in the papers of Bruin and Stoll [@BS], [@BS3]. 

Before stating our criterion we need to set up some notation.  Here it is convenient to use the same symbol to denote several different Abel-Jacobi maps associated to the fixed $K$-rational point $P_0$ and its images on special fibres.  Let ${{\upsilon}}$ be of good reduction for $C$.  Denote by $\operatorname{red}$ the natural maps $$\operatorname{red}: C(K) \rightarrow C(k_{{\upsilon}}), \qquad
\operatorname{red}: J(K) \rightarrow J(k_{{\upsilon}}).$$ Denote by $\jmath$ the Abel–Jacobi map $C(k_{{\upsilon}}) \rightarrow J(k_{{\upsilon}})$ associated to $\tilde{P}_0$.

\[lem:mw\] Let $L_0$ be a subgroup of $J(K)$ of finite index $n=[J(K):L_0]$. Let $P_0 \in C(K)$ and let $\jmath$ denote the Abel-Jacobi maps associated to $P_0$ as above.  Let ${{\upsilon}}_1,\dotsc,{{\upsilon}}_s$ be places of $K$, such that each ${{\upsilon}}={{\upsilon}}_i$ satisfies the two conditions:

1.   ${{\upsilon}}$ is a place of good reduction for $C$,

2.   the index $n$ is coprime to $\# J(k_{{\upsilon}})$.

To ease notation, write $k_i$ for the residue field $k_{{{\upsilon}}_i}$. Define inductively a sequence of subgroups $$L_0 \supseteq L_1 \supseteq L_2 \supseteq L_3 \supseteq \dots \supseteq L_s$$ and finite subsets $W_0,W_1,\dotsc,W_s \subset L_0$ as follows.  Let $W_0=\{\mathbf{0}\}$. Suppose we have defined $L_i$ and $W_i$ where $i \leq s-1$. Let $L_{i+1}$ be the kernel of the composition $$L_i \hookrightarrow J(K) \rightarrow  J(k_{i+1}).$$ To define $W_{i+1}$ choose a complete set ${\mathcal{Q}}$ of coset representatives for $L_{i}/L_{i+1}$, and let $$W_{i+1}^\prime=\{\mathbf{w}+\mathbf{q}: \mathbf{w} \in W_i \quad \text{and} \quad 
\mathbf{q} \in {\mathcal{Q}}\}.$$ Let $$W_{i+1}=\{ \mathbf{w} \in W_{i+1}^\prime : \operatorname{red}(\mathbf{w}) \in \jmath(C(k_{i+1}))\}.$$ Then for every $i=0,\dotsc,s$, and every $Q\in C(K)$, there is some $\mathbf{w} \in W_i$ such that $$\label{eqn:ind}
n(\jmath(Q)-\mathbf{w}) \in L_i.$$

The proof is by induction on $i$. Since $L_0$ has index $n$ in $J(K)$, is true with $\mathbf{w}=0$. Let $i \leq s-1$. Suppose $Q \in C(K)$, $\mathbf{w}^\prime \in W_i$ and $\mathbf{l}^\prime \in L_i$ satisfy $$\label{eqn:inter}
n(\jmath(Q)-\mathbf{w}^\prime) = \mathbf{l}^\prime.$$ By definition of $L_{i+1}$, the quotient group $L_i/L_{i+1}$ is isomorphic to a subgroup of $J(k_{i+1})$. It follows from assumption (${{\upsilon}}2$) that $n$ is coprime to the order of $L_i/L_{i+1}$. Recall that ${\mathcal{Q}}$ was defined as a complete set of coset representatives for $L_i/L_{i+1}$. Thus $n {\mathcal{Q}}$ is also a set of coset representatives.  Hence we may express $\mathbf{l}^\prime \in L_i$ as $$\mathbf{l}^\prime =n \mathbf{q}+ \mathbf{l}$$ where $\mathbf{q} \in {\mathcal{Q}}$ and $\mathbf{l} \in L_{i+1}$. Let $\mathbf{w}=\mathbf{w}^\prime+\mathbf{q}$. Then $\mathbf{w} \in W_{i+1}^\prime$. By , we see that $$n(\jmath(Q)-\mathbf{w})=\mathbf{l}^\prime -n \mathbf{q} = \mathbf{l} \in L_{i+1}.$$ To complete the inductive argument all we need to show is that $\mathbf{w} \in W_{i+1}$, or equivalently that $\operatorname{red}(\mathbf{w}) \in \jmath (C(k_{i+1}))$. However, since $L_{i+1}$ is contained in the kernel of $\operatorname{red}: J(K) \rightarrow J(k_{i+1})$, we see that $$n (\jmath(\tilde{Q})-\operatorname{red}(\mathbf{w}))=0 \qquad \text{in $J(k_{i+1})$}.$$ Using the fact that $n$ is coprime to $\# J(k_{i+1})$ once again gives $\operatorname{red}(\mathbf{w}) =\jmath(\tilde{Q})$ as required. 

\[thm:mwc\] We continue with the above notation and assumptions.  Let $L_0\supseteq L_1 \supseteq \cdots \supseteq L_s$ and $W_0,\dotsc,W_s$ be the sequences constructed in Lemma \[lem:mw\].  Let ${\mathcal{K}}$ be a subset of $C(K)$. Let $P_0 \in {\mathcal{K}}$ and let $\jmath$ denote the maps associated to $P_0$ as above.  Suppose that for every $\mathbf{w} \in W_s$ there is a point $Q \in {\mathcal{K}}$ and a prime $p$ such that the following conditions hold:

1.   $p$ satisfies conditions (p1)–(p3) on page ,

2.   (in the notation of the previous section) the matrix $\tilde{M}_p(Q)$ has rank $d$,

3.   the kernel of the homomorphism $$\label{eqn:proker}
    J(K) \longrightarrow \prod_{{{\upsilon}}\mid p} J(k_{{\upsilon}})$$ contains both the group $L_s$ and the difference $\jmath(Q)-\mathbf{w}$,

4.   the index $n=[J(K):L_0]$ is coprime to the orders of the groups $J(k_{{\upsilon}})$ for ${{\upsilon}}\mid p$.

Then $C(K)={\mathcal{K}}$.

Suppose that $P \in C(K)$. We would like to show that $P \in {\mathcal{K}}$. By Lemma \[lem:mw\], there is some $\mathbf{w} \in W_s$ such that $n(\jmath(P)-\mathbf{w}) \in L_s$. Let $Q \in {\mathcal{K}}$ and prime $p$ satisfy conditions (a)–(d) of the theorem.  By (c), $L_s$ is contained in the kernel of and hence $$n (\jmath(\tilde{P}) - \operatorname{red}(\mathbf{w}))=0$$ in $J(k_{{\upsilon}})$ for all ${{\upsilon}}\mid p$. Since $p$ satisfies assumption (d), it follows that $$\jmath(\tilde{P})-\operatorname{red}(\mathbf{w})=0$$ in $J(k_{{\upsilon}})$ for all ${{\upsilon}}\mid p$. But by assumption (c) again, $$\jmath(\tilde{Q})-\operatorname{red}(\mathbf{w})=0$$ in $J(k_{{\upsilon}})$ for all ${{\upsilon}}\mid p$. It follows that $\tilde{P}=\tilde{Q}$ in $C(k_{{\upsilon}})$ for all ${{\upsilon}}\mid p$. Hence $P \in {\mathcal{B}}_p(Q)$ where ${\mathcal{B}}_p(Q)$ is the $p$-unit ball around $Q$ defined in .  By assumption (b) and Theorem \[thm:1\] we see that $P=Q \in {\mathcal{K}}$ completing the proof. 

The Generalized Fermat Equation with Signature $(2,3,10)$ {#sec:Fermat}
=========================================================

Let $p$, $q$, $r \in {{\mathbb Z}}_{\geq 2}$. The equation $$\label{eqn:FCgen}
x^p+y^q=z^r$$ is known as the Generalized Fermat equation (or the Fermat–Catalan equation) with signature $(p,q,r)$. As in Fermat’s Last Theorem, one is interested in integer solutions $x$, $y$, $z$. Such a solution is called [*non-trivial*]{} if $xyz \neq 0$, and [*primitive*]{} if $x$, $y$, $z$ are coprime.  Let $\chi=p^{-1}+q^{-1}+r^{-1}$. The parametrization of non-trivial primitive solutions for $(p,q,r)$ with $\chi \geq 1$ has now been completed [@Ed].  The Generalized Fermat Conjecture [@Da97], [@DG] is concerned with the case $\chi<1$. It states that the only non-trivial primitive solutions to with $\chi<1$ are $$\begin{gathered}
1+2^3 = 3^2, \quad 2^5+7^2 = 3^4, \quad 7^3+13^2 = 2^9, \quad
2^7+17^3 = 71^2, \\
3^5+11^4 = 122^2, \quad 17^7+76271^3 = 21063928^2, \quad
1414^3+2213459^2 = 65^7, \\
9262^3+15312283^2 = 113^7, \quad
43^8+96222^3 = 30042907^2, \quad 33^8+1549034^2 = 15613^3.\end{gathered}$$ The Generalized Fermat Conjecture has been established for many signatures $(p,q,r)$, including for several infinite families of signatures: Fermat’s Last Theorem $(p,p,p)$ by Wiles and Taylor [@W], [@TW]; $(p,p,2)$ and $(p,p,3)$ by Darmon and Merel [@DM]; $(2,4,p)$ by Ellenberg [@El] and Bennett, Ellenberg and Ng [@BEN]; $(2p,2p,5)$ by Bennett [@Ben].  Recently, Chen and Siksek [@ChenS] have solved the Generalized Fermat equation with signatures $(3,3,p)$ for a set of prime exponents $p$ having Dirichlet density $28219/44928$. For an exhaustive survey see [@Cohen Chapter 14].  An older but still very useful survey is [@Kr99]. 

There is an abundance of solutions for Generalized Fermat equations with signatures $(2,3,n)$, and so this subfamily is particularly interesting.  The condition $\chi>1$ within this subfamily coincides with the condition $n \geq 7$. The cases $n=7$, $8$, $9$ are solved respectively in [@PSS], [@Br2] and [@Br3].  The case $n=10$ appears to be the first hitherto unresolved case within this subfamily and this of course corresponds to equation . 

In this section we solve equation  in coprime integers $x$, $y$, $z$, thereby proving Theorem \[thm:Ferm\].  We shall use the computer package [MAGMA]{} [@MAGMA] for all our calculations.  In particular, [MAGMA]{} includes implementations by Nils Bruin and Michael Stoll of $2$-descent on Jacobians of hyperelliptic curves over number fields; the algorithm is detailed in Stoll’s paper [@Stoll]. [ MAGMA]{} also includes an implementation of Chabauty for genus $2$ curves over ${{\mathbb Q}}$.

**Case I: $y$ is odd**
----------------------

From we immediately see that $$x+z^5=u^3,
\quad x-z^5=v^3,$$ where $u$, $v$ are coprime and odd.  Hence $2z^5=u^3-v^3$.

[**Case I.1: $3\nmid  z$**]{}

Then $$u-v=2a^5, \qquad
u^2+uv+v^2=b^5,$$ where $a$, $b$ are coprime integers with $z=ab$. We now use the identity $$\label{eqn:id}
(u-v)^2+3(u+v)^2=4(u^2+uv+v^2)$$ to obtain $4a^{10}+3c^2=4b^5$, where $c=u+v$. Dividing by $4a^{10}$, we obtain a rational point $(X,Y)=(b/a^2,3c/2a^5)$ on the genus $2$ curve $$C:\quad Y^2=3(X^5-1).$$ Using [MAGMA]{} we are able to show that the Jacobian of this genus $2$ curve $C$ has Mordell-Weil rank $0$ and torsion subgroup isomorphic to ${{\mathbb Z}}/2{{\mathbb Z}}$. It is immediate that $C({{\mathbb Q}})=\{\infty,(1,0)\}$.

Working backwards we obtain the solutions $(x,y,z)=(0,1, \pm 1)$ to . 

[**Case I.2: $3\mid z$**]{}

Recall $2z^5=u^3-v^3$ and $u$, $v$ are odd and coprime.  Thus $$u-v=2 \cdot 3^4 a^5,
\qquad      u^2+uv+v^2=3 b^5,$$ where $z=3ab$. Now we use identity to obtain $4\cdot 3^8 a^{10}+3c^2=12b^5$, where $c=u+v$. Hence we obtain a rational point $(X,Y)=(b/a^2, c/2 a^5)$ on the genus $2$ curve $$C: Y^2=X^5-3^7.$$ Let $J$ be the Jacobian of $C$.  Using [MAGMA]{} we can show that $J({{\mathbb Q}})$ is free of rank $1$, with generator $$\left(\frac{-9+3 \sqrt{-3}}{2},\frac{81+27\sqrt{-3}}{2} \right)+
\left(\frac{-9-3 \sqrt{-3}}{2},\frac{81-27\sqrt{-3}}{2} \right)-2 \infty.$$

Using [MAGMA]{}’s built-in Chabauty command we find that $C({{\mathbb Q}})=\{\infty\}$. Working backwards we obtain $(x,y,z)=(\pm 1,-1,0)$.

Case II: $y$ is even
--------------------

We would now like to solve with $y$ even, and $x$, $y$ coprime.  Replacing $x$ by $-x$ if necessary we obtain $x \equiv z^5 \pmod{4}$. $$x+z^5=2u^3, \qquad
x-z^5=4v^3,$$ where $y=-2uv$. Hence $$\label{eqn:335}
u^3-2v^3=z^5
\qquad \text{$u$, $v$ are coprime and $u$, $z$ are odd}.$$ If $3 \mid z$ then this equation is impossible modulo $9$. Hence $3 \nmid z$.

Let $\theta={\sqrt[3]{2}}$. We shall work in the number field $K={{\mathbb Q}}(\theta)$. This has ring of integers ${{\mathcal O}}_K={{\mathbb Z}}[\theta]$ with class number $1$. The unit group is isomorphic to ${{\mathbb Z}}\times {{\mathbb Z}}/2{{\mathbb Z}}$ with $\epsilon=1-\theta$ a fundamental unit. 

Observe that $$(u-v\theta)(u^2+uv \theta +v^2 \theta^2)=z^5,$$ where the two factors on the left-hand side are coprime as $u$, $v$ are coprime and $z$ is neither divisible by $2$ nor $3$. Hence $$\label{eqn:uvalpha}
u-v\theta =\epsilon^s \alpha^5, \qquad
u^2+uv \theta +v^2 \theta^2=\epsilon^{-s} \beta^5,$$ where $-2 \leq s \leq 2$ and $\alpha$, $\beta \in {{\mathbb Z}}[\theta]$ satisfy $z=\alpha \beta$. We now use the identity $$(u-v \theta)^2+3(u+v \theta)^2=4(u^2+uv\theta+v^2 \theta^2),$$ to obtain $$\epsilon^{2s} \alpha^{10}+3(u+v\theta)^2=4 \epsilon^{-s} \beta^5.$$ Let $C_s$ be the genus $2$ curve defined over $K$ given by $$C_s: \quad Y^2=3(4 \epsilon^{-s} X^5- \epsilon^{2s}).$$ We see that $$\label{eqn:XY}
(X,Y)=\left(\frac{\beta}{\alpha^2},\frac{3(u+v\theta)}{\alpha^5}\right),$$ is a $K$-rational point on $C_s$. To complete our proof of Theorem \[thm:Ferm\] we need to determine $C_s(K)$ for $-2 \leq s \leq 2$. Let $J_s$ be the Jacobian of $C_s$. Using reduction at various places of $K$ we easily showed that the torsion subgroup of $J_s(K)$ is trivial in all cases.  The $2$-Selmer ranks of $J_s(K)$ are respectively $1$, $3$, $2$, $3$, $0$ for $s=-2,-1,0,2,1$. We searched for $K$-rational points on each $J_s$ by first searching for points on the associated Kummer surface.  We are fortunate to have found enough independent points in $J_s(K)$ in each case to show that the Mordell–Weil rank is equal to the $2$-Selmer rank.  In other words we have determined a basis for a subgroup of $J_s(K)$ of finite index, and this is given in Table \[table:2310\]. 

[|c|c|c|]{} $s$ & basis for subgroup of $J_s(K)$ of finite index & $C_s(K)$\
$-2$ & $ (\theta^2 + \theta + 1 , \theta^2 + 2\theta + 1 )-\infty $ & $ \infty$,\
& & $(\theta^2 + \theta + 1 , \pm (\theta^2 + 2\theta + 1) )$\
$-1$ & $ (-\theta^2 - \theta - 1, 11\theta^2 + 13\theta + 17) -\infty,$ & $\infty$,\
& $
\displaystyle 
\sum_{i=1,2}(\Phi_i, (2\theta^2 + 2\theta + 3)\Phi_i + 2\theta^2 + 3\theta + 4)
-2\infty$ [^3], & $\displaystyle
\left( \frac{-\theta^2 - 2\theta - 1}{3} , \frac{\pm (\theta^2 - \theta + 1)}{3} \right)$,\
& $   
\displaystyle
\sum_{i=3,4}(\Phi_i,(4\theta^2 + 6\theta + 10)\Phi_i + 9\theta^2 + 11\theta + 13)
- 2\infty 
$ [^4] & $(-\theta^2 - \theta - 1 , \pm (11\theta^2 + 13\theta + 17) )$\
\
$0$ & $(1, 3)-\infty$, & $\infty$,\
& $\displaystyle
\left(
\frac{\theta^2 + 2\theta + 1}{3}, 
\frac{10\theta^2 + 8\theta + 13}{3}
\right)-\infty
$ & $\displaystyle
\left(
\frac{\theta^2 + 2\theta + 1}{3} , \frac{\pm (10\theta^2 + 8\theta + 13)}{3} 
\right)
$,\
& & $(1 ,\pm 3)$\
\
$1$ & $D_1=(-\theta^2 - \theta - 1, -40\theta^2 - 53\theta - 67) -\infty$, & $\infty$,\
& $D_2=(- 1, 3\theta + 3)-\infty$, & $(-\theta^2 - \theta - 1 , \pm (40\theta^2 + 53\theta + 67))$,\
& $
\displaystyle
D_3=\sum_{i=5,6}(\Phi_i,(2\theta - 2)\Phi_i - \theta + 1)
-2\infty
$ [^5], & $(-1 , \pm (3\theta + 3) )$\
$2$ & $\emptyset$ & $\infty$\

\[table:2310\]

Note that in each case the rank $r \leq 3=d(g-1)$ where $d=[K:{{\mathbb Q}}]=3$ and $g=2$ is the genus.  We implemented our method in [MAGMA]{}.  Our program succeeded in determining $C_s(K)$ for all $-2 \leq s \leq 2$, and the results are given in Table \[table:2310\].  The entire computation took approximately $2.5$ hours on a $2.8$ GHz Dual-Core AMD Opteron; this includes the time taken for computing Selmer groups and searching for points on the Kummer surfaces.  It is appropriate to give more details and we do this for the case $s=1$. Let $C=C_1$ and write $J$ for its Jacobian.  Let $${\mathcal{K}}=
\left\{ 
\infty,\; P_0,\; P_0^\prime,\; P_1,\; P_1^\prime
\right\},$$ where $$P_0=(-\theta^2 - \theta - 1 , 40\theta^2 + 53\theta + 67), \qquad
P_1= (-1 , 3\theta + 3),$$ and $P_0^\prime$, $P_1^\prime$ are respectively the images of $P_0$, $P_1$ under the hyperelliptic involution.  Let $D_1$, $D_2$, $D_3$ be the basis given in Table \[table:2310\] for a subgroup of $J(K)$ of finite index.  Let $L_0=\langle D_1, D_2, D_3 \rangle$. Our program verified that the index of $L_0$ in $J(K)$ is not divisible by any prime $<75$. Our program used the point $$P_0=(-\theta^2 - \theta - 1 , 40\theta^2 + 53\theta + 67)$$ as the base point for the Abel-Jacobi map $\jmath$. The image of ${\mathcal{K}}$ under $\jmath$ is $$\jmath({\mathcal{K}})=\{D_1, \quad 0, \quad  2D_1, \quad D_1 + D_2, \quad D_1 - D_2\},$$ where we have listed the elements of $\jmath({\mathcal{K}})$ so that they correspond to the above list of points of ${\mathcal{K}}$. Next our program applied the Mordell–Weil sieve as in Lemma \[lem:mw\].  The program chose $22$ places ${{\upsilon}}$ which are places of good reduction for $C$ and such that $\#J(k_{{\upsilon}})$ is divisible only by primes $<75$. In the notation of Lemma \[lem:mw\], $$L_{22}=\langle 1386000 D_1 + 16632000 D_2 + 18018000 D_3, \quad
    24948000 D_2, \quad
    24948000 D_3 \rangle ,$$ and $$\begin{gathered}
W_{22}=\{
    0, \;
    D_1 - D_2, \;
    D_1, \;
    D_1 + D_2, \;
    2 D_1, \;
    D_1 + 12474000 D_2 + 87318000 D_3, \\
    277201 D_1 + 5821200 D_2 + 51004800 D_3,  \quad
    277201 D_1 - 6652800 D_2 - 36313200 D_3, \\
    -277199 D_1 + 6652800 D_2 + 36313200 D_3, \quad
    -277199 D_1 - 5821200 D_2 - 51004800 D_3
\}.\end{gathered}$$

Next we would like to apply Theorem \[thm:mwc\] and so we need primes $p$ satisfying conditions (a)–(d) of that theorem.  In particular, our program searches for odd primes $p$, unramified in $K$, so that every place ${{\upsilon}}\mid p$ is a place of good reduction for $C$, and $\#J(k_{{\upsilon}})$ is divisible only by primes $<75$, and so that $L_{22}$ is contained in the kernel of the homomorphism .  The smallest prime satisfying these conditions is $p=109$ which splits completely in $K$ and so there are three degree $1$ places ${{\upsilon}}_1$, ${{\upsilon}}_2$, ${{\upsilon}}_3$ above $109$. It turns out that $$J(k_{{\upsilon}}) \cong ({{\mathbb Z}}/110)^2,$$ for ${{\upsilon}}={{\upsilon}}_1,{{\upsilon}}_2,{{\upsilon}}_3$. The reader can easily see that $$L_{22} \subset 110 L_0 \subseteq 110 J(K)$$ and so clearly $L_{22}$ is in the kernel of with $p=109$. Moreover, the reader will easily see that every $\mathbf{w} \in W_{22}$ is equivalent modulo $110 L_0$ to some element of $\jmath({\mathcal{K}})$. Hence conditions (a), (c), (d) of the Theorem \[thm:mwc\] are satisfied for each $\mathbf{w} \in W_{22}$ with $p=109$. To show that $C(K)={\mathcal{K}}$ it is enough to show that $\tilde{M}_{109}(Q)$ has rank $3$ for all $Q \in {\mathcal{K}}$.

It is convenient to take $$\omega_1=\frac{dx}{y}, \qquad \omega_2=\frac{xdx}{y},$$ as basis for the $1$-forms on $C$.  With this choice we computed the matrices $\tilde{M}_{109}(Q)$ for $Q \in {\mathcal{K}}$. For example, we obtained $$\tilde{M}_{109}(\infty)=
\begin{pmatrix}
 79 & 64 &  0\\
 31 &  0 &  0\\
104 &  0 & 82\\
\end{pmatrix} \pmod{109};$$ this matrix of course depends on our choice of $U$ used to compute the Hermite Normal Form on page , though as observed in the remarks after Theorem \[thm:1\], its rank is independent of this choice of $U$. The matrix $\tilde{M}_{109}(\infty)$ clearly has non-zero determinant and so rank $3$. It turns out that the four other $\tilde{M}_{109}(Q)$ also have rank $3$. This completes the proof that $C(K)={\mathcal{K}}$.

We now return to the general case where $-2 \leq s \leq 2$, and would like to recover the coprime integer solutions $u$, $v$ to equation  from the $K$-rational points on $C_s$ and hence the solutions $(x,y,z)$ to with $y$ even and $x \equiv z^5 \pmod{4}$. From and we see that $$Y=\frac{3(u+v\theta)}{\alpha^5}=3 \epsilon^s 
\left(\frac{u+v\theta}{u-v\theta} \right).$$ Thus $$\frac{u}{v}=\theta \cdot \left( \frac{Y+3\epsilon^s}{Y-3\epsilon^s}\right).$$ Substituting in here the values of $Y$ and $s$ from the $K$-rational points on the curves $C_s$, the only [**${{\mathbb Q}}$-rational**]{} values for $u/v$ we obtain are respectively $-1$, $2$, $0$, $5/4$, $1$; these respectively come from the points $(\theta^2 + \theta + 1 , -\theta^2 - 2\theta - 1)$, $ (-\theta^2 - \theta - 1 , -11 \theta^2 - 13\theta - 17 )$, $(1 , -3 )$, $(-\theta^2 - \theta - 1 , 40 \theta^2 + 53\theta + 67 )$, $(-1 , 3\theta + 3 )$.  This immediately allows us to complete the proof of Theorem \[thm:Ferm\]. 

The reader can find the [MAGMA]{} code for verifying the above computations at: [http://www.warwick.ac.uk/staff/S.Siksek/progs/chabnf/]{}

[**Remarks.**]{} 

1.   Although our approach solves equation  completely, we point out that it is possible to eliminate some cases by using Galois representations and level-lowering as Dahmen [@Dahmen] does for the equation $x^2+z^{10}=y^3$. Indeed, by mimicking Dahmen’s approach and making use of the work of Darmon and Merel [@DM], and the so called method for predicting the exponents of constants [@Cohen Section 15.7] we were able to reduce to the case $s=1$, and it is this case that corresponds to our non-trivial solution $(x,y,z)=(\pm 3,-2,\pm 1)$. It seems however that the approach via Galois representations cannot in the current state of knowledge deal with case $s=1$.

2.   Note that to solve our original problem , we did not need all $K$-rational points on the curves $C_s$, merely those $(X,Y) \in C_s(K)$ with $$\theta \cdot \left(\frac{Y+3 \epsilon^s}{Y-3 \epsilon^s}\right) \in {{\mathbb Q}}.$$ This suggests that a higher dimensional analogue of elliptic curve Chabauty [@Br1], [@Br2], [@FW1], [@FW2] should be applicable, and this should give an alternative approach to .  Although it was not needed here we expect that this idea will be useful in other contexts. 

M. Bennett, [*On the equation $x^{2n}+y^{2n}=z^5$*]{}, J. Théor.  Nombres Bordeaux [**18**]{} (2006), 315–321. 

M. A. Bennett, J. S. Ellenberg and N. C. Ng, [*The Diophantine equation $A^4+2^\delta B^2=C^n$*]{}, International Journal of Number Theory [**6**]{} (2010), 311–338. 

W. Bosma, J. Cannon and C. Playoust: [*The Magma Algebra System I: The User Language*]{}, J. Symb.  Comp.  [**24**]{} (1997), 235–265. ( See also [http://magma.maths.usyd.edu.au/magma/]{})

N. Bourbaki, [*Lie Groups and Lie Algebras.  Chapters 1–3*]{}, Elements of Mathematics (Berlin), Springer–Verlag, Berlin, 1998.  Translated from French; Reprint of the 1989 English translation. 

D. Brown, [*Primitive solutions to $x^2+y^3=z^{10}$*]{}, [arXiv:0911.2932v2 \[math. NT\]]{}. 

N. Bruin, [*Chabauty methods and covering techniques applied to generalized Fermat equations*]{}, Dissertation, University of Leiden, Leiden, 1999. 

N. Bruin, [*Chabauty methods using elliptic curves*]{}, J. reine angew.  Math.   [**562**]{} (2003), 27–49. 

N. Bruin, [*The primitive solutions to $x\sp 3+y\sp 9=z\sp 2$*]{}, Journal of Number Theory [**111**]{} (2005), no.  1, 179–189. 

N. Bruin and N. D. Elkies, [*Trinomials $ax^7+bx+c$ and $ax^8+bx+c$ with Galois groups of order $168$ and $8\cdot 168$*]{}, pp.  172–188 of C. Fieker and D. R. Kohel (Eds.), [** Algorithmic Number Theory**]{}, 5th International Symposium, ANTS-V, Lecture Notes in Computer Science 2369, Springer-Verlag, 2002. 

N. Bruin and M. Stoll, [*Deciding existence of rational points on curves: an experiment*]{}, Experimental Mathematics [**17**]{} (2008), 181–189. 

N. Bruin and M. Stoll, [*Two-cover descent on hyperelliptic curves*]{}, Mathematics of Computations [**78**]{} (2009), 2347–2370. 

N. Bruin and M. Stoll, [*The Mordell–Weil sieve: proving the non-existence of rational points on curves*]{}, to appear in the LMS Journal of Computing Mathematics. 

Y. Bugeaud, M. Mignotte, M. Stoll, S. Siksek and Sz.  Tengely, [*Integral Points on Hyperelliptic Curves*]{}, Algebra & Number Theory [**2**]{} (2008), No.  8, 859–885. 

J. W. S. Cassels and E. V. Flynn, [*Prolegomena to a middlebrow arithmetic of curves of genus $2$*]{}, L.M.S. lecture notes series [**230**]{}, Cambridge University Press, 1997. 

C. Chabauty, [*Sur les points rationnels des variétés algébriques dont l’irrégularité est supérieure à la dimension*]{}, C. R. Acad.  Sci.  Paris [**212**]{} (1941), 1022–1024. 

I. Chen and S. Siksek, [*Perfect powers expressible as sums of two cubes*]{}, Journal of Algebra [**322**]{} (2009), 638–656. 

H. Cohen, [*Number Theory, Volume II: Analytic and Modern Tools*]{}, GTM [**240**]{}, Springer-Verlag, 2007. 

R. F. Coleman, [*Effective Chabauty*]{}, Duke Mathematical Journal [**52**]{} (1985), No.  3, 765–770. 

R. F. Coleman, [*Torsion points on curves and $p$-adic abelian integrals*]{}, Annals of Mathematics [**121**]{} (1985), 111–168. 

P. Colmez, [*Intégration sur les variétés $p$-adiques*]{}, Astérisque [**248**]{} (1998), Société Mathématique de France. 

G. Cornell and J. H. Silverman (editors), [*Arithmetic Geometry*]{}, Springer-Verlag, 1986. 

S. R. Dahmen, [*Classical and modular methods applied to Diophantine equations*]{}, University of Utrecht, PhD thesis, 2008. 

H. Darmon, [*Faltings plus epsilon, Wiles plus epsilon, and the generalized Fermat equation*]{}, C. R. Math.  Rep. Acad.  Sci.  Canada [**19**]{} (1997), no.  1, 3–14. 

H. Darmon and A. Granville, [*On the Equation $z^{m} = F(x,y)$ and $Ax^{p}+By^{q}=Cz^{r}$*]{}, Bull.  London Math.  Society, [**27**]{} (1995), no.  6, 513–543. 

H. Darmon and L. Merel, [*Winding quotients and some variants of Fermat’s Last Theorem*]{}, J. reine angew.  Math.  [**490**]{} (1997), 81–100. 

J. Edwards, [*A complete solution to $X^2+Y^3+Z^5=0$*]{}, J. reine angew.  Math.  [**571**]{} (2004), 213–236. 

J. Ellenberg, [*Galois representations attached to ${{\mathbb Q}}$-curves and the generalized Fermat equation $A^{4} + B^{2} = C^{p}$*]{}, Amer.   J.  Math.  [**126**]{} (2004), 763–787. 

G. Faltings, [*Endlichkeitssätze für abelsche Varietäten über Zahlkörpern*]{}, Invent.  Math.  [**73**]{} (1983), no.  3, 349–366. 

E. V. Flynn, [*Descent via isogeny in dimension $2$*]{}, Acta Arith.  [**LXVI.1**]{} (1994), 23–43. 

E. V. Flynn, [*On a theorem of Coleman*]{}, Manuscripta Math.  [**88**]{} (1995), 447–456. 

E. V. Flynn, [*An explicit theory of heights*]{}, Trans.  Amer.  Math.  Soc.  [**347**]{} (1995), no.  8, 3003–3015. 

E. V. Flynn, [*A flexible method for applying Chabauty’s Theorem*]{}, Compositio Math.  [**105**]{} (1997), 79–94. 

E. V. Flynn and N. P. Smart, [*Canonical heights on the Jacobians of curves of genus $2$ and the infinite descent*]{}, Acta Arith.  [**79**]{} (1997), no.  4, 333–352. 

E. V. Flynn and J. L. Wetherell, [*Finding rational points on bielliptic genus 2 curves*]{}, Manuscripta Math.  [**100**]{} (1999), no.  4, 519–533. 

E. V. Flynn and J. L. Wetherell, [*Covering collections and a challenge problem of Serre*]{}, Acta Arith.   [**98**]{} (2001), no.  2, 197–205. 

D. Grant, [*A curve for which Coleman’s effective Chabauty bound is sharp*]{}, Proc.  Amer.  Math.  Soc.   [**122**]{} (1994), no.  1, 317–319. 

A. Kraus, [*Sur l’équation $a^{3}+b^{3} = c^{p}$*]{}, Experimental Math.  [**7**]{} (1998), 1–13. 

A. Kraus, [*On the Equation $x^p+y^q=z^r$: A Survey*]{}, Ramanujan Journal [**3**]{} (1999), 315–333. 

D. Lorenzini and T. J. Tucker, [*Thue equations and the method of Chabauty-Coleman*]{}, Invent.  Math.  [**148**]{} (2002), 47–77. 

W. G. McCallum, [*The arithmetic of Fermat curves*]{}, Math.  Ann.  [**294**]{} (1992), no.  3, 503–511. 

W. G. McCallum, [*On the method of Coleman and Chabauty*]{}, Math.  Ann.  [**299**]{} (1994), no.  3, 565–596. 

W. McCallum and B. Poonen, [*The method of Chabauty and Coleman*]{}, preprint, 14 June 2010. 

J. S. Milne, [*Jacobian Varieties*]{}, pages 167–212 of [@CS]. 

B. Poonen and E. F. Schaefer, [*Explicit descent on cyclic covers of the projective line*]{}, J. reine angew.  Math.  [**488**]{} (1997), 141–188. 

B. Poonen, E. F. Schaefer and M. Stoll, [*Twists of $X(7)$ and primitive solutions to $x^2+y^3=z^7$*]{}, Duke Math.  J. [**137**]{} (2007), 103–158. 

E. F. Schaefer, [*$2$–descent on the Jacobians of hyperelliptic curves*]{}, J. Number Theory [**51**]{} (1995), 219–232. 

E. F. Schaefer and J. L. Wetherell, [*Computing the Selmer group of an isogeny between abelian varieties using a further isogeny to a Jacobian*]{}, J. Number Theory [**115**]{} (2005), 158–175. 

S. Siksek, [*Infinite descent on elliptic curves*]{}, Rocky Mountain J. Math.   [**25**]{} (1995), no.  4, 1501–1538. 

S. Siksek, [*Descents on Curves of Genus $1$*]{}, Ph.D. thesis, University of Exeter, 1995. 

S. Siksek, [*Chabauty for symmetric powers of curves*]{}, Algebra & Number Theory [**3**]{} (2009), No.  2, 209–236. 

M. Stoll, [*On the arithmetic of the curves $y^2 = x^l + A$ and their Jacobians*]{}, J. reine angew.  Math.  [**501**]{} (1998), 171–189. 

M. Stoll, [*On the height constant for curves of genus two*]{}, Acta Arith.  [**90**]{} (1999), 183–201. 

M. Stoll, [*Implementing 2-descent for Jacobians of hyperelliptic curves*]{}, Acta Arith.  [**98**]{} (2001), 245–277. 

M. Stoll, [*On the arithmetic of the curves $y^2 = x^l + A$, II*]{}, J. Number Theory [**93**]{} (2002), 183–206. 

M. Stoll, [*On the height constant for curves of genus two, II*]{}, Acta Arith.  [**104**]{} (2002), 165–182. 

M. Stoll, [*Independence of rational points on twists of a given curve*]{}, Compositio Math. [** 142**]{} (2006), 1201–1214. 

M. Stoll, [*On the number of rational squares at fixed distance from a fifth power*]{}, Acta Arith.  [**125**]{} (2006), 79–88. 

R. Taylor and A. Wiles, [*Ring-theoretic properties of certain Hecke algebras*]{}, Annals of Mathematics [**141**]{} (1995), no.  3, 553–572. 

J. L. Wetherell, [*Bounding the Number of Rational Points on Certain Curves of High Rank*]{}, Ph.D. dissertation, University of California at Berkeley, 1997. 

A. Wiles, [*Modular elliptic curves and Fermat’s Last Theorem*]{}, Annals of Mathematics [**141**]{} (1995), no.  3, 443–551. 

[^1]: The author is supported by an EPSRC Leadership Fellowship

[^2]: http://msri.org/publications/ln/msri/2000/arithgeo/wetherell/1/banner/01.html

[^3]: $\Phi_1$, $\Phi_2$ are the roots of $
    2\Phi^2 + (\theta^2 + \theta + 2)\Phi + (\theta^2 + \theta + 2)=0$.

[^4]: $\Phi_3$, $\Phi_4$ are the roots of $3\Phi^2 + (4\theta^2 + 5\theta + 4)\Phi + (4\theta^2 + 5\theta + 7)=0$.

[^5]: $\Phi_5$, $\Phi_6$ are the roots of $3\Phi^2 + (\theta^2 - \theta - 2)\Phi + (-2\theta^2 + 2\theta + 1)=0$.
