Past Geometric Group Theory

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.

Given a group G, one can seek to understand (some of) its subgroups. Centralisers of elements are easy to define, but maybe not so easy to understand: even in such well studied groups as Out(Fn) they are not yet understood in general. I'll discuss recent work with Armando Martino where we extend what is known in Out(Fn), involving a (surprising?) connection to free-by-cyclic groups and their automorphisms as well as working with actions on trees. The strategies seem like they should apply in many more cases, and if time allows I'll discuss ongoing work (with Gilbert Levitt and Armando Martino) exploring these possibilities.

This talk will be an invitation to the study of cubulated groups and their quotients via the tools of cubical small cancellation theory. Non-positively curved cube complexes are a class of cell-complexes whose geometry and combinatorial structure is closely related to the structure of the groups that act nicely on their universal covers. I will tell you a bit about what we know and don’t know about these groups and spaces, and about the tools we have to study their quotients. I will explain some applications of the study of these quotients to producing a large variety of examples of large-dimensional hyperbolic (and non-hyperbolic) groups.

I will explain that all affine isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman, Gelander and Monod. As a consequence, we deduce that box space expanders constructed from higher rank lattices are superexpanders. This is joint work with Mikael de la Salle.

Bounded cohomology is a functional-analytic analogue of ordinary cohomology that has become a fundamental tool in many fields, from rigidity theory to the geometry of manifolds. However it is infamously hard of compute, and the lack of very basic examples makes the overall picture still hard to grasp. I will report on recent progress in this direction, and draw attention to some natural questions that remain open.

In 1977, Milnor formulated the following conjecture: every discrete group of affine transformations acting properly on the affine space is virtually solvable. We now know that this statement is false; the current goal is to gain a better understanding of the counterexamples to this conjecture. Every group that violates this conjecture "lives" in a certain algebraic affine group, which can be specified by giving a linear group and a representation thereof. Representations that give rise to counterexamples are said to be non-Milnor. We will talk about the progress made so far towards classification of these non-Milnor representations.

The talk is based on joint work with Uri Bader. We prove that arithmetic lattices in a semisimple Lie group G satisfy a higher-degree version of property T below the rank of G. The proof relies on functional analysis and the polynomiality of higher Dehn functions of arithmetic lattices below the rank and avoids any automorphic machinery. If time permits, we describe applications to the cohomology and stability of arithmetic groups (the latter being joint work with Alex Lubotzky and Shmuel Weinberger).

There is a deep analogy between Kleinaian groups and subgroups of the mapping class group. Inspired by this, Farb and Mosher defined convex cocompact subgroups of the mapping class group in analogy with convex cocompact Kleinian groups. These subgroups have since seen immense study, producing surprising applications to the geometry of surface group extension and surface bundles.  In particular, Hamenstadt plus Farb and Mosher proved that a subgroup of the mapping class groups is convex cocompact if and only if the corresponding surface group extension is Gromov hyperbolic.

Among Kleinian groups, convex cocompact groups are a special case of the geometrically finite groups. Despite the progress on convex cocompactness, no robust notion of geometric finiteness in the mapping class group has emerged.  Durham, Dowdall, Leininger, and Sisto recently proposed that geometric finiteness in the mapping class group might be characterized by the corresponding surface group extension being hierarchically hyperbolic instead of Gromov hyperbolic. We provide evidence in favor of this hypothesis by proving that the surface group extension of the stabilizer of a multicurve is hierarchically hyperbolic.

An example of a uniformly proper action is the action of a group (or any of its subgroups) on its Cayley graph. A natural question appearing in a paper of Coulon and Osin, is whether the class of groups acting uniformly properly on hyperbolic spaces coincides with the class of subgroups of hyperbolic groups. In joint work with Vladimir Vankov we construct an uncountable family of finitely generated groups which act uniformly properly on hyperbolic spaces. This gives the first examples of finitely generated groups acting uniformly properly on hyperbolic spaces that are not subgroups of hyperbolic groups. We also give examples that are not virtually torsion-free.

In recent years, duality approaches have yielded new results about the high-dimensional cohomology of several groups and moduli spaces, such as $\operatorname{SL}_n(\mathbb{Z})$ and $\mathcal{M}_g$. I will explain the general strategy of these approaches and survey results that have been obtained so far. To give an example, I will first explain how Borel-Serre duality can be used to show that the rational cohomology of $\operatorname{SL}_n(\mathbb{Z})$ vanishes near its virtual cohomological dimension. This is based on joint work with Miller-Patzt-Sroka-Wilson and builds on results by Church-Farb-Putman. I will then put this into a more general context by giving an overview of analogous results for mapping class groups of surfaces, automorphism groups of free groups and further arithmetic groups such as $\operatorname{SL}_n(\mathcal{O}_K)$ and $\operatorname{Sp}_{2n}(\mathbb{Z})$.

A metric is said to be (globally) median,  if any three points have a unique “median” which  lies  between  any  two  points  from  the  triple.  
Such  spaces  arise  naturally  in  many different contexts.  The property of being locally median can be viewed as a kind of
non-positive curvature condition.  We show that a complete uniformly locally median space is
globally median if and only if it is simply connected.  This is an analogue of the well known Cartan-Hadamard Theorem for non-positively curved manifolds, or more generally CAT(0) spaces.  However it leaves open a number of interesting questions.

I discuss the set of rates of growth of a finitely generated 
group with respect to all its finite generating sets. In a joint work 
with Sela, for a hyperbolic group, we showed that the set is 
well-ordered, and that each number can be the rate of growth of at most 
finitely many generating sets up to automorphism of the group. I may 
discuss its generalization to acylindrically hyperbolic groups.

We will describe a new equivariant version of discrete Morse theory designed specially for quotient objects X/G which arise naturally in geometric group theory from actions of finite groups G on finite simplicial complexes X. Our main tools are (A) a reconstruction theorem due to Bridson and Haefliger which recovers X from X/G decorated with stabiliser data, and (B) a 2-categorical upgrade of discrete Morse theory which faithfully captures the underlying homotopy type. Both tools will be introduced during the course of the talk. This is joint work with Naya Yerolemou.

This is joint work with Corey Bregman. We study the homotopy type of embedding spaces of unparameterised links, inspired by work of Brendle and Hatcher. We obtain a simple description of the fundamental group of the embedding space, which I will describe for you. Our main tool is a homotopy equivalent semi-simplicial space of separating spheres. As I will explain, this is a combinatorial object that provides a gateway to studying the homotopy type of embedding spaces of split links via the homotopy type of their individual pieces. 

Since their introduction by Gromov in the 80s, a wealth of tools have been developed to study hyperbolic groups. Thus, when studying a class of groups, a characterisation of those that are hyperbolic can be very useful. In this talk, we will turn to the class of one-relator groups. In previous work, we showed that a one-relator group not containing any Baumslag--Solitar subgroups is hyperbolic, provided it has a Magnus hierarchy in which no one-relator group with a so called `exceptional intersection' appears. I will define one-relator groups with exceptional intersection, discuss the aforementioned result and will then provide a characterisation of the hyperbolic one-relator groups with exceptional intersection. Finally, I will then discuss how this characterisation can be used to establish properties for all one-relator groups.

Various graphs associated to surfaces have proved to be important tools for studying the large scale geometry of mapping class groups of surfaces, among other applications. A seminal paper of Masur and Minsky proved that perhaps the most well known example, the curve graph, is Gromov hyperbolic. However, this is not the case for every naturally defined graph associated to a surface. We will present joint work with Jacob Russell classifying a wide family of graphs associated to surfaces according to whether the graph is Gromov hyperbolic, relatively hyperbolic or not relatively hyperbolic.
 

I will discuss some new invariants of 2-complexes. They are inspired by recent developments in the theory of one-relator groups, but also have the potential to unify the theories of many well-studied families including small-cancellation presentation complexes, CAT(0) 2-complexes and 3-manifold spines, in addition to the motivating examples of one-relator presentation complexes. The fundamental result is that these invariants are the extrema of explicit linear-programming problems, and in particular are rational, computable and realised. The definitions suggest a conjectural “map” of 2-complexes, which I will attempt to describe.
 

Consider a random group $\Gamma$ with $k$ generators and $r$ random relators of large length $N$. We study the geometry of the character variety of $\Gamma$ with values in $\SL(2,\C)$ or more generally any semisimple Lie group $G$. This is the moduli space of group homomorphisms from $\Gamma$ to $G$ up to conjugation. We are in particular able to determine its dimension, number of components and Galois group, with an excellent control on the probability of exceptions. The proofs use effective Chebotarev type theorems as well as new spectral gap bounds  for Cayley graphs of finite simple groups. They are also conditional on GRH. Joint work with Peter Varju and Oren Becker.

We formulate and sketch the proof of the K-theoretic Farrell-Jones Conjecture for
for the Hecke algebras of reductive p-adic groups. This is the first time that
a version of the farrell-Jones Conjecture for topological groups is formulated. It implies that
the reductive projective class group of the Hecke algebra of a reductive p-adic group
is the colimit of these for all compact open subgroups. This has been proved rationally by
Bernstein and Dat using representation theory. The main applications of our result
will concern the theory of smooth representations
In particular we will prove a conjecture of Dat.

The proof is much more involved than the one for instance for discrete CAT(0)-groups.
We will only give a very brief sketch of it and the new problems occurring in the setting of
totally disconnected groups. Most of the talk will be devoted
an introduction to the Farrell-Jones Conjecture and the theory of
smooth representations of reductive p-adic groups, and
discussion of  applications.

This is a joint project with Arthur Bartels.