Past Junior Topology and Group Theory Seminar

Given a group of type ${\rm FP}_n$, one may ask if this property also holds for its subgroups. The BNS invariant is a subset of the character sphere that fully captures this information for subgroups that are kernels of characters. It also provides an interesting connection of finiteness properties of subgroups and group homology. In this talk I am going to give an introduction to this problem and present an attempt to generalize the BNS invariant to more subgroups than just the kernels of characters.

In recent years, a tend of higher category theory is growing from multiple areas of research throughout mathematics, physics and theoretical computer science. Guided by Cobordism Hypothesis, I would like to introduce some basics of `higher representation theory’, i.e. the part of higher category theory where we focus on the fundamental objects: `finite dimensional’ linear n-categories. If time permits, I will also introduce some recent progress in linear higher categories and motivations from condensed matter physics.

Persistent homology is both a powerful framework for data science and a fruitful source of mathematical questions. Here, we will give an introduction to both single-parameter and multiparameter persistent homology. We will see some examples of how topology has been successfully applied to the real world, and also explore some of the pure-mathematical ideas that arise from this new perspective.

Separability is an algebraic property enjoyed by certain subsets of groups. In the world of non-positively curved groups, it has a not-too-well-understood link to geometric properties such as convexity. We explore this connection in the setting of relatively hyperbolic groups and discuss a recent joint work in this area involving products of quasiconvex subgroups.

We review a few instances in which the first $\ell^2$ Betti number of a group is a profinite invariant and we discuss some applications and open problems.

We survey the theory of $\ell^2$-invariants, their applications in group theory and topology, and introduce a positive characteristic version of $\ell^2$-theory. We also discuss the Atiyah and Lück approximation conjectures, two of the central problems in this area.

Profinite rigidity is essentially the study of which groups can be distinguished from each other by their finite quotients. This talk is meant to give a gentle introduction to the area - I will explain which questions are the right ones to ask and give an overview of some of the main results in the field. I will assume knowledge of what a group presentation is.

After a general introduction to the study of random walks on groups, we discuss the relationship between limit theorems for random walks on Lie groups and Diophantine properties of the underlying distribution. Indeed, we will discuss the classical abelian case and more recent results by Bourgain-Gamburd for compact simple Lie groups such as SO(3). If time permits, we discuss some new results for non-compact simple Lie groups such as SL_2(R). We hope to touch on the relevant methods from harmonic analysis, number theory and additive combinatorics. The talk is aimed at a general audience. 

A branched covering between two surfaces looks like a regular covering map except for finitely many branching points, where some non-trivial ramification may occur. Informally speaking, the existence problem asks whether we can find a branched covering with prescribed behaviour around its branching points.

A variety of techniques have historically been employed to tackle this problem, ranging from studying representations of surface groups into symmetric groups to drawing "dessins d'enfant" on the covering surface. After introducing these techniques and explaining how they can be applied to the existence problem, I will briefly present a conjecture unexpectedly relating branched coverings and prime numbers.
 

This will be a gentle introduction to the theory of pseudo-Anosov  flows on 3-manifolds, as seen from the perspective of a topologist and not a dynamicist.

I will start by considering geodesic flows on the unit tangent bundles of hyperbolic surfaces. This will lead to a definition of an Anosov and then a pseudo-Anosov flow on a 3-manifold. After discussing a couple of examples, I will outline some connections between pseudo-Anosov flows and other aspects of 3-manifold topology/ geometry/ group theory.

We will give a fairly self contained introduction to acylindrically hyperbolic groups, using mapping class groups as a motivating example. This will be a mainly expository talk, the aim is to make my topology seminar talk in week 5 more accessible to people who are less familiar with these topics.

The question of when you can quasiisometrically embed a solvable Baumslag-Solitar group into another turns out to be equivalent to the question of when you can (1,A)-quasiisometrically embed a rooted tree into another rooted tree. We will briefly describe the geometry of the solvable Baumslag-Solitar groups before attacking the problem of embedding trees. We will find that the existence of (1,A)-quasiisometric embeddings between trees is intimately related to the boundedness of a family of integer sequences. 

Knot projections for knots in the 3-sphere allow us to easily describe knots, compute invariants, enumerate all knots, manipulate them under Reidemister moves and feed them into a computer. One might hope for a similar representation of knots in general 3-manifolds. We will survey properties of knots in general 3-manifolds and discuss a proposed diagram-esque representation of them.

Amenable actions are answering the question: "When can we prevent things like the Banach-Tarski Paradox happening?". It turns out that the most intuitive measure-theoretic sufficient condition is also necessary. We will briefly discuss the paradox, prove the equivalent conditions for amenability, give some ways of producing interesting examples of amenable groups and talk about amenable groups which can't be produced in these 'elementary' ways.

Teaser question: show that you can't decompose Z into finitely many pieces, which after rearrangement by translations make two copies of Z. (I.e. that you can't get the Banach-Tarski paradox on Z.)

The Gromov boundary of a hyperbolic group is a useful topological invariant, the properties of which can encode all sorts of algebraic information. It has found application to some algorithmic questions, such as finding finite splittings (Dahmani-Groves) and, more recently, computing JSJ-decompositions (Barrett). In this talk we will introduce the boundary of a hyperbolic group. We'll outline how one can approximate the boundary with "large spheres" in the Cayley graph, in order to search for topological features. Finally, we will also discuss how this idea is applied in the aforementioned results. 

We will record some surprising and lesser-known properties of free groups, and use these to give a model theoretic analysis of free group automorphisms and orbits under Aut(F). This will result in a neat geometric description of (a logic-flavoured analogue of) algebraic closures in a free group. An almost immediate corollary will be that elementary subgroups of a free group are free factors.

I will assume no familiarity with first-order logic and model theory - the beginning of the talk will be devoted to familiarize everyone with the few required notions.

The aim is introducing the Bieri-Neumann-Strebel invariants and showing some computations. These are geometric invariants of abstract groups that capture information about the finite generation of kernels of abelian quotients.

The Teichmüller space for a closed surface of genus g is the space of marked complex/hyperbolic structures on the surface. Teichmüller space also identifies with the space of Fuchsian representations of the fundamental group into PSL(2,R) (mod conjugation). Higher Teichmüller theory concerns special representations of surface (or hyperbolic) groups into higher rank Lie groups of non-compact type.

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.