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.
Jeffrey Yelton, Wesleyan University
Let K be a field with a nonarchimedean valuation, and let C be a curve over K defined by an equation of the form y^p = f(x), where p is any prime (which is allowed to be the residue characteristic of K). The shape of a semistable model of such a curve can be determined from the cluster data of the roots of the polynomial f. I will explain a way to encode such cluster data as a metric graph and, using this framework, provide a criterion for C to have a special geometric property called split degenerate reduction. Meanwhile, this property is equivalent to C being uniformizable as a certain subset of the projective line modulo the action of a group of fractional linear transformations. I will use this uniformization to demonstrate another perspective on the cluster data of a superelliptic curve with split degenerate reduction.
Travis Morrison, Virginia Tech
Isogeny graphs of supersingular elliptic curves have broad application, from the study and computation of modular forms to post-quantum cryptography. This is in part because the family of q-isogeny graphs of supersingular elliptic curves in characteristic p (with prime p varying, for a fixed prime q) is Ramanujan. One tool for studying a graph is its Ihara zeta function, defined as an Euler product over the primes of the graph. Defining the zeta function formally requires a graph in the sense of Serre and Bass, i.e. a directed graph equipped with a fixed-point free involution on the edge set. In general, isogeny graphs fail to be graphs in this sense. In this talk, I will discuss joint work with Lau, Orvis, Scullard, and Zobernig in which we introduce abstract isogeny graphs along with their zeta functions; these graphs capture the combinatorial structure of supersingular isogeny graphs (with level structure) . I will survey some of our results, including an analogue of Ihara’s determinant formula, showing in particular that the zeta function is rational. We use this formula and the Eichler-Shimura relation to give a formula relating the zeta function of a q-isogeny graph with level-H structure (for certain H, including B0(N) and B1(N)) to the Hasse-Weil zeta functions of two associated modular curves over the finite field Fq, generalizing results of Hashimoto, Sugiyama, and Lei-Muller.
Eran Assaf, MIT
Following Kneser, we survey the notion of neighboring lattices and how the study of the neighboring relation on lattices gives rise to modular forms. We proceed to study natural maps between spaces of modular forms induced by theta series, and relate it to classical questions in number theory.