For any odd prime $\ell$, let $h_{\ell }(-d)$ denote the $\ell$-part of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d})$. Nontrivial pointwise upper bounds are known only for $\ell =3$; nontrivial upper bounds for averages of $h_{\ell }(-d)$ have previously been known only for $\ell =3,5$. In this paper we prove nontrivial upper bounds for the average of $h_{\ell }(-d)$ for all primes $\ell \geqslant 7$, as well as nontrivial upper bounds for certain higher moments for all primes $\ell \geqslant 3$.

A conjecture of Manin predicts the distribution of rational points on Fano varieties. We provide a framework for proofs of Manin’s conjecture for del Pezzo surfaces over imaginary quadratic fields, using universal torsors. Some of our tools are formulated over arbitrary number fields. As an application, we prove Manin’s conjecture over imaginary quadratic fields $K$ for the quartic del Pezzo surface $S$ of singularity type ${\boldsymbol{A}}_{3}$ with five lines given in ${\mathbb{P}}_{K}^{4}$ by the equations ${x}_{0}{x}_{1}-{x}_{2}{x}_{3}={x}_{0}{x}_{3}+{x}_{1}{x}_{3}+{x}_{2}{x}_{4}=0$.

Let $Q(N;q,a)$ be the number of squares in the arithmetic progression $qn+a$, for $n=0$,$1,\ldots,N-1$, and let $Q(N)$ be the maximum of $Q(N;q,a)$ over all non-trivial arithmetic progressions $qn + a$. Rudin’s conjecture claims that $Q(N)=O(\sqrt{N})$, and in its stronger form that $Q(N)=Q(N;24,1)$ if $N\ge 6$. We prove the conjecture above for $6\le N\le 52$. We even prove that the arithmetic progression $24n+1$ is the only one, up to equivalence, that contains $Q(N)$ squares for the values of $N$ such that $Q(N)$ increases, for $7\le N\le 52$ ($N=8,13,16,23,27,36,41$ and $52$).

Supplementary materials are available with this article.

We develop Weyl differencing and Hua-type lemmata for a class of multidimensional exponential sums. We then apply our estimates to bound the number of variables required to establish an asymptotic formula for the number of solutions of a system of diophantine equations arising from the study of linear spaces on hypersurfaces. For small values of the degree and dimension, our results are superior to those stemming from the author’s earlier work on Vinogradov’s mean value theorem.

For any integers $d,n \geq 2$, let $X \subset \mathbb{P}^{n}$ be a non-singular hypersurface of degree $d$ that is defined over the rational numbers. The main result in this paper is a proof that the number of rational points on $X$ which have height at most $B$ is $O(B^{n - 1 + \varepsilon})$, for any $\varepsilon > 0$. The implied constant in this estimate depends at most upon $d$, $\varepsilon$ and $n$.

The Skolem–Mahler–Lech theorem states that if $f(n)$ is a sequence given by a linear recurrence over a field of characteristic 0, then the set of m such that $f(m)$ is equal to 0 is the union of a finite number of arithmetic progressions in $m\ge 0$ and a finite set. We prove that if X is a subvariety of an affine variety Y over a field of characteristic 0 and q is a point in Y, and $\sigma$ is an automorphism of Y, then the set of m such that $\sigma^m({\bf q})$ lies in X is a union of a finite number of complete doubly-infinite arithmetic progressions and a finite set. We show that this is a generalisation of the Skolem–Mahler–Lech theorem.

For homogeneous decomposable forms F(X) in n variables with integer coefficients, we consider the number of integer solutions ${\bf x}\in\mathbb{Z}^n$ to the inequality $|F({\bf x})|\le m$ as $m\rightarrow\infty$. We give asymptotic estimates which improve on those given previously by the author in Ann. of Math. (2) 153 (2001), 767–804. Here our error terms display desirable behaviour as a function of the height whenever the degree of the form and the number of variables are relatively prime.

It is proved that there does not exist a set of four positive integers with the property that the product of any two of its distinct elements plus their sum is a perfect square. This settles an old problem investigated by Diophantus and Euler.