Erdős, Graham and Selfridge considered, for each positive integer n, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with n is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC conjecture. We establish some results on the distribution of $t_n$, and in the process solve Granville’s problem unconditionally.

Let $\ell $ and p be (not necessarily distinct) prime numbers and F be a global function field of characteristic $\ell $ with field of constants $\kappa $. Assume that there exists a prime $P_\infty $ of F which has degree $1$ and let $\mathcal {O}_F$ be the subring of F consisting of functions with no poles away from $P_\infty $. Let $f(X)$ be a polynomial in X with coefficients in $\kappa $. We study solutions to Diophantine equations of the form $Y^{n}=f(X)$ which lie in $\mathcal {O}_F$ and, in particular, show that if m and $f(X)$ satisfy additional conditions, then there are no nonconstant solutions. The results apply to the study of solutions to $Y^{n}=f(X)$ in certain rings of integers in $\mathbb {Z}_{p}$-extensions of F known as constant $\mathbb {Z}_p$-extensions. We prove similar results for solutions in the polynomial ring $K[T_1, \ldots , T_r]$, where K is any field of characteristic $\ell $, showing that the only solutions must lie in K. We apply our methods to study solutions of Diophantine equations of the form $Y^n=\sum _{i=1}^d (X+ir)^m$, where $m,n, d\geq 2$ are integers.

We prove Fermat’s Last Theorem over $\mathbb {Q}(\sqrt {5})$ and $\mathbb {Q}(\sqrt {17})$ for prime exponents $p \ge 5$ in certain congruence classes modulo $48$ by using a combination of the modular method and Brauer–Manin obstructions explicitly given by quadratic reciprocity constraints. The reciprocity constraint used to treat the case of $\mathbb {Q}(\sqrt {5})$ is a generalization to a real quadratic base field of the one used by Chen and Siksek. For the case of $\mathbb {Q}(\sqrt {17})$, this is insufficient, and we generalize a reciprocity constraint of Bennett, Chen, Dahmen, and Yazdani using Hilbert symbols from the rational field to certain real quadratic fields.

In this paper, we prove results about solutions of the Diophantine equation $x^p+y^p=z^3$ over various number fields using the modular method. First, by assuming some standard modularity conjecture, we prove an asymptotic result for general number fields of narrow class number one satisfying some technical conditions. Second, we show that there is an explicit bound such that the equation $x^p+y^p=z^3$ does not have a particular type of solution over $K=\mathbb {Q}(\sqrt {-d})$, where $d=1,7,19,43,67$ whenever p is bigger than this bound. During the course of the proof, we prove various results about the irreducibility of Galois representations, image of inertia groups, and Bianchi newforms.

We give effective finiteness results for the power values of polynomials with coefficients composed of a fixed finite set of primes; in particular, of Littlewood polynomials.

Let $\mathcal {P}_s(n)$ denote the nth s-gonal number. We consider the equation

$$ \begin{align*}\mathcal{P}_s(n) = y^m \end{align*} $$

for integers $n,s,y$ and m. All solutions to this equation are known for $m>2$ and $s \in \{3,5,6,8,20 \}$ . We consider the case $s=10$ , that of decagonal numbers. Using a descent argument and the modular method, we prove that the only decagonal number greater than 1 expressible as a perfect mth power with $m>1$ is $\mathcal {P}_{10}(3) = 3^3$ .

We sharpen earlier work of Dabrowski on near-perfect power values of the quartic form $x^{4}-y^{4}$, through appeal to Frey curves of various signatures and related techniques.

Let $K$ be an algebraic number field of degree $d\geqslant 3$, $\unicode[STIX]{x1D70E}_{1},\unicode[STIX]{x1D70E}_{2},\ldots ,\unicode[STIX]{x1D70E}_{d}$ the embeddings of $K$ into $\mathbb{C}$, $\unicode[STIX]{x1D6FC}$ a non-zero element in $K$, $a_{0}\in \mathbb{Z}$, $a_{0}>0$ and

$$\begin{eqnarray}F_{0}(X,Y)=a_{0}\mathop{\prod }_{i=1}^{d}(X-\unicode[STIX]{x1D70E}_{i}(\unicode[STIX]{x1D6FC})Y).\end{eqnarray}$$

$\unicode[STIX]{x1D710}$

$K$

$a\in \mathbb{Z}$

$F_{0}(X,Y)\in \mathbb{Z}[X,Y]$

$\unicode[STIX]{x1D710}^{a}$

$a\in \mathbb{Z}$

$\unicode[STIX]{x1D710}$

$$\begin{eqnarray}F_{a}(X,Y)=a_{0}\mathop{\prod }_{i=1}^{d}(X-\unicode[STIX]{x1D70E}_{i}(\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D710}^{a})Y).\end{eqnarray}$$

$m>0$

$(x,y,a)\in \mathbb{Z}^{3}$

$$\begin{eqnarray}0<|F_{a}(x,y)|\leqslant m\end{eqnarray}$$

$xy\not =0$

$\mathbb{Q}(\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D710}^{a})=K$

$m$

$K$

$F_{0}$

$\unicode[STIX]{x1D710}$

$d$

Euler noted the relation $6^{3}\,=\,3^{3}+4^{3}+5^{3}$ and asked for other instances of cubes that are sums of consecutive cubes. Similar problems have been studied by Cunningham, Catalan, Gennochi, Lucas, Pagliani, Cassels, Uchiyama, Stroeker and Zhongfeng Zhang. In particular, Stroeker determined all squares that can be written as a sum of at most 50 consecutive cubes. We generalize Stroeker’s work by determining all perfect powers that are sums of at most 50 consecutive cubes. Our methods include descent, linear forms in two logarithms and Frey–Hellegouarch curves.

Given $k\geqslant 2$ , we show that there are at most finitely many rational numbers $x$ and $y\neq 0$ and integers $\ell \geqslant 2$ (with $(k,\ell )\neq (2,2)$ ) for which

$$\begin{eqnarray}x(x+1)\cdots (x+k-1)=y^{\ell }.\end{eqnarray}$$

$\ell$

$(x,y,\ell )$

$y=0$

$\ell <\exp (3^{k})$

Let $C$ denote the Fermat curve over $\mathbb{Q}$ of prime exponent $l$ . The Jacobian $\text{Jac(}C\text{)}$ of $C$ splits over $\mathbb{Q}$ as the product of Jacobians $\text{Jac(}{{C}_{k}})$ , $1\,\le \,k\,\le \,\ell \,-\text{2}$ , where ${{C}_{k}}$ are curves obtained as quotients of $C$ by certain subgroups of automorphisms of $C$ . It is well known that $\text{Jac(}{{C}_{k}}\text{)}$ is the power of an absolutely simple abelian variety ${{B}_{k}}$ with complex multiplication. We call degenerate those pairs $(l,\,k)$ for which ${{B}_{k}}$ has degenerate $\text{CM}$ type. For a non-degenerate pair $(l,\,k)$ , we compute the Sato–Tate group of $\text{Jac(}{{C}_{k}}\text{)}$ , prove the generalized Sato–Tate Conjecture for it, and give an explicit method to compute the moments and measures of the involved distributions. Regardless of whether $(l,\,k)$ is degenerate, we also obtain Frobenius equidistribution results for primes of certain residue degrees in the $l$ -th cyclotomic field. Key to our results is a detailed study of the rank of certain generalized Demjanenko matrices.

We discuss a clean level lowering theorem modulo prime powers for weight 2 cusp forms. Furthermore, we illustrate how this can be used to completely solve certain twisted Fermat equations $a{{x}^{n}}\,+\,b{{y}^{n\,}}\,+\,c{{z}^{n}}\,=\,0$.

Let d > 0 be a squarefree integer and denote by h = h(−d) the class number of the imaginary quadratic field . It is well known (see e.g. [25]) that for a given positive integer N there are only finitely many squarefree d's for which h(−d) = N. In [45], Saradha and Srinivasan and in [28] Le and Zhu considered the equation in the title and solved it completely under the assumption h(−d) = 1 apart from the case d ≡ 7 (mod 8) in which case y was supposed to be odd. We investigate the title equation in unknown integers (x, y, l, n) with x ≥ 1, y ≥ 1, n ≥ 3, l ≥ 0 and gcd(x, y) = 1. The purpose of this paper is to extend the above result of Saradha and Srinivasan to the case h(−d) ∈ {2, 3}.

In this paper, we give several pictorial fractal representations of the ample or Kähler cone for surfaces in a certain class of $K3$ surfaces. The class includes surfaces described by smooth (2, 2, 2) forms in ${{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}$ defined over a sufficiently large number field $K$ that have a line parallel to one of the axes and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface's group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be 1.296 ± .010.

We discuss the Mordell–Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be obtained if one does not want to restrict to mod p information at primes of good reduction. We describe our implementation of the Mordell–Weil sieve algorithm and discuss its efficiency.

Supplementary materials are available with this article.

Let and let us consider a del Pezzo surface of degree one given by the equation . In this paper we prove that if the set of rational points on the curve Ea,b : Y2 = X3 + 135(2a−15)X−1350(5a + 2b − 26) is infinite then the set of rational points on the surface ϵf is dense in the Zariski topology.

In this note, we show that if we write ⌊en!⌋ = s(n)u(n)2, where s(n) is square-free then has at least C log log N distinct prime factors for some absolute constant C > 0 and sufficiently large N. A similar result is obtained for the total number of distinct primes dividing the mth power-free part of s(n) as n ranges from 1 to N, where m ≥ 3 is a positive integer. As an application of such results, we give an upper bound on the number of n ≤ N such that ⌊en!⌋ is a square.

In this article we will show that there are infinitely many symmetric, integral 3 × 3 matrices, with zeros on the diagonal, whose eigenvalues are all integral. We will do this by proving that the rational points on a certain non-Kummer, singular $\text{K3}$ surface are dense. We will also compute the entire Néron–Severi group of this surface and find all low degree curves on it.

In this paper, we develop machinery to solve ternary Diophantine equations of the shape Axn + Byn = C z3 for various choices of coefficients (A, B, C). As a byproduct of this, we show, if p is prime, that the equation xn + yn = pz3 has no solutions in coprime integers x and y with |xy| > 1 and prime n > p4p2. The techniques employed enable us to classify all elliptic curves over $\mathbb{Q}$ with a rational 3-torsion point and good reduction outside the set {3, p}, for a fixed prime p.