Past Junior Topology and Group Theory Seminar

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.