Number Theory Seminar
Unless otherwise specified, the seminars are held on Mondays at 15:00 in Room B3.03 – Mathematics Institute
201920 Term 1
Organiser: Martin Orr
7 October 
Daniel Gulotta (University of Oxford) Vanishing theorems for Shimura varieties at unipotent level We prove a vanishing result for the compactly supported cohomology of certain infinite level Shimura varieties. More specifically, if X_{K_p K^p} is a Shimura variety of Hodge type for a group G that becomes split over Q_p, and K_p is a unipotent subgroup of G(Q_p), then the compactly supported padic etale cohomology of X_{K_p K^p} vanishes above the middle degree. 
14 October 
Sam Chow (University of Warwick) Rado's criterion over squares and higher powers Given a finite colouring of the integers, is there a monochromatic Pythagorean triple? With Sofia Lindqvist and Sean Prendiville, we provide an affirmative answer in the analogous setting of generalised Pythagorean equations in five or more variables. Moreover, we show that a diagonal equation in sufficiently many variables has this property if and only if some nonempty subset of the coefficients sums to zero, which is a higherdegree version of Rado's characterisation of the linear case.

21 October 
Christopher Daw (University of Reading) Unlikely intersections in the moduli space of principally polarized abelian surfaces The ZilberPink conjecture predicts that an irreducible algebraic curve V in $\mathcal{A}_2$, which is not contained in a proper special subvariety, has finite intersection with the special curves. The special curves in $\mathcal{A}_2$ comprise three families, namely, those curves parametrizing abelian surfaces with (1) quaternionic multiplication; (2) an isogeny to the square of an elliptic curve; (3) an isogeny to a product of elliptic curves, at least one of which has complex multiplication. In previous work, we handled the latter family assuming a large Galois orbits conjecture, and we established this conjecture when V satisfies certain conditions. In this talk, I will explain new work in which we handle the remaining families. The new ingredients are certain quantitative results in the reduction theory of algebraic groups. 
28 October 
Sarah Peluse (University of Oxford) Bounds in the polynomial Szemerédi theorem Let P_1,...,P_m be polynomials with integer coefficients and zero constant term. Bergelson and Leibman’s polynomial generalization of Szemerédi’s theorem states that any subset A of {1,...,N} that contains no nontrivial progressions x,x+P_1(y),...,x+P_m(y) must satisfy A=o(N). In contrast to Szemerédi's theorem, quantitative bounds for Bergelson and Leibman's theorem (i.e., explicit bounds for this o(N) term) are not known except in very few special cases. In this talk, I will discuss recent progress on this problem. 
4 November 
Giada Grossi (UCL) The ppart of BSD for residually reducible elliptic curves of rank one Let E be an elliptic curve over the rationals and p a prime such that E admits a rational pisogeny satisfying some assumptions. In a joint work with J. Lee and C. Skinner, we prove the anticyclotomic Iwasawa main conjecture for E/K for some suitable quadratic imaginary field K. I will explain our strategy and how this, combined with complex and padic GrossZagier formulae allows us to prove that if E has rank one, then the ppart of the Birch and SwinnertonDyer formula for E/Q holds true. 
11 November 
Chris Williams (University of Warwick) padic Lfunctions for symplectic representations of GL(2n) Let F be a totally real field, and let pi be an automorphic representation of GL(2n)/F that admits a Shalika model (that is, it is a transfer from GSpin(2n+1)). When pi is ordinary at p, recent independent work of Gehrman and DimitrovJanuszewskiRaghuram gives a padic Lfunction attached to pi, that is, a padic measure interpolating its classical critical Lvalues. I will report on ongoing joint work with Daniel Barrera and Mladen Dimitrov where we generalise this to the nonordinary case using overconvergent cohomology. Rather than standard overconvergent cohomology, defined with respect to the maximal torus in GL(2n), our results use a more flexible definition defined with respect to the subgroup GL(n) x GL(n), allowing weaker noncriticality conditions. I will start by giving a brief introduction to padic Lfunctions, and if time allows, will say a few words about our second main result, the variation of this construction in padic families. 
18 November 
Matthew Bisatt (University of Bristol) Tame torsion of Jacobians and the inverse Galois problem Fix a positive integer g and prime p. Does there exist a genus g curve, defined over the rationals, such that the mod p representation of its Jacobian is everywhere tamely ramified? We will give an affirmative answer to this question via the theory of hyperelliptic Mumford curves and give an application to a variant of the inverse Galois problem. This is joint work with Tim Dokchitser. 
25 November 
Kyle Pratt (University of Oxford) Lowlying zeros of Dirichlet Lfunctions I will present work in progress with Sary Drappeau and Maksym Radziwill on lowlying zeros of Dirichlet Lfunctions. By way of motivation I will discuss some results on the spacings of zeros of the Riemann zeta function, and the conjectures of Katz and Sarnak relating the distribution of lowlying zeros of Lfunctions to eigenvalues of random matrices. I will then describe some ideas behind the proof of our theorem. 
2 December 
Pip Goodman (University of Bristol) Restrictions on endomorphism algebras of Jacobians Zarhin has extensively studied restrictions placed on the endomorphism algebras of Jacobians of hyperelliptic curves C : y^2 = f(x) when the Galois group Gal(f) is insoluble and `large' relative to g the genus of C. But what happens when Gal(f) is not `large' or insoluble? We will see that for many values of g, much can be said if Gal(f) merely contains an element of `large' prime order. 