Given a group acting on a metric space X, one is often interested in the kernel of the action, consisting of those elements that fix every point of X. From a coarse geometric perspective, however, this notion is unsatisfactory, as the kernel is generally not invariant under G-equivariant quasi-isometries. To address this, one can instead consider the coarse kernel, defined as the collection of group elements that move every point of X by a uniformly bounded amount. In this talk, we study this coarse kernel under various assumptions on the action. 

When the action is geometric, we give a purely algebraic characterisation of the coarse kernel as the FC-centre of the group. We then specialise to actions on CAT(0) spaces, where we investigate the coarse kernel via the curtain model, a hyperbolic space associated to a CAT(0) space introduced by Petyt, Spriano, and Zalloum. Along the way, we will meet centralisers, boundaries, and actions on hyperbolic spaces! This is based on my summer project supervised by Davide Spriano and Harry Petyt.

Random walks on graphs can mix slowly. To speed it up, imagine that at each step instead of choosing the neighbor at random, there is a small probability $\varepsilon > 0$ that we can choose it. We show that in this case, at least for graphs of bounded degree, there is a way to steer the walk so that we visit every vertex in $n^{1+o(1)}$ many steps. The key to this result is a way to decompose arbitrary graphs into small-diameter pieces.

The classical Leopoldt conjecture predicts that the global units of a number field (tensored with Qp) inject into the local units at p. In this talk, I'll discuss some non-abelian generalisations of this in the setting of Galois representations.

Joint with Atul Sharma arxiv:2512.04512.

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; a core companion of a theory $T$ is a model-complete core theory $S$ such that every model of $T$ maps homomorphically to a model of $S$ and vice-versa. Whilst core companions may not exist in general, if they exist, they are unique. Moreover, $\omega$-categorical theories always have a core companion, which is also $\omega$-categorical.

In the first part of this talk, we show that many model-theoretic properties, such as stability, NIP, simplicity, and NSOP, are preserved when moving to the core companion of a complete theory.

In the second part of this talk, we study the notion of core interpretability, which arises by taking the core companions of structures interpretable in a given structure. We show that there are structures which are core interpretable but not interpretable in $(\mathbb{N};=)$ or $(\mathbb{Q};<)$. We conjecture that the class of structures which are core interpretable in $(\mathbb{N};=)$ equals the class of $\omega$-stable first-order reducts of finitely homogeneous relational structures, which was studied by Lachlan in the 80's. We present some partial results in this direction, including the answer a question of Walsberg.

This is joint work with Manuel Bodirsky and Bertalan Bodor.

The talk will be about a natural percolation model built from the so-called Brownian loop soup. We will give sense to studying its phase transition in dimension d = 2 + epsilon, with epsilon varying in [0,1], and discuss how to perform a rigorous „epsilon-expansion“ in this context. Our methods give access to a whole family of universality classes, and elucidate the behaviour of critical exponents etc. near the (lower-)critical dimension, which for this model is d=2. 

Based on joint work with Wen Zhang.