(Joint with O. Gorodetsky and B. Rodgers) It is a classical quest in analytic number theory to understand the fine-scale distribution of arithmetic sequences such as the primes. For a given length scale h, the number of elements of a ``nice'' sequence in a uniformly randomly selected interval $(x,x+h], 1 \leq x \leq X$, might be expected to follow the statistics of a normally distributed random variable (in suitable ranges of $1 \leq h \leq X$).  Following the work of Montgomery and Soundararajan, this is known to be true for the primes, but only if we assume several deep and long-standing conjectures such as the Riemann Hypothesis. In fact, previously such distributional results had not been proven for any (non-trivial) sequence of number-theoretic interest, unconditionally.

 
As a model for the primes, in this talk I will address such statistical questions for the sequence of squarefree numbers, i.e., numbers not divisible by the square of any prime, among other related ``sifted'' sequences called B-free numbers. I hope to further motivate and explain our main result that shows, unconditionally, that short interval counts of squarefree numbers do satisfy Gaussian statistics, answering several old questions of R.R. Hall.

In this talk, we discuss the asymptotic behavior of the number of integer partitions into primes concerning a Chebotarev condition. In special cases, this reduces to the study of partitions into primes in arithmetic progressions. While the study for ordinary partitions goes back to Hardy and Ramanujan, partitions into primes have been re-visited recently. Our error term is sharp and in the particular case of partitions into prime numbers, we improve on a result of Vaughan. In connection with the monotonicity result of Bateman and Erd\H{o}s, we give an asymptotic formula for the difference of the number of partitions of positive integers which are k-apart.  

Let K be a function field with a constant field of size q. If E is an elliptic curve over K with nonconstant j-invariant then its L-function L(T,E/K) is a polynomia.orgl in 1 + T Z[T]. Inspired by the algorithms of Schoof and Pila for computing zeta functions of curves over finite fields, we consider the problem of computing the reduction of L(T,E/K) modulo an integer without first computing the whole L-function. Doing so for a large enough integer which is coprime with q completely determines L(T,E/K). The existing literature on this problem could be summarized as follows: Under the assumption that the Mordell-Weil group E(K) has a subgroup of order N ≥ 2, with N coprime with q, Chris Hall gave an explicit formula for the reduction L(T,E/K) mod N. We present novel theorems going beyond Hall's. https://arxiv.org/abs/2110.12156

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.

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.