We generalise and improve some recent bounds for additive energies of modular roots. Our arguments use a variety of techniques, including those from additive combinatorics, algebraic number theory and the geometry of numbers. We give applications of these results to new bounds on correlations between Salié sums and to a new equidistribution estimate for the set of modular roots of primes.

We establish higher moment formulae for Siegel transforms on the space of affine unimodular lattices as well as on certain congruence quotients of $\mathrm {SL}_d({\mathbb {R}})$. As applications, we prove functional central limit theorems for lattice point counting for affine and congruence lattices using the method of moments.

We investigate norms of spectral projectors on thin spherical shells for the Laplacian on tori. This is closely related to the boundedness of resolvents of the Laplacian and the boundedness of $L^{p}$ norms of eigenfunctions of the Laplacian. We formulate a conjecture and partially prove it.

We define certain arithmetic derivatives on $\mathbb {Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$ , and satisfy a suitable nondegeneracy condition. Using Geometry of Numbers, we unconditionally show their existence with controlled size. We prove that any power-saving improvement on our size bounds would give a version of the $abc$ Conjecture. In fact, we show that the existence of sufficiently small arithmetic derivatives in our sense is equivalent to the $abc$ Conjecture. Our results give an explicit manifestation of an analogy suggested by Vojta in the eighties, relating Geometry of Numbers in arithmetic to derivatives in function fields and Nevanlinna theory. In addition, our construction formalizes the widespread intuition that the $abc$ Conjecture should be related to arithmetic derivatives of some sort.

Gallagher’s theorem is a sharpening and extension of the Littlewood conjecture that holds for almost all tuples of real numbers. We provide a fibre refinement, solving a problem posed by Beresnevich, Haynes and Velani in 2015. Hitherto, this was only known on the plane, as previous approaches relied heavily on the theory of continued fractions. Using reduced successive minima in lieu of continued fractions, we develop the structural theory of Bohr sets of arbitrary rank, in the context of diophantine approximation. In addition, we generalise the theory and result to the inhomogeneous setting. To deal with this inhomogeneity, we employ diophantine transference inequalities in lieu of the three distance theorem.

Let $p$ be a prime, and let ${{\zeta }_{p}}$ be a primitive $p$-th root of unity. The lattices in Craig's family are $(p\,-\,1)$-dimensional and are geometrical representations of the integral $\mathbb{Z}[{{\zeta }_{p}}]$-ideals ${{\left\langle 1\,-\,{{\zeta }_{p}} \right\rangle }^{i}}$, where $i$ is a positive integer. This lattice construction technique is a powerful one. Indeed, in dimensions $p\,-\,1$ where $149\,\le \,p\,\le \,3001$, Craig's lattices are the densest packings known. Motivated by this, we construct $(p\,-\,1)(q\,-\,1)$-dimensional lattices from the integral $\mathbb{Z}[{{\zeta }_{pq}}]$-ideals ${{\left\langle 1\,-\,{{\zeta }_{p}} \right\rangle }^{i}}{{\left\langle 1\,-\,{{\zeta }_{q}} \right\rangle }^{j}}$, where $p$ and $q$ are distinct primes and $i$ and $j$ are positive integers. In terms of sphere-packing density, the new lattices and those in Craig's family have the same asymptotic behavior. In conclusion, Craig's family is greatly extended while preserving its sphere-packing properties.

We consider quadratic diophantine equations of the shape

$$ Q(x_1, \ldots, x_s) = 0 \qquad (1)$$

for a polynomial $Q(X_1, \ldots, X_s) \in \mathbf{Z}[X_1, \ldots, X_s]$ of degree $2$. Let $H$ be an upper bound for the absolute values of the coefficients of $Q$, and assume that the homogeneous quadratic part of $Q$ is non-singular. We prove, for all $s \ge 3$, the existence of a polynomial bound $\Lambda_s(H)$ with the following property: if equation (1) has a solution $\mathbf{x} \in \mathbf{Z}^s$ at all, then it has one satisfying

$$ |x_i| \le \Lambda_s(H) \quad (1 \le i \le s). $$

For $s = 3$ and $s = 4$ no polynomial bounds $\Lambda_s(H)$ were previously known, and for $s \ge 5$ we have been able to improve existing bounds quite significantly.

In this paper, we give multihomogeneous estimates for the group of relations linking multiplicatively dependent algebraic numbers. In the process, we raise a question in the style of Lehmer's problem, concerning multidimensional covolumes in the lattice of units. The proofs are based on the Brill-Gordan duality theorem on orthogonal lattices, and the paper closes with an algebraic version of the theorem, concerning orthogonal abelian subvarieties of an arbitrarily polarized abelian variety.

In the original view-obstruction problem congruent closed, centrally symmetric convex bodies centred at the points of the set are expanded uniformly until they block all rays from the origin into the open positive cone. The central problem is to determine the minimal blocking size and this value is known for balls in dimensions n = 2,3 and for symmetrically placed cubes in dimensions n = 2, 3, 4

In order to explain fully the distinction between rational and irrational rays in the original problem, we extend consideration to the blocking of subspaces of all dimensions. In order to appreciate the special properties of balls and cubes, we give a discussion of the convex body with respect to reflection symmetry, lower dimensional sections, and duality. We introduce topological considerations to help understand when the critical parameter of the theory is an attained maximum and we add substantially to the list of known values of this parameter. In particular, when the dimension is n = 2 our dual body considerations furnish a complete solution to the view-obstruction problem