We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus.
We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody.
We construct infinitely many linearly independent quasi-homomorphisms on the mapping class group of a Riemann surface with genus at least two which vanish on a handlebody subgroup. As a corollary, we disprove a conjecture of Reznikov on bounded width in Heegaard splittings. Another corollary is that there are infinitely many linearly independent quasi-invariants on the Heegaard splittings of three-manifolds.
We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We also find the cohomological dimension of the Johnson kernel (the subgroup of the Torelli group generated by Dehn twists about separating curves) to be 2g-3. For g at least 2, we prove that the top dimensional homology of the Torelli group is infinitely generated. Finally, we give a new proof of the theorem of Mess that gives a precise description of the Torelli group in genus 2. The main tool is a new contractible complex, called the complex of cycles, on which the Torelli group acts.
We prove that various subgroups of the mapping class group $Mod(Sigma)$ of a surface $Sigma$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the point-pushing and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Sigma;mathbb{Z})$.
Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the handle graph on which the Torelli group acts cocompactly.