Past Junior Topology and Group Theory Seminar

A well-known conjecture of Ivanov states that mapping class groups of surfaces with genus at least 3 virtually do not surject onto the integers. Putman and Wieland reformulated this conjecture in terms of higher Prym representations of finite-index subgroups of mapping class groups. We show that the Putman-Wieland conjecture holds for geometrically uniform subgroups. Along the way we construct a cover S of the genus 2 surface such that the lifts of simple closed curves do not generate the rational homology of S. This is joint work with Markovic.

We say that a graph G is Local-to-Global rigid if there exists R>0 such that every other graph whose balls of radius R are isometric to the balls of radius R in G is covered by G. Examples include the Euclidean building of PSLn(Qp). We show that the rigidity of the building goes further by proving that a reconstruction is possible from only a partial local information, called “print”. We use this to prove the rigidity of graphs quasi-isometric to the building among which are the torsion-free lattices of PSLn(Qp).

Group theoretic Dehn filling, motivated by Dehn filling in the theory of 3- manifolds, is a process of constructing quotients of a given group. This technique is usually applied to groups with certain negative curvature feature, for example word-hyperbolic groups, to construct exotic and useful examples of groups. In this talk, I will start by recalling the notion of word-hyperbolic groups, and then show that how group theoretic Dehn filling can be used to answer the Burnside Problem and questions about mapping class groups of surfaces.

A big mapping class group is the mapping class group (MCG) of a surface of infinite type. Although several aspects of big MCGs remain mysterious, their geometric definition allows some simple, interesting arguments. In this talk, we will use big MCGs as an excuse to survey some (more or less) classical results in geometric group theory: we will present a quick introduction to infinite type surfaces, highlight differences between standard and large MCGs, and use Higman’s embedding theorem to deduce that there exists a big MCG that contains every finitely presented group as a subgroup.

Given a group G acting on a CAT(0) polygonal complex, X, it is natural to ask whether the structure of X allows us to deduce properties of G. We discuss some recent work on local properties that X may possess which allow us to answer these questions - in many cases we can in fact deduce that the group is a linear group over Z.

Orbifolds are a generalisation of manifolds which allow group actions to enter the picture. The most basic examples of orbifolds are quotients of manifolds by (non-free) finite group actions.
I will give an introduction to orbifolds, recalling a number of philosophically different but mathematically equivalent definitions. For starters, I will try to convince you that "a space locally modelled on a quotient of R^n by a finite group" is misleading. I will draw many pictures of orbifolds, make the connection to complexes of groups, and explain the definition of a map of orbifolds. In the process, I hope to demystify the definition of the orbifold fundamental group, the orbifold Euler characteristic and orbifold cohomology.

In this talk, I will discuss the important Grothendieck conjecture which originated Grothendieck-Teichmuller Theory, a bridge between Topology and Number Theory. On the geometric side, there is the study of automorphisms of mapping class groups that satisfy compatibility conditions with respect to subsurface inclusions. On the other side, there is the study of the absolute Galois group of the rationals, one of the most important objects in Number Theory today.
In my talk, I will introduce these objects and discuss the recent progress that has been made in understanding such automorphisms of mapping class groups. No background in Number Theory or Galois Theory is required.

Finiteness properties of groups provide various generalisations of the properties "finitely generated" and "finitely presented." We will define different types of finiteness properties and discuss Bestvina-Brady groups as they provide examples of groups with interesting combinations of finiteness properties.

Button observed that finitely generated linear groups containing no nontrivial unipotent matrices behave much like groups admitting proper actions by semisimple isometries on complete CAT(0) spaces. It turns out that any finitely generated linear group possesses an action on such a space whose restrictions to unipotent-free subgroups are in some sense tame. We discuss this phenomenon and some of its implications for the representation theory of certain 3-manifold groups.

Given an arbitrary group presentation, often very little can be deduced about the underlying group. It is thus something of a miracle that many properties of one-relator groups can be simply read-off from the defining relator. In this talk, I will discuss some of the classical results in the theory of one-relator groups, as well as the key trick used in many of their proofs. Time-permitting, I'll also discuss more recent work on this subject, including some open problems.

We introduce the notion of systolic complexes and give conditions on presentations to construct such complexes using Cayley graphs.

We consider Garside groups to find examples of groups admitting such a presentation.
 

The goal of this talk is to present some elementary examples of fusion 2-categories whilst doing as little higher category theory as possible. More precisely, it turns out that up to a canonical completion operation, certain higher fusion categories are entirely described by their maximal subspaces. I will briefly motivate this completion operation in the 1-categorical case, and go on to explain why working with spaces is good enough in this particular case. Then, we will review some fact about $E_n$-algebras, and why they come into the picture. Finally, we will have a look at some small examples arising from finite groups.

Line patterns in free groups are collections of lines in the Cayley graph of a non-abelian free group F, which correspond to finite sets of words in F. Following Cashen and Macura, we will discuss line patterns by looking at the topology of Decomposition Spaces, which are quotients of the boundary of F that correspond to the different line patterns. Given a line pattern, we will also construct a cube complex whose isometry group is isomorphic to the group of quasi isometries of F which (coarsely) preserve the line pattern. This is a useful tool for studying the quasi isometric rigidity of related groups.

For a group G and a finite dimensional linear representation σ : G → GLn(D) over a skew field (division ring) D, the agrarian invariants with respect to σ are the homological invariants of G with coefficient module Dn. In this talk I will discuss the relationship between agrarian invariants, L 2 -invariants, Thurston norm and twisted Alexander polynomials. I will also discuss an ongoing work with Dawid Kielak.

The conformal dimension of a hyperbolic group is a powerful numeric quasi-isometry invariant associated to its boundary.

As an invariant it is finer than the topological dimension and allows us to distinguish between groups with homeomorphic boundaries.

I will start by talking about what conformal geometry even is, before discussing how this connects to studying the boundaries of hyperbolic groups.

I will probably end by saying how jolly hard it is to compute.

In this talk I will introduce the study of lattices in locally compact groups through their actions CAT(0) spaces. This is an extremely rich class of groups including S-arithmetic groups acting on products of symmetric spaces and buildings, right angled Artin and Coxeter groups acting on polyhedral complexes, Burger-Mozes simple groups acting on products of trees, and the recent CAT(0) but non biautomatic groups of Leary and Minasyan. If time permits I will discuss some of my recent work related to the Leary-Minasyan groups.

The graph complex is a remarkable object with very rich structure and many, sometimes mysterious, connections to topology. To illustrate one such connection, I will attempt to construct a “self-linking” invariant of knots and expand on the ideas behind it.

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.