Past Junior Topology and Group Theory Seminar

The BNSR Invariant is a classical geometric invariant that encodes the finite generation of all coabelian subgroups of a given finitely generated group. The aim of this talk is to present a conjecture about the structure of the BNSR invariant of an Artin group and to present a new family in which the conjecture is true in terms of graph colorings.

We introduce ultrasolid modules, a variant of complete topological vector spaces. In this setting, we will prove some results in commutative algebra and apply them to the deformation of algebraic varieties in the language of derived algebraic geometry.

A classical approach to studying the topology of a manifold is through the analysis of its submanifolds. The realm of 3-manifolds is particularly rich and diverse, and we aim to explore the complexity of surfaces within a given 3-manifold. After reviewing the fundamental definitions of the Thurston norm, we will present a constructive method for computing it on Seifert fibered manifolds and extend this approach to graph manifolds. Finally, we will outline which norms can be realized as the Thurston norm of some graph manifold and examine their key properties.

The hyperbolic plane and its higher-dimensional analogues are well-known
objects. They belong to a larger class of spaces, called rank-one
symmetric spaces, which include not only the hyperbolic spaces but also
their complex and quaternionic counterparts, and the octonionic
hyperbolic plane. By a result of Pansu, two of these families exhibit
strong rigidity properties with respect to their self-quasiisometries:
any self-quasiisometry of a quaternionic hyperbolic space or the
octonionic hyperbolic plane is at uniformly bounded distance from an
isometry. The goal of this talk is to give an overview of the rank-one
symmetric spaces and the tools used to prove Pansu's rigidity theorem,
such as the subRiemannian structure of their visual boundaries and the
analysis of quasiconformal maps.

Originally posed in the 1950s, the Hadwiger-Nelson problem interrogates the ‘chromatic number of the plane’ via an infinite unit-distance graph. This question remains open today, known only to be 5,6, or 7. We may ask the same question of the hyperbolic plane; there the lack of homogeneous dilations leads to unique behaviour for each length scale d. This variance leads to other questions: is the d-chromatic number finite for all d>0? How does the d-chromatic number behave as d increases/decreases? In this talk, I will provide a summary of existing methods and results, before discussing improved bounds through the consideration of semi-regular tilings of the hyperbolic plane.

Congruence Subgroup Property is a characterisation of finite-index subgroups of automorphism groups. It first arose from the study of subgroups of linear groups. In this talk, I will show a few examples where it holds and where it fails, and give an overview of what is known about the family $SL_n\mathbb{Z}$, $Out(F_n)$, $MCG(\Sigma)$. Then I will describe some related results in the case of Mapping Class Groups, and explain their relation to profinite rigidity of 3-manifolds.

Donaldson proved that there are pairs of 4-manifolds that are homeomorphic but not diffeomorphic, a phenomenon that does not appear for any lower dimensional manifolds. Until recently, proving this for compact manifolds has required smooth 4-manifold invariants coming from gauge theory. In this talk, we will give an introduction to an exciting new smooth 4-manifold invariant of Morrison Walker and Wedich, called a skein lasagna module that does not rely on gauge theory. Further, this talk will not assume any knowledge of 4-manifold topology.

In this talk, I will introduce fusion categories as categorical versions of finite rings. We will discuss some examples which may already be familiar, like the category of representations of a finite group and the category of vector spaces graded over a finite group. Then, we will define Tambara-Yamagami categories, which are a certain type of fusion categories which have one simple object which is non-invertible. I will provide the classification results of Tambara and Yamagami on these categories and give some small examples. Time permitting, I will discuss current work in progress on how to generalize Tambara-Yamagami fusion categories to locally compact groups. 

This talk will not assume familiarity with category theory further than the definition of a category and a functor.

In 1911, Otto Toeplitz posed the intriguing "Square Peg Problem," asking whether every Jordan curve admits an inscribed square. Despite over a century of study, the problem remains unsolved in its full generality. However, significant progress has been made over the years. In this talk, we explore recent advancements by Andrew Lobb and Joshua Greene, who approach the problem through the lens of Lagrangian Floer homology. Specifically, we outline a proof of their result: every smooth Jordan curve inscribes every rectangle up to similarity.

Embedding the group algebra into a division ring has proven to be a powerful tool for detecting structural properties of the group, especially in relation to its homology. In this talk, we will show how division rings can be used to identify residual properties of groups, one-ended groups, and coherent groups. We will place special emphasis on the class of free-by-cyclic groups to provide a clear, explicit exposition.

The McCullough-Miller space is a contractible simplicial complex that admits an action of the pure symmetric (outer) automorphisms of the free group, with stabilizers that are free abelian. This space has been used to derive several cohomological properties of these groups, such as computing their cohomology ring and proving that they are duality groups. In this talk, we will generalize the construction to right-angled Artin groups (RAAGs), and use it to obtain some interesting cohomological results about the pure symmetric (outer) automorphisms of RAAGs.

A topological quantum field theory (TQFT) is a functor from a category of bordisms to a category of vector spaces. Classifying low-dimensional TQFTs often involves considering presentations of bordism categories in terms of generators and relations. In this talk, we will introduce these concepts and outline a program for obtaining such presentations using Morse–Cerf theory.

The fundamental group of a hyperbolic surface has an infinite number of rank k subgroups. What does it mean, therefore, to pick a 'random' subgroup of this type? In this talk, I will introduce a method for counting subgroups and discuss how counting allows us to study the properties of a random subgroup and its associated cover.

A group is coherent if all its finitely generated subgroups are finitely presented. Aside from some easy cases, it appears that coherence is a phenomenon that occurs only among groups of cohomological dimension 2. In this talk, we will give many examples of coherent and incoherent groups, discuss techniques to prove a group is coherent, and mention some open problems in the area.

How much can the order type - the list of element orders (with multiplicities)—reveal about the structure of a finite group G? Can it tell us whether G is abelian, nilpotent? Can it always determine whether G is solvable? 

This last question was posed in 1987 by John G. Thompson and I answered it negatively this year. The search for a counterexample was quite a puzzle hunt! It involved turning the problem into linear algebra and solving an integer matrix equation Ax=b. This would be easy if not for the fact that the size of A was 100,000 by 10,000…

If \(F\) is a free group and \(F/N\) is a presentation of a group \(G\), there is a natural way to turn the abelianisation of \(N\) into a \(\mathbb ZG\)-module, known as the relation module of the presentation. The images of normal generators for \(N\) yield \(\mathbb ZG\)-module generators of the relation module, but 'lifting' \(\mathbb ZG\)-generators to normal generators cannot always be done by a result of Dunwoody. Nevertheless, it is an open problem, known as the relation gap problem, whether the relation module can have strictly fewer \(\mathbb ZG\)-module generators than \(N\) can have normal generators when \(G\) is finitely presented. In this talk I will survey what is known and what is not known about this problem and its variations and discuss some recent progress for groups with a cyclic relation module.

In 2006, Jan Dymara introduced the concept of weighted \(\ell^2\) Betti numbers as a method of computing regular \(\ell^2\) Betti numbers of buildings. This notion of dimension is measured by using Hecke algebras associated to the relevant Coxeter groups. I will briefly introduce buildings and then give a comparison between the regular \(\ell^2\) Betti numbers and the weighted ones.

This talk will introduce Khovanov and Knot Floer Homology as tools for studying knots. I will then cover some applications to problems in knot theory including distinguishing embedded surfaces and how they can be used in the context of ribbon concordances. No prior knowledge of either will be necessary and lots of pictures are included.

We will try to solve the isomorphism problem amongst Coxeter groups by looking at finite quotients.  Some success is found in the classes of affine and right-angled Coxeter groups.  Based on joint work with Samuel Corson, Philip Moeller, and Olga Varghese.

This talk will serve as an introduction to the outer automorphism group of a free group, its properties and the objects used to study it: especially train track maps (with various adjectives) and Culler--Vogtmann outer space. If time allows I will discuss recent work joint with Hillen, Lyman and Pfaff on stretch factors in rank 3, but the goal of the talk will be to introduce the topic well rather than to speedrun towards the theorem.

I'll talk about the Morse local-to-global property and try to convince you that is a good property. There are three reasons. Firstly, it is satisfied by many examples of interest. Secondly, it allows to prove many theorems. Thirdly, it sits nicely in the larger program of classifying groups up to quasi-isometry and it has connections with open questions.

RFRS groups were introduced by Ian Agol in connection with virtual fibering of 3-manifolds. Notably, the class of RFRS groups contains all compact special groups, which are groups with particularly nice cocompact actions on cube complexes. In this talk, I will give an introduction to ℓ²-Betti numbers from an algebraic perspective and discuss what group theoretic properties we can conclude from the (non)vanishing of the ℓ²-Betti numbers of a RFRS group.

It is a standard result that mapping class groups of high genus do not surject the integers. This is easily shown by computing the abelianization of the mapping class group using a presentation. Once we pass to finite index subgroups, this becomes a conjecture of Ivanov. More generally, we can ask which groups admit epimorphisms from finite index subgroups of the mapping class group. In this talk, I will present a geometric approach to this question, using harmonic maps, and explain some recent results.

We will give a relaxed introduction to some of the most classical dynamical systems - Anosov flows. These flows were highly influential in the development of ideas which the audience might be more familiar with. For example, Anosov flows give rise to exponential group growth and taut foliations, both of which we will discuss. Finally, we will talk about some recent work obstructing Anosov flows and their combinatorial analogs - veering triangulations

Property (T) was introduced by Kazhdan in the sixties to show that lattices in higher rank semisimple Lie groups are finitely generated. We will discuss some classical examples of groups that satisfy this property, with a particular focus on SL(3, R).