We prove a joint universality theorem in the Voronin sense for the periodic Hurwitz zeta-functions.

Let Bn(x) denote the number of 1’s occurring in the binary expansion of an irrational number x>0. A difficult problem is to provide nontrivial lower bounds for Bn(x) for interesting numbers such as , e or π: their conjectural simple normality in base 2 is equivalent to Bn(x)∼n/2. In this article, amongst other things, we prove inequalities relating Bn(x+y), Bn(xy) and Bn(1/x) to Bn(x) and Bn(y) for any irrational numbers x,y>0, which we prove to be sharp up to a multiplicative constant. As a by-product, we provide an answer to a question raised by Bailey et al. (D. H. Bailey, J. M. Borwein, R. E. Crandall and C. Pomerance, ‘On the binary expansions of algebraic numbers’, J. Théor. Nombres Bordeaux16(3) (2004), 487–518) concerning the binary digits of the square of a series related to the Fibonacci sequence. We also obtain a slight refinement of the main theorem of the same article, which provides a nontrivial lower bound for Bn(α) for any real irrational algebraic number. We conclude the article with effective or conjectural lower bounds for Bn(x) when x is a transcendental number.

Weshow that, for every x exceeding some explicit bound depending only on k and N, there are at least C(k,N)x/log 17x positive and negative coefficients a(n) with n≤x in the Fourier expansion of any non-zero cuspidal Hecke eigenform of even integral weight k≥2 and squarefree level N that is a newform, where C(k,N) depends only on k and N. From this we deduce the existence of a sign change in a short interval.

Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions on the Poincaré upper half-plane. Given a discrete subgroup Γ of SL(2,ℝ), automorphic pseudodifferential operators for Γ are pseudodifferential operators that are Γ-invariant, and they are closely linked to Jacobi-like forms and modular forms for Γ. We construct linear maps from the space of automorphic pseudodifferential operators and from the space of Jacobi-like forms for Γ to the cohomology space of the group Γ, and prove that these maps are compatible with the respective Hecke operator actions.

The description of irreducible representations of a group G can be seen as a problem in harmonic analysis; namely, decomposing a suitable space of functions on G into irreducibles for the action of G×G by left and right multiplication. For a split p-adic reductive group G over a local non-archimedean field, unramified irreducible smooth representations are in bijection with semisimple conjugacy classes in the ‘Langlands dual’ group. We generalize this description to an arbitrary spherical variety X of G as follows. Irreducible unramified quotients of the space are in natural ‘almost bijection’ with a number of copies of AX*/WX, the quotient of a complex torus by the ‘little Weyl group’ of X. This leads to a description of the Hecke module of unramified vectors (a weak analog of geometric results of Gaitsgory and Nadler), and an understanding of the phenomenon that representations ‘distinguished’ by certain subgroups are functorial lifts. In the course of the proof, rationality properties of spherical varieties are examined and a new interpretation is given for the action, defined by Knop, of the Weyl group on the set of Borel orbits.

We develop the theory of p-adic confluence of q-difference equations. The main result is the fact that, in the p-adic framework, a function is a (Taylor) solution of a differential equation if and only if it is a solution of a q-difference equation. This fact implies an equivalence, called confluence, between the category of differential equations and those of q-difference equations. We develop this theory by introducing a category of sheaves on the disk D−(1,1), for which the stalk at 1 is a differential equation, the stalk at q isa q-difference equation if q is not a root of unity, and the stalk at a root of unity ξ is a mixed object, formed by a differential equation and an action of σξ.

Let ϕ be a Drinfeld module of rank 2 over the field of rational functions , with . Let K be a fixed imaginary quadratic field over F and d a positive integer. For each prime of good reduction for ϕ, let be a root of the characteristic polynomial of the Frobenius endomorphism of ϕ over the finite field . Let Πϕ(K;d) be the number of primes of degree d such that the field extension is the fixed imaginary quadratic field K. We present upper bounds for Πϕ(K;d) obtained by two different approaches, inspired by similar ones for elliptic curves. The first approach, inspired by the work of Serre, is to consider the image of Frobenius in a mixed Galois representation associated to K and to the Drinfeld module ϕ. The second approach, inspired by the work of Cojocaru, Fouvry and Murty, is based on an application of the square sieve. The bounds obtained with the first method are better, but depend on the fixed quadratic imaginary field K. In our application of the second approach, we improve the results of Cojocaru, Murty and Fouvry by considering projective Galois representations.

We improve Kolyvagin’s upper bound on the order of the p-primary part of the Shafarevich–Tate group of an elliptic curve of rank one over a quadratic imaginary field. In many cases, our bound is precisely that predicted by the Birch and Swinnerton-Dyer conjectural formula.

For a numerical semigroup S, a positive integer a and a nonzero element m of S, we define a new numerical semigroup R(S,a,m) and call it the (a,m)-rotation of S. In this paper we study the Frobenius number and the singularity degree of R(S,a,m). Moreover, we observe that the rotations of ℕ are precisely the modular numerical semigroups.

We prove an observation associated with η3(τ)η3(7τ) which is found on page 54 of Ramanujan’s Lost Notebook (S. Ramanujan, The Lost Notebook and Other Unpublished Papers (Narosa, New Delhi, 1988)). We then study functions of the type η3(aτ)η3(bτ) with a+b=8.

We establish various properties of the definition of cohomology of topological groups given by Grothendieck, Artin and Verdier in SGA4, including a Hochschild–Serre spectral sequence and a continuity theorem for compact groups. We use these properties to compute the cohomology of the Weil group of a totally imaginary field, and of the Weil-étale topology of a number ring recently introduced by Lichtenbaum (both with integer coefficients).

Let K be an arbitrary number field, and let ρ : Gal(/K) → GL2(E) be a nearly ordinary irreducible geometric Galois representation. In this paper, we study the nearly ordinary deformations of ρ. When K is totally real and ρ is modular, results of Hida imply that the nearly ordinary deformation space associated to ρ contains a Zariski dense set of points corresponding to ‘automorphic’ Galois representations. We conjecture that if K is not totally real, then this is never the case, except in three exceptional cases, corresponding to: (1) ‘base change’, (2) ‘CM’ forms, and (3) ‘even’ representations. The latter case conjecturally can only occur if the image of ρ is finite. Our results come in two flavours. First, we prove a general result for Artin representations, conditional on a strengthening of the Leopoldt Conjecture. Second, when K is an imaginary quadratic field, we prove an unconditional result that implies the existence of ‘many’ positive-dimensional components (of certain deformation spaces) that do not contain infinitely many classical points. Also included are some speculative remarks about ‘p-adic functoriality’, as well as some remarks on how our methods should apply to n-dimensional representations of Gal(/ℚ) when n > 2.

Following T. H. Chan, we consider the problem of approximation of a given rational fraction a/q by sums of several rational fractions a1/q1,…,an/qn with smaller denominators. We show that in the special cases of n=3 and n=4 and certain admissible ranges for the denominators q1,…,qn, one can improve a result of T. H. Chan by using a different approach.

Let X be a smooth projective curve. We consider the dual reductive pair , over X, where H splits on an étale two-sheeted covering . Let BunG (respectively, BunH) be the stack of G-torsors (respectively, H-torsors) on X. We study the functors FG and FH between the derived categories D(BunG) and D(BunH), which are analogs of the classical theta-lifting operators in the framework of the geometric Langlands program. Assume n=m=1 and H nonsplit, that is, with connected. We establish the geometric Langlands functoriality for this pair. Namely, we show that FG :D(BunH)→D(BunG)commutes with Hecke operators with respect to the corresponding map of Langlands L-groups LH→LG. As an application, we calculate Waldspurger periods of cuspidal automorphic sheaves on BunGL2 and Bessel periods of theta-lifts from to . Based on these calculations, we give three conjectural constructions of certain automorphic sheaves on (one of them makes sense for -modules only).

We prove a dynamical version of the Mordell–Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to those employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian of a curve of genus 2 over its field of definition and how this can be used to perform Chabauty- and Brauer–Manin-type calculations for curves of genus 5 with an fixed-point-free involution. As an application, we determine the rational points on a smooth plane quartic and give examples of curves of genus 3 and 5 violating the Hasse principle. The methods are, in principle, applicable to any genus 3 curve with a double cover. We also show how these constructions can be used to design smooth plane quartics with specific arithmetic properties. As an example, we give a smooth plane quartic with all 28 bitangents defined over . By specialization, this also gives examples over .

We consider logarithmic averages, over friable integers, of non-negative multiplicative functions. Under logarithmic, one-sided or two-sided hypotheses, we obtain sharp estimates that improve upon known results in the literature regarding both the quality of the error term and the range of validity. The one-sided hypotheses correspond to classical sieve assumptions. They are applied to provide an effective form of the Johnsen–Selberg prime power sieve.

We develop and study the epsilon factor of a ‘local system’ of p-adic coefficients over the spectrum of a complete discrete valuation field K with finite residue field of characteristic p>0. In the equal characteristic case, we define the epsilon factor of an overconvergent F-isocrystal over Spec(K), using the p-adic monodromy theorem. We conjecture a global formula, the p-adic product formula, analogous to Deligne’s formula for étale ℓ-adic sheaves proved by Laumon, which explains the importance of this local invariant. Namely, for an overconvergent F-isocrystal over an open subset of a projective smooth curve X, the constant of the functional equation of the L-series is expressed as a product of the local epsilon factors at the points of X. We prove the conjecture for rank-one overconvergent F-isocrystals and for finite unit-root overconvergent F-isocrystals. In the mixed characteristic case, we study the behavior of the epsilon factor by deformation to the field of norms.

Let σA(n)=∣{(a,a′)∈A2:a+a′=n}∣, where and A is a subset of . Erdös and Turán conjectured that, for any basis A of , σA(n) is unbounded. In 1990, Ruzsa constructed a basis for which σA(n) is bounded in the square mean. In this paper, based on Ruzsa’s method, we show that there exists a basis A of satisfying for large enough N.

Sikora has given results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora’s formulas which leads us to clarify and to extend the dictionary of arithmetic topology.