Past Geometric Group Theory

Given an FP-infinity subgroup G of SL(2,C), we are interested in the asymptotic behavior of the cohomology of G with coefficients in an irreducible complex representation V of SL(2,C). We prove that, as the dimension of V grows, the dimensions of these cohomology groups approximate the L2-Betti numbers of G. We make no further assumptions on G, extending a previous result of W. Fu. This yields a new method to compute those Betti numbers for finitely generated hyperbolic 3-manifold groups. We will give a brief idea of the proof, whose main tool is a completion of the universal enveloping algebra of the p-adic Lie algebra sl(2, Zp).

The mapping class group a solid handlebody of genus g sits between mapping class groups of surfaces and Out(F_n), in the sense there is an injective map to the mapping class group of the boundary and a surjective map to Out(F_g) via the action on the fundamental group. Similar behaviour happens with actions on associated spaces, such curve complexes and Teichmuller space. I’ll give an expository talk on this, partly in the context of our proof with Petersen that handlebody groups are virtual duality groups, and partly in the context of a problem list on handlebody groups written with Andrew, Hensel, and Hughes.

I will present some contributions to the quasiisometry classification of solvable Lie groups of exponential growth that we obtain using sublinear bilipschitz equivalences, which are generalized quasiisometries. This is joint work with Ido Grayevsky.

Fundamental to the study of hyperbolic groups is their Gromov boundaries. The classical Cannon--Thurston map for a closed fibered hyperbolic 3-manifolds relates two such boundaries: it gives a continuous surjection from the boundary of the surface group (a circle) to the boundary of the 3-manifold group (a 2-sphere). Mj (Mitra) generalized this to all hyperbolic groups with hyperbolic normal subgroups. A generalization of the Gromov boundary to all finitely generated groups is called the Morse boundary. It collects all the "hyperbolic-like" rays in a group. In this talk we will discuss Cannon--Thurston maps for Morse boundaries. This is joint work with Ruth Charney, Antoine Goldsborough, Alessandro Sisto and Stefanie Zbinden.

Profinite rigidity explores the extent to which non-isomorphic groups can be distinguished by their finite quotients. Many interesting examples of this phenomenon arise in the context of group extensions—short exact sequences of groups with a fixed kernel and quotient. This talk will outline two main mechanisms that govern profinite rigidity in this setting and provide concrete examples of families of extensions that cannot be distinguished by their finite quotients.

The talk is based on my DPhil thesis.

A group is free-by-cyclic if it is an extension of a free group by a cyclic group. Knowing that a group is virtually free-by-cyclic is often quite useful; it implies that the group is coherent and that it is cohomologically good in the sense of Serre. In this talk we will give a homological characterisation of when a finitely generated RFRS group is virtually free-by-cylic and discuss some generalisations.

In this talk I will give an introduction to analogues to the classical finiteness conditions FP_n for totally disconnected locally compact groups. I will present a construction of non-discrete tdlc groups of arbitrary finiteness length. As a bi-product we also obtain a new collection of (discrete) Thompson-like groups which contains, for all positive integers n, groups of type FP_n but not of type FP_{n+1}. This is joint work with I. Castellano, B. Marchionna, and Y. Santos-Rego.

In operator algebra theory central sequences have long played a significant role in addressing problems in and around amenability, having been used both as a mechanism for producing various examples beyond the amenable horizon and as a point of leverage for teasing out the finer structure of amenable operator algebras themselves. One of the key themes on the von Neumann algebra side has been the McDuff property for II_1 factors, which asks for the existence of noncommuting central sequences and is equivalent, by a theorem of McDuff, to tensorial absorption of the unique hyperfinite II_1 factor. We will show that, for a topologically free minimal action of a countable amenable group on the Cantor set, the von Neumann algebra of the associated dynamical alternating group is McDuff. This yields the first examples of simple finitely generated nonamenable groups for which the von Neumann algebra is McDuff. This is joint work with Spyros Petrakos.

Let G be a free group of rank N, let f be an automorphism of G and let Fix(f) be the corresponding subgroup of fixed points. Bestvina and Handel showed that the rank of Fix(f) is at most N, for which they developed the theory of train track maps on free groups. Different arguments were provided later on by Sela, Paulin and Gaboriau-Levitt-Lustig. In this talk, we present a new proof which involves the Linnell division ring of G. We also discuss how our approach relates to previous ones and how it gives new insight into variations of the problem.

How to uniformly, or at least almost uniformly, choose an element from a finite group G? When G is too large to enumerate all its elements, direct (pseudo)random selection is impossible. However, if we have an explicit set of generators of G (e.g., as in the Rubik's cube group), several methods are available. This talk will focus on one such method based on the well-known product replacement algorithm. I will discuss how recent results on property (T) by Kaluba, Kielak, Nowak and Ozawa partially explain the surprisingly good performance of this algorithm.

A trace on a group is a positive-definite conjugation-invariant function on it. 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. This is based on joint works with Arie Levit, Joav Orovitz and Itamar Vigdorovich.

I will present a joint work with Thang Nguyen where we show that there exists a quasi-isometric embedding of the product of n copies of the hyperbolic plane into any symmetric space of non-compact type of rank n, and there exists a bi-Lipschitz embedding of the product of n copies of the 3-regular tree into any thick Euclidean building of rank n. This extends a previous result of Fisher--Whyte. The proof is purely geometrical, and the result also applies to the non Bruhat--Tits buildings. I will start by describing the objects and the embeddings, and then give a detailed sketch of the proof in rank 2.

I’ll discuss joint work of mine with with Ascencio-Martin, Britnell, Duncan, Francoeurs and Koutny to set up and study algebraic models of concurrent computation. 

Trace monoids were introduced by Mazurkiewicz as algebraic models of Petri nets, where some pairs of actions can be applied in either of two orders and have the same effect. Abstractly, a trace monoid is simply a right-angled Artin monoid. More recently Koutny et al. introduced the concept of a step trace monoid, which allows the additional possibility that a pair of actions may have the same effect performed simultaneously as sequentially. 

I shall introduce these monoids, discuss some problems we’d like to be able to solve, and the methods with which we are trying to solve them. In particular I’ll discuss normal forms for traces, comtraces and step traces, and generalisations of Stallings folding techniques for finitely presented groups and monoids.

The Aldous-Lyons conjecture from probability theory states that every (unimodular) infinite graph can be (Benjamini-Schramm) approximated by finite graphs. This conjecture is an analogue of other influential conjectures in mathematics concerning how well certain infinite objects can be approximated by finite ones; examples include Connes' embedding problem (CEP) in functional analysis and the soficity problem of Gromov-Weiss in group theory. These became major open problems in their respective fields, as many other long-standing open problems, that seem unrelated to any approximation property, were shown to be true for the class of finitely-approximated objects. For example, Gottschalk's conjecture and Kaplansky's direct finiteness conjecture are known to be true for sofic groups, but are still wide open for general groups.

In 2019, Ji, Natarajan, Vidick, Wright and Yuen resolved CEP in the negative. Quite remarkably, their result is deduced from complexity theory, and specifically from undecidability in certain quantum interactive proof systems. Inspired by their work, we suggest a novel interactive proof system which is related to the Aldous-Lyons conjecture in the following way: If the Aldous-Lyons conjecture was true, then every language in this interactive proof system is decidable. A key concept we introduce for this purpose is that of a Subgroup Test, which is our analogue of a Non-local Game. By providing a reduction from the Halting Problem to this new proof system, we refute the Aldous-Lyons conjecture.

This talk is based on joint work with Lewis Bowen, Alex Lubotzky, and Thomas Vidick.

No special background in probability theory or complexity theory will be assumed.

Simplicial volume is a homotopy invariant of manifolds introduced by Gromov to study their metric and rigidity properties. One of the strongest vanishing results for simplicial volume of closed manifolds is in presence of amenable covers with controlled multiplicity. I will discuss some conditions under which this result can be extended to manifolds with boundary. To this end, I will follow Gromov's original approach via the theory of multicomplexes, whose foundations have been recently laid down by Frigerio and Moraschini.

The conjugacy growth function of a finitely generated group is a variation of the standard growth function, counting the number of conjugacy classes intersecting the n-ball in the Cayley graph. The asymptotic behaviour is not a commensurability invariant in general, but the conjugacy growth of finite extensions can be understood via the twisted conjugacy growth function, counting automorphism-twisted conjugacy classes. I will discuss what is known about the asymptotic and formal power series behaviour of (twisted) conjugacy growth, in particular some relatively recent results for certain groups of polynomial growth (i.e. virtually nilpotent groups).

The study of the rationality of the $L^2$-Betti numbers of a countable group has led to the development of a rich theory in $L^2$-homology with deep implications in structural properties of the groups. For decades almost nothing has been known about the general question of whether the strong Atiyah conjecture passes to free products of groups or not. In this talk, we will confirm that the strong and algebraic Atiyah conjectures are stable under the graph of groups construction provided that the edge groups are finite. Moreover, we shall see that in this case the $\ast$-regular closure of the group algebra is precisely a universal localization of the associated graph of rings

I will describe some recent developments in random walks on Gromov-hyperbolic spaces. I will focus in particular on the notions of Schottky sets and pivoting technique introduced respectively by Boulanger-Mathieu-S-Sisto and Gouëzel and mention some consequences. The talk will be introductory; I will not assume specialized knowledge in probability theory.

Since Gromov's celebrated polynomial growth theorem, the understanding of nilpotent groups has become a cornerstone of geometric group theory. An interesting aspect is the conjectural quasiisometry classification of nilpotent groups. One important quasiisometry invariant that plays a significant role in the pursuit of classifying these groups is the Dehn function, which quantifies the solvability of the world problem of a finitely presented group. Notably, Gersten, Holt, and Riley's work established that the Dehn function of a nilpotent group of class $c$ is bounded above by $n^{c+1}$.  

In this talk, I will explain recent results that allow us to compute Dehn functions for extensive families of nilpotent groups arising as central products. Consequently, we obtain a large collection of pairs of nilpotent groups with bilipschitz equivalent asymptotic cones but with different Dehn functions.

This talk is based on joint work with Claudio Llosa Isenrich and Gabriel Pallier.

Since Gromov's celebrated polynomial growth theorem, the understanding of nilpotent groups has become a cornerstone of geometric group theory. An interesting aspect is the conjectural quasiisometry classification of nilpotent groups. One important quasiisometry invariant that plays a significant role in the pursuit of classifying these groups is the Dehn function, which quantifies the solvability of the world problem of a finitely presented group. Notably, Gersten, Holt, and Riley's work established that the Dehn function of a nilpotent group of class $c$ is bounded above by $n^{c+1}$.  

In this talk, I will explain recent results that allow us to compute Dehn functions for extensive families of nilpotent groups arising as central products. Consequently, we obtain a large collection of pairs of nilpotent groups with bilipschitz equivalent asymptotic cones but with different Dehn functions.

This talk is based on joint work with Claudio Llosa Isenrich and Gabriel Pallier.

The space of measured laminations on a hyperbolic surface is a generalisation of the set of weighted multi curves. The action of the mapping class group on this space is an important tool in the study of the geometry of the surface. 
For orientable surfaces, orbit closures are now well-understood and were classified by Lindenstrauss and Mirzakhani. In particular, it is one of the pillars of Mirzakhani’s curve counting theorems. 
For non-orientable surfaces, the behaviour of this action is very different and the classification fails. In this talk I will review some of these differences and describe mapping class group orbit closures of (projective) measured laminations for non-orientable surfaces. This is joint work with Erlandsson, Gendulphe and Souto.

If a group quasiisometrically embeds into a finite product of infinite valence trees then a number of things are implied; for example, the group will have finite Assouad-Nagata dimension and finite asymptotic dimension. An even stronger statement is that the group quasiisometrically embeds into a finite product of uniformly bounded valence trees. The research on which groups quasiisometrically embed into finite products of uniformly bounded valence trees is limited, however a notable result of Buyalo, Dranishnikov and Schroeder from 2007 proves that all hyperbolic groups do admit these quasiisometric embeddings. In a recently released preprint, I extend their result to cover groups which are relatively hyperbolic with respect to virtually abelian peripheral subgroups. 

This talk will focus on the ideas at the core of Buyalo, Dranishnikov and Schroeder’s result and the extension that I proved, and in particular I will attempt to provide a general framework for upgrading quasiisometric embeddings into infinite valence trees so that they are now quasiisometric embeddings into uniformly bounded valence trees. The central concept is called a diary which I will define.