We study the moduli spaces of polarised irreducible symplectic manifolds. By a comparison with locally symmetric varieties of orthogonal type of dimension 20, we show that the moduli space of polarised deformation K3[2] manifolds with polarisation of degree 2d and split type is of general type if d≥12.

We show that a system of r quadratic forms over a 𝔭-adic field in at least 4r+1 variables will have a non-trivial zero as soon as the cardinality of the residue field is large enough. In contrast, the Ax–Kochen theorem [J. Ax and S. Kochen, Diophantine problems over local fields. I, Amer. J. Math. 87 (1965), 605–630] requires the characteristic to be large in terms of the degree of the field over ℚp. The proofs use a 𝔭-adic minimization technique, together with counting arguments over the residue class field, based on considerations from algebraic geometry.

Let 〈𝒫〉⊂N be a multiplicative subsemigroup of the natural numbers N={1,2,3,…} generated by an arbitrary set 𝒫 of primes (finite or infinite). We give an elementary proof that the partial sums ∑ n∈〈𝒫〉:n≤x(μ(n))/n are bounded in magnitude by 1. With the aid of the prime number theorem, we also show that these sums converge to ∏ p∈𝒫(1−(1/p)) (the case where 𝒫 is all the primes is a well-known observation of Landau). Interestingly, this convergence holds even in the presence of nontrivial zeros and poles of the associated zeta function ζ𝒫(s)≔∏ p∈𝒫(1−(1/ps))−1 on the line {Re(s)=1}. As equivalent forms of the first inequality, we have ∣∑ n≤x:(n,P)=1(μ(n))/n∣≤1, ∣∑ n∣N:n≤x(μ(n))/n∣≤1, and ∣∑ n≤x(μ(mn))/n∣≤1 for all m,x,N,P≥1.

If a positive definite Hermitian lattice represents all positive integers, we call it universal. Several mathematicians, including the author, have between them found 25 universal binary Hermitian lattices. But their ad hoc proofs are complicated. We give simple and unified proofs of universality.

Let a, b, c, x and y be positive integers. In this paper we sharpen a result of Le by showing that the Diophantine equation has at most two positive integer solutions (m,n) satisfying min (m,n)>1.

Let E be an ordinary elliptic curve over a finite field q of q elements. We improve a bound on bilinear additive character sums over points on E, and obtain its analogue for bilinear multiplicative character sums. We apply these bounds to some variants of the sum-product problem on E.

If C is a curve of genus 2 defined over a field k and J is its Jacobian, then we can associate a hypersurface K in ℙ3 to J, called the Kummer surface of J. Flynn has made this construction explicit in the case when the characteristic of k is not 2 and C is given by a simplified equation. He has also given explicit versions of several maps defined on the Kummer surface and shown how to perform arithmetic on J using these maps. In this paper we generalize these results to the case of arbitrary characteristic.

In this paper we address the issue of existence of cusp forms by using an extension and refinement of a classic method involving (adelic) compactly supported Poincaré series. As a consequence of our adelic approach, we also deal with cusp forms for congruence subgroups.

We study the fluctuations in the distribution of zeros of zeta functions of a family of hyperelliptic curves defined over a fixed finite field, in the limit of large genus. According to the Riemann hypothesis for curves, the zeros all lie on a circle. Their angles are uniformly distributed, so for a curve of genus g a fixed interval ℐ will contain asymptotically 2g∣ℐ∣ angles as the genus grows. We show that for the variance of number of angles in ℐ is asymptotically (2/π2)log (2g∣ℐ∣) and prove a central limit theorem: the normalized fluctuations are Gaussian. These results continue to hold for shrinking intervals as long as the expected number of angles 2g∣ℐ∣ tends to infinity.

Colmez has given a recipe to associate a smooth modular representation Ω(W) of the Borel subgroup of GL2(Qp) to a -representation W of by using Fontaine’s theory of (φ,Γ)-modules. We compute Ω(W) explicitly and we prove that if W is irreducible and dim (W)=2, then Ω(W) is the restriction to the Borel subgroup of GL2(Qp) of the supersingular representation associated to W by Breuil’s correspondence.

We study the variance of the fluctuations in the number of lattice points in a ball and in a thin spherical shell of large radius centred at a Diophantine point.

We obtain the formula for the twisted harmonic second moment of the L-functions associated with primitive Hecke eigenforms of weight 2. A consequence of our mean-value theorem is reminiscent of recent results of Conrey and Young on the reciprocity formula for the twisted second moment of Dirichlet L-functions.

We prove algebraic transformations for the generating series of three Apéry-like sequences. As application, we provide new binomial representations for the sequences. We also illustrate a method that derives three new series for 1/π from a classical Ramanujan’s series.

The Hausdorff dimension and measure of the set of simultaneously ψ-approximable points lying on integer polynomial curves is obtained for sufficiently small error functions.

Using the polynomial method of Dvir [On the size of Kakeya sets in finite fields. Preprint], we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties W over finite fields F. For instance, given an (n−1)-dimensional projective variety W⊂¶n(F), we establish the Kakeya maximal estimate for all functions f:Fn→R and d≥1, where for each w∈W, the supremum is over all irreducible algebraic curves in Fn of degree at most d that pass through w but do not lie in W, and with Cn,W,d depending only on n,d and the degree of W; the special case when W is the hyperplane at infinity in particular establishes the Kakeya maximal function conjecture in finite fields, which in turn strengthens the results of Dvir.

For a number field K and a finite abelian group G, we determine the probabilities of various local completions of a random G-extension of K when extensions are ordered by conductor. In particular, for a fixed prime ℘ of K, we determine the probability that ℘ splits into r primes in a random G-extension of K that is unramified at ℘. We find that these probabilities are nicely behaved and mostly independent. This is in analogy to Chebotarev’s density theorem, which gives the probability that in a fixed extension a random prime of K splits into r primes in the extension. We also give the asymptotics for the number of G-extensions with bounded conductor. In fact, we give a class of extension invariants, including conductor, for which we obtain the same counting and probabilistic results. In contrast, we prove that neither the analogy with the Chebotarev probabilities nor the independence of probabilities holds when extensions are ordered by discriminant.

For each integer n ≥ 2, let β(n) stand for the product of the exponents in the prime factorization of n. Given an arbitrary integer k ≥ 2, let nk be the smallest positive integer n such that β(n + 1) = β(n + 2) = … = β(n + k). We prove that there exist positive constants c1 and c2 such that, for all integers k ≥ 2,

We extend Kemperman's structure theorem by completely characterizing those finite subsets A and B of an arbitrary abelian group with |A + B| = |A| + |B|.

For a natural number n, let λ(n) denote the order of the largest cyclic subgroup of (ℤ/nℤ)*. For a given integer a, let Na(x) denote the number of n ≤ x coprime to a for which a has order λ(n) in (ℤ/nℤ)*. Let R(n) denote the number of elements of (ℤ/nℤ)* with order λ(n). It is natural to compare Na(x) with ∑n≤xR(n)/n. In this paper we show that the average of Na(x) for 1 ≤ a ≤ y is indeed asymptotic to this sum, provided y ≥ exp((2 + ε)(log x log log x)1/2), thus improving a theorem of the first author who had this for y ≥ exp((log x)3/4;). The result is to be compared with a similar theorem of Stephens who considered the case of prime numbers n.

Let AN be an N-point set in the unit square and consider the discrepancy function

where x = (x1, x2) ∈ [0,1;]2, and |[0, x)]| denotes the Lebesgue measure of the rectangle. We give various refinements of a well-known result of Schmidt [Irregularities of distribution. VII. Acta Arith. 21 (1972), 45–50] on the L∞ norm of DN. We show that necessarily

The case of α = ∞ is the Theorem of Schmidt. This estimate is sharp. For the digit-scrambled van der Corput sequence, we have

whenever N = 2n for some positive integer n. This estimate depends upon variants of the Chang–Wilson–Wolff inequality [S.-Y. A. Chang, J. M. Wilson and T. H.Wolff, Some weighted norm inequalities concerning the Schrödinger operators. Comment. Math. Helv.60(2) (1985), 217–246]. We also provide similar estimates for the BMO norm of DN.