We prove, in this joint work with Maksym Radziwill, a 1978 conjecture of S. Patterson (conditional on the Generalised Riemann hypothesis) concerning the bias of cubic Gauss sums. This explains a well-known numerical bias in the distribution of cubic Gauss sums first observed by Kummer in 1846.
There are two important byproducts of our proof. The first is an explicit level aspect Voronoi summation formula for cubic Gauss sums, extending computations of Patterson and Yoshimoto. Secondly, we show that Heath-Brown's cubic large sieve is sharp under GRH.
This disproves the popular belief that the cubic large sieve can be improved.
An important ingredient in our proof is a dispersion estimate for cubic Gauss sums. It can be interpreted as a cubic large sieve with correction by a non-trivial asymptotic main term. This estimate relies on the Generalised Riemann Hypothesis, and is one of the fundamental reasons why our result is conditional.
In this talk, we will discuss the application of modularity and the holomorphic projection operator on a question involving moments for class numbers where the discriminant is restricted to a certain arithmetic progression, with an application to moments for elliptic curves over finite fields where the trace of Frobenius is restricted to the same arithmetic progression.
Let G be a finite group. A representation V of G is said to be unisingular if det(1-g) = 0 for all g in G. Unisingular representations arise naturally in arithmetic via point counts on curves over finite fields and l-adic representations on abelian varieties.
In this talk we will survey recent work on properties of elliptic curves and higher dimensional abelian varieties with unisingular l-adic representations with an emphasis on explicit calculation and construction. Some of this work is joint with John Voight, Jeff Yelton, and Meagan Kenney.
The focus of this talk is on Sato-Tate groups of abelian varieties -- compact groups predicted to determine the limiting distributions of local zeta functions. In recent years, complete classifications of Sato-Tate groups in dimensions 1, 2, and 3 have been given, but there are obstacles to providing classifications in higher dimensions. In this talk, I will describe my recent work on families of higher dimensional Jacobian varieties. This work is partly joint with Melissa Emory.
Supersingular elliptic curves have seen a resurgence in the past decade with new post-quantum cryptographic applications. In this talk, we will discover why and how these curves are used in new cryptographic protocol. Supersingular elliptic curve isogeny graphs can be endowed with additional level structure. We will look at the level structure graphs and the corresponding picture in a quaternion algebra.
The Hardy-Littlewood generalised twin prime conjecture states an asymptotic formula for the number of primes $p\le X$ such that $p+h$ is prime for any non-zero even integer $h$. While this conjecture remains wide open, Matom\"{a}ki, Radziwi{\l}{\l} and Tao proved that it holds on average over $h$, improving on a previous result of Mikawa. In this talk we will discuss an almost prime analogue of the Hardy-Littlewood conjecture for which we can go beyond what is known for primes. We will describe some recent work in which we prove an asymptotic formula for the number of almost primes $n=p_1p_2 \le X$ such that $n+h$ has exactly two prime factors which holds for a very short average over $h$.
Chebyshev famously observed empirically that more often than not, there are more primes of the form 3 mod 4 up to x than primes of the form 1 mod 4. This was confirmed theoretically much later by Rubinstein and Sarnak in a logarithmic density sense. Our understanding of this is conditional on the generalized Riemann Hypothesis as well as Linear Independence of the zeros of L-functions.
We investigate similar questions for sums of two squares in arithmetic progressions. We find a significantly stronger bias than in primes, which happens for almost all integers in a natural density sense. Because the bias is more pronounced, we do not need to assume Linear Independence of zeros, only a Chowla-type Conjecture on non-vanishing of L-functions at 1/2.
We'll aim to be self-contained and define all the notions mentioned above during the talk. We shall review the origin of the bias in the case of primes and the work of Rubinstein and Sarnak. We'll explain the main ideas behind the proof of the bias in the sums-of-squares setting.
In 2004, Montgomery and Soundararajan showed (conditionally) that the distribution of the number of primes in appropriately sized intervals is approximately Gaussian and has a somewhat smaller variance than you might expect from modeling the primes as a purely random sequence. Their work depends on evaluating sums of certain arithmetic constants that generalize the twin prime constant, known as singular series. In particular, these sums exhibit square-root cancellation in each term if they have an even number of terms, but if they have an odd number of terms, there should be slightly more than square-root cancellation. I will discuss sums of singular series with an odd number of terms, including tighter bounds for small cases and the function field analog. I will also explain how this problem is connected to a simple problem about adding fractions.
Conrey, Farmer and Zirnbauer formulated the ratios conjectures, which give asymptotic formulas for the ratios of products of shifted L-functions from some family. They have many corollaries to other problems in arithmetic statistics, such as the computation of various moments or the distribution of zeros in a family of L-functions.
During the talk, we will show how to use multiple Dirichlet series to prove the conjectures in the family of real Dirichlet L-functions for some range of the shifts. The talk will be accessible even to those with little background in analytic number theory.
We formulate, using heuristic reasoning, precise conjectures for the range of the number of primes in intervals of length $y$ around $x$, where $y\ll(\log x)^2$. In particular, we conjecture that the maximum grows surprisingly slowly as $y$ranges from $\log x$ to $(\log x)^2$. We will show that our conjectures are somewhat supported by available data, though not so well that there may not be room for some modification. This is joint work with Andrew Granville.