Oxford

I will discuss some recent results around Hilbert schemes of points on singular surfaces, obtained in joint work with Craw, Gammelgaard and Gyenge, and their connection to combinatorics (of coloured partitions) and representation theory (of affine Lie algebras and related algebras such as their W-algebra). 

Given a prime p and an elliptic curve E (say over Q), one can associate a "mod p Galois representation" of the absolute Galois group of Q by considering the natural action on p-torsion points of E.

In 1972, Serre showed that if the endomorphism ring of E is "minimal", then there exists a prime P(E) such that for all p>P(E), the mod p Galois representation is surjective. This raised an immediate question (now known as Serre's uniformity conjecture) on whether P(E) can be bounded as E ranges over elliptic curves over Q with minimal endomorphism rings.

I'll sketch a proof of this result, the current status of the conjecture, and (time permitting) some extensions of this result (e.g. to abelian varieties with appropriately analogous endomorphism rings).

Arakelov geometry studies schemes X over ℤ, together with the Hermitian complex geometry of X(ℂ).
Most notably, it has been used to give a proof of Mordell's conjecture (Faltings's Theorem) by Paul Vojta; curves of genus greater than 1 have at most finitely many rational points.
In this talk, we'll introduce some of the ideas behind Arakelov theory, and show how many results in Arakelov theory are analogous—with additional structure—to classic results such as intersection theory and Riemann Roch.

Given a morphism of schemes of characteristic p, we can construct a morphism from the exterior algebra of Kahler differentials to the cohomology of De Rham complex, which is an isomorphism when the original morphism is smooth.

Let A be a Tannakian category. Any exact tensor functor defined on A is either zero, or faithful. In this talk, I want to draw attention to a derived analogue of this statement (in characteristic zero) due to Jack Hall and David Rydh, and discuss some remarkable consequences for certain classification problems in algebraic geometry.

In the seminar I will present a recent work joint with  S. Suhr (Bochum) giving an optimal transport formulation of the full Einstein equations of general relativity, linking the (Ricci) curvature of a space-time with the cosmological constant and the energy-momentum tensor. Such an optimal transport formulation is in terms of convexity/concavity properties of the Shannon-Bolzmann entropy along curves of probability measures extremizing suitable optimal transport costs. The result gives a new connection between general relativity and  optimal transport; moreover it gives a mathematical reinforcement of the strong link between general relativity and thermodynamics/information theory that emerged in the physics literature of the last years.

In this talk I will explain a category theoretic perspective on geometry.  Starting with a category of local objects (of and algebraic nature), and a (Grothendieck) 
topology on it, one can define global objects such as schemes and stacks. Examples of this  approach are algebraic, analytic, differential geometries and also more exotic geometries  such as analytic and differential geometry over the integers and analytic geometry over  the field with one element. In this approach the notion of a point is not primary but is  derived from the local to global structure. The Zariski and Huber spectra are recovered  in this way, and we also get new spectra which might be of interest in model theory.

Feynman integrals govern the perturbative expansion in quantum field theories. As periods, these integrals generate representations of a motivic Galois group. I will explain this idea and illustrate the 'coaction principle', a mechanism that constrains which periods can appear at any loop order.
 

Let n be a random integer (sampled from {1,..,X} for some large X). It is a classical fact that, typically, n will have around (log n)^{log 2} divisors. Must some of these be close together? Hooley's Delta function Delta(n) is the maximum, over all dyadic intervals I = [t,2t], of the number of divisors of n in I. I will report on joint work with Kevin Ford and Dimitris Koukoulopoulos where we conjecture that typically Delta(n) is about (log log n)^c for some c = 0.353.... given by an equation involving an exotic recurrence relation, and then prove (in some sense) half of this conjecture, establishing that Delta(n) is at least this big almost surely.