Mon, 27 Oct 2025
15:30
L5

Goodwillie’s calculus of functors and the chain rule

Max Blans
(Oxford University)
Abstract

 

In the 1990s, Goodwillie developed a theory of calculus for homotopical functors. His idea was to approximate a functor by a tower of ‘polynomial functors’, similar to how one approximates a function by its Taylor series. The role of linear polynomials is played by functors that behave like homology theories, in the sense that there is a Mayer-Vietoris sequence computing their homotopy groups. As such, the Goodwillie tower interpolates between stable and unstable homotopy theory. The theory has application to the computation of the homotopy groups of spheres, higher algebra, and algebraic K-theory. In my talk, I will give an introduction to this topic. In particular, I will explain that Goodwillie's calculus reveals a deep connection between the homotopy theory of spaces and Lie algebras and how this is related to a chain rule for the derivatives of functors.
 

 

 
Mon, 20 Oct 2025
15:30
L5

Skein modules are holonomic 

David Jordan
(University of Edinburgh)
Abstract
Abstract:  Skein modules capture vector spaces of line operators in 3D Chern-Simons, equivalently line operators constrained to a 3-dimensional boundary in the Kapustin-Witten twist of 4D N=4 gauge theory.  They have an elementary mathemical definition via representation theory of quantum groups.
 
In recent work with Iordanis Romaidis we proved that when the quantum parameter is generic, the skein module of a 3-manifold is finitely generated relative to the skein algebra of its boundary and that moreover the resulting singular support variety is Lagrangian, hence that skein modules are holonomic. Our results confirm and strengthen a conjecture of Detcherry, and imply a conjecture of Frohman, Gelca and LoFaro from 2002 (the latter independently established this year by Beletti and Detcherry using other methods).
 
In the talk I will give an outline of the key ingredients of the proof, which recreate elements of the classical theory of differential operators in the skein setting. 

 
Mon, 13 Oct 2025
15:30
L5

Virtual fibring and Poincaré duality

Dawid Kielak
(Mathematical Institute Oxford)
Abstract

I will talk about the problem of recognising when a manifold admits a finite cover that fibres over the circle, with emphasis on the case of hyperbolic manifolds in odd dimensions. I will survey the state-of-art, and discuss the role that group theory plays in the problem. Finally, I will discuss a recent result that sheds light on the analogous group-theoretic problem, that is, virtual algebraic fibring of Poincaré-duality groups. The final theorem is joint with Sam Fisher and Giovanni Italiano.

Tue, 03 Mar 2026
15:00
L6

The Dehn function of Thompson's group T

Matteo Migliorini
Abstract

Thompson’s groups, introduced by Thompson in 1965, have had a lot of attention in the last fifty years. Being finitely presented, a natural question is to compute their Dehn function. All three groups are conjectured to have quadratic Dehn function; this conjecture was confirmed for Thompson’s group 𝐹 by Guba in 2006. During Matteo Migliorini's talk, we show how to deduce from Guba’s result that Thompson’s group 𝑇 has a quadratic Dehn function as well.

Tue, 24 Feb 2026
15:00
L6

PD₃ + (T)

Cameron Rudd
((Mathematical Institute University of Oxford))
Abstract

I'll discuss how to show 3D Poincaré duality and residual finiteness are together incompatible with property (T).

Tue, 17 Feb 2026
15:00
L6

A secondary L^2 obstruction to fibering over the circle

Ian Leary
Abstract

We give examples to show that theorems of S Fisher and D Kielak 
relating the vanishing of L^2 cohomology to fibering over the 
circle for RFRS groups cannot be extended to some larger classes
of groups, and we introduce an L^2-torsion invariant that may 
prove useful. 

(Joint with Sam Hughes and Wolfgang Lueck) 

Tue, 10 Feb 2026
15:00
L6

The kernel knows

Nansen Petrosyan
Abstract
For a graph product of groups, the canonical map to the direct product of the vertex groups has a kernel whose structure is not immediately apparent. Remarkably, this kernel turns out to be oblivious to most of the algebra one builds into the construction, yet it is sensitive to the underlying combinatorics.
This has applications to the Baum--Connes conjecture, Brown's question, the Eilenberg--Ganea conjecture and inheritance properties of graph products of groups. 
Nansen Petrosyan will survey known results and discuss joint work with Ian Leary.
Tue, 03 Feb 2026
15:00
L6

Divergence in groups with micro-supported actions

Letizia Issini
Abstract
The divergence of a group is a quasi-isometry invariant that measures how difficult it is to connect two points while avoiding a ball around the identity. It is easy to see that it is linear for direct products and deduce the same result for branch groups (a class of groups acting on rooted trees, for example the Grigorchuk group). I will discuss divergence for weakly branch groups, in particular the Basilica group. I will also present a generalisation for certain groups admitting a micro-supported action on a Hausdorff topological space, i.e containing elements with arbitrarily small support.
Joint work in progress with D. Francoeur and T. Nagnibeda
Tue, 27 Jan 2026
15:00
L6

JSJ decomposition and generalized Baumslag-Solitar groups

Dario Ascari
Abstract

The theory of JSJ decomposition plays a key role in the classification of hyperbolic groups, in analogy with the case of 3-manifolds. While this theory can be extended to larger families of groups, the JSJ decomposition displays significant flexibility in general, making a complete understanding of its behaviour more challenging. In this talk, Dario Ascari explores this flexibility, with an emphasis on the case of generalized Baumslag-Solitar groups.

Tue, 20 Jan 2026
15:00
L6

Waist inequalities on groups and spaces

David Hume
Abstract
The waist inequality is a topologist's version of the rank-nullity theorem in linear algebra. It states that for any continuous map from a ball of radius $R$ in $\mathbb R^n$ to $\mathbb R^q$ there is a point in $\mathbb R^q$ whose preimage is comparable in size to the ball of radius $R$ in $\mathbb R^{n-q}$.
 
There are now several proofs of this remarkable result. This talk will focus on a particular "coarse" version due to Gromov that lends itself to applications in coarse geometry and geometric group theory. I will formally introduce these new tools, explain the (few) things we already know about them, and give many suggestions for things we really ought to know.
Subscribe to