Past Junior Topology and Group Theory Seminar

Subgroup separability is a group-theoretic property that has important implications for geometry and topology, because it allows us to lift immersions to embeddings in a finite sheeted covering space. I will describe how this works in the case of graphs, and go on to motivate the construction of special cube complexes as an attempt to generalise the technique to higher dimensions.

As the title says, in this talk I will be giving a casual introduction to higher categories. I will begin by introducing strict n-categories and look closely at the resulting structure for n=2. After discussing why this turns out to be an unsatisfying definition I will discuss in what ways it can be weakened. Broadly there are two main classes of models for weak n-categories: algebraic and geometric. The differences between these two classes will be demonstrated by looking at bicategories on the algebraic side and quasicategories on the geometric.

Brady showed that there are hyperbolic groups with non-hyperbolic finitely presented subgroups. I will present a new construction of this kind using Bestvina-Brady Morse theory.

In some of their recent work Derbez and Wang studied volumes of representations of 3-manifold groups into the Lie groups $$Iso_e \widetilde{SL_2(\mathbb{R})} \mbox{ and }PSL(2,\mathbb{C}).$$ They computed the set of all volumes of representations for a fixed prime closed oriented 3-manifold with $$\widetilde{SL_2(\mathbb{R})}\mbox{-geometry}$$ and used this result to compute some volumes of Graph manifolds after passing to finite coverings.

In the talk I will give a brief introduction to the theory of volumes of representations and state some of Derbez' and Wang's results. Then I will prove an additivity formula for volumes of representations into $$Iso_e \widetilde{SL_2(\mathbb{R})}$$ which enables us to improve some of the results of Derbez and Wang.

I will explain why one can symplectically embed closed symplectic manifolds (with integral symplectic form) into CPⁿ and compute the weak homotopy type of the space of all symplectic embeddings of such a symplectic manifold into CP^∞.

The notion of automatic groups emerged from conversations between Bill Thurston and Jim Cannon on the nice algorithmic properties of Kleinian groups. In this introductory talk we will define automatic groups and then discuss why they are interesting. This centres on how automatic groups subsume many other classes of groups (e.g. hyperbolic groups, finitely generated Coxeter groups, and braid groups) and have good properties (e.g. finite presentability, fast solution to the word problem, and type FP_∞).

Many interesting properties of groups are inherited by their subgroups examples of such are finiteness, residual finiteness and being free. People have asked whether hyperbolicity is inherited by subgroups, there are a few counterexamples in this area. I will be detailing the proof of some of these including a construction due to Rips of a finitely generated not finitely presented subgroup of a hyperbolic group and an example of a finitely presented subgroup which is not hyperbolic.

I will introduce and motivate the concept of largeness of a group. I will then show how tools from different areas of mathematics can be applied to show that all free-by-cyclic groups are large (and try to convince you that this is a good thing).

I will show how to construct an infinite family of totally geodesic surfaces in the figure eight knot complement that do not remain totally geodesic under certain Dehn surgeries. If time permits, I will explain how this behaviour can be understood via the theory of quadratic forms.

We will discuss TQFTs (at a basic level), then higher categorical extensions, and see how these lead naturally to the notion of Segal spaces.

Last week in the Kinderseminar I talked about a rough estimate on volumes of certain hyperbolic 3-manifolds. This time I will describe a different approach for similar estimates (you will not need to remember that talk, don't worry!), which is, in some sense, complementary to that one, as it regards mapping tori. A theorem of Jeffrey Brock provides bounds for their volume in terms of how the monodromy map acts on the pants graph (a relative of the better known curve complex) of the base surface. I will describe the setting and the relevance of this result (in particular the one it has for me); hopefully, I will also tell you part of its proof.

A bit more than ten years ago, Peter Oszváth and Zoltán Szabó defined Heegaard-Floer homology, a gauge theory inspired invariant of three-manifolds that is designed to be more computable than its cousins, the Donaldson and Seiberg-Witten invariants for four-manifolds. This invariant is defined in terms of a Heegaard splitting of the three-manifold. In this talk I will show how Heegaard-Floer homology is defined (modulo the analysis that goes into it) and explain some of the directions in which people have taken this theory, such as knot theory and fitting Heegaard-Floer homology into the scheme of topological field theories.

Working together with the Blue Brain Project at the EPFL, I'm trying to develop new topological methods for neural modelling. As a mathematician, however, I'm really motivated by how these questions in neuroscience can inspire new mathematics. I will introduce new work that I am doing, together with Kathryn Hess and Ran Levi, on brain plasticity and learning processes, and discuss some of the topological and geometric features that are appearing in our investigations.

A group is said to be quasirandom if all its unitary representations have “large” dimension. After introducing quasirandom groups and their basic properties, I shall turn to recent applications in two directions: constructions of expanders and non-existence of large product-free sets.

It is an open question whether a group with a finite classifying space is hyperbolic or contains a Baumslag Solitar Subgroup. An idea of Gromov was to use aperiodic tilings of the plane to try and disprove this conjecture. I will be looking at some of the attempts to find a counterexample.

I will talk about random walks on groups and define the Poisson boundary of such. Studying it gives criteria for amenability or growth. I will outline how this can be used and describe recent related results and still open questions.

This talk consists of three parts. As a motivation, we are first going to introduce von Neumann algebras associated with discrete groups and briefly describe their interplay with measurable group theory. Next, we are going to consider group von Neumann algebras of general locally compact groups and highlight crucial differences between the discrete and the non-discrete case. Finally, we present some recent results on group von Neumann algebras associated with certain locally compact HNN-extensions.

In this talk I will describe an attempt to construct a conformal field theory with target space a symmetric product of $R^D$ (referred to by physicists as orbifold sigma model). The construction uses branched covers of $S^2$ to lift the well studied formulation of a sigma model on $S^2$, in terms of vertex operator algebras, to higher genus surfaces. I will motivate and explain this construction.

Group actions play an important role in both topological problems and coarse geometric conjectures. I will introduce the idea of a partial action of a group on a metric space and explain, in the case of certain classes of coarsely disconnected spaces, how partial actions can be used to give a geometric proof of a result of Willett and Yu concerning the coarse Baum-Connes conjecture.

The integers (while wonderful in many others respects) do not make for fascinating Geometric Group Theory. They are, however, essentially the only infinite finitely generated group which is both hyperbolic and amenable. In the class of locally compact topological groups, the intersection of these two notions is richer, and the major aim of this talk will be to give the structure of a classification of such groups due to Caprace-de Cornulier-Monod-Tessera, beginning with Milnor's proof that any connected Lie group admitting a left-invariant negatively curved Riemannian metric is necessarily soluble.

To continue the day's questions of how complex groups can be I will be looking about some decision problems. I will prove that certain properties of finitely presented groups are undecidable. These properties are called Markov properties and include many nice properties one may want a group to have. I will also hopefully go into an algorithm of Whitehead on deciding if a set of n words generates F_n.

I will outline Bergeron-Wise’s proof that the Virtual Haken Conjecture follows from Wise’s Conjecture on virtual specialness of non-positively curved cube complexes. If time permits, I will sketch some highlights from the proof of Wise’s Conjecture due to Agol and based on the Weak Separation Theorem of Agol-Groves-Manning.

Self-similarity is a fundamental idea in many areas of mathematics. In this talk I will explain how it has entered group theory and the links between self-similar groups and other areas of research. There will also be pretty pictures.

First of all, I will give an overview of what the phenomenon of homological stability is and why it's useful, with plenty of examples. I will then introduce configuration spaces -- of various different kinds -- and give an overview of what is known about their homological stability properties. A "configuration" here can be more than just a finite collection of points in a background space: in particular, the points may be equipped with a certain non-local structure (an "orientation"), or one can consider unlinked embedded copies of a fixed manifold instead of just points. If by some miracle time permits, I may also say something about homological stability with local coefficients, in general and in particular for configuration spaces.

The theory of equations over groups goes back to the very beginning of group theory and is linked to many deep problems in mathematics, such as the Diophantine problem over rationals. In this talk, we shall survey some of the key results on equations over groups, give an outline of the Makanin-Razborov process (an algorithm for solving equations over free groups) and its connections to other results in group theory and low-dimensional topology.

We will discuss (very) recent work by Hensel; Przytycki and Webb, who describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces.

The eponymous result is due to Bridson and Vogtmann, and was proven in their paper "Automorphisms of Automorphism Groups of Free Groups" (Journal of Algebra 229). While I'll remind you all the basic definitions, it would be very helpful to be already somewhat familiar with the outer space.

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.