Past Number Theory Seminar

I will discuss some recent results on the distribution of the real-analytic Eisenstein series on thin sets, such as a geodesic segment. These investigations are related to mean values of the Riemann zeta function, and have connections to quantum chaos.

The Cohen-Lenstra heuristics, postulated in the early 80s, conceptually explained numerous phenomena in the behaviour of ideal class groups of number fields that had puzzled mathematicians for decades, by proposing a probabilistic model: the probability that the class group of an imaginary quadratic field is isomorphic to a given group $A$ is inverse proportional to $\#\text{Aut}(A)$. This is a very natural model for random algebraic objects. But the probability weights for more general number fields, while agreeing well with experiments, look rather mysterious. I will explain how to recover the original heuristic in a very conceptual way by phrasing it in terms of Arakelov class groups instead. The main difficulty that one needs to overcome is that Arakelov class groups typically have infinitely many automorphisms. We build up a theory of commensurability of modules, of groups, and of rings, in order to remove this obstacle. This is joint work with Hendrik Lenstra.

Hardy and Littlewood's approximate functional equation for quadratic Weyl sums (theta sums) provides, by iterative application, a powerful tool for the asymptotic analysis of such sums. The classical Jacobi theta function, on the other hand, satisfies an exact functional equation, and extends to an automorphic function on the Jacobi group. In the present study we construct a related, almost everywhere non-differentiable automorphic function, which approximates quadratic Weyl sums up to an error of order one, uniformly in the summation range. This not only implies the approximate functional equation, but allows us to replace Hardy and Littlewood's renormalization approach by the dynamics of a certain homogeneous flow. The great advantage of this construction is that the approximation is global, i.e., there is no need to keep track of the error terms accumulating in an iterative procedure. Our main application is a new functional limit theorem, or invariance principle, for theta sums. The interesting observation here is that the paths of the limiting process share a number of key features with Brownian motion (scale invariance, invariance under time inversion, non-differentiability), although time increments are not independent and the value distribution at each fixed time is distinctly different from a normal distribution. Joint work with Francesco Cellarosi.

I will review some classical problems in number theory concerning the statistical distribution of the primes, square-free numbers and values of the divisor function; for example, fluctuations in the number of primes in short intervals and in arithmetic progressions.  I will then explain how analogues of these problems in the function field setting can be resolved by expressing them in terms of matrix integrals. 

I will describe joint work with Manjul Bhargava (Princeton) and Tom Fisher (Cambridge) in which we determine the probability that random equation from certain families  has a solution either locally (over the reals or the p-adics), everywhere locally,  or globally. Three kinds of equation will be considered: quadratics in any number of variables, ternary cubics and hyperelliptic quartics.

Thanks to the p-adic local Langlands correspondence for GL_2(Q_p), one "knows" all admissible unitary topologically irreducible representations of GL_2(Z_p). In this talk I will focus on some elementary properties of their restriction to GL_2(Z_p): for instance, to what extent does the restriction to GL_2(Z_p) allow one to recover the original representation, when is the restriction of finite length, etc.

In sieve theory, one is concerned with estimating the size of a sifted set, which avoids certain residue classes modulo many primes. For example, the problem of counting primes corresponds to the situation when the residue class 0 is removed for each prime in a suitable range. This talk will be concerned about what happens when a positive proportion of residue classes is removed for each prime, and especially when this proporition is more than a half. In doing so we will come across an algebraic question: given a polynomial f(x) in Z[x], what is the average size of the value set of f reduced modulo primes?

Given an abelian variety A over a number field k, its Kummer variety X is the quotient of A by the automorphism that sends each point P to -P. We study p-adic density and weak approximation on X by relating its rational points to rational points of quadratic twists of A. This leads to many examples of K3 surfaces over Q whose rational points lie dense in the p-adic topology, or in product topologies arising from p-adic topologies. Finally, the same method is used to prove that if the Brauer--Manin obstruction controls the failure of weak approximation on all Kummer varieties, then ranks of quadratic twists of (non-trivial) abelian varieties are unbounded. This last fact arises from joint work with David Holmes.

In 1989, Selberg defined what came to be known as the "Selberg class" of $L$-functions, giving rise to a new subfield of analytic number theory in the intervening quarter century. Despite its popularity, a few things have always bugged me about the definition of the Selberg class. I will discuss these nitpicks and describe some modest attempts at overcoming them, with new applications.

Fix a prime $p$. In this talk, we will discuss the $p$-adic properties of the *coefficients* of the characteristic power series of $U_{p}$ acting on spaces of overconvergent $p$-adic modular forms. These coefficients are, by a theorem of Coleman, power series in the weight variable over $Z_{p}$.  Our first goal will be to show that in tame level one, the simplest case, every coefficient is non-zero mod $p$ and then to give some idea of the (finitely many) roots of each coefficient. The second goal will be to explain how it the previous result fails in higher levels, along with possible salvages. This will include revisiting the tame level one case. The progress we've made has applications, and lends understanding, to recent work being made elsewhere on the geometric structure of the eigencurve "near its boundary". This is joint work with Rob Pollack.

Rational points on Kummer varieties can be studied through the variation of Selmer groups of quadratic twists of the underlying abelian variety, using an idea of Swinnerton-Dyer. We consider the case when the Galois action on 2-torsion has a large image. Under a mild additional assumption we prove the Hasse principle assuming the finiteness of relevant Shafarevich-Tate groups. This approach is inspired by the work of Mazur and Rubin.

The classical conjecture of Serre (proved by Khare-Winterberger) states that a continuous, absolutely irreducible, odd representation of the absolute Galois group of Q on two-dimensional F_p-vector space is modular. We show how one can formulate its analogue in characteristic 0. In particular we discuss the weight part of the conjecture. This is a joint work with John Bergdall.

In 1953 Roth proved that any positive density subset of the integers contains a non-trivial three term arithmetic progression. I will present a recent quantitative improvement for this theorem, give an overview of the main ideas of the proof, and discuss its relation to other recent work in the area. I will also discuss some closely related problems. 

We discuss a new method to bound the number of primes in certain very thin sets. The sets $S$ under consideration have the property that if $p\in S$ and $q$ is prime with $q|(p-1)$, then $q\in S$. For each prime $p$, only 1 or 2 residue classes modulo $p$ are omitted, and thus the traditional small sieve furnishes only the bound $O(x/\log^2 x)$ (at best) for the counting function of $S$. Using a different strategy, one related to the theory of prime chains and Pratt trees, we prove that either $S$
contains all primes or $\# \{p\in S : p\le x \} = O(x^{1-c})$ for some positive $c$. Such sets arise, for example, in work on Carmichael's conjecture for Euler's function.

Let f be an elliptic modular newform of weight at least 2. The 
problem of the automorphy of the symmetric power L-functions of f is a 
key example of Langlands' functoriality conjectures. Recently, the 
potential automorphy of these L-functions has been established, using 
automorphy lifting techniques, and leading to a proof of the Sato-Tate 
conjecture. I will discuss a new approach to the automorphy of these 
L-functions that shows the existence of Sym^m f for m = 1,...,8.

I'll discuss work (part with Savitt, part with Dembele and Roberts) on two related questions: describing local factors at primes over p in mod p automorphic representations, and describing reductions of local crystalline Galois representations with prescribed Hodge-Tate weights.

In this seminar I will discuss a function field analogue of classical problems in analytic number theory, concerning the auto-correlations of divisor functions, in the limit of a large finite field.

In this talk, we will discuss the dimension of $J_0(N)[m]$ at an Eisenstein prime m for
square-free level N. We will also study the structure of $J_0(N)[m]$ as a Galois module.
This work generalizes Mazur’s work on Eisenstein ideals of prime level to the case of
arbitrary square-free level up to small exceptional cases.

If X/F is a smooth and proper variety over a global function field of

characteristic p, then for all l different from p the co-ordinate ring of the l-adic

unipotent fundamental group is a Galois representation, which is unramified at all

places of good reduction. In this talk, I will ask the question of what the correct

p-adic analogue of this is, by spreading out over a smooth model for C and proving a

version of the homotopy exact sequence associated to a fibration. There is also a

version for path torsors, which enables me to define an function field analogue of

the global period map used by Minhyong Kim to study rational points.

For the last few years Soundararajan and I have been developing an alternative "pretentious" approach to analytic number theory. Recently Harper established a more intuitive proof of Halasz's Theorem, the key result in the area, which has allowed the three of us to provide new (and somewhat simpler) proofs to several difficult theorems (like Linnik's Theorem), as well as to suggest some new directions. We shall review these developments in this talk.

I'll sketch a construction which associates a canonical p-adic L-function with a 'non-critically refined' cohomological cuspidal automorphic representation of GL(2) over an arbitrary number field F, generalizing and unifying previous results of many authors. These p-adic L-functions have good interpolation and growth properties, and they vary analytically over eigenvarieties. When F=Q this reduces to a construction of Pollack and Stevens. I'll also explain where this fits in the general picture of Iwasawa theory, and I'll point towards the iceberg of which this construction is the tip.