# 2021-22

The seminars are held on Mondays from 3pm to 4pm (or on Tuesday if Monday is a bank holiday).

We are running a hybrid seminar series in 2021-22. Speakers have been given the choice of in-person or remote talks. Remote talks will be held on Microsoft Teams.

If you'd like to attend a seminar but don't have the meeting link, please email one of the organisers in advance.

### 2021-22 Term 1

Organisers: Sam Chow, Chris Lazda and Chris Williams

 4th October Rob Rockwood (Warwick) Bloch-Kato for finite slope Siegel modular forms I’ll discuss extending results of Loeffler-Zerbes on the analytic rank 0 Bloch-Kato conjecture for GSp4 and GSp(4) x GL(2) to include the small slope case. In person 11th October Lennart Gehrmann (Duisburg-Essen) Plectic Stark-Heegner points Heegner points play an important role in our understanding of the arithmetic of modular elliptic curves. These points, that arise from CM points on Shimura curves, control the Mordell-Weil group of elliptic curves of rank 1. The work of Bertolini, Darmon and their schools has shown that p-adic methods can be successfully employed to generalize the definition of Heegner points to quadratic extensions that are not necessarily CM. Numerical evidence strongly supports the belief that these so-called Stark-Heegner points completely control the Mordell-Weil group of elliptic curves of rank 1. In this talk I will report on a plectic generalization of Stark-Heegner points. Inspired by Nekovar and Scholl's conjectures, these points are expected to control Mordell-Weil groups of higher rank elliptic curves. If time permits I sketch a proof that higher order derivatives of anticyclotomic p-adic L-functions are computed by plectic Stark-Heegner points. This is joint work with Michele Fornea. Teams 18th October Kaisa Matomaki (Turku) Almost primes in almost all very short intervals By probabilistic models one expects that, as soon as $h \to \infty$ with $X \to \infty$, short intervals of the type $(x- h \log X, x]$ contain primes for almost all $x \in (X/2, X]$. However, this is far from being established. In the talk I discuss related questions and in particular describe how to prove the above claim when one is satisfied with finding $P_2$-numbers (numbers that have at most two prime factors) instead of primes. Teams 25th October Ben Green (Oxford) Quadratic forms in 8 prime variables I will discuss a recent paper of mine, the aim of which is to count the number of prime solutions to Q(p_1,..,p_8) = N, for a fixed quadratic form Q and varying N. The traditional approach to problems of this type, the Hardy-Littlewood circle method, does not quite suffice. The main new idea is to involve the Weil representation of the symplectic groups Sp_8(Z/qZ). I will explain what this is, and what it has to do with the original problem. I hope to make the talk accessible to a fairly general audience. In person only, 4pm, Humanities H0.56 1st November Netan Dogra (KCL) $p$-adic integrals and correlated points on families of curves In this talk, we explain how studying the common zeroes of Coleman integrals in families has applications to studying the Lang--Vojta conjecture, unit equations in families, the Frey--Mazur conjecture and questions in the Chabauty--Coleman method. Teams 8th November Eva Viehmann (TU Munich) Harder-Narasimhan-strata in the $B_\mathrm{dR}^+$-Grassmannian We establish a Harder-Narasimhan formalism for modifications of $G$-bundles on the Fargues-Fontaine curve. The semi-stable stratum of the associated stratification of the $B_{\mathrm{dR}}^+$-Grassmannian coincides with the weakly admissible locus. When restricted to minuscule affine Schubert cells, it corresponds to the Harder-Narasimhan stratification of Dat, Orlik and Rapoport. I will also explain the relation to the Newton stratification as well as some geometric properties of the strata. This is joint work with K.H. Nguyen. Teams 15th November Vaidehee Thatte (KCL) Arbitrary Valuation Rings and Wild Ramification 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. In person 22nd November Victor Beresnevich (York) Rational points near manifolds, Khintchine's theorem and Diophantine exponents I will talk about recent progress in estimating the number of rational points lying at a small distance from a given non-degenerate submanifold of $\mathbb{R}^n$ and the implications it has for problems in Diophantine approximation, in particular, for establishing Khintchine's theorem for manifolds and certain Diophantine exponents. This is a joint work with Lei Yang. Teams 29th November Oli Gregory (Exeter) Log-motivic cohomology and a deformational semistable $p$-adic Hodge conjecture Let $k$ be a perfect field of characteristic $p>0$ and let $X$ be a proper scheme over $W(k)$ with semistable reduction. I shall define a logarithmic version of motivic cohomology for the special fibre $X_k$, and relate it to logarithmic Milnor $K$-theory and logarithmic Hyodo-Kato Hodge-Witt cohomology. The bidegree $(2r,r)$ log-motivic cohomology group can be seen as a log-Chow group $\mathrm{CH}^r_{\log}(X_k)$; when $r=1$ we recover the log-Picard group $\mathrm{Pic}^{\log}(X_k)$. Then, by gluing a logarithmic variant of the Suslin-Voevodsky motivic complex to a log-syntomic complex along the logarithmic Hyodo-Kato Hodge-Witt sheaf, I will prove that an element of the $\mathrm{CH}^r_{\log}(X_k)$ formally lifts to the continuous log-Chow group of $X$ if and only if it is “Hodge” (i.e. its log-crystalline Chern class lands in the $r$-th step of the Hodge filtration of the generic fibre of X under the Hyodo-Kato isomorphism). This simultaneously generalises the semistable $p$-adic Lefschetz $(1,1)$ theorem of Yamashita (which is the case $r=1$), and the deformational p-adic Hodge conjecture of Bloch-Esnault-Kerz (which is the case of good reduction). This is joint work with Andreas Langer. In person 6th December Rong Zhou (Cambridge) Components in the basic locus of Shimura varieties The basic locus of Shimura varieties is the generalization of the supersingular locus in the modular curve and provides us with an interesting class of cycles in the special fiber of Shimura varieties. In this talk, we give a description of the set of irreducible components in the basic locus of Hodge type Shimura varieties in terms of class sets for an inner form of the structure group, generalizing a classical result of Deuring and Serre. A key input for our approach is an analysis of certain twisted orbital integrals using techniques from local harmonic analysis in order to understand the geometry of affine Deligne-Lusztig varieties. The result for the basic locus is then deduced from this using the Rapoport-Zink uniformization. This is joint work with X. He and Y. Zhu. In person

### 2020-21 Term 3

Organisers: Sam Chow, Chris Lazda and Chris Williams

 26th April Oscar Rivero (Warwick) Eisenstein congruences and Euler systems Let f be a cuspidal eigenform of weight two, and let p be a prime at which f is congruent to an Eisenstein series. Beilinson constructed a class arising from the cup-product of two Siegel units and proved a relationship with the first derivative $L$ at the near central point s=0 of the L-series of f. In this talk, I will motivate the study of congruences between modular forms at the level of cohomology classes, and will report on a joint work with Victor Rotger where we prove two congruence formulas relating the motivic part of $L$ modulo p and $L$ modulo p with circular units. The proofs make use of delicate Galois properties satisfied by various integral lattices and exploits Perrin-Riou's, Coleman's and Kato's work on the Euler systems of circular units and Beilinson--Kato elements and, most crucially, the work of Fukaya--Kato. 4th May (Tuesday) Josha Box (Warwick) Computing models for quotients of modular curves In Sage or Magma, you can ask for the defining equations of modular curves of the form $X_0(N)$ and it will give you the answer. For more general modular curves, however, an algorithm to determine such models did not exist until recently. I will describe such an algorithm based on the existing method for $X_0(N)$ . This builds on earlier work of John Cremona 10th May Beth Romano (Oxford) Depth in the local Langlands correspondence The local Langlands correspondence is a kaleidoscope of conjectures relating representations of p-adic groups, local Galois theory, and the theory of complex Lie groups. I'll discuss how the notion of depth appears on both sides of the correspondence. The positive-depth part of the correspondence becomes mysterious for small residue characteristic, and I'll talk about how a construction of Reeder--Yu uses geometric invariant theory to shed light on this area. Finally, I'll talk about my recent results that build on Reeder--Yu to give new positive-depth representations for certain exceptional groups. 17th May Jon Chapman (Manchester) Partition and density regularity for diagonal Diophantine systems A system of equations is called partition regular if every finite colouring of the positive integers produces monochromatic solutions to the system. A system is called density regular if it has solutions over every set of integers with positive upper density. A classical result of Rado characterises all partition regular linear systems, whilst Szemerédi’s theorem classifies all density regular linear systems. In this talk, I will report on recent developments on these topics for non-linear systems. I will also show how techniques from analytic number theory and additive combinatorics can be used to classify partition and density regularity for sufficiently non-singular systems of diagonal polynomial equations. 24th May Ashwin Iyengar (KCL) The Iwasawa main conjecture and the extended eigencurve I will explain how one can formulate the Iwasawa main conjecture for p-adic families of modular forms. I will focus specifically on a certain piece of the “extended eigencurve”, which is a mixed characteristic adic space where the p-adic families live. 1st June (Tuesday) Daniel Loughran (Bath) Probabilistic Arithmetic Geometry A theorem of Erdos-Kac states that the number of prime divisors of an integer behaves like a normal distribution (once suitably renormalised). In this talk I shall explain a version of this result for integer points on varieties. This is joint work with Efthymios Sofos and Daniel El-Baz. 7th June Ross Paterson (Glasgow) Statistics for Elliptic Curves over Galois Extensions As E varies among elliptic curves defined over the rational numbers, a theorem of Bhargava and Shankar shows that the average rank of the Mordell--Weil group E(Q) is bounded. If we now fix a number field K, is the same true of E(K)? Moreover, if K/F is a Galois extension then how does the Galois group act on E(K) "on average"? This talk will report on recent progress on these questions: answering the first in the affirmative for certain choices of K, and, after a more precise formulation, offering a partial answer to the second. 14th June Natalie Evans (KCL) Correlations of almost primes 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$. 21st June Shuntaro Yamagishi (Utrecht) Solving polynomial equations in many variables in primes Solving polynomial equations in primes is a fundamental problem in number theory. For example, the twin prime conjecture can be phrased as the statement that the equation $x_1 - x_2 - 2 = 0$ has infinitely many solutions in primes. Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a degree $d$ homogeneous form. In 2014, Cook and Magyar proved the existence of prime solutions to the equation $F(x_1, \ldots, x_n) = 0$ under certain assumptions on $F$. In particular, their result requires the number of variables $n$ to be an exponential tower in $d$. I will talk about a result related to this work of Cook and Magyar improving on the number of variables required. 28th June Hanneke Wiersema (KCL) Minimal weights of mod p Galois representations The strong form of Serre's conjecture states that every two-dimensional continuous, odd, irreducible mod p representation of the absolute Galois group of Q arises from a modular form of a specific minimal weight, level and character. In this talk we show the minimal weight is equal to a notion of minimal weight inspired by work of Buzzard, Diamond and Jarvis. Moreover, using the Breuil-Mézard conjecture we give a third interpretation of this minimal weight as the smallest k>1 such that the representation has a crystalline lift of Hodge-Tate type (0, k-1). After discussing the interplay between these three weight characterisations in the more general setting of Galois representations over totally real fields, we investigate its consequences for generalised Serre conjectures.

### 2020-21 Term 2

Organisers: Sam Chow, Chris Lazda and Chris Williams

 5th October Dan Fretwell (Bristol) (Real Quadratic) Arthurian Tales In recent years, there has been a lot of interest in explicitly identifying the global Arthur parameters attached to certain automorphic forms. In particular, Chenevier and Lannes were able to completely identify and prove the full lists of Arthur parameters in the case of level 1, trivial weight automorphic forms for defintiely orthogonal groups of ranks 8,16 and 24 (not a simple task!). One finds interesting modular forms hidden in these parameters (e.g. Delta and a handful of special Siegel modular forms of genus 2). Comparing Arthur parameters mod 0 proves/reproves various Eisenstein congruences for these special modular forms, e.g. the famous 691 congruence of Ramanujan and, more importantly, an example of a genus 2 Eisenstein congruence predicted by Harder (which, up to then, had not been proved for even a modular form!). In this talk I will discuss recent work with Neil Dummigan on extending the above to definite orthogonal groups over certain real quadratic fields and try to tell the analogous Arthurian tales (mysteries included). 12th October Valeriya Kovaleva (Oxford) On the distribution of equivalence classes of p-adic quadratic forms Some questions about quadratic forms can be reduced to a question about their canonical form, or equivalence class. In the statistical sense this means that one may use the distribution of equivalence classes to compute the proportion of quadratic forms with a certain property. In this talk we will show how to derive the probability that a random quadratic form over p-adics lies in an equivalence class, and give examples of applications. 19th October Simon Myerson (Warwick) Sifting rational points on elliptic curves This is work in progress with Katharina Müller and Subham Bhakta. We discuss the problem of counting rational points on elliptic curves with bounded height and co-ordinates which are restricted in some way. We relate this to work of Loughran and Smeets on counting the varieties in a family which have a rational point. 26th October Francesca Balestrieri (American University of Paris) Strong approximation for homogeneous spaces of linear algebraic groups Building on work by Yang Cao, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over a number field k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some natural compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent. (This latter result is somewhat related to the Inverse Galois Problem.) 2nd November Damian Rossler (Oxford) A generalization of Beilinson's geometric height pairing In the first section of his seminal paper on height pairings, Beilinson constructed an ℓ-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's question by constructing a pairing for varieties defined over the function field of a smooth variety B over an algebraically closed field, with values in the second ℓ-adic cohomology group of B. Over C our pairing is in fact Q-valued, and in general we speculate about its geometric origin. This is joint work with Tamás Szamuely. 9th November Adela Gherga (Warwick) Implementing Algorithms to Compute Elliptic Curves Over $Q$ Let S be a set of rational primes and consider the set of all elliptic curves over $Q$ having good reduction outside S and bounded conductor N. Currently, using modular forms, all such curves have been determined for N less than 500000, the bulk of this work being attributed to Cremona. Early attempts to tabulate all such curves often relied on reducing the problem to one of solving a number of certain integral binary forms called Thue-Mahler equations. These are Diophantine equations of the form F(x,y) = u, where F is a given binary form of degree at least 3 and u is an S-unit. A theorem of Bennett-Rechnitzer shows that the problem of computing all elliptic curves over $Q$ of conductor N reduces to solving a number of Thue-Mahler equations. To resolve all such equations, there exists a practical method of Tzanakis-de Weger using bounds for linear forms in p-adic logarithms and various reduction techniques. In this talk, we describe our refined implementation of this method and discuss the key steps used in our algorithm. 16th November Peter Varju (Cambridge) The mixing time of the ax+b Markov chain Chung, Diaconis and Graham studied the Markov chain on Z/qZ with transitions x -> 2x+B_n, where B_n is an independent sequence of random variables uniformly distributed in {-1,0,1}. They showed that the chain is approximately uniformly distributed after c_1 log_2(q) steps for almost all q, where c_1 is a constant slightly larger than 1. They asked whether it is possible to reduce the value of c_1 to 1. This was shown not to be possible by Hildebrand who showed that the chain is far from uniformly distributed after c_2 log_2(q) steps for any q, where c_2 is some constant with 1