University of Oxford

Bernstein–Gelfand–Gelfand (BGG) resolutions and the Grothendieck–Cousin complex both play central roles in modern algebraic geometry and representation theory. The BGG approach provides elegant, combinatorial resolutions for important classes of modules especially those arising in Lie theory; while Grothendieck–Cousin complexes furnish a powerful framework for computing local cohomology via filtrations by support. In this talk, we will give an overview of these two constructions and illustrate how they arise from the same categorical consideration.

We begin with the Fontaine--Wintenberger isomorphism, which gives an example of an extension of Q_p and of F_p((t)) with isomorphic absolute Galois groups. We explain how by trying to lift maps on mod p reductions one encounters Witt vectors. Next, by trying to apply the theory of Witt vectors to the two extensions, we encounter the idea of tilting. Perfectoid fields are then defined more-or-less so that tilting may be reversed. We indicate the proof of the tilting correspondence for perfectoid fields following the Witt vectors approach, classifying the untilts of a given characteristic p perfectoid field along the way. To end, we touch upon the Fargues--Fontaine curve and the geometrization of l-adic local Langlands as motivation for globalizing the tilting correspondence to perfectoid spaces.

After recalling how Hecke algebras occur in the representation theory of reductive groups, we will introduce affine Hecke algebras through a combinatorial object called a root datum. Through a worked example we will construct a filtration on the affine Hecke algebra from which we obtain the graded Hecke algebra. This has a role analogous to the Lie algebra of an algebraic group.

We will discuss star operations on these rings, with a view towards the classical problem of studying unitary representations of reductive groups.

A topological quantum field theory (TQFT) is a functor from a category of bordisms to a category of vector spaces. Classifying low-dimensional TQFTs often involves considering presentations of bordism categories in terms of generators and relations. In this talk, we will introduce these concepts and outline a program for obtaining such presentations using Morse–Cerf theory.

A successful strategy to handle problems involving primes is to approximate them by a more 'simple' function. Two aspects need to be balanced. On the one hand, the approximant should be simple enough so that the considered problem can be solved for it. On the other hand, it needs to be close enough to the primes in order to make it an admissible to replacement. In this talk I will present how one can construct general approximants in the context of the Circle Method and will use this to give a different perspective on Goldbach type applications.

The Bruhat-Tits building is a crucial combinatorial tool in the study of reductive p-adic groups and their representation theory. Given a p-adic group, its Bruhat-Tits building is a simplicial complex upon which it acts with remarkable properties. In this talk I will give an introduction to the Bruhat-Tits building by sketching its definition and going over some of its basic properties. I will then show the usefulness of the Bruhat-Tits by determining the maximal compact subgroups of a p-adic group up to conjugacy by using the Bruhat-Tits building.

A trace on a group is a positive-definite conjugation-invariant function on it. These traces correspond to tracial states on the group's maximal  C*-algebra. In the past couple of decades, the study of traces has led to exciting connections to the rigidity, stability, and dynamics of groups. In this talk, I will explain these connections and focus on the topological structure of the space of traces of some groups. We will see the different behaviours of these spaces for free groups vs. higher-rank lattices, and how our strategy for the free group can be used to answer a question of Musat and Rørdam regarding free products of matrix algebras. This is based on joint works with Arie Levit, Joav Orovitz, and Itamar Vigdorovich.

A group is coherent if all its finitely generated subgroups are finitely presented. Aside from some easy cases, it appears that coherence is a phenomenon that occurs only among groups of cohomological dimension 2. In this talk, we will give many examples of coherent and incoherent groups, discuss techniques to prove a group is coherent, and mention some open problems in the area.