Past Junior Topology and Group Theory Seminar

TBC

 The $n$-stranded pure surface braid group of a genus g surface can be described as the subgroup of the pure mapping class group of a surface of genus $g$ with $n$-punctures which becomes trivial on the closed surface. I am interested in the least dilatation of pseudo-Anosov pure surface braids. For the $n=1$ case, upper and lower bounds on the least dilatation were proved by Dowdall and Aougab—Taylor, respectively.  In this talk, I will describe the upper and lower bounds I have proved as a function of $g$ and $n$.

It is a classical theorem of Magnus that the word problem for one-relator groups is solvable; its precise complexity remains unknown. A geometric characterization of the complexity is given by the Dehn function. I will present joint work with Daniel Woodhouse showing that one-relator groups have a rich collection of Dehn functions, including the Brady--Bridson snowflake groups on which our work relies.

It is a classical theorem of Magnus that the word problem for one-relator groups is solvable; its precise complexity remains unknown. A geometric characterization of the complexity is given by the Dehn function. I will present joint work with Daniel Woodhouse showing that one-relator groups have a rich collection of Dehn functions, including the Brady--Bridson snowflake groups on which our work relies.
 

Cube Complexes with Coupled Links (CLCC) are a special family of non-positively curved cube complexes that are constructed by specifying what the links of their vertices should be. In this talk I will introduce the construction of CLCCs and try to motivate it by explaining how one can use information about the local geometry of a cube complex to deduce global properties of its fundamental group (e.g. hyperbolicity and cohomological dimension). On the way, I will also explain what fly maps are and how to use them to deduce that a CAT(0) cube complex is hyperbolic.

We will discuss topological and algebraic aspects of splittings of free groups. In particular we will look at the core of two splittings in terms of CAT(0) cube complexes and systems of surfaces in a doubled handlebody.

CAT(0) spaces are defined as having triangles that are no fatter than Euclidean triangles, so it is no surprise that under special conditions  you find pieces of the Euclidean plane appearing in CAT(0) spaces. What is surprising though is how weak these special conditions seem to be. I will present some well known results of this phenomenon, along with detailed sketch proofs.

I will talk about the properties of algebraic integers that can arise as stretch factors of pseudo-Anosoc maps. I will mention a conjecture of Fried on which numbers supposedly arise and Thurston’s theorem that proves a similar result in the context of automorphisms of free groups. Then I will talk about recent developments on the Fried conjecture namely, every Salem number has a power arising as a stretch factor. 

I will discuss a wonderful structure theorem for finitely generated group containing a codimension one polycyclic-by-finite subgroup, due to Martin Dunwoody and Eric Swenson. I will explain how the theorem is motivated by the torus theorem for 3-manifolds, and examine some of the consequences of this theorem.

Stable commutator length (scl) is a well established invariant of group elements g  (write scl(g)) and  has both geometric and algebraic meaning.

It is a phenomenon that many classes of non-positively curved groups have a gap in stable commutator length: For every non-trivial element g, scl(g) > C for some C>0. Such gaps may be found in hyperbolic groups, Baumslag-solitair groups, free products, Mapping class groups, etc. 
However, the exact size of this gap usually unknown, which is due to a lack of a good source of “quasimorphisms”.

In this talk I will construct a new source of quasimorphisms which yield optimal gaps and show that for Right-Angled Artin Groups and their subgroups the gap of stable commutator length is exactly 1/2. I will also show this gap for certain amalgamated free products.

 In a recent paper Friedl, Zentner and Livingston asked when a sum of torus knots is concordant to an alternating knot. After a brief analysis of the problem in its full generality, I will describe some effective obstructions based on Floer type theories.

Warped cones are infinite metric spaces that are associated with actions by homeomorphisms on metric spaces. In this talk I will try to explain why the coarse geometry of warped cones can be seen as an invariant of the action and what it can tell us about the acting group.

I will give a survey of known results about when two RAAGs are quasi-isometric, and will then describe a visual graph of groups decomposition of a RAAG (its JSJ tree of cylinders) that can often be used to determine whether or not two RAAGs are quasi-isometric.

If $G$ is an irreducible lattice in a semisimple Lie group, every action of $G$ on a tree has a global fixed point. I will give an elementary discussion of Y. Shalom's proof of this result, focussing on the case of $SL_2(\mathbb{R}) \times SL_2(\mathbb{R})$. Emphasis will be placed on the geometric aspects of the proof and on the importance of reduced cohomology, while other representation theoretic/functional analytic tools will be relegated to a couple of black boxes.

I will present a gentle introduction to the theory of conformal dimension, focusing on its applications to the boundaries of hyperbolic groups, and the difficulty of classifying groups whose boundaries have conformal dimension 1.

We give a construction of a boundary (the Morse boundary) which can be assigned to any proper geodesic metric space and which is rigid, in the sense that a quasi-isometry of spaces induces a homeomorphism of boundaries. To obtain a more workable invariant than the homeomorphism type, I will introduce the metric Morse boundary and discuss notions of capacity and conformal dimensions of the metric Morse boundary. I will then demonstrate that these dimensions give useful invariants of relatively hyperbolic and mapping class groups. This is joint work with Matthew Cordes (Technion).

Inspired by the theory of JSJ decomposition for 3-manifolds, one can define the JSJ decomposition of a group as a maximal canonical way of cutting it up into simpler pieces using amalgamated products and HNN extensions. If the group in question has some sort of non-positive curvature property then one can define a boundary at infinity for the group, which captures its large scale geometry. The JSJ decomposition of the group is then reflected in the treelike structure of the boundary. In this talk I will discuss this connection in the case of hyperbolic groups and explain some of the ideas used in its proof by Brian Bowditch.

Asymptotic dimension is a large-scale analogue of Lebesgue covering dimension. I will give a gentle introduction to asymptotic dimension, prove some basic propeties and give some applications to group theory. I will then define coarse homology and explain how when defined, virtual cohomological dimension gives a lower bound on asymptotic dimension.

I will compare features of (classical) cohomology theory of groups to the rather exotic features of bounded (or continuous bounded) cohomology of groups.
Besides giving concrete examples I will state classical cohomological tools/features and see how (if) they survive in the case of bounded cohomology. Such will include the Mayer-Vietoris sequence, the transfer map, resolutions, classifying spaces, the universal coefficient theorem, the cup product, vanishing results, cohomological dimension and relation to extensions. 
Finally I will discuss their connection to each other via the comparison map.

By gluing copies of a deforming polytope, we describe some deformations of complete, finite-volume hyperbolic cone four-manifolds. Despite the fact that hyperbolic lattices are locally rigid in dimension greater than three (Garland-Raghunathan), we see a four-dimensional analogue of Thurston's hyperbolic Dehn filling: a path of cone-manifolds $M_t$ interpolating between two cusped hyperbolic four-manifolds $M_0$ and $M_1$.

This is a joint work with Bruno Martelli.

This talk will introduce the notion of quasi-convex subgroups. As an application, we will prove that the intersection of two finitely generated subgroups of a free group is again finitely generated.
 

Stallings' theorem states that a finitely generated group splits over a finite subgroup if and only if it has more than one end. As a consequence of this, group splittings over finite subgroups are invariant under quasi-isometry. I will discuss a generalisation of Stallings' theorem which shows that under suitable hypotheses, group splittings over classes of infinite groups, namely coarse $PD_n$ groups, are also invariant under quasi-isometry.

A Kähler group is a group which can be realised as fundamental group of a compact Kähler manifold. I shall begin by explaining why such groups are not arbitrary and then address Delzant-Gromov's question of which subgroups of direct products of surface groups are Kähler. Work of Bridson, Howie, Miller and Short reduces this to the case of subgroups which are not of type $\mathcal{F}_r$ for some $r$. We will give a new construction producing Kähler groups with exotic finiteness properties by mapping products of closed Riemann surfaces onto an elliptic curve. We will then explain how this construction can be generalised to higher dimensions. This talk is independent of last weeks talk on Kähler groups and all relevant notions will be explained.

A Kähler group is a group which can be realised as the fundamental group of a close Kähler manifold. We will prove that for a Kähler group $G$ we have that $G$ is residually free if and only if $G$ is a full subdirect product of a free abelian group and finitely many closed hyperbolic surface groups. We will then address Delzant-Gromov's question of which subgroups of direct products of surface groups are Kähler: We explain how to construct subgroups of direct products of surface groups which have even first Betti number but are not Kähler. All relevant notions will be explained in the talk.

We will explain a result of Bridson, Howie, Miller and Short on the finiteness properties of subgroups of direct products of surface groups. More precisely, we will show that a subgroup of a direct product of n surface groups is of finiteness type $FP_n$ if and only if there is virtually a direct product of at most n finitely generated surface groups. All relevant notions will be explained in the talk.

 

I will describe a method to find negatively curved structures on some groups, by manipulating metrics on piecewise hyperbolic complexes. As an example, I will prove that hyperbolic limit groups are CAT(-1).

The simplicial boundary is another way to study the boundary of CAT(0) cube complexes. I will define this boundary introducing the relevant terminology from CAT(0) cube complexes along the way. There will be many examples and many pictures, hopefully to help understanding but also to improve my (not so great) drawing skills. 

I will discuss the circumstances in which residual finiteness properties of an amalgamated free product $A\ast_c B$ may be deduced from the properties of $A$ and $B$, with particular regard to the pro-p residual properties.

Quasimorphisms (QM) of groups to the reals are well studied and are linked to stable commutator length (scl) via Bavard Duality- Theorem. The notion of QM can be generalized to yield maps  between groups such that each QM from one group pulls back to a QM in the other.

We will give both a short overview of features of scl and investigate these generalized QMs with large scale properties of the commutator group. 

In his ICM address in 1983, Gromov proposed a program of classifying finitely generated groups up to quasi-isometry. One way of approaching this is by breaking a group down into simpler parts by means of a JSJ decomposition. I will give a survey of various JSJ theories and related quasi-isometric rigidity results, including recent work by Cashen and Martin.

in this talk I will try to introduce some key ideas and concepts about random walks on discrete spaces, with special interest on random walks on Cayley graphs.

Orientable manifolds can only have an odd Euler characteristic in dimensions divisible by 4. I will prove the analogous result for spin and string manifolds, where the dimension can only be a multiple of 8 and 16 respectively. The talk will require very little background. I'll go over the definition of spin and string structures, discuss cohomology operations and Poincare duality.

I will present a basic overview of finiteness conditions, group cohomology, and related quasi-isometry invariance results. In particular, I will show that if a group satisfies certain finiteness conditions, group cohomology with group ring coefficients encodes some structure of the `homology at infinity' of a group. This is seen for hyperbolic groups in the work of Bestvina-Mess, which relates the group cohomology to the Čech cohomology of the boundary.

I will talk about the boundaries of CAT(0) groups giving definitions, some examples and will state some theorems. I may even prove something if there is time. 

I will discuss a couple of techniques often useful to prove quasi-isometric rigidity results for isometry groups. I will then sketch how these were used by B. Kleiner and B. Leeb to obtain quasi-isometric rigidity for the class of fundamental groups of closed locally symmetric spaces of noncompact type.

We will discuss various familiar properties of groups studied in geometric group theory, whether or not they are invariant under quasi-isometry, and why.

One can ask whether the fundamental groups of 3-manifolds are distinguished by their sets of finite quotients. I will discuss the recent solution of this question for Seifert fibre spaces.

I will illustrate how to build families of expanders out of 'very mixing' actions on measure spaces. I will then define the warped cones and show how these metric spaces are strictly related with those expanders.

Quasihomomorphisms (QHMs) are maps $f$ between groups such that the
homomorphic condition is boundedly satisfied. The case of QHMs with
abelian target is well studied and is useful for computing the second
bounded cohomology of groups. The case of target non-abelian has,
however, not been studied a lot.

We will see a technique for classifying QHMs $f: G \rightarrow H$ by Fujiwara and
Kapovich. We will give examples (sometimes with proofs!) for QHM in
various cases such as

• the image $H$  hyperbolic groups,
• the image $H$ discrete rank one isometries,
• the preimage $G$ cyclic / free group, etc.

Furthermore, we point out a relation between QHM and extensions by short
exact sequences.

A family of expanders is a sequence of finite graphs which are both sparse and highly connected. Firstly defined in the 80s, they had huge applications in applied maths and computer science. Moreover, it soon turned out that they also had deep implications in pure maths. In this talk I will introduce the expander graphs and I will illustrate a way to construct them by approximating actions of groups on probability spaces.

In 1964 Golod and Shafarevich discovered a powerful tool that gives a criteria for when a certain presentation defines an infinite dimensional algebra. In my talk I will assume the main machinery of the Golod-Shafarevich inequality for graded algebras and use it to provide counter examples to certain analogues of the Burnside problem in infinite dimensional algebras and infinite groups. Then, time dependent, I will define the Tarski number for groups relating to the Banach-Tarski paradox and show that we can using the G-S inequality show that the set of Tarski numbers is unbounded. Despite the fact we can only find groups of Tarski number 4, 5 and 6.

I will discuss a notoriously hard problem in group theory known as the flat closing conjecture. This states that a group with a finite classifying space is either hyperbolic or contains a Baumslag-Solitar Subgroup. I will give some strategies to try and create a counterexample to this conjecture. 

This talk will be an easy introduction to some CAT(0) geometry. Among other things, we'll see why centralizers in groups acting geometrically on CAT(0) spaces split (at least virtually). Time permitting, we'll see why having a geometric action on a CAT(0) space is not a quasi-isometry invariant.

For a finitely generated group $G$ with subgroup $H$ we define $e(G,H)$, the relative ends of the pair $(G,H)$, to be the number of ends of the Cayley graph of G quotiented out by the left action of H. We will examine some basic properties of relative ends and will outline the theorem of Sageev showing that $e(G,H)>1$ if and only if $G$ acts essentially on a simply connected CAT(0) cube complex. If time permits, we will outline Niblo's proof of Stallings' theorem using Sageev's construction.

In this talk, we will introduce the notions of systolic and residual girth growth for finitely generated groups. We will explore the relationship between these types of growth and the usual word growth for finitely generated groups.

Associahedra are polytopes introduced by Stasheff to encode topological semigroups in which associativity holds up to coherent homotopy. These polytopes naturally form a topological operad that gives a resolution of the associative operad. Muro and Tonks recently introduced an operad which encodes $A_\infty$ algebras with homotopy coherent unit. 
The material in this talk will be fairly basic. I will cover operads and their algebras, give the construction of the $A_\infty$ operad using the Boardman-Vogt resolution, and of the unital associahedra introduced by Muro and Tonks.
Depending on time and interest of the audience I will define unital $A_\infty$ differential graded algebras and explain how they are precisely the algebras over the cellular chains of the operad constructed by Muro and Tonks.

I will discuss various types of filling functions on topological spaces, stating some results in the area. I will then go onto prove that a finitely presented subgroup of a hyperbolic group of cohomological dimension 2 is hyperbolic. On the way I will prove a stronger result about filling functions of subgroups of hyperbolic groups of cohomological dimension $n$.