Continuing earlier studies over the real numbers, we study the expressible set of a sequence A = (an)n≥1 of p-adic numbers, which we define to be the set EpA = {∑n≥1ancn: cn ∈ ℕ}. We show that in certain circumstances we can calculate the Haar measure of EpA exactly. It turns out that our results extend to sequences of matrices with p-adic entries, so this is the setting in which we work.

Let k ≥ 0, a ≥ 1 and b ≥ 0 be integers. We define the arithmetic function gk,a,b for any positive integer n by

If we let a = 1 and b = 0, then gk,a,b becomes the arithmetic function that was previously introduced by Farhi. Farhi proved that gk,1,0 is periodic and that k! is a period. Hong and Yang improved Farhi's period k! to lcm(1, 2, … , k) and conjectured that (lcm(1, 2, … , k, k + 1))/(k + 1) divides the smallest period of gk,1,0. Recently, Farhi and Kane proved this conjecture and determined the smallest period of gk,1,0. For the general integers a ≥ 1 and b ≥ 0, it is natural to ask the following interesting question: is gk,a,b periodic? If so, what is the smallest period of gk,a,b? We first show that the arithmetic function gk,a,b is periodic. Subsequently, we provide detailed p-adic analysis of the periodic function gk,a,b. Finally, we determine the smallest period of gk,a,b. Our result extends the Farhi–Kane Theorem from the set of positive integers to general arithmetic progressions.

Let α be a totally positive algebraic integer of degree d≥2 and α1=α,α2,…,αd be all its conjugates. We use explicit auxiliary functions to improve the known lower bounds of Sk/d, where Sk=∑ di=1αki and k=1,2,3. These improvements have consequences for the search of Salem numbers with negative traces.

For p=3 and p=5, we exhibit a finite nonsolvable extension of ℚ which is ramified only at p, proving in the affirmative a conjecture of Gross. Our construction involves explicit computations with Hilbert modular forms.

The local Langlands conjectures imply that to every generic supercuspidal irreducible representation of G2 over a p-adic field, one can associate a generic supercuspidal irreducible representation of either PGSp6 or PGL3. We prove this conjectural dichotomy, demonstrating a precise correspondence between certain representations of G2 and other representations of PGSp6 and PGL3. This correspondence arises from theta correspondences in E6 and E7, analysis of Shalika functionals, and spin L-functions. Our main result reduces the conjectural Langlands parameterization of generic supercuspidal irreducible representations of G2 to a single conjecture about the parameterization for PGSp 6.

Let E/ℚ be an elliptic curve and let D<0 be a sufficiently large fundamental discriminant. If contains Heegner points of discriminant D, those points generate a subgroup of rank at least |D|δ, where δ>0 is an absolute constant. This result is compatible with the Birch and Swinnerton-Dyer conjecture.

We study the possible weights of an irreducible two-dimensional mod p representation of which is modular in the sense that it comes from an automorphic form on a definite quaternion algebra with centre F which is ramified at all places dividing p, where F is a totally real field. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explicit list of exceptions.

We generalize the method of A. R. Booker (Poles of Artin L-functions and the strong Artin conjecture, Ann. of Math. (2) 158 (2003), 1089–1098; MR 2031863(2004k:11082)) to prove a version of the converse theorem of Jacquet and Langlands with relaxed conditions on the twists by ramified idèle class characters.

We generalise works of Kobayashi to give a formulation of the Iwasawa main conjecture for modular forms at supersingular primes. In particular, we give analogous definitions of the plus and minus Coleman maps for normalised new forms of arbitrary weights and relate Pollack’s p-adic L-functions to the plus and minus Selmer groups. In addition, by generalising works of Pollack and Rubin on CM elliptic curves, we prove the ‘main conjecture’ for CM modular forms.

Given a prime p, the Fermat quotient qp(u) of u with gcd (u,p)=1 is defined by the conditions We derive a new bound on multiplicative character sums with Fermat quotients qp(ℓ) at prime arguments ℓ.

In this paper we investigate the analogue of the classical badly approximable setup in which the distance to the nearest integer ‖⋅‖ is replaced by the sup norm |⋅|. In the case of one linear form we prove that the hybrid badly approximable set is of full Hausdorff dimension.

We introduce a ‘limiting Frobenius structure’ attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens–Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit examples.

We give a short and “soft” proof of the asymptotic orthogonality of Fourier coefficients of Poincaré series for classical modular forms as well as for Siegel cusp forms, in a qualitative form.

A Diophantine m-tuple is a set A of m positive integers such that ab+1 is a perfect square for every pair a,b of distinct elements of A. We derive an asymptotic formula for the number of Diophantine quadruples whose elements are bounded by x. In doing so, we extend two existing tools in ways that might be of independent interest. The Erdős–Turán inequality bounds the discrepancy between the number of elements of a sequence that lie in a particular interval modulo 1 and the expected number; we establish a version of this inequality where the interval is allowed to vary. We also adapt an argument of Hooley on the equidistribution of solutions of polynomial congruences to handle reducible quadratic polynomials.

Let P=A×A⊂𝔽p×𝔽p, p a prime. Assume that P=A×A has n elements, n<p. See P as a set of points in the plane over 𝔽p. We show that the pairs of points in P determine lines, where c is an absolute constant. We derive from this an incidence theorem: the number of incidences between a set of n points and a set of n lines in the projective plane over 𝔽p (n<p)is bounded by , where C is an absolute constant.

Let K be a finite unramified extension of Qp. We parametrize the (φ,Γ)-modules corresponding to reducible two-dimensional -representations of GK and characterize those which have reducible crystalline lifts with certain Hodge–Tate weights.

For any irreducible quadratic polynomial f(x) in ℤ[x], we obtain the estimate log l.c.m.(f(1),…,f(n))=nlog n+Bn+o(n), where B is a constant depending on f.

We state and verify up to weight 172 a conjecture on the existence of a certain generating set for spaces of classical Siegel modular forms. This conjecture is particularly useful for calculations involving Fourier expansions. Using this generating set, we verify the Böcherer conjecture for nonrational eigenforms and discriminants with class number greater than one. As a further application we verify another conjecture for weights up to 150 and investigate an analog of the Victor–Miller basis. Additionally, we describe some arithmetic properties of the basis we found.

We study the Witten multiple zeta function associated with the Lie algebra . Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w at least 2 is a finite ℚ-linear combination of alternating Euler sums of weight w and depth at most 2, except when the only nonzero argument is one of the two last variables, in which case ζ(w−1) is needed.

Recursive formulae satisfied by the Fourier coefficients of meromorphic modular forms on groups of genus zero have been investigated by several authors. Bruinier et al. [‘The arithmetic of the values of modular functions and the divisors of modular forms’, Compositio Math. 140(3) (2004), 552–566] found recurrences for SL(2,ℤ); Ahlgren [‘The theta-operator and the divisors of modular forms on genus zero subgroups’, Math. Res. Lett.10(5–6) (2003), 787–798] investigated the groups Γ0(p); Atkinson [‘Divisors of modular forms on Γ0(4)’, J. Number Theory112(1) (2005), 189–204] considered Γ0(4), and S. Y. Choi [‘The values of modular functions and modular forms’, Canad. Math. Bull.49(4) (2006), 526–535] found the corresponding formulae for the groups Γ+0(p). In this paper we generalize these results and find recursive formulae for the Fourier coefficients of any meromorphic modular form f on any genus-zero group Γ commensurable with SL(2,ℤ) , including noncongruence groups and expansions at irregular cusps. The form of the recurrence relations is well suited for the computation of the Fourier coefficients of the functions and forms on the groups which occur in monstrous and generalized moonshine. The required initial data has, in many cases, been computed by Norton (private communication).