University of Oxford

In this talk I will describe another strong link between the behaviour of a 3-manifold and the behaviour of its fundamental group- specifically the theorem that the group splits as a free product if and only if the 3-manifold may be divided into two parts using a 2-sphere inducing this splitting. This theorem is for some reason known as Kneser's conjecture despite having been proved half a century ago by Stallings.

We give a construction of a boundary (the Morse boundary) which can be assigned to any proper geodesic metric space and which is rigid, in the sense that a quasi-isometry of spaces induces a homeomorphism of boundaries. To obtain a more workable invariant than the homeomorphism type, I will introduce the metric Morse boundary and discuss notions of capacity and conformal dimensions of the metric Morse boundary. I will then demonstrate that these dimensions give useful invariants of relatively hyperbolic and mapping class groups. This is joint work with Matthew Cordes (Technion).

Asymptotic dimension is a large-scale analogue of Lebesgue covering dimension. I will give a gentle introduction to asymptotic dimension, prove some basic propeties and give some applications to group theory. I will then define coarse homology and explain how when defined, virtual cohomological dimension gives a lower bound on asymptotic dimension.

Consider a family of uniformly bounded $W^{2,p}$ isometric immersions of an $n$-dimensional (semi-) Riemannian manifold into (resp., semi-) Euclidean spaces. Are the weak limits still isometric immersions?

We answer the question in the affirmative for $p>n$ in the Riemannian case, by exploiting the div-curl structure of the Gauss-Codazzi-Ricci equations, which describe the curvature flatness of the isometric immersions. Along the way a generalised div-curl lemma in Banach spaces is established. Moreover, the endpoint case $p=n=2$ is settled. 

In the semi-Riemannian case we reduce the problem to the weak continuity of H. Cartan's structural equations in $W^{1,p}_{\rm loc}$, which is proved by a generalised compensated compactness theorem relating the weak continuity of quadratic forms to the principal symbols of differential constraints. Again for $p>n$ we obtain the weak rigidity. The case of degenerate hypersurfaces are also discussed, as well as connections to PDEs in fluid dynamics.

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.

In this talk, I wish to address the problem of evaluating an integral on an n-dimensional complex vector space whose n-form of integration has poles along a union of (affine) hyperplanes, following the work of Heckman and Opdam. Such situation arise often in the harmonic analysis of a reductive group and when that is the case, the singular hyperplane arrangement in question is dictated by the root system of the group. I will then try to explain how we can relate the intersection lattice of the hyperplane arrangement with nilpotent orbits of a complex Lie algebra related to the root system in question.

An expander is a family of finite graphs of uniformly bounded degree, increasing number of vertices and Cheeger constant bounded away from zero. They occur throughout mathematics and computer science; the most famous constructions of expanders rely on powerful results in geometric group theory and number theory, while expanders are used in everything from error-correcting codes, through disproving the strongest version of the Baum-Connes conjecture, to affine sieve theory and the twin prime, Mersenne prime and Hardy-Littlewood conjectures.

However, very little was known about how different the geometry of two expanders could be. This question was raised by Ostrovskii in 2013, and a year later Mendel and Naor gave the first example of two 'distinct' expanders.

In this talk I will construct a continuum of expanders which are, in a certain sense, geometrically incomparable. Once the existence of a single expander is accepted, the remainder of the proof is a heady mix of counting, addition, multiplication, and just for the experts, a little bit of division. Two very different - and very interesting - continuums of 'distinct' expanders have since been constructed by Khukhro-Valette and Das.

I'll be talking about my masters' research in Quantum Gravity in a way that is accessible to mathematicians.