Past Junior Topology and Group Theory Seminar

I'll discuss work of Wise and Ollivier-Wise that gives cubulations of certain small cancellation and random groups, which in turn shows that they do not have property (T).

I will be looking at some conjectures and theorems closely related to the h-cobordism theorem and will try to show some connections between them and some group theoretic conjectures.

We will start with the square torus, move on to all regular polygons, and then look at a large family of flat surfaces called Bouw-Möller surfaces, made by gluing together many polygons. On each surface, we will consider the action of a certain shearing action on geodesic paths on the surface, and a certain corresponding sequence.

A subgroup $H$ of a group $G$ is said to be engulfed if there is a
finite-index subgroup $K$ other than $G$ itself such that $H<K$, or
equivalently if $H$ is not dense in the profinite topology on $G$.  In
this talk I will present a variety of methods for showing that a
subgroup of a discrete group is engulfed, and demonstrate how these
methods can be used to study finite-sheeted covering spaces of
topological spaces.

Let F be a free group, and N a normal subgroup of F with derived subgroup N'. The Magnus embedding gives a way of seeing F/N' as a subgroup of a wreath product of a free abelian group over over F/N. The aim is to show that the Magnus embedding is a quasi-isometric embedding (hence "Q.I." in the title). For this I will use an alternative geometric definition of the embedding (hence "picture"), which I will show is equivalent to the definition which uses Fox calculus. Please note that we will assume no prior knowledge of calculus.

In this part, I will redefine the quantum representations for $G = SU(2)$ making no mention of flat connections at all, instead appealing to a purely combinatorial construction using the knot theory of the Jones polynomial.

Using these, I will discuss some of the properties of the representations, their strengths and their shortcomings. One of their main properties, conjectured by Vladimir Turaev and proved by Jørgen Ellegaard Andersen, is that the collection of the representations forms an infinite-dimensional faithful representation. As it is still an open question whether or not mapping class groups admit faithful finite-dimensional representations, it becomes natural to consider the kernels of the individual representations. Furthermore, I will hopefully discuss Andersen's proof that mapping class groups of closed surfaces do not have Kazhdan's Property (T), which makes essential use of quantum representations.

Saturated fusion systems are a next generation approach to the theory of finite groups- one major motivation being the opportunity to borrow techniques from homotopy theory. Extending work of Broto, Levi and Oliver, we introduce a new object - a 'tree of fusion systems' and give conditions (in terms of the orbit graph) for the completion to be saturated. We also demonstrate that these conditions are 'best possible' by producing appropriate counterexamples. Finally, we explain why these constructions provide a powerful way of building infinite families of fusion systems which are exotic (i.e. not realisable as the fusion system of a finite group) and give some concrete examples.

We give a brief overview of hyperbolic metric spaces and the relatively hyperbolic counterparts, with particular emphasis on the quasi-isometry class of trees. We then show that an understanding of the relative version of such spaces - quasi tree-graded spaces -  has strong consequences for mapping class groups. In particular, they are shown to embed into a finite product of (possibly infinite valence) simplicial trees. This uses and extends the work of Bestvina, Bromberg and Fujiwara.

I will explain a construction of a group acting on a rooted tree, related to the Grigorchuk group. Those groups have exponential growth, at least under certain circumstances. I will also show how it can be seen that any two elements fulfil a non-trivial relation, implying the absence of non-cyclic free subgroups.

The study of free groups and their automorphisms has a long pedigree, going back to the work of Nielsen and Dehn in the early 20th century, but in many ways the subject only truly reached maturity with the introduction of Outer Space by Culler and Vogtmann in the “Big Bang” of 1986. In this (non-expert) talk, I will walk us through the construction of Outer Space and some related complexes, and survey some group-theoretic applications.

We use Schlage-Puchta's concept of p-deficiency and Lackenby's property of p-largeness to show that a group having a finite presentation with p-deficiency greater than 1 is large. What about when p-deficiency is exactly one? We also generalise a result of Grigorchuk on Coxeter groups to odd primes.

A construction by McCool gives rise to a finite presentation for the stabiliser of a finite set of conjugacy classes in a free group under the action of Aut(F_n) or Out(F_n). An important concept of my talk are rigid elements, which will allow to simplify these huge presentations. Finally I will sketch applications to centralisers in Aut(F_n).

The first group known to be finitely presented but having infinitely generated 3rd homology was constructed by Stallings. Bieri extended this to a series of groups G_n such that G_n is of type F_{n-1} but not of type F_n. Finally, Bestvina and Brady turned it into a machine that realizes prescribed finiteness properties. We will discuss some of these examples.

The lamplighter groups, solvable Baumslag-Solitar groups and lattices in SOL all share a nice kind of geometry. We'll see how the Cayley graph of a lamplighter group is a Diestel-Leader graph, that is a horocyclic product of two trees. The geometry of the solvable Baumslag-Solitar groups has been studied by Farb and Mosher and they showed that these groups are quasi-isometric to spaces which are essentially the horocyclic product of a tree and the hyperbolic plane. Finally, lattices in the Lie groups SOL can be seen to act on the horocyclic product of two hyperbolic planes. We use these spaces to measure the length of short conjugators in each type of group.

Building on the previous talk, we continue the exploration of techniques required to understand Wise's results. We present an overview of classical small cancellation theory running in parallel with the newer one for cubical complexes.

We present recent results of Dani Wise which tie together many of the themes of this term's jGGT meetings: hyperbolic and relatively hyperbolic groups, (in particular limit groups), graphs of spaces, 3-manifolds and right-angled Artin groups.
Following this, we make an attempt at explaining some of the methods, beginning with special non-positively curved cube complexes.