Past Junior Topology and Group Theory Seminar

In the world of finitely generated groups, presentations are a blessing and a curse. They are versatile and compact, but in general tell you very little about the group. Tietze transformations offer much (but deliver little) in terms of understanding the possible presentations of a group. I will introduce a different way of transforming presentations of a group called a Nielsen transformation, and show how topological methods can be used to study Nielsen transformations.

Since its introduction in 1978 the curve complex has become one of the most important objects to study surfaces and their homeomorphisms. The curve complex is defined only using data about curves and their disjointness: a stunning feature of it is the fact that this information is enough to give it a rigid structure, that is every symplicial automorphism is induced topologically. Ivanov conjectured that this rigidity is a feature of most objects naturally associated to surfaces, if their structure is rich enough.

During the talk we will introduce the curve complex, then we will focus on its rigidity, giving a sketch of the topological constructions behind the proof. At last we will talk about generalisations of the curve complex, and highlight some rigidity results which are clues that Ivanov's Metaconjecture, even if it is more of a philosophical statement than a mathematical one, could be "true".

A 3-manifold fibers over the circle if it can be identified with the mapping torus of a surface homeomorphism. If the surface is compact with non-empty boundary then the corresponding 3-manifold group is free-by-cyclic, and the action of the cyclic group on the free group is induced by the surface homeomorphism. Although most free-by-cyclic groups do not arise as fundamental groups of 3-manifolds which fiber over the circle, there is a strong analogy between the two families.

In this talk I will discuss how dynamical properties of the monodromy affect the geometry/algebra of the corresponding mapping torus. We will see how the same 3-manifold or group can admit multiple fiberings and what properties of the monodromy are known to be preserved under different fiberings.

This talk will be an introduction to L^2 homology, which is roughly "square-summable" homology. We begin by defining the L^2 homology of a G-CW complex (a CW complex with a cellular G-action), and we will discuss some applications of these invariants to group theory and topology. We will then focus on a criterion of Wise, which proves the vanishing of the 2nd L^2 Betti number in combinatorial CW-complexes with elementary methods. If time permits, we will also introduce Wise's energy criterion.
 

We will discuss a generalisation of hyperbolic groups, from the group actions point of view. By studying torsion, we will see how this can help to answer questions about ordinary hyperbolic groups.

The asymptotic cone of a metric space X is what you see when you "look at X from infinitely far away". The asymptotic cone therefore captures much of the large scale geometry of the metric space. Furthermore, the construction often produces a smooth space from a discrete one, allowing us to apply the techniques of calculus. Notably, Gromov used asymptotic cones in his proof that finitely generated groups of polynomial growth are virtually nilpotent.

In the talk I will define asymptotic cones using the language of ultrafilters and ultralimits. We will then look at the particular cases of asymptotic cones of virtually nilpotent groups and hyperbolic metric spaces. At the end, we will prove a result of Gromov which relates the fundamental group of the asymptotic cone to the filling order of the underlying metric space.

A major tool used to understand manifolds is understanding how different measures of complexity relate to one another. One particularly combinatorial measure of the complexity of a 3-manifold M is the minimal number of tetrahedra in a simplicial complex homeomorphic to M, called the triangulation complexity of M. A natural question is whether we can relate this with more geometric measures of the complexity of a manifold, especially understanding these relationships as combinatorial complexity grows.

In the case when the manifold fibres over the circle, a recent theorem of Marc Lackenby and Jessica Purcell gives both an upper and lower bound on the triangulation complexity in terms of a geometric invariant of the gluing map (its translation length in the triangulation graph). We will discuss this result as well as a new result concerning what happens when we alter the gluing map by a Dehn twist.

One of the main characterisations of word-hyperbolic groups is that they are the groups with a linear isoperimetric function. That is, for a compact 2-complex X, the hyperbolicity of its fundamental group is equivalent to the existence of a linear isoperimetric function for disc diagrams D -->X.
It is likewise known that hyperbolic groups have a linear annular isoperimetric function and a linear homological isoperimetric function. I will talk about these isoperimetric functions, and about a (previously unexplored)  generalisation to all homotopy types of surface diagrams. This is joint work with Dani Wise.

 An important property of a Gromov hyperbolic space is that every path that is locally a quasi-geodesic is globally a quasi-geodesic. A theorem of Gromov states that this is a characterization of hyperbolicity, which means that all the properties of hyperbolic spaces and groups can be traced back to this simple fact. In this talk we generalize this property by considering only Morse quasi-geodesics.

We show that not only does this allow us to consider a much larger class of examples, such as CAT(0) spaces, hierarchically hyperbolic spaces and fundamental groups of 3-manifolds, but also we can effortlessly generalize several results from the theory of hyperbolic groups that were previously unknown in this generality.
 

Veering triangulations are a special class of ideal triangulations with a rather mysterious combinatorial definition. Their importance follows from a deep connection with pseudo-Anosov flows on 3-manifolds. Recently Landry, Minsky and Taylor introduced a polynomial invariant of veering triangulations called the taut polynomial. It is a generalisation of an older invariant, the Teichmüller polynomial, defined by McMullen in 2002.

The aim of my talk is to demonstrate that veering triangulations provide a convenient setup for computations. More precisely, I will use fairly easy arguments to obtain a fairly strong statement which generalises the results of McMullen relating the Teichmüller polynomial to the Alexander polynomial.

I will not assume any prior knowledge on the Alexander polynomial, the Teichmüller polynomial or veering triangulations.

I will introduce left-orderable groups and discuss constructions and examples of such groups. I will then motivate studying left-orders under the framework of formal languages and discuss some recent results.

Leighton's Theorem states that if two finite graphs have a common universal cover then they have a common finite cover. I will explore various ways in which this result can and can't be extended.

I will discuss the notion of invariably generated groups, its importance, and some intuition. I will then present a construction of an invariably generated group that admits an index two subgroup that is not invariably generated. The construction answers questions of Wiegold and of Kantor-Lubotzky-Shalev. This is a joint work with Nir Lazarovich.

'Quasi-isometric rigidity' in group theory is the slogan for questions of the following nature: let A be some class of groups (e.g. finitely presented groups). Suppose an abstract group H is quasi-isometric to a group in A: does it imply that H is in A? Such statements link the coarse geometry of a group with its algebraic structure. 

Much is known in the case A is some class of lattices in a given Lie group. I will present classical results and outline ideas in their proofs, emphasizing the geometric nature of the proofs. I will focus on one key ingredient, the quasi-flat rigidity, and discuss some geometric objects that come into play, such as neutered spaces, asymptotic cones and buildings. I will end the talk with recent developments and possible generalizations of these results and ideas.

Primitive elements are elements that are part of a basis for a free group. We present the classical Whitehead algorithm for the recognition of such elements, and discuss the ideas behind the proof. We also present a second algorithm, more recent and completely different in the approach.

I will explain what it means for a manifold to have an affine structure and give an introduction to Benzecri's theorem stating that a closed surface admits an affine structure if and only if its Euler characteristic vanishes. I will also talk about an algebraic-topological generalization, due to Milnor and Wood, that bounds the Euler class of a flat circle bundle. No prior familiarity with the concepts is necessary.

Motivation for the study of fusion categories is twofold: Fusion categories arise in wide array of mathematical subjects, and provide the necessary input for some fascinating topological constructions. We will carefully define what fusion categories are, and give representation theoretic examples. Then, we will explain how fusion categories are inherently finite combinatorial objects. We proceed to construct an example that does not come from group theory. Time permitting, we will go some way towards introducing so-called modular tensor categories.

Much progress in the study of 3-manifolds has been made by considering the geometric structures they admit. This is nowhere more true than for 3-manifolds which admit a hyperbolic structure. However, in the land of algorithms a more combinatorial approach is necessary, replacing our charts and isometries with finite simplicial complexes that are defined by a finite amount of data. 

In this talk we'll have a look at how in fact one can combine the two approaches, using the geometry of hyperbolic 3-manifolds to assist in this more combinatorial approach. To do so we'll combine tools from Hyperbolic Geometry, Triangulations, and perhaps suprisingly Polynomial Algebra to find explicit bounds on the runtime of an algorithm for comparing Hyperbolic manifolds.

The mapping class group of a surface with boundary acts freely and properly discontinuously on the fatgraph complex, which is a contractible cell complex arising from a cell decomposition of Teichmuller space. We will use this action to get a presentation of the mapping class group in terms of fat graphs, and convert this into one in terms of chord diagrams. This chord slide presentation has potential applications to computing bordered Heegaard Floer invariants for open books with disconnected binding.

Let X_1 and X_2 be finite graphs with isomorphic universal covers.

Leighton's graph covering theorem states that X_1 and X_2 have a common finite cover.

I will discuss recent work generalizing this theorem and how myself and Sam Shepherd have been applying it to rigidity questions in geometric group theory.

Gromov hyperbolicity is a property to metric spaces that generalises the notion of negative curvature for manifolds.
After an introduction about these spaces, we will explain the construction of horocyclic products related to lamplighter groups, Baumslag solitar groups and the Sol geometry.
We will describe the shape of geodesics in them, and present rigidity results on their quasi-isometries due to Farb, Mosher, Eskin, Fisher and Whyte.

 Let phi be an outer automorphism of a free group. A topological representative of phi is a marked graph G along with a homotopy equivalence f: G → G which induces the outer automorphism phi on the fundamental group of G. For any given outer automorphism, the choice of topological representative is far from unique. Handel and Bestvina showed that sufficiently nice automorphisms admit a special type of topological representative called a train track map, whose dynamics can be well understood. 
In this talk I will outline the definition and motivation for train tracks, and give a sketch of Handel and Bestvina’s algorithm for finding them.
 

Limit groups are a powerful tool in the study of free and hyperbolic groups (and even broader classes of groups). I will define limit groups in various ways: algebraic, logical and topological, and draw connections between the different definitions. We will also see how one can equip a limit group with an action on a real tree, and analyze this action using the Rips machine, a generalization of Bass-Serre theory to real trees. As a conclusion, we will obtain that hyperbolic groups whose outer automorphism group is infinite, split non-trivially as graphs of groups.

On any hyperbolic surface, the number of curves of length at most L is finite. However, it is not immediately clear how quickly this number grows with L. We will discuss Mirzakhani’s breakthrough result regarding the asymptotic behaviour of this number, along with recent efforts to generalise her result using currents.

Right-angled Artin groups (RAAGs) were first introduced in the 70s by Baudisch and further developed in the 80s by Droms.
They have attracted much attention in Geometric Group Theory. One of the many reasons is that it has been shown that all hyperbolic 3-manifold groups are virtually finitely presented subgroups of RAAGs.
In the first part of the talk, I will discuss some of their interesting properties. I will explain some of their relations with manifold groups and their importance in finiteness conditions for groups.
In the second part, I will focus on my PhD project concerning subgroups of direct products of RAAGs.

The automorphism group of a d-regular tree is a topological group with many interesting features. A nice thing about this group is that while some of its features are highly non-trivial (e.g., the existence of infinitely many pairwise non-conjugate simple subgroups), often the ideas involved in the proofs are fairly intuitive and geometric. 
I will present a proof for the fact that the outer automorphism group of (Aut(T)) is trivial. This is original joint work with Gil Goffer, but as is often the case in this area, was already proven by Bass-Lubotzky 20 years ago. I will mainly use this talk to hint at how algebra, topology and geometry all play a role when working with Aut(T).
 

Whitehead published two papers in 1936 on free groups. Both concerned decision problems for equivalence of (sets of) elements under automorphisms. The first focused on primitive elements (those that appear in some basis), the second looked at arbitrary sets of elements. While both of the resulting algorithms are combinatorial, Whitehead's proofs that these algorithms actually work involve some nice manipulation of surfaces in 3-manifolds. We will have a look at how this works for primitive elements. I'll outline some generalizations due to Culler-Vogtmann, Gertsen, and Stallings, and if we have time talk about how it fits in with some of my current work.

Knotoids are a generalisation of knots that deals with open curves. In the past few years, they’ve been extensively used to classify entanglement in proteins. Through a double branched cover construction, we prove a 1-1 correspondence between knotoids and strongly invertible knots. We characterise forbidden moves between knotoids in terms of equivariant band attachments between strongly invertible knots, and in terms of crossing changes between theta-curves. Finally, we present some applications to the study of the topology of proteins. This is based on joint works with D.Buck, H.A.Harrington, M.Lackenby and with D. Goundaroulis.

A group splits as an HNN-extension if and only if the rank of its abelianisation is strictly positive. If we fix a class of groups one may ask a few questions about these splittings: How distorted are the vertex and edge groups? What form can the vertex and edge groups take? If they remain in our fixed class, do they also split? If so, under iteration will we terminate at something nice? In this talk we will answer all these questions for the class of one-relator groups and go through an example or two. Time permitting, we will also discuss possible generalisations to groups with staggered presentations.

An important property of Gromov hyperbolic spaces is the fact that every path for which all sufficiently long subpaths are quasi-geodesics is itself a quasi-geodesic. Gromov showed that this property is actually a characterization of hyperbolic spaces. In this talk, we will consider a weakened version of this local-to-global behaviour, called the Morse local-to-global property. The class of spaces that satisfy the Morse local-to-global property include several examples of interest, such as CAT(0) spaces, Mapping Class Groups, fundamental groups of closed 3-manifolds and more. The leverage offered by knowing that a space satisfies this property allows us to import several results and techniques from the theory of hyperbolic groups. In particular, we obtain results relating to stable subgroups, normal subgroups and algorithmic properties.

We will discuss what it means to study the homology of a group via the construction of the classifying space. We will look at some examples of this construction and some of its main properties. We then use this to define and study the homology of the mapping class group of oriented surfaces, focusing on the approach used by Harer to prove his Homology Stability Theorem.

When Gromov defined non-positively curved cube complexes no one knew what they would be useful for.
Decades latex they played a key role in the resolution of the Virtual Haken conjecture.
In one of the early forays into experimenting with cube complexes, Aitchison, Matsumoto, and Rubinstein produced some nice results about certain "cubed" manifolds, that in retrospect look very prescient.
I will define non-positively curved cube complexes, what it means for a 3-manifold to be cubed, and discuss what all this Haken business is about.
 

A graph of groups decomposition is a way of splitting a group into smaller and hopefully simpler groups. A natural thing to try and do is to keep splitting until you can't split anymore, and then argue that this decomposition is unique. This is the idea behind JSJ decompositions, although, as we shall see, the strength of the uniqueness statement for such a decomposition varies depending on the class of groups that we restrict our edge groups to

We will answer the following question: given a finite simplicial complex X acted on by a finite group G, which object stores the minimal amount of information about the symmetries of X in such a way that we can reconstruct both X and the group action? The natural first guess would be the quotient X/G, which remembers one representative from each orbit. However, it does not tell us the size of each orbit or how to glue together simplices to recover X. Our desired object is, in fact, a complex of groups. We will understand two processes: compression and reconstruction and see primarily through an example how to answer our initial question.

The mapping class group of a surface is a group of homeomorphisms of that surface, and these groups have been very well studied in the last 50 years. The talk will be focused on a way to understand such a group by looking at the subsurfaces of the corresponding surface; this is the so-called "Masur-Minsky hierarchy machinery". We'll finish with a non-technical discussion of hierarchically hyperbolic groups, which are a popular area of current research, and of which mapping class groups are important motivating examples. No prior knowledge of the objects involved will be assumed.

Every Cayley graph of a finitely generated group has some basic properties: they are locally finite, connected, and vertex-transitive. These are not sufficient conditions, there are some well known examples of graphs that have all these properties but are non-Cayley. These examples do however "look like" Cayley graphs, which leads to the natural question of if there exist any vertex-transitive graphs that are completely unlike any Cayley graph. I plan to give some of the history of this question, as well as the construction of the example that finally answered it.

Simplicial volume was first introduced by Gromov to study the minimal volume of manifolds. Since then it has emerged as an active research field with a wide range of applications. 

I will give an introduction to simplicial volume and describe a recent result with Clara Löh (University of Regensburg), showing that the set of simplicial volumes in higher dimensions is dense in $R^+$.

I will present a survey of commonly considered notions of negative curvature for groups, focused on generalising properties of Gromov hyperbolic groups.

Property (FA) is one of the `rigidity properties’ defined for groups, concerning the way a group can act on trees. We’ll take a look at why you might be interested in an action on a tree, what the property is, and then investigate which automorphism groups of free products have it.

Leighton's Theorem states that if two finite graphs have a common universal cover then they have a common finite cover. I will present a new proof of this using groupoids, and then talk about two generalisations of the theorem that can also be tackled with this groupoid approach: one gives us control over the local structure of the common finite cover, and the other deals with graphs of spaces.

The last decade or so has seen substantial progress in the theory of (outer) automorphism groups of right-angled Artin groups (RAAGs), spearheaded by work of Charney and Vogtmann. Many of the techniques used for RAAGs also apply to a wider class of groups, graph products of finitely generated abelian groups, which includes right-angled Coxeter groups (RACGs). In this talk, I will give an introduction to automorphism groups of such graph products, and describe recent developments surrounding the outer automorphism groups of RACGs, explaining the links to what we know in the RAAG case.

It is often fruitful to study an infinite discrete group via its finite quotients.  For this reason, conditions that guarantee many finite quotients can be useful.  One such notion is residual finiteness.
A group is residually finite if for any non-identity element g there is a homomorphism onto a finite group, which doesn’t map g to e. I will mention how this relates to topology, present an argument why the surface groups are residually finite and I’ll show that in this case it is enough to consider homomorphisms onto alternating groups.

The discrete fundamental groups of a metric space can be thought of as fundamental groups that `ignore' closed loops up to some specified size R. As the parameter R grows, these groups have been used to produce interesting invariants of coarse geometry. On the other hand, as R gets smaller one would expect to retrieve the usual fundamental group as a limit. In this talk I will try to briefly illustrate both these aspects.

The Poincare Conjecture was first formulated over a century ago and states that there is only one closed simply connected 3-manifold, hinting at a link between 3-manifolds and their fundamental groups. This seemingly basic fact went unproven until the early 2000s when Perelman proved Thurston's much more powerful Geometrisation Conjecture, providing us with a powerful structure theorem for understanding all closed 3-manifolds.
In this talk I will introduce the results developed throughout the 20th century that lead to Thurston and Perelman's work. Then, using Geometrisation as a black box, I will present a proof of the Poincare Conjecture. Throughout we shall follow the crucial role that the fundamental group plays and hopefully demonstrate the geometric and group theoretical nature of much of the modern study of 3-manifolds.
As the title suggests, no prior understanding of 3-manifolds will be expected.
 

Buildings are geometric objects, originally introduced by Tits to study Lie groups that act on their corresponding building. Apart from their significance for Lie groups, buidings and their automorphism groups are a rich source of examples for groups with interesting properties (for example, it is a result of Caprace that some buildings admit an automorphism group which is compactly generated, abstractly simple and locally compact). Right Angled Buildings (RABs) are a specific kind of building whose geometry can be well understood as it resembles the geometry of a tree. This allows one to generalise ideas like the Burger-Mozes universal groups to the setting of RABs.
I plan to give an introduction to RABs. As a complete formal introduction to buildings would take more than an hour, I will instead present various illustrative examples to give you an idea of what you should have in mind when you think of a (right-angled) building. I will be as formal as I can in presenting the basic features of buildings - Coxeter complexes, chambers, apartments, retractions and residues.  In the remaining time I will say as much as I can about the geometry of RABs, and explain how to use this geometry to derive a structure theorem for the automorphism group of a RAB, towards a definition of Burger-Mozes universal groups for RABs.
 

Let $G$ be a group which splits as $G = F_n * G_1 *...*G_k$, where every $G_i$ is freely indecomposable and not isomorphic to the group of integers.  Guirardel and Levitt generalised the Culler- Vogtmann Outer space of a free group by introducing an Outer space for $G$ as above, on which $\text{Out}(G)$ acts by isometries. Francaviglia and Martino introduced the Lipschitz metric for the Culler- Vogtmann space and later for the general Outer space. In a joint paper with Francaviglia and Martino, we prove that the group of isometries of the Outer space corresponding to $G$ , with respect to the Lipschitz metric, is exactly $\text{Out}(G)$. In this talk, we will describe the construction of the general Outer space and the corresponding Lipschitz metric in order to present the result about the isometries.

In geometric group theory we study groups by their actions on metric spaces. Although a given group might admit many actions on different metric spaces, on a large scale these spaces will all look similar, and so the large scale properties of a space on which a group acts are intrinsic to the group. One particularly natural example of a large scale property used in this way is the Gromov boundary of a hyperbolic metric space. This is a topological space that can be thought of as compactifying the metric space at infinity. 

In this talk I will describe some constructions of spaces occurring in this way with nasty, fractal-like properties. On the other hand, there are limits to how pathological these spaces can be: theorems of Bestvina and Mess, Bowditch and Swarup imply that boundaries of hyperbolic groups are locally path connected whenever they are connected. I will discuss these results and some generalisations.