University of Oxford

This DPhil short course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

In the theory of relative algebraic geometry, our affines are objects in the opposite category of commutative monoids in a symmetric monoidal category $\mathcal{C}$. This categorical approach simplifies many constructions and allows us to compare different geometries. Toën and Vezzosi's theory of homotopical algebraic geometry considers the case when $\mathcal{C}$ has a model structure and is endowed with a compatible symmetric monoidal structure. Derived algebraic geometry is recovered when we take $\mathcal{C}=\textbf{sMod}_k$, the category of simplicial modules over a simplicial commutative ring $k$.

In Kremnizer et al.'s version of derived analytic geometry, we consider geometry relative to the category $\textbf{sMod}_k$ where $k$ is now a simplicial commutative complete bornological ring. In this talk we discuss, from an algebraist's perspective, the main ideas behind the theory of relative algebraic geometry and discuss briefly how it provides us with a convenient framework to consider derived analytic geometry. 

Quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ are certain Drinfeld quantum affinizations of quantum groups associated to affine Lie algebras, and can therefore be thought of as `double affine quantum groups'.

In particular, they contain (and are generated by) a horizontal and vertical copy of the affine quantum group. 

Utilising an extended double affine braid group action, Miki obtained in type $A$ an automorphism of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ which exchanges these subalgebras. This has since played a crucial role in the investigation of its structure and representation theory.

In this talk I shall present my recent work -- which extends the braid group action to all types and generalises Miki's automorphism to the ADE case -- as well as potential directions for future work in this area.

Let $G$ be a $p$-adic Lie group. From the perspective of $p$-adic manifolds, possibly the most natural $p$-adic representations of $G$ to consider are the locally analytic ones.  Motivated by work of Pan, when $G$ acts on a rigid analytic variety $X$ (e.g., the flag variety), we would like to geometrise locally analytic $G$-representations, via a covariant localisation theory which should intertwine Schneider-Teitelbaum's duality with the $p$-adic Beilinson-Bernstein localisation. I will report some partial progress in the simplified situation when we replace $G$ by its germ at $1$. The main ingredient is an infinite jet bundle $\mathcal{J}^\omega_X$ which is dual to $\widehat{\mathcal{D}}_X$. Our "co"localisation functor is given by a coinduction to $\mathcal{J}^\omega_X$. Work in progress.

Perverse sheaves are an indispensable tool in geometric representation theory that can be used to construct representations and compute composition multiplicities. These ‘sheaves’ live in a certain $\ell$-adic derived category. In this talk we will discuss a beautiful construction of this category based on the pro-étale topology and explore some applications in representation theory.

Geometric (even combinatorial) group theory suffers from the unfortunate situation that many obvious questions about group presentations (ex: is this a presentation of the trivial group? is this word the identity in that group?) cannot be answered. Not only "we don't know how to tell" but "we know that we cannot know how to tell" - this is called undecidability. This talk will serve as an introduction (for non-experts, since I am also such) to the area of group theoretic decision problems: I'll aim to cover some problems, some solutions (or half-solutions) and some of the general sources of undecidability, as well as featuring some of my (least?) favourite pathological groups.

Given a mathematical object, what can you compute about it? In some settings, you cannot say very much. Given an arbitrary group presentation, for example, there is no procedure to decide whether the group is trivial. In 3-manifolds, however, algorithms are a fruitful and active area of study (and some of them are even implementable!). One of the main tools in this area is normal surface theory, which allows us to describe interesting surfaces in a 3-manifold with respect to an arbitrary triangulation. I will discuss some results in this area, particularly around Seifert fibered spaces.

A fundamental result in 3-manifold topology is the loop theorem: Given a null-homotopic simple closed curve in the boundary of a compact 3-manifold $M$, it bounds an embedded disk in $M$. The standard topological proof of this uses the tower construction due to Papakyriakopoulos. In this talk, I will introduce basic existence and regularity results on minimal surfaces, and show how to use the tower construction to prove a geometric version of the loop theorem due to Meeks--Yau: Given a null-homotopic simple closed curve in the boundary of a compact Riemannian 3-manifold $M$ with convex boundary, it bounds an embedded disk of least area. This also gives an independent proof of the (topological) loop theorem.

Group cohomology is a powerful tool which has found many applications in modern group theory. It can be calculated and interpreted through geometric, algebraic and topological means, and as such it encodes the relationships between these different aspects of infinite groups. The aim of this talk is to introduce a circle of ideas which link group cohomology with the theory of BNS invariants, and the property of being subgroup separable. No prior knowledge of any of these topics will be assumed.