Past Junior Number Theory Seminar

Khintchine's Theorem is one of the cornerstones in metric Diophantine approximation. The question of removing the monotonicity condition on the approximation function in Khintchine's Theorem led to the recently proved Duffin-Schaeffer conjecture. Gallagher showed an analogue of Khintchine's Theorem for multiplicative Diophantine approximation, again assuming monotonicity. In this talk, I will discuss my joint work with L. Frühwirth about a Duffin-Schaeffer version for Gallagher's Theorem. Furthermore, I will give a broader overview on various questions in metric Diophantine approximation and demonstrate the deep connection to both analytic and combinatorial number theory that is hidden inside the proof of these statements.

Congruent numbers are natural numbers which are the area of right angled triangles with all rational sides. This talk will investigate conjectures for the density of congruent numbers up to some value $X$. One can phrase the question of whether a natural number is congruent in terms of whether an elliptic curve has non−zero rank. A theorem of Coates and Wiles connects this to whether the $L$-function associated to this elliptic curve vanishes at $1$. We will mention the conjecture of Keating on the asymptotic density based on random matrix considerations, and prove Tunnell’s Theorem, which connects the question of whether a natural number is a congruent number to counting integral points on varieties. Finally, I will hint at some future work I hope to do on non-vanishing of the $L$-functions.

In 1735, Euler observed that $ζ(2) = 1 + \frac{1}{2²} + \frac{1}{3²} + ⋯ = \frac{π²}{6}$. This is related to the famous identity $ζ(−1) "=" 1 + 2 + 3 + ⋯ "=" \frac{−1}{12}$. In general, values of the Riemann zeta function at positive even integers are equal to rational numbers multiplied by a power of $π$. The values at positive odd integers are much more mysterious; for example, Apéry proved that $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ⋯$ is irrational, but we still don't know if $ζ(5) = 1 + \frac{1}{2⁵} + \frac{1}{3⁵} + ⋯$ is rational or not! In this talk, we will explain the arithmetic significance of these values, their generalizations to Dirichlet/Dedekind L−functions, and to L−functions of elliptic curves. We will also present a new formula for $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ...$ in terms of higher algebraic cycles which came out of an ongoing project with Lambert A'Campo.

Introducing an inhomogeneous shift allows for generalisations of many multiplicative results in diophantine approximation. In this talk, we discuss an inhomogeneous version of Gallagher's theorem, established by Chow and Technau, which describes the rates for which we can approximate a typical product of fractional parts. We will sketch the methods used to prove an earlier version of this result due to Chow, using continued fraction expansions and geometry of numbers to analyse the structure of Bohr sets and bound sums of reciprocals of fractional parts.

Functoriality is a key feature in Langlands’ conjectured relationship between automorphic representations and Galois representations; it predicts that certain Galois representations are automorphic, i.e. should come from automorphic representations. We discuss the idea of $p$-adic propagation of automorphy, which seeks to establish the automorphy of everything in a “neighborhood” given the automorphy of something in that neighborhood. The “neighborhoods” that we consider will be the irreducible components of a $p$-adic analytic space called the eigenvariety, which parameterizes $p$-adic automorphic representations. This technique was introduced by Newton and Thorne in their proof of symmetric power functoriality, and can be adapted to investigate similar problems.

Modular curves are moduli spaces of elliptic curves equipped with certain level structures. This talk will be concerned with how the attendant theory has been used to answer questions about the modularity of elliptic curves over $\mathbb{Q}$ and over quadratic fields. In particular, we will outline two instances of the modularity switching technique over totally real fields: the 3-5 trick of Wiles and the 3-7 trick of Freitas, Le Hung and Siksek. The recent work of Caraiani and Newton over imaginary quadratic fields naturally leads one to consider the descent theory of 'twisted' modular curves, and this will be the focus of the final part of the talk.

A cap set is a subset of $\mathbb{F}_3^n$ with no solutions to $x + y + z = 0$ other than when $x = y = z$, or equivalently no non-trivial $3$-term arithmetic progressions. The cap set problem asks how large a cap set can be, and is an important problem in additive combinatorics and combinatorial number theory. In this talk, I will introduce the problem, give some background and motivation, and describe how I was able to provide the first progress in 20 years on the lower bound for the size of a maximal cap set. Building on a construction of Edel, we use improved computational methods and new theoretical ideas to show that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$. I will then also discuss recent developments, including an extension of this result by Google DeepMind.

In this talk, we will study the problem in additive combinatorics of determining for a finite Abelian group $G$ the size of its smallest subset $A\subset G$ that has no unique sum, meaning that for every two $a_1,a_2\in A$ we can write $a_1+a_2=a’_1+a’_2$ for different $a’_1,a’_2\in A$. We begin by using classical rectification methods to obtain the previous best lower bounds of the form $|A|\gg \log p(G)$, which stood for 50 years. Our main aim is to outline the proof of a recent improvement and discuss some of its key notions such as additive dimension and the density increment method. This talk is based on Bedert, B. On Unique Sums in Abelian Groups. Combinatorica (2023).

Iwasawa algebras are completed group rings that arise in number theory, so there is interest in understanding their prime ideals. For some special Iwasawa algebras, it is conjectured that every non-zero such ideal has finite codimension and in order to show this it is enough to establish the faithfulness of the modules arising from the completion of highest weight modules. In this talk we will look at methods for doing this and apply them to the specific case of the metaplectic representation for the symplectic group.

In this seminar, I will talk about a notion of entropy of arithmetic functions and some properties of this entropy.  This notion was introduced to study Sarnak's Moebius Disjointness Conjecture.

Let $E$ be an elliptic curve over a number field $K$ and $n \geq 2$ an integer. We recall that elements of the $n$-Selmer group of $E/K$ can be explicitly written in terms of certain equations for $n$-coverings of $E/K$. Writing the elements in this way is called conducting an explicit $n$-descent. One of the applications of explicit $n$-descent is in finding generators of large height for $E(K)$ and from this point of view one would like to be able to take $n$ as large as possible. General algorithms for explicit $n$-descent exist but become computationally challenging already for $n \geq 5$. In this talk we discuss combining $n$- and $(n+1)$-descents to $n(n+1)$-descent and the role that invariant theory plays in this procedure.

TBC

The Liouville function $\lambda(n)$ is defined to be $+1$ if $n$ is a product of an even number of primes, and $-1$ otherwise. The statistical behaviour of $\lambda$ is intimately connected to the distribution of prime numbers. In many aspects, the Liouville function is expected to behave like a random sequence of $+1$'s and $-1$'s. For example, the two-point Chowla conjecture predicts that the average of $\lambda(n)\lambda(n+1)$ over $n < x$ tends to zero as $x$ goes to infinity. In this talk, I will discuss quantitative bounds for a logarithmic version of this problem.

Many congruences between modular forms (or at least their q-expansions) can be explained by the theory of $p$-adic families of modular forms. In this talk, I will discuss properties of eigenvarieties, a geometric interpretation of the idea of $p$-adic families. In particular, focusing initially on the well-understood case of (elliptic) modular forms, before delving into the considerably murkier world of Bianchi modular forms. In this second case, this work gives numerical verification of a couple of conjectures, including BSD by work of Loeffler and Zerbes.

Modular curves play a key role in the Langlands programme, being the simplest example of so-called Shimura varieties.  Their less famous cousins, Shimura curves, are also very interesting, and very concrete. 
In this talk I will give a gentle introduction to the arithmetic of Shimura curves, with lots of explicit examples. Time permitting, I will say something about recent work about intersection numbers of geodesics on Shimura curves.

In 1989, Mazur defined the deformation functor associated to a residual Galois representation, which played an important role in the proof by Wiles of the modularity theorem. This was used as a basis over which many mathematicians constructed variations both to further specify it or to expand the contexts where it can be applied. These variations proved to be powerful tools to obtain many strong theorems, in particular of modular nature. In this talk I will give an overview of the deformation theory of Galois representations and describe two variants of Mazur's functor that allow one to properly deform reducible residual representations (which is one of the shortcomings of Mazur's original functor). Namely, I will present the theory of determinant-laws initiated by Bellaïche-Chenevier on the one hand, and an idea developed by Calegari-Emerton on the other.
If time permits, I will also describe results that seem to indicate a possible comparison between the two seemingly unrelated constructions.

In this talk I will give a brief introduction to the field of post-quantum (PQ) cryptography, introducing a few of the most popular computational hardness assumptions. Second, I will give an overview of a recent work of mine on PQ electronic voting. I’ll finish by presenting a short selection of ‘exotic’ cryptographic constructions that I think are particularly hot at the moment (no, not blockchain). The talk will be definitionally light since I expect the area will be quite new to many and I hope this will make for a more engaging introduction.

For many spaces of interest to number theorists one can construct cycles which in some ways behave like the coefficients of modular forms. The aim of this talk is to give an introduction to this idea by focusing on examples coming from modular curves and Heegner points and the relevant work of Zagier, Gross-Kohnen-Zagier and Borcherds. If time permits I will discuss generalizations to other spaces.

I will discuss a basic problem in analytic number theory which has appeared recently in my work. This will be a gentle introduction to the Gauss circle problem, hopefully with a discussion of some extensions and applications to understanding L-functions.

I will introduce the Hodge-de-Rham spectral sequence and formulate an algebraic Hodge decomposition theorem. Time permitting, I will sketch Deligne and Illusie’s proof of the Hodge decomposition using positive characteristic methods.

I will introduce various heights on number fields and outline how solving polynomial equations with heights conditions is related to Arakelov geometry and a continuous logic theory called GVF.

In 2019 Masser and Zannier proved that "most" abelian varieties over the algebraic numbers are not isogenous to the jacobian of any curve (where "most" refers to an ordering by some suitable height function). We will see how this result fits in the general Zilber-Pink Conjecture picture and we discuss some (rather concrete) analogous problems in a power of the modular curve Y(1).

The twin prime conjecture asserts that there are infinitely many primes p for which p+2 is also prime. This conjecture appears far out of reach of current mathematical techniques. However, in 2013 Zhang achieved a breakthrough, showing that there exists some positive integer h for which p and p+h are both prime infinitely often. Equidistribution estimates for primes in arithmetic progressions to smooth moduli were a key ingredient of his work. In this talk, I will sketch what role these estimates play in proofs of bounded gaps between primes. I will also show how a refinement of the q-van der Corput method can be used to improve on equidistribution estimates of the Polymath project for primes in APs to smooth moduli.

A central topic of study in analytic number theory is the behaviour of the Riemann zeta function. Many theorems and conjectures in this area are closely connected to concepts from probability theory. In this talk, we will discuss several results on the typical size of the zeta function on the critical line, over different scales. Along the way, we will see the role that is played by some probabilistic phenomena, such as the central limit theorem and multiplicative chaos.