Past Geometric Group Theory

Measure equivalence was introduced by Gromov as a measure-theoretic analogue to quasi-isometry between finitely generated groups. In this talk I will present measure equivalence classification results for right-angled Artin groups, and more generally graph products. This is based on joint works with Jingyin Huang and with Amandine Escalier. 

Approximate lattices are aperiodic generalisations of lattices in locally compact groups. They were first introduced in abelian groups by Yves Meyer before being studied as mathematical models for quasi-crystals. Since then their structure has been thoroughly investigated in both abelian and non-abelian settings.

In this talk I will survey what is known of the structure of approximate lattices. I will highlight some objects - such as a notion of cohomology sitting between group cohomology and bounded cohomology - that appear in their study. I will also formulate open problems and conjectures related to approximate lattices. 

Stable commutator length is a measure of homological complexity of group elements, which is known to take large values in the presence of various notions of negative curvature. We will present a new geometric proof of a theorem of Heuer on sharp lower bounds for scl in right-angled Artin groups. Our proof relates letter-quasimorphisms (which are analogues of real-valued quasimorphisms with image in free groups) to negatively curved angle structures for surfaces estimating scl.

I will talk about the coarse geometry of lattices in real semisimple Lie groups. One great result from the 1990s is the quasi-isometric rigidity of these lattices: any group that is quasi-isometric to such a lattice must be, up to some minor adjustments, isomorphic to lattice in the same Lie group. I present a partial generalization of this result to the setting of Sublinear Bilipschitz Equivalences (SBE): these are maps that generalize quasi-isometries in some 'sublinear' fashion.

Abstract: It’s a classical result by Huber that the number of closed geodesics of length bounded by L on a closed hyperbolic surface S is asymptotic to exp(L)/L as L grows. This result has been generalized in many directions, for example by counting certain subsets of closed geodesics. One such result is the asymptotic growth of those that are homologically trivial, proved independently by both by Phillips-Sarnak and Katsura-Sunada. A homologically trivial curve can be written as a product of commutators, and in this talk we will look at those that can be written as a product of g commutators (in a sense, those that bound a genus g subsurface) and obtain their asymptotic growth. As a special case, our methods give a geometric proof of Huber’s classical theorem. This is joint work with Juan Souto. 

We introduce a new class of groups with Thompson-like group properties. In the surface case, the asymptotic mapping class group contains mapping class groups of finite type surfaces with boundary. In dimension three, it contains automorphism groups of all finite rank free groups. I will explain how asymptotic mapping class groups act on a CAT(0) cube complex which allows us to show that they are of type F_infinity. 

This is joint work with Javier Aramayona, Kai-Uwe Bux, Jonas Flechsig and Xaolei Wu.

We will survey work of Birman-Craggs, Johnson, and Sato on the abelianization of the level 2 congruence group of the mapping class group of a surface, and of the corresponding Torelli group. We will then describe recent work of Lewis providing a common framework for both abelianizations, with applications including a partial answer to a question of Johnson.

Let C,D be classes of finitely presented groups. The epimorphism problem from C to D is the following decision problem:

Input: Finite descriptions (presentation, multiplication table, other) for groups  G in C and H in D

Question: Is there an epimorphism from G to H?

I will discuss some cases where it is decidable and where it is NP-complete. Spoiler alert: it is undecidable for C=D=the class of 2-step nilpotent groups (Remeslennikov).

This is joint work with Jerry Shen (UTS) and Armin Weiss (Stuttgart).

The classification of measure preserving actions up to orbit equivalence has attracted a lot of interest in the last 25 years. The goal of this talk is to survey the major discoveries in the field, including Popa's cocycle and orbit equivalence superrigidity theorem and discuss some recent superrigidity results for dense subgroups of Lie groups acting by translation.

A central question in infinite group theory is to determine how much global information about a group is encoded in its set of finite quotients. In this talk, we will discuss this problem in the case of algebraically fibered groups, which naturally generalise fundamental groups of compact manifolds that fiber over the circle. The study of such groups exploits the relationships between the geometry of the classifying space, the dynamics of the monodromy map, and the algebra of the group, and as such draws from all of these areas.

The Post Correspondence Problem (PCP) is a classical problem in computer science that can be stated as: is it decidable whether given two morphisms g and h between two free semigroups $A$ and $B$, there is any nontrivial $x$ in $A$ such that $g(x)=h(x)$? This question can be phrased in terms of equalisers, asked in the context of free groups, and expanded: if the `equaliser' of $g$ and $h$ is defined to be the subgroup consisting of all $x$ where $g(x)=h(x)$, it is natural to wonder not only whether the equaliser is trivial, but what its rank or basis might be. 

While the PCP for semigroups is famously insoluble and acts as a source of undecidability in many areas of computer science, the PCP for free groups is open, as are the related questions about rank, basis, or further generalisations. In this talk I will give an overview of what is known about the PCP in hyperbolic groups, nilpotent groups and beyond (joint work with Alex Levine and Alan Logan).

One of the more common ways to study a residually finite group (or its profinite completion) is via breaking it down into a graph of groups in some way. The descriptions of this theory generally found in the literature are highly algebraic and difficult to digest. I will present alternative, more geometric, definitions and perspectives on these theories based on properties of virtually free groups and their profinite completions.

The celebrated Kirchberg-Phillips classification theorem classifies so-called Kirchberg algebras by K-theory. Many examples of Kirchberg algebras can be constructed via the crossed product construction starting from a group action on a compact space. One might ask: When exactly does the crossed product construction produce a Kirchberg algebra? In joint work with Gardella, Geffen, and Naryshkin, we obtained a dynamical answer to this question for a large class of nonamenable groups which we call "groups with paradoxical towers". Our class includes many non-positively curved groups such as acylindrically hyperbolic groups and lattices in Lie groups. I will try to advertise our notion of paradoxical towers, outline how we use it, and pose some open questions.

For almost 10 years, it has been known that if a group contains a strongly contracting element, then it is acylindrically hyperbolic. Moreover, one can use the Projection Complex of Bestvina, Bromberg and Fujiwara to construct a hyperbolic space where said element acts WPD. For a long time, the following question remained unanswered: if Morse is equivalent to strongly contracting, does there exist a space where all generalized loxodromics act WPD? In this talk, I will present a construction of a hyperbolic space, that answers this question positively.

Given a group $G$, finding a geometric action of $G$ on a CAT(0) cube complex can be used to say some rather strong things about $G$. Such actions are not always easy to find, however, which makes it useful to have sufficient conditions, both for existence and for non-existence. This talk concerns the latter: we shall see a coarse geometric obstruction to a group admitting a cocompact cubulation. Based on joint work with Zach Munro.

Let $SO(3,R)$ be the $3D$-rotation group equipped with the real-manifold topology and the normalized Haar measure $\mu$. Confirming a conjecture by Breuillard and Green, we show that if $A$ is an open subset of $SO(3,R)$ with sufficiently small measure, then $\mu(A^2) > 3.99 \mu(A)$. This is joint work with Chieu-Minh Tran (NUS) and Ruixiang Zhang (Berkeley). 

The Dehn function of a finitely presented group provides a quantitative measure for the difficulty of detecting if a word in its generators represents the trivial element of the group. By work of Gersten, Holt and Riley the Dehn function of a nilpotent group of class $c$ is bounded above by $n^{c+1}$. However, we are still far from determining the precise Dehn functions of all nilpotent groups. In this talk, I will explain recent results that allow us to determine the Dehn functions of large classes of nilpotent groups arising as central products. As a consequence, for every $k>2$, we obtain many pairs of finitely presented $k$-nilpotent groups with bilipschitz asymptotic cones, but with different Dehn functions. This shows that Dehn functions can distinguish between nilpotent groups with the same asymptotic cone, making them interesting in the context of the conjectural quasi-isometry classification of nilpotent groups.  This talk is based on joint works with García-Mejía, Pallier and Tessera.

In a recent work with Sam Mellick and Amanda Wilkens, we proved that higher rank semisimple Lie groups satisfy a generalization of Gaboriau fixed price property (originally defined for countable groups) to the setting of locally compact second countable groups. As one of the corollaries, under mild conditions, we can prove that the rank (minimal number of generators) or the first mod-p Betti number of a higher rank lattice grow sublinearly in the covolume.  The proof relies on surprising geometric properties of Poisson-Voronoi tessellations in higher-rank symmetric spaces, which could be of independent interest. 

Residual finiteness growth functions of groups have attracted much interest in recent years. These are functions that roughly measure the complexity of the finite quotients needed to separate particular group elements from the identity in terms of word length. In this talk, we study the growth rate of these functions adapted to finite characteristic quotients. One potential application of this result is towards linearity of the mapping class group.

We begin with a seemingly simple question: how can one distinguish a surface group from other cyclic amalgamations of two free groups? This question will prompt a (geometrically flavoured) investigation of virtual homological properties of graphs of free groups amalgamated along cyclic edge groups, where surface subgroups play a key role. 

We next turn to study limit groups and residually free groups through their finite quotients, and apply our findings to the study of profinite rigidity within these classes of groups. In particular, we will sketch out why a direct product of free and surface groups cannot have the same finite quotients as any other finitely presented residually free group.

If time permits, we will discuss other possible characterizations of surface groups among limit groups. The talk is based on joint work with Ismael Morales.

Generating n-tuples of a group G, or in other words epimorphisms Fₙ→G are usually studied up to the natural right action of Aut(Fₙ) on Epi(Fₙ,G); here Fₙ is the free group of n generators. The orbits are then called Nielsen classes. It is a classic result of Nielsen that for any n ≥ k there is exactly one Nielsen class of generating n-tuples of Fₖ. This result was generalized to surface groups by Louder.

In this talk the case of Fuchsian groups is discussed. It turns out that the situation is much more involved and interesting. While uniqueness does not hold in general one can show that each class is represented by some unique geometric object called an "almost orbifold covers". This can be thought of as a classification of Nielsen classes. This is joint work with Ederson Dutra.

The study of the fundamental group of an affine manifold has a long history that goes back to Hilbert’s 18th problem. It was asked if the fundamental group of a compact Euclidian affine manifold has a subgroup of a finite index such that every element of this subgroup is translation. The motivation was the study of the symmetry groups of crys- talline structures which are of fundamental importance in the science of crystallography. A natural way to generalize the classical problem is to broaden the class of allowed mo- tions and consider groups of affine transformations. In 1964, L. Auslander in his paper ”The structure of complete locally affine manifolds” stated the following conjecture, now known as the Auslander conjecture: The fundamental group of a compact complete locally flat affine manifold is virtually solvable.

In 1977, in his famous paper ”On fundamental groups of complete affinely flat manifolds”, J.Milnor asked if a free group can be the fundamental group of complete affine flat mani- fold.
The purpose of the talk is to recall the old and to talk about new results, methods and conjectures which are important in the light of these questions .

The talk is aimed at a wide audience and all notions will be explained 1

After a brief introduction to subject of spherical representations of hyperbolic groups, I will present a new construction motivated by a spectral formulation of the so-called Shalom conjecture.This a joint work with Dr Jan Spakula.

A parabolic representation of the free group  is one in which the images of both generators are parabolic elements of $PSL(2,\IC)$. The Riley slice is a closed subset ${\cal R}\subset \IC$ which is a model for the moduli space of parabolic, discrete and faithful representations. The complement of the Riley slice is a bounded Jordan domain within which there are isolated points, accumulating only at the boundary, corresponding to parabolic discrete and faithful representations of rigid subgroups of $PSL(2,\IC)$. Recent work of Aimi, Akiyoshi, Lee, Oshika, Parker, Lee, Sakai, Sakuma \& Yoshida, have topologically identified all these groups. Here we give the first  substantive properties of the nondiscrete representations using ergodic properties of the action of a polynomial semigroup and identifying the Riley slice as the ``Julia set’’ of this dynamical system. We prove a supergroup density theorem: given any irreducible parabolic representation of $F_2$ whatsoever, {\em any}  non-discrete parabolic representation has an arbitrarily small perturbation which contains that group as a conjugate.  Using these ideas we then show that there are nondiscrete parabolic representations with an arbitrarily large number of distinct Nielsen classes of parabolic generators.

To a group theorist ribbon groups look like knot groups, except  that we know everything about knot groups and next to nothing about ribbon groups.

I will talk about an old paper of mine with Peter Teichner where several questions on ribbon groups naturally arise.