Topology Seminar

One can learn a lot about a compact manifold if one can show that it fibres over the circle - in essence, this allows us to view a static n-dimensional manifold as a manifold of dimension n-1 that evolves in time.Being fibred (over the circle) is a relatively rare property. It is much more common to be virtually fibred, that is, to admit a finite cover that is fibred. For example, it was the content of a conjecture of William Thurston, now two theorems by Ian Agol and Dani Wise, that all finite-volume hyperbolic 3-manifolds are virtually fibred; in fact, this property is extremely common among irreducible 3-manifolds.The situation is less clear in higher dimensions. On the obstruction side, we know that virtually fibred manifolds must have vanishing Euler characteristic. This immediately shows that compact hyperbolic manifolds in even dimensions will not be virtually fibred. A more involved obstruction comes from L2-homology: virtually fibred manifolds must be L2-acyclic. The motivation behind the research I will present lies in trying to find situations in which the vanishing of L2-homology is is not only necessary, but also sufficient for virtual fibring. It turns our that a lot more can be said if we replace aspherical manifolds by their homological cousins: Poincare duality groups. Concretely, if G is an n-dimensional Poincare-duality group over the rationals, and if G satisfies the RFRS property, then G is L2-acyclic if and only if there is a finite-index subgroup G0 of G and an epimorphism from G0 onto the integers such that its kernel is a Poincare-duality group over the rationals of dimension n-1. (This last theorem is joint with Sam Fisher and Giovanni Italiano.)The RFRS property was introduced in Agol's work on Thurston's conjecture. A countable group is RFRS if and only if it is residually {virtually abelian and poly-Z}. All compact special groups in the sense of Haglund-Wise satisfy this property, so there is a ready supply of RFRS groups, also among fundamental groups of hyperbolic manifolds in high dimensions.

The stable Andrews-Curtis conjecture remains one of the most notorious unsolved problems in group theory. It proposes that every balanced presentation of the trivial group can reduced to the standard presentation (with one generator and one relation) using a sequence of simple moves. In my talk, I will focus on group presentations that are ‘thickenable’, which means that their associated 2-complex embeds in a 3-manifold. For such presentations, the stable Andrews-Curtis conjecture is known to hold. In my talk, I will explain how one can also get an explicit exponential-type upper bound on the number of stable Andrews-Curtis moves that are required. This is in sharp contrast to what is known about non-thickenable presentations.