Normal subgroups of mapping class groups and the metaconjecture of Ivanov

Brendle, Tara¹ ; Margalit, Dan²

¹ School of Mathematics & Statistics, University Place, University of Glasgow, G12 8SQ, United Kingdom
² School of Mathematics, Georgia Institute of Technology, 686 Cherry Street, Atlanta, Georgia 30332

Journal of the American Mathematical Society, Tome 32 (2019) no. 4, pp. 1009-1070

Résumé

We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support, then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group isomorphic to the extended mapping class group. These results resolve the metaconjecture of N. V. Ivanov, which asserts that any “sufficiently rich” object associated to a surface has automorphism group isomorphic to the extended mapping class group, for a broad class of such objects. As applications, we show: (1) right-angled Artin groups and surface groups cannot be isomorphic to normal subgroups of mapping class groups containing elements of small support, (2) normal subgroups of distinct mapping class groups cannot be isomorphic if they both have elements of small support, and (3) distinct normal subgroups of the mapping class group with elements of small support are not isomorphic. Our results also suggest a new framework for the classification of normal subgroups of the mapping class group.

Détail

DOI : 10.1090/jams/927

Bibliographie

[1] Teichmã¼Ller, Oswald Variable Riemann surfaces 2014 787 803

[2] Aramayona, Javier Simplicial embeddings between pants graphs Geom. Dedicata 2010 115 128

[3] Aramayona, Javier, Leininger, Christopher J. Finite rigid sets in curve complexes J. Topol. Anal. 2013 183 203

[4] Birman, Joan, Broaddus, Nathan, Menasco, William Finite rigid sets and homologically nontrivial spheres in the curve complex of a surface J. Topol. Anal. 2015 47 71

[5] Birman, Joan S., Lubotzky, Alex, Mccarthy, John Abelian and solvable subgroups of the mapping class groups Duke Math. J. 1983 1107 1120

[6] Bowditch, Brian H. Rigidity of the strongly separating curve graph Michigan Math. J. 2016 813 832

[7] Brendle, Tara E., Margalit, Dan Commensurations of the Johnson kernel Geom. Topol. 2004 1361 1384

[8] Brendle, Tara E., Margalit, Dan Addendum to: “Commensurations of the Johnson kernel” [Geom. Topol. 8 (2004), 1361–1384 Geom. Topol. 2008 97 101

[9] Clay, Matt, Leininger, Christopher J., Margalit, Dan Abstract commensurators of right-angled Artin groups and mapping class groups Math. Res. Lett. 2014 461 467

[10] Dahmani, F., Guirardel, V., Osin, D. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces Mem. Amer. Math. Soc. 2017

[11] Dehn, Max Papers on group theory and topology 1987

[12] Farb, Benson Some problems on mapping class groups and moduli space 2006 11 55

[13] Farb, Benson, Ivanov, Nikolai V. The Torelli geometry and its applications: research announcement Math. Res. Lett. 2005 293 301

[14] Farb, Benson, Margalit, Dan A primer on mapping class groups 2012

[15] Fathi, Albert, Laudenbach, Franã§Ois, Poã©Naru, Valentin Thurston’s work on surfaces 2012

[16] Funar, Louis On the TQFT representations of the mapping class groups Pacific J. Math. 1999 251 274

[17] Funar, Louis On power subgroups of mapping class groups J. Gökova Geom. Topol. GGT 2014 14 34

[18] Grothendieck, Alexander Techniques de construction et théorèmes d’existence en géométrie algébrique. IV. Les schémas de Hilbert 1995

[19] Hensel, Sebastian Rigidity and flexibility for handlebody groups Comment. Math. Helv. 2018 335 358

[20] Hernã¡Ndez Hernã¡Ndez, Jesãºs Edge-preserving maps of curve graphs Topology Appl. 2018 83 105

[21] Hernã¡Ndez Hernã¡Ndez, Jesãºs, Valdez, Ferrã¡N Automorphism groups of simplicial complexes of infinite-type surfaces Publ. Mat. 2017 51 82

[22] Irmak, Elmas Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups Topology 2004 513 541

[23] Irmak, Elmas Complexes of nonseparating curves and mapping class groups Michigan Math. J. 2006 81 110

[24] Irmak, Elmas Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups. II Topology Appl. 2006 1309 1340

[25] Irmak, Elmas, Mccarthy, John D. Injective simplicial maps of the arc complex Turkish J. Math. 2010 339 354

[26] Ivanov, N. V. The rank of Teichmüller modular groups Mat. Zametki 1988

[27] Ivanov, Nikolai V. Subgroups of Teichmüller modular groups 1992

[28] Ivanov, Nikolai V. Automorphism of complexes of curves and of Teichmüller spaces Internat. Math. Res. Notices 1997 651 666

[29] Ivanov, Nikolai V. Fifteen problems about the mapping class groups 2006 71 80

[30] Ivanov, Nikolai V., Mccarthy, John D. On injective homomorphisms between Teichmüller modular groups. I Invent. Math. 1999 425 486

[31] Johnson, Dennis The structure of the Torelli group. I. A finite set of generators for \cal𝐼 Ann. of Math. (2) 1983 423 442

[32] Korkmaz, Mustafa Automorphisms of complexes of curves on punctured spheres and on punctured tori Topology Appl. 1999 85 111

[33] Korkmaz, Mustafa, Papadopoulos, Athanase On the arc and curve complex of a surface Math. Proc. Cambridge Philos. Soc. 2010 473 483

[34] Luo, Feng Automorphisms of the complex of curves Topology 2000 283 298

[35] Magnus, Wilhelm On a theorem of Marshall Hall Ann. of Math. (2) 1939 764 768

[36] Margalit, Dan Automorphisms of the pants complex Duke Math. J. 2004 457 479

[37] Margulis, G. A. Discrete subgroups of semisimple Lie groups 1991

[38] Masur, Howard A., Minsky, Yair N. Geometry of the complex of curves. I. Hyperbolicity Invent. Math. 1999 103 149

[39] Mccarthy, John D. Automorphisms of surface mapping class groups. A recent theorem of N. Ivanov Invent. Math. 1986 49 71

[40] Mccarthy, John D., Papadopoulos, Athanase Simplicial actions of mapping class groups 2012 297 423

[41] Mcneill, R. Taylor A New Filtration of the Magnus Kernel 2013 87

[42] Nielsen, Jakob Untersuchungen zur Topologie der geschlossenen zweiseitigen Flächen Acta Math. 1927 189 358

[43] Putman, Andrew A note on the connectivity of certain complexes associated to surfaces Enseign. Math. (2) 2008 287 301

[44] Schmutz Schaller, Paul Mapping class groups of hyperbolic surfaces and automorphism groups of graphs Compositio Math. 2000 243 260

[45] Shackleton, Kenneth J. Combinatorial rigidity in curve complexes and mapping class groups Pacific J. Math. 2007 217 232

[46] Tchangang, Roger Tambekou Le groupe d’automorphismes du groupe modulaire Ann. Inst. Fourier (Grenoble) 1987 19 31

[47] Teichmã¼Ller, Oswald Veränderliche Riemannsche Flächen Deutsche Math. 1944 344 359