Past Junior Topology and Group Theory Seminar

Deciding whether or not two elements of a group are conjugate might seem like a trivial problem. However, there exist finitely presented groups where this problem is undecidable: there is no algorithm to output yes or no for any two elements chosen. In this talk Houghton groups (a family of groups all having solvable conjugacy problem) will be introduced as will the idea of twisted conjugacy: a generalisation of the conjugacy problem where an automorphism is also given. This will be our main tool in answering whether finite extensions and finite index subgroups of any Houghton group have solvable conjugacy problem.

We saw earlier that a subquadratic isoperimetric inequality implies a linear one. I will give examples of groups, due to Brady and Bridson, which prove that this is the only gap in the isoperimetric spectrum. 

In 1983 Kerckhoff settled a long standing conjecture by Nielsen proving that every finite subgroup of the mapping class group of a compact surface can be realized as a group of diffeomorphisms. An important consequence of this theorem is that one can now try to study subgroups of the mapping class group taking the quotient of the surface by these groups of diffeomorphisms. In this talk we will study quotients of surfaces under the action of a finite group to find bounds on the cardinality of such a group.

The Dehn function of a group measures the complexity of the group's word problem, being the upper bound on the number of relations from a group presentation required to prove that a word in the generators represents the identity element. The Filling Theorem which was first stated by Gromov connects this to the isoperimetric functions of Riemannian manifolds. In this talk, we will see the classification of hyperbolic groups as those with a linear Dehn function, and give Bowditch's proof that a subquadratic isoperimetric inequality implies a linear one (which gives the only gap in the "isoperimetric spectrum" of exponents of polynomial Dehn functions).

We will give an outline of the proof by Kahn and Markovic who showed that a closed hyperbolic 3-manifold $\textbf{M}$ contains a closed $\pi_1$-injective surface. This is done using exponential mixing to find many pairs of pants in $\textbf{M}$, which can then be glued together to form a suitable surface. This answers a long standing conjecture of Waldhausen and is a key ingredient in the proof of the Virtual Haken Theorem.

Dinits, Karzanov and Lomonosov showed that the minimal edge cuts of a finite graph have the structure of a cactus, a tree-like graph constructed from cycles. Evangelidou and Papasoglu extended this to minimal cuts separating the ends of an infinite graph. In this talk we will discuss a similar structure theorem for minimal vertex cuts separating the ends of a graph; these can be encoded by a succulent, a mild generalization of a cactus that is still tree-like.

After motivating why we would like to find examples of simple totally disconnected locally compact groups, I will describe a construction due to Banks, Elder and Willis which yields infinitely many such examples when given certain groups acting on a tree.

I shall outline a general method for finding upper bounds on the diameters of finite groups, based on the Solovay-Kitaev procedure from quantum computation. This method may be fruitfully applied to groups arising as quotients of many familiar pro-p groups. Time permitting, I will indicate a connection with weak spectral gap, and give some applications.

Waldhausen defined higher K-groups for categories with certain extra structure. In this talk I will define categories with cofibrations and weak equivalences, outline Waldhausen's construction of the associated K-Theory space, mention a few important theorems and give some examples. If time permits I will discuss the infinite loop space structure on the K-Theory space.

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.