We prove a nonabelian variant of the classical Mordell–Lang conjecture in the context of finite- dimensional central simple algebras. We obtain the following result as a particular case of a more general statement. Let K be an algebraically closed field of characteristic zero, let $B_1,\dots ,B_r\in \mathrm {GL}_m(K)$ be matrices with multiplicatively independent eigenvalues and let V be a closed subvariety of $\mathrm {GL}_m(K)$ not passing through zero. Then there exist only finitely many elements of $\mathrm {GL}_m(K)$ of the form $B_1^{n_1}\cdots B_r^{n_r}$ (as we vary $n_1,\dots ,n_r$ in $\mathbb {Z}$) lying on the subvariety V.

Let f be an $L^2$-normalized holomorphic newform of weight k on $\Gamma _0(N) \backslash \mathbb {H}$ with N squarefree or, more generally, on any hyperbolic surface $\Gamma \backslash \mathbb {H}$ attached to an Eichler order of squarefree level in an indefinite quaternion algebra over $\mathbb {Q}$. Denote by V the hyperbolic volume of said surface. We prove the sup-norm estimate

$$\begin{align*}\| \Im(\cdot)^{\frac{k}{2}} f \|_{\infty} \ll_{\varepsilon} (k V)^{\frac{1}{4}+\varepsilon} \end{align*}$$

with absolute implied constant. For a cuspidal Maaß newform $\varphi $ of eigenvalue $\lambda $ on such a surface, we prove that

$$\begin{align*}\|\varphi \|_{\infty} \ll_{\lambda,\varepsilon} V^{\frac{1}{4}+\varepsilon}. \end{align*}$$

We establish analogous estimates in the setting of definite quaternion algebras.

We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy–Littlewood circle method over number fields.

We prove that any positive rational number is the sum of distinct unit fractions with denominators in $\{p-1 : p\textrm { prime}\}$. The same conclusion holds for the set $\{p-h : p\textrm { prime}\}$ for any $h\in \mathbb {Z}\backslash \{0\}$, provided a necessary congruence condition is satisfied. We also prove that this is true for any subset of the primes of relative positive density, provided a necessary congruence condition is satisfied.

Given any polynomial in two variables of degree at most three with rational integer coefficients, we obtain a new search bound to decide effectively if it has a zero with rational integer coefficients. On the way we encounter a natural problem of estimating singular points. We solve it using elementary invariant theory but an optimal solution would seem to be far from easy even using the full power of the standard Height Machine.

A generalisation of the well-known Pell sequence $\{P_n\}_{n\ge 0}$ given by $P_0=0$, $P_1=1$ and $P_{n+2}=2P_{n+1}+P_n$ for all $n\ge 0$ is the k-generalised Pell sequence $\{P^{(k)}_n\}_{n\ge -(k-2)}$ whose first k terms are $0,\ldots ,0,1$ and each term afterwards is given by the linear recurrence $P^{(k)}_n=2P^{(k)}_{n-1}+P^{(k)}_{n-2}+\cdots +P^{(k)}_{n-k}$. For the Pell sequence, the formula $P^2_n+P^2_{n+1}=P_{2n+1}$ holds for all $n\ge 0$. In this paper, we prove that the Diophantine equation

$$ \begin{align*} (P^{(k)}_n)^2+(P^{(k)}_{n+1})^2=P^{(k)}_m \end{align*} $$

has no solution in positive integers $k, m$ and n with $n>1$ and $k\ge 3$.

We prove the Hasse principle for a smooth projective variety $X\subset \mathbb {P}^{n-1}_\mathbb {Q}$ defined by a system of two cubic forms $F,G$ as long as $n\geq 39$. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over $\mathbb {Q}$.

We propose generating functions, $\textrm {RGF}_p(x)$, for the quotients of numerical semigroups which are related to the Sylvester denumerant. Using MacMahon’s partition analysis, we can obtain $\textrm {RGF}_p(x)$ by extracting the constant term of a rational function. We use $\textrm {RGF}_p(x)$ to give a system of generators for the quotient of the numerical semigroup $\langle a_1,a_2,a_3\rangle $ by p for a small positive integer p, and we characterise the generators of ${\langle A\rangle }/{p}$ for a general numerical semigroup A and any positive integer p.

Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.

The Manin–Peyre conjecture is established for a class of smooth spherical Fano varieties of semisimple rank one. This includes all smooth spherical Fano threefolds of type T as well as some higher-dimensional smooth spherical Fano varieties.

For $k\geq 2$ and a nonzero integer n, a generalised Diophantine m-tuple with property $D_k(n)$ is a set of m positive integers $S = \{a_1,a_2,\ldots , a_m\}$ such that $a_ia_j + n$ is a kth power for $1\leq i< j\leq m$. Define $M_k(n):= \text {sup}\{|S| : S$ having property $D_k(n)\}$. Dixit et al. [‘Generalised Diophantine m-tuples’, Proc. Amer. Math. Soc. 150(4) (2022), 1455–1465] proved that $M_k(n)=O(\log n)$, for a fixed k, as n varies. In this paper, we obtain effective upper bounds on $M_k(n)$. In particular, we show that for $k\geq 2$, $M_k(n) \leq 3\,\phi (k) \log n$ if n is sufficiently large compared to k.

We prove that there exist infinitely many coprime numbers a, b, c with $a+b=c$ and $c>\operatorname {\mathrm {rad}}(abc)\exp (6.563\sqrt {\log c}/\log \log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby providing a new lower bound on the tightest possible form of the conjecture. Our work builds on that of van Frankenhuysen (J. Number Theory 82(2000), 91–95) who proved the existence of examples satisfying the above bound with the constant $6.068$ in place of $6.563$. We show that the constant $6.563$ may be replaced by $4\sqrt {2\delta /e}$ where $\delta $ is a constant such that all unimodular lattices of sufficiently large dimension n contain a nonzero vector with $\ell _1$-norm at most $n/\delta $.

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.

In this paper, together with the preceding Part I [10], we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to [10] the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality – more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.

We prove discrete restriction estimates for a broad class of hypersurfaces arising in seminal work of Birch. To do so, we use a variant of Bourgain’s arithmetic version of the Tomas–Stein method and Magyar’s decomposition of the Fourier transform of the indicator function of the integer points on a hypersurface.

In this paper, we present the results related to a problem posed by Andrzej Schinzel. Does the number $N_1(n)$ of integer solutions of the equation

$$ \begin{align*}x_1+x_2+\cdots+x_n=x_1x_2\cdot\ldots\cdot x_n,\,\,x_1\ge x_2\ge\cdots\ge x_n\ge 1\end{align*} $$

$N_a(n)$

$$ \begin{align*}x_1+x_2+\cdots+x_n=ax_1x_2\cdot\ldots\cdot x_n,\,\, x_1\ge x_2\ge\cdots\ge x_n\ge 1.\end{align*} $$

$N_2(n)=1$

$2n-3$

$N_2(n)$

$\{n:N_2(n)\le k,\,n\ge 2\}$

Given a set $S=\{x^2+c_1,\dots,x^2+c_s\}$ defined over a field and an infinite sequence $\gamma$ of elements of S, one can associate an arboreal representation to $\gamma$, generalising the case of iterating a single polynomial. We study the probability that a random sequence $\gamma$ produces a “large-image” representation, meaning that infinitely many subquotients in the natural filtration are maximal. We prove that this probability is positive for most sets S defined over $\mathbb{Z}[t]$, and we conjecture a similar positive-probability result for suitable sets over $\mathbb{Q}$. As an application of large-image representations, we prove a density-zero result for the set of prime divisors of some associated quadratic sequences. We also consider the stronger condition of the representation being finite-index, and we classify all S possessing a particular kind of obstruction that generalises the post-critically finite case in single-polynomial iteration.

We obtain new bounds on short Weil sums over small multiplicative subgroups of prime finite fields which remain nontrivial in the range the classical Weil bound is already trivial. The method we use is a blend of techniques coming from algebraic geometry and additive combinatorics.

We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and p-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and Knizhnik–Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application, we show that the simplest example of a p-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of its monodromy representation.

Let p be a prime and let r, s be positive integers. In this paper, we prove that the Goormaghtigh equation $(x^m-1)/(x-1)=(y^n-1)/(y-1)$, $x,y,m,n \in {\mathbb {N}}$, $\min \{x,y\}>1$, $\min \{m,n\}>2$ with $(x,y)=(p^r,p^s+1)$ has only one solution $(x,y,m,n)=(2,5,5,3)$. This result is related to the existence of some partial difference sets in combinatorics.