Please contact Saul Schleimer or Robert Kropholler if you would like to speak or to suggest a speaker.
While this page is the seminar's "main page", I will attempt to also maintain an uptodate listing at researchseminars.org.
The seminar will run weekly, with one 30 minute talk, followed by a 20 minute discussion/Q&A. The talk starts five minutes after the hour. We will open and close the Zoom session on the hour. Note that no password is required; links to the zoom session for each talk are below.
Thursday January 13, 15:05 (UK time). Kim Ruane (Tufts) Torsionfree groups acting geometrically on the product of two trees 
Abstract: Given a group acting geometrically on product of two trees, we know that one visual boundary is the topological join of two Cantor sets. We prove that these groups are "boundary rigid": any \(\CAT(0)\) space on which the group acts has visual boundary homeomorphic to such a join. Since there is no hyperbolicity going on here, one cannot expect that the natural equivariant quasiisometry between an arbitrary \(\CAT(0)\) space and the product of two trees to extend to any sort of map on boundaries, thus the proof requires new techniques. The proof uses work of Ricks on recognising product splittings from the Tits boundary as well as work of Guralnik and Swenson on general dynamics of a \(\CAT(0)\) group on both the visual and Tits boundary. This is (recent) joint work with Jankiewicz, Karrer, and Sathaye. 
Thursday January 20, 15:05 (UK time). Vladimir Vankov (Southampton) Uncountably many quasiisometric torsionfree groups 
Abstract: The study of quasiisometries between finitely generated groups has traditionally been one of the more common questions of geometric group theory, which includes understanding the possible nature of quasiisometry classes in general. There are several precedents for sets of uncountable cardinality to exhibit surprising behaviour differing from countable sets, especially when it comes to subgroups. We explore generalising constructions of uncountably many torsion groups falling into the same quasiisometry class via commensurability, to the torsionfree setting. This is done by considering bounded cohomology and appealing to algebraic concepts classically found in finite group theory, in order to produce examples of a continuum of quasiisometric and torsionfree, but pairwise nonisomorphic finitely generated groups. 
Thursday January 27, 15:05 (UK time). Davide Spriano (Oxford) Hyperbolic spaces for \(\CAT(0)\) groups 
Abstract: \(\CAT(0)\) spaces, as avatars of nonpositive curvature, are both old and widely studied. Making up an important subclass are the \(\CAT(0)\) cube complexes: spaces obtained by gluing Euclidean \(n\)cubes along faces and satisfying an additional combinatorial conditions. Given such a space \(X\), there are several techniques to construct associated spaces that "detect the hyperbolic behaviour" of \(X\). All of these techniques rely on the combinatorial structure coming from the cubes. In this talk we will present a new approach to construct hyperbolic spaces on which \(\CAT(0)\) groups act. We thus obtain characterisations of rankone elements and recover rankrigidity results. This is joint work with H. Petyt and A. Zalloum. 
Thursday February 3, 15:05 (UK time). None (None) None 
Abstract: None 
Thursday February 10, 15:05 (UK time). Macarena Arenas (Cambridge)

Abstract: The Rips exact sequence is a useful tool for producing examples of groups satisfying combinations of properties that are not obviously compatible. It works by taking as an input an arbitrary finitely presented group \(Q\), and producing as an output a hyperbolic group \(G\) that maps onto \(Q\) with finitely generated kernel. The "output group" \(G\) is crafted by adding generators and relations to a presentation of \(Q\), in such a way that these relations create enough "noise" in the presentation to ensure hyperbolicity. One can then lift pathological properties of \(Q\) to (some subgroup of) \(G\). Among other things, Rips used his construction to produce the first examples of incoherent hyperbolic groups, and of hyperbolic groups with unsolvable generalised word problem. In this talk, I will explain Rips' result, mention some of its variations, and survey some tools and concepts related to these constructions, including small cancellation theory, cubulated groups, and asphericity. Time permitting, I will describe a variation of the Rips construction that produces cubulated hyperbolic groups of any desired cohomological dimension. 
Thursday February 17, 15:05 (UK time). Annette Karrer (Technion) Connected components of Morse boundaries of graphs of groups 
Abstract: Each finitely generated group has a topological space associated to it called the Morse boundary. This boundary generalizes the Gromov boundary of Gromovhyperbolic groups and captures how similar the group is to a Gromovhyperbolic group. In this talk, we will study connected components of Morse boundaries of a graph of groups \(G\). We will focus on the case where the edge groups are undistorted and do not contribute to the Morse boundary of \(G\). We will describe the connected components of the Morse boundary of \(G\) using the associated BassSerre tree. We will see that every connected component of the Morse boundary with at least two points originates from the Morse boundary of a vertex group. This is joint work with Elia Fioravanti. 
Thursday February 24, 15:05 (UK time). Luke Jeffreys (Bristol) Nonplanarity of \(\SL(2,\ZZ)\)orbits of origamis in genus two 
Abstract: Origamis (also known as squaretiled surfaces) arise naturally in a variety of settings in lowdimensional topology. They can be thought of as surfaces obtained by gluing the sides of a collection of unit squares. As such, they generalise the torus which can be obtained by gluing the sides of a single square. An origami is said to be primitive if it is not a cover of a lower genus origami. In this talk, I will describe how one can define an action of the matrix group \(\SL(2,\ZZ)\) on primitive origamis. In genus two (with one singularity), the orbits of this action were classified by HubertLelièvre and McMullen. By considering a generating set of size two for \(\SL(2,\ZZ)\), we can turn these orbits into an infinite family of fourvalent graphs. For a specific generating set, I will explain how all but two of these graphs are nonplanar. I will also discuss why this gives indirect evidence for McMullen's conjecture that these graphs form a family of expanders. This is joint work with Carlos Matheus. 
Thursday March 3, 15:05 (UK time). Armando Martino (Southampton) On automorphisms of free groups and nearly canonical trees 
Abstract: I will discuss some open problems for automorphisms of free groups; whether centralisers are finitely generated, whether their mapping tori have wellbehaved automorphism group, and whether the conjugacy problem is solvable. I will explain some new partial results, using techniques involving canonical trees. This is joint work Naomi Andrew, and various others. 
Thursday March 10, 15:05 (UK time). Sam Hughes (Oxford) Irreducible lattices fibring over the circle 
Abstract: Let \(n \geq 2\) and let \(\Lambda\) be a lattice in a product of simple noncompact Lie groups with finite centre. An application of the Margulis normal subgroup theorem implies that if \(H^1(\Lambda)\) is nonzero, then \(\Gamma\) is reducible. In the more general \(\mathrm{CAT}(0)\) setting there are many irreducible lattices with nonvanishing first cohomology. In this case we can deploy the BNSR invariants and investigate how far these cohomology classes are from a fibration of finite type CW complexes. In this talk we will combine the groups of Leary and Minasyan with the technology of Bestvina and Brady to construct the first examples of irreducible lattices which fibre over the circle. 
Thursday March 17, 15:05 (UK time). Rylee Lyman (Rutgers) Foldinglike techniques for \(\CAT(0)\) cube complexes 
Abstract: In a seminal paper, Stallings introduced folding of morphisms of graphs. One consequence of folding is the representation of finitely generated subgroups of a finiterank free group as immersions of finite graphs. Stallings's methods allow one to construct this representation algorithmically, giving effective, algorithmic answers and proofs to classical questions about subgroups of free groups. Recently Dani–Levcovitz used Stallingslike methods to study subgroups of rightangled Coxeter groups, which act geometrically on \(\CAT(0)\) cube complexes. We extend their techniques to fundamental groups of nonpositively curved cube complexes. 