Underlying a lot of modern number theory is the philosophy that arithmetic quantities for which no obvious reason for correlation exists should indeed be uncorrelated in a precise quantitative sense. A classical example is provided by the square-root cancellation in exponential sums such as the quadratic Gauss sums (which feature in the proof of quadratic reciprocity) or Kloosterman sums. Polygonal paths traced by their normalized incomplete sums give a fascinating insight into their chaotic formation. In this talk, we will present our recent results describing the limiting shape distribution in two ensembles of Gauss and Kloosterman sum paths as well as related results on sums of products of Kloosterman sums.
Philadelphia Area Number Theory Seminar
Dubi Kelmer (Boston College and Princeton)
Following Margulis's proof of the Oppenheim conjecture we know that integer values of an irrational indefinite quadratic form in n >= 3 variables are dense on the real line. The same is true for an inhomogeneous form obtained by shifting values by a fixed vector if either the form or the shift is irrational. In this talk, I will describe several approaches to this problem that give effective results that hold for a fixed rational form Q and almost all shifts, by reducing it to the density of certain orbits of a discrete group acting on the torus. I will then describe different approaches using dynamics, representation theory, and estimates on exponential sums for this problem.
Tea and snacks beforehand, starting at 3pm.
Sachi Hashimoto (Brown University)
Modular curves are, roughly speaking, curves whose points parameterize elliptic curves with extra structure on their torsion points. An open question in number theory is to find all rational points on all modular curves: this is known as "Mazur's program B". We will discuss some questions related to and inspired by Mazur's program B. In particular, we will discuss how to parameterize the set of all rational points on modular curves, conditional on a conjecture of Zywina. Using our parameterization we try to answer the following question: to what extent do the rational points on modular curves come from the intrinsic geometry of the curves? This is joint work with Maarten Derickx, Filip Najman, and Ari Shnidman.
We investigate subsets A of the natural numbers having the property that, for some positive number p < 2, one has
int_0^1 | sum_{n in A\cap [1,N]} e(n alpha) |^p d alpha
<< | A\cap [1,N] |^p N^{eps-1}.
Examples of such sets include (but are not restricted to) the square-free, or more generally, the r-free numbers. We show that there are many other examples of such sets. For polynomials
psi(x; a) = a _kx^k + … + a_1x,
having coefficients a_i satisfying suitable irrationality conditions, we obtain Weyl-type estimates for associated exponential sums restricted to subconvex L^p sets, and we show that the sequence (psi(n; a))_{n in A} is equidistributed modulo 1. We also discuss applications to averages of arithmetic functions.
Fernando Trejos, Princeton University
Let K be a number field and let V be a "nice" p-adic representation of the absolute Galois group of K. The Iwasawa main conjectures attach arithmetic significance to special values of the p-adic L-function attached to V. Euler systems are a powerful tool for proving such conjectures; constructing Euler systems is difficult, though, and few examples exist. We will discuss applications of a new method for constructing Euler systems, first pioneered by Sangiovanni and Skinner. To explain the key ideas we focus on a simple example (based on joint work with Shang and Skinner): we reconstruct the two simplest Euler systems, the cyclotomic and elliptic units (corresponding to V=\Q_p(1), and K=\Q or K=an imaginary quadratic field, respectively). The Euler system classes are defined as extensions of Galois representations within the étale cohomology of the modular curve relative to a collection of points (cusps or CM points, respectively). We use Eisenstein series to construct special classes in cohomology; these Eisenstein series are naturally connected to the relevant p-adic L-functions in both cases. Afterwards, we discuss new applications of this method, including forthcoming work of the speaker to construct an Euler system for the “triple product” within the cohomology of the Siegel threefold.
Ari Shnidman, Temple University
The BSD conjecture is one of the Clay millennium problems and a central open question in number theory. It predicts that the number of independent rational points on an elliptic curve is determined by the asymptotic growth of the point counts mod p via the Hasse-Weil L-function. I'll go over the history and precise formulation of the conjecture, and what is currently known. This is background information for the next two talks by Ani and Coco.