The hyperbolicity of the sphere complex via surgery paths

Handel and Mosher have proved that the free splitting complex FS for the free group is Gromov hyperbolic. This is a deep and much sought-after result, since it establishes FS as a good analogue of the curve complex for surfaces. We give a shorter alternative proof of this theorem, using surgery paths in Hatcher's sphere complex (another model for the free splitting complex), instead of Handel and Mosher's fold paths. As a byproduct, we get that surgery paths are unparameterized quasi-geodesics in the sphere complex. We explain how to deduce from our proof the hyperbolicity of some other complexes such as the free factor complex or the arc complex (of a surface with boundary).

[1]  B. Mann.  Hyperbolicity of the cyclic splitting graph , 2014 .

[2]  M. Handel,et al.  Relative free splitting and free factor complexes I: Hyperbolicity , 2014, 1407.3508.

[3]  Ilya Kapovich,et al.  On hyperbolicity of free splitting and free factor complexes , 2012, 1206.3626.

[4]  Damian Osajda,et al.  Realisation and dismantlability , 2012, 1205.0513.

[5]  Camille Horbez.  Sphere paths in outer space , 2012, 1201.6027.

[6]  M. Handel,et al.  The free splitting complex of a free group I: Hyperbolicity , 2011, 1111.1994.

[7]  M. Kassabov,et al.  Hairy graphs and the unstable homology of Mod(g, s), Out(Fn) and Aut(Fn) , 2011, 1107.4839.

[8]  M. Bestvina,et al.  Hyperbolicity of the complex of free factors , 2011, 1107.3308.

[9]  H. Masur,et al.  The geometry of the disk complex , 2010, 1010.3174.

[10]  J. Souto,et al.  Automorphisms of the graph of free splittings , 2009, 0909.3660.

[11]  Siddhartha Gadgil,et al.  Algebraic and geometric intersection numbers for free groups , 2008, 0809.3109.

[12]  M. Bestvina,et al.  A hyperbolic Out(F_n)-complex , 2008, 0808.3730.

[13]  K. Shackleton,et al.  An obstruction to the strong relative hyperbolicity of a group , 2007 .

[14]  S. Schleimer,et al.  Trees and mapping class groups , 2006, math/0611241.

[15]  Jason A. Behrstock,et al.  Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity , 2005, math/0512592.

[16]  K. Vogtmann.  Automorphisms of Free Groups and Outer Space , 2002 .

[17]  A. Hatcher,et al.  The Complex of Free Factors of a Free Group , 1998, 2203.15602.

[18]  Yair N. Minsky,et al.  Geometry of the complex of curves I: Hyperbolicity , 1998, math/9804098.

[19]  A. Hatcher,et al.  Isoperimetric inequalities for automorphism groups of free groups. , 1996 .

[20]  A. Hatcher,et al.  Homological stability for automorphism groups of free groups , 1995 .

[21]  K. Vogtmann,et al.  Moduli of graphs and automorphisms of free groups , 1986 .

[22]  John Harer,et al.  Stability of the homology of the mapping class groups of orientable surfaces , 1985 .

[23]  John R. Stallings,et al.  Topology of finite graphs , 1983 .

[24]  F. Laudenbach.  Topologie de la dimension trois : homotopie et isotopie , 1974 .

[25]  F. Laudenbach.  Sur Les 2-Spheres D'une Variete de Dimension 3 , 1973 .

[26]  G. Shimura,et al.  Modular Forms of Half Integral Weight , 1973 .