Forthcoming events in this series


Thu, 04 May 2023
16:00
L5

Optimality of sieves

James Maynard
(University of Oxford)
Abstract

The closest thing we have to a general method for finding primes in sets is to use sieve methods to turn the problem into some other (hopefully easier) arithmetic questions about the set.

Unfortunately this process is still poorly understood - we don’t know ‘how much’ arithmetic information is sufficient to guarantee the existence of primes, and how much is not sufficient. Often arguments are rather ad-hoc.

I’ll talk about work-in-progress with Kevin Ford which shows that many of our common techniques are not optimal and can be refined, and in many cases these new refinements are provably optimal.

Thu, 27 Apr 2023
16:00
L5

On zero-density estimates and primes in short intervals

Valeriia Starichkova
(UNSW Canberra)
Abstract

Hoheisel used zero-density results to prove that for all x large enough there is a prime number in the interval $[x−x^{\theta}, x]$ with $θ < 1$. The connection between zero-density estimates and primes in short intervals was explicitly described in the work of Ingham in 1937. The approach of Ingham combined with the zero-density estimates of Huxley (1972) provides us with the distribution of primes in $[x−x^{\theta}, x]$ with $\theta > 7/12$. Further improvement upon the value of \theta was achieved by combining sieves with the weighted zero-density estimates in the works of Iwaniec and Jutila, Heath-Brown and Iwaniec, and Baker and Harman. The last work provides the best result achieved using zero-density estimates. We will discuss the main ideas of the paper by Baker and Harman and simplify some parts of it to show a more explicit connection between zero-density results and the sieved sums, which are used in the paper. This connection will provide a better understanding on which parts should be optimised for further improvements and on what the limits of the methods are. This project is still in progress.

Thu, 09 Mar 2023
16:00
L4

Mass equidistribution for Siegel cusp forms of degree 2

Abhishek Saha
(Queen Mary University of London)
Abstract

I will talk about some current work with Jesse Jaasaari and Steve Lester where we investigate the analogue of the Quantum Unique Ergodicity (QUE) conjecture in the weight aspect for Siegel cusp forms of degree 2 and full level. Assuming the Generalized Riemann Hypothesis (GRH) we establish QUE for Saito–Kurokawa lifts as the weight tends to infinity. As an application, we prove the equidistribution of zero divisors.

Thu, 02 Mar 2023
16:00
L4

Explicit (and improved) results on the structure of sumsets

Aled Walker
(King's College London)
Abstract

Given a finite set A of integer lattice points in d dimensions, let NA denote the N-fold iterated sumset (i.e. the set comprising all sums of N elements from A). In 1992 Khovanskii observed that there is a fixed polynomial P(N), depending on A, such that the size of the sumset NA equals P(N) exactly (once N is sufficiently large, that is). In addition to this 'size stability', there is a related 'structural stability' property for the sumset NA, which Granville and Shakan recently showed also holds for sufficiently large N. But what does 'sufficiently large' mean in practice? In this talk I will discuss some perspectives on these questions, and explain joint work with Granville and Shakan which proves the first explicit bounds for all sets A. I will also discuss current work with Granville, which gives a tight bound 'up to logarithmic factors' for one of these properties. 

 

Thu, 23 Feb 2023
16:00
L4

Upper bounds for moments of the Riemann zeta-function

Hung Bui
(University of Manchester)
Abstract

Assuming the Riemann Hypothesis, Soundararajan established almost sharp upper bounds for all positive moments of the Riemann zeta-function. This result was later improved by Harper, who proved upper bounds of the right order of magnitude. I will describe some of the ideas in their proofs, and then discuss recent joint work with Alexandra Florea, where we consider negative moments of the Riemann zeta-function. For example, we can obtain asymptotic formulas for negative moments when the shift in the zeta function is large enough, confirming a conjecture of Gonek.  We also obtain an upper bound for the average of the generalised Mobius function.

Thu, 16 Feb 2023
16:00
L4

Hasse principle for Kummer varieties in the case of generic 2-torsion

Adam Morgan
(University of Glasgow)
Abstract

Conditional on finiteness of relevant Shafarevich--Tate groups, Harpaz and Skorobogatov established the Hasse principle for Kummer varieties associated to a 2-covering of a principally polarised abelian variety A, under certain large image assumptions on the Galois action on A[2]. However, their method stops short of treating the case where the image is the full symplectic group, due to the possible failure of the Shafarevich--Tate group to have square order in this setting. I will explain work in progress which overcomes this obstruction by combining second descent ideas of Harpaz with new results on the 2-parity conjecture. 

Thu, 09 Feb 2023
16:00
L4

Gowers uniformity of arithmetic functions in short intervals

Joni Teräväinen
(University of Turku)
Abstract

I will present results on short sums of arithmetic functions (in particular the von Mangoldt and divisor functions) twisted by polynomial exponential phases or more general nilsequence phases. These results imply the Gowers uniformity of suitably normalised versions of these functions in intervals of length X^c around X for suitable values of c (depending on the function and on whether one considers all or almost all short sums). I will also discuss an application to an averaged form of the Hardy-Littlewood conjecture. This is based on joint works with Kaisa Matomäki, Maksym Radziwiłł, Xuancheng Shao and Terence Tao.

Thu, 02 Feb 2023
16:00
L4

The Wiles-Lenstra-Diamond numerical criterion over imaginary quadratic fields

Jeff Manning
(Imperial College London)
Abstract

Wiles' modularity lifting theorem was the central argument in his proof of modularity of (semistable) elliptic curves over Q, and hence of Fermat's Last Theorem. His proof relied on two key components: his "patching" argument (developed in collaboration with Taylor) and his numerical isomorphism criterion.

In the time since Wiles' proof, the patching argument has been generalized extensively to prove a wide variety of modularity lifting results. In particular Calegari and Geraghty have found a way to generalize it to prove potential modularity of elliptic curves over imaginary quadratic fields (contingent on some standard conjectures). The numerical criterion on the other hand has proved far more difficult to generalize, although in situations where it can be used it can prove stronger results than what can be proven purely via patching.

In this talk I will present joint work with Srikanth Iyengar and Chandrashekhar Khare which proves a generalization of the numerical criterion to the context considered by Calegari and Geraghty (and contingent on the same conjectures). This allows us to prove integral "R=T" theorems at non-minimal levels over imaginary quadratic fields, which are inaccessible by Calegari and Geraghty's method. The results provide new evidence in favor of a torsion analog of the classical Langlands correspondence.

Thu, 26 Jan 2023
16:00
L5

Distribution of genus numbers of abelian number fields

Rachel Newton
(King's College London)
Abstract

Let K be a number field and let L/K be an abelian extension. The genus field of L/K is the largest extension of L which is unramified at all places of L and abelian as an extension of K. The genus group is its Galois group over L, which is a quotient of the class group of L, and the genus number is the size of the genus group. We study the quantitative behaviour of genus numbers as one varies over abelian extensions L/K with fixed Galois group. We give an asymptotic formula for the average value of the genus number and show that any given genus number appears only 0% of the time. This is joint work with Christopher Frei and Daniel Loughran.

Mon, 23 Jan 2023
16:00
L6

Sums of arithmetic functions over F_q[T] and non-unitary distributions

Vivian Kuperberg
(Tel Aviv University)
Abstract

In 2018, Keating, Rodgers, Roditty-Gershon and Rudnick conjectured that the variance of sums of the divisor function in short intervals is described by a certain piecewise polynomial coming from a unitary matrix integral. That is to say, this conjecture ties a straightforward arithmetic problem to random matrix theory. They supported their conjecture by analogous results in the setting of polynomials over a finite field rather than in the integer setting. In this talk, we'll discuss arithmetic problems over F_q[T] and their connections to matrix integrals, focusing on variations on the divisor function problem with symplectic and orthogonal distributions. Joint work with Matilde Lalín.

Thu, 19 Jan 2023
16:00
L5

Néron models of Jacobians and Chai's conjecture

Otto Overkamp
(Oxford University)
Abstract

Néron models are mathematical objects which play a very important role in contemporary arithmetic geometry. However, they usually behave badly, particularly in respect of exact sequences and base change, which makes most problems regarding their behaviour very delicate. Chai introduced the base change conductor, a rational number associated with a semiabelian variety $G$ which measures the failure of the Néron model of $G$ to commute with (ramified) base change. Moreover, Chai conjectured that this invariant is additive in certain exact sequences. We shall introduce a new method to study the Néron models of Jacobians of proper (possibly singular) curves, and sketch a proof of Chai's conjecture for semiabelian varieties which are also Jacobians. 

Thu, 01 Dec 2022
16:00
L5

Ihara’s lemma for quaternionic Shimura varieties and special values of L-functions

Matteo Tamiozzo
Abstract

I will talk about work in progress with Ana Caraiani aimed at proving Ihara’s lemma for quaternionic Shimura varieties, generalising the strategy of Manning-Shotton for Shimura curves. As an arithmetic motivation, in the first part of the talk I will recall an approach to the Birch and Swinnerton-Dyer conjecture based on congruences between modular forms, relying crucially on Ihara’s lemma.

Thu, 24 Nov 2022
16:00
L5

Weyl Subconvexity, Generalized $PGL_2$ Kuznetsov Formulas, and Optimal Large Sieves

Ian Petrow
(UCL)
Abstract

Abstract: We give a generalized Kuznetsov formula that allows one to impose additional conditions at finitely many primes.  The formula arises from the relative trace formula. I will discuss applications to spectral large sieve inequalities and subconvexity. This is work in progress with M.P. Young and Y. Hu.

 

Thu, 10 Nov 2022
16:00
L5

Height bounds for isogeny coincidences between families of elliptic curves

Martin Orr
Abstract

The Zilber-Pink conjecture predicts that there should be only finitely
many algebraic numbers t such that the three elliptic curves with
j-invariants t, -t, 2t are all isogenous to each other.  Using previous
work of Habegger and Pila, it suffices to prove a height bound for such
t.  I will outline the proof of this height bound by viewing periods of
the elliptic curves as values of G-functions.  An innovation in this
work is that both complex and p-adic periods are required.  This is
joint work with Christopher Daw.

Mon, 07 Nov 2022
15:00
N3.12

The Gauss problem for central leaves.

Valentijn Karemaker
(University of Utrecht)
Abstract

For a family of finite sets whose cardinalities are naturally called class numbers, the Gauss problem asks to determine the subfamily in which every member has class number one. We study the Siegel moduli space of abelian varieties in characteristic $p$ and solve the Gauss problem for the family of central leaves, which are the loci consisting of points whose associated $p$-divisible groups are isomorphic. Our solution involves mass formulae, computations of automorphism groups, and a careful analysis of Ekedahl-Oort strata in genus $4$. This geometric Gauss problem is closely related to an arithmetic Gauss problem for genera of positive-definite quaternion Hermitian lattices, which we also solve.

Thu, 03 Nov 2022
16:00
L5

Brauer groups of surfaces defined by pairs of polynomials

Damián Gvirtz-Chen
Abstract

It is known that the Brauer group of a smooth, projective surface
defined by an equality of two homogeneous polynomials in characteristic 0, is
finite up to constants. I will report on new methods to determine these Brauer
groups, or at least their algebraic parts, as long as the coefficients are in a
certain sense generic. This generalises previous results obtained over the
years by Colliot-Thélène--Kanevsky--Sansuc, Bright, Uematsu and Santens.
(Joint work with A. N. Skorobogatov.)

Thu, 27 Oct 2022
16:00
L5

Counting rational points on conics, and on Del Pezzo surfaces of degree 5

Roger Heath-Brown
Abstract

If $Q(x_0,x_1,x_2)$ is a quadratic form, how many solutions, of size at most $B$, does $Q=0$ have? How does this depend on $Q$? We apply the answers to the surface $y_0 Q_0 +y_1 Q_1 = 0$ in $P^1 x P^2$. (Joint work with Dan Loughran.)
 

Thu, 20 Oct 2022
16:00
L5

Understanding the Defect via Ramification Theory

Vaidehee Thatte
Abstract

Classical ramification theory deals with complete discrete valuation fields k((X)) with perfect residue fields k. Invariants such as the Swan conductor capture important information about extensions of these fields. Many fascinating complications arise when we allow non-discrete valuations and imperfect residue fields k. Particularly in positive residue characteristic, we encounter the mysterious phenomenon of the defect (or ramification deficiency). The occurrence of a non-trivial defect is one of the main obstacles to long-standing problems, such as obtaining resolution of singularities in positive characteristic.

Degree p extensions of valuation fields are building blocks of the general case. In this talk, we will present a generalization of ramification invariants for such extensions and discuss how this leads to a better understanding of the defect. If time permits, we will briefly discuss their connection with some recent work (joint with K. Kato) on upper ramification groups.

Thu, 13 Oct 2022
16:00
L5

The irrationality of a divisor function series of Erdös and Kac

Kyle Pratt
Abstract

For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac conjectured that, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. This is known conditionally for all $k$ assuming difficult conjectures like the Hardy-Littlewood prime $k$-tuples conjecture. Before our work it was known unconditionally that $\alpha_k$ is irrational if $k\leq 3$. We discuss some of the ideas in our recent proof that $\alpha_4$ is irrational. The proof involves sieve methods and exponential sum estimates.

Thu, 16 Jun 2022

16:00 - 17:00
L4

Ax-Schanuel and exceptional integrability

Jonathan Pila
(University of Oxford)
Abstract

In joint work with Jacob Tsimerman we study when the primitive
of a given algebraic function can be constructed using primitives
from some given finite set of algebraic functions, their inverses,
algebraic functions, and composition. When the given finite set is just {1/x}
this is the classical problem of "elementary integrability".
We establish some results, including a decision procedure for this problem.

Thu, 02 Jun 2022

16:00 - 17:00
L5

A Fourier transform for unipotent representations of p-adic groups

Beth Romano
(King's College London)
Abstract

Representations of finite reductive groups have a rich, well-understood structure, first explored by Deligne--Lusztig. In joint work with Anne-Marie Aubert and Dan Ciubotaru, we show a way to lift some of this structure to representations of p-adic groups. In particular, we consider the relation between Lusztig's nonabelian Fourier transform and a certain involution we define on the level of p-adic groups. This talk will be an introduction to these ideas with a focus on examples.

Thu, 26 May 2022

16:00 - 17:00
L5

Arithmetic statistics via graded Lie algebras

Jef Laga
(University of Cambridge)
Abstract

I will explain how various results in arithmetic statistics by Bhargava, Gross, Shankar and others on 2-Selmer groups of Jacobians of (hyper)elliptic curves can be organised and reproved using the theory of graded Lie algebras, following earlier work of Thorne. This gives a uniform proof of these results and yields new theorems for certain families of non-hyperelliptic curves. I will also mention some applications to rational points on certain families of curves.

Thu, 19 May 2022

16:00 - 17:00
L5

Correlations of almost primes

Natalie Evans
(King's College London)
Abstract

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$.

Thu, 12 May 2022

16:00 - 17:00
L5

Recent work on van der Waerden’s conjecture

Rainer Dietmann
(Royal Holloway)
Abstract

Last summer, there was a lot of activity regarding an old conjecture of van der Waerden, culminating in its solution by Bhargava, and including joint work by Sam Chow and myself on which I want to report in this talk: We showed that the number of irreducible monic integer polynomials of degree n, with coefficients in absolute value bounded by H, which have Galois group different from S_n and A_n, is of order of magnitude O(H^{n-1.017}), providing that n is at least 3 and is different from 7,8,10. Apart from the alternating group and excluding degrees 7,8,10, this establishes the aforementioned conjecture to the effect that irreducible non-S_n polynomials are significantly less frequent than reducible polynomials.

Thu, 05 May 2022

16:00 - 17:00
L5

Gaussian distribution of squarefree and B-free numbers in short intervals

Alexander Mangerel
(Durham University)
Abstract
(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 among which 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 questions of R.R. Hall.