The asymptotic Fermat’s Last Theorem for five-sixths of real quadratic fields

Abstract

Let $K$ be a totally real field. By the asymptotic Fermat’s Last Theorem over$K$ we mean the statement that there is a constant $B_{K}$ such that for any prime exponent $p>B_{K}$, the only solutions to the Fermat equation $$\begin{eqnarray}a^{p}+b^{p}+c^{p}=0,\quad a,b,c\in K\end{eqnarray}$$ are the trivial ones satisfying $abc=0$. With the help of modularity, level lowering and image-of-inertia comparisons, we give an algorithmically testable criterion which, if satisfied by $K$, implies the asymptotic Fermat’s Last Theorem over $K$. Using techniques from analytic number theory, we show that our criterion is satisfied by $K=\mathbb{Q}(\sqrt{d})$ for a subset of $d\geqslant 2$ having density ${\textstyle \frac{5}{6}}$ among the squarefree positive integers. We can improve this density to $1$ if we assume a standard ‘Eichler–Shimura’ conjecture.