Automorphism groups of free groups, surface groups and free abelian groups

The group of 2-by-2 matrices with integer entries and determinant $\pm > 1$ can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional torus. Thus this group is the beginning of three natural sequences of groups, namely the general linear groups ${\rm{GL}}(n,\Z)$, the groups of outer automorphisms of free groups of rank $n\geq 2$, and the mapping class groups of closed orientable surfaces of genus $g\geq 1$. Much of the work on mapping class groups and automorphisms of free groups is motivated by the idea that these sequences of groups are strongly analogous. In this article we highlight a few of the most striking similarities and differences between these series of groups and present a list of open problems motivated by this philosophy.

[1]  S. M. Gersten,et al.  THE OPTIMAL ISOPERIMETRIC INEQUALITY FOR TORUS BUNDLES OVER THE CIRCLE , 1996 .

[2]  M. Lustig,et al.  IRREDUCIBLE AUTOMORPHISMS OF $F_{n}$ HAVE NORTH–SOUTH DYNAMICS ON COMPACTIFIED OUTER SPACE , 2003, Journal of the Institute of Mathematics of Jussieu.

[3]  M. Bridson,et al.  A remark about actions of lattices on free groups , 2001 .

[4]  G. Kasparov EquivariantKK-theory and the Novikov conjecture , 1988 .

[5]  A. Hatcher,et al.  Cerf Theory for Graphs , 1998 .

[6]  C. Procesi,et al.  The automorphism group of a free group is not linear , 1992 .

[7]  K. Vogtmann Local structure of some Out ( F n )-complexes , 1990 .

[8]  J. Smillie,et al.  A generating function for the Euler characteristic of out(Fn) , 1987 .

[9]  B. Wajnryb A simple presentation for the mapping class group of an orientable surface , 1983 .

[10]  S. Gersten A presentation for the special automorphism group of a free group , 1984 .

[11]  H. Masur,et al.  Superrigidity and mapping class groups , 1998 .

[12]  M. Kassabov Generating Mapping Class Groups by Involutions , 2003, math/0311455.

[13]  S. Weinberger,et al.  The Novikov Conjecture for Linear Groups , 2005 .

[14]  Kiyoshi Igusa Higher Franz-Reidemeister torsion , 2002 .

[15]  Embedding the Outer Automorphism Group Out(Fn) of a Free Group of Rank n in the Group Out(Fm) for m>n , 2002 .

[16]  John Harer,et al.  The cohomology of the moduli space of curves , 1988 .

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

[18]  An Introduction to Arithmetic Groups , 2004, math/0403390.

[19]  Mladen Bestvina,et al.  Train tracks and automorphisms of free groups , 1992 .

[20]  F. Grunewald Solution of the Conjugacy Problem in Certain Arithmetic Groups , 1980 .

[21]  B. Neumann Die Automorphismengruppe der freien Gruppen , 1933 .

[22]  I. Madsen,et al.  The stable moduli space of Riemann surfaces: Mumford's conjecture , 2002, math/0212321.

[23]  B. Wajnryb Mapping class group of a surface is generated by two elements , 1996 .

[24]  Z. Sela The isomorphism problem for hyperbolic groups I , 1995 .

[25]  M. Bridson,et al.  Homomorphisms from Automorphism Groups of Free Groups , 2002, math/0209191.

[26]  G. Carlsson,et al.  Controlled algebra and the novikov conjectures for K- and L-theory , 1995 .

[27]  David B. A. Epstein,et al.  Word processing in groups , 1992 .

[28]  From Mapping Class Groups to Automorphism Groups of Free Groups , 2004, math/0406278.

[29]  Igor Pak,et al.  The product replacement algorithm and Kazhdan’s property (T) , 2000 .

[30]  A. Zuk,et al.  La propriété (T) de Kazhdan pour les groupes agissant sur les polyèdres , 1996 .

[31]  Structure of the mapping class groups of surfaces: a survey and a prospect , 1999, math/9911258.

[32]  Nikolai V. Ivanov,et al.  Mapping Class Groups , 2001 .

[33]  A. Ol'shanskii,et al.  Geometry of Defining Relations in Groups , 1991 .

[34]  V. Lafforgue Une démonstration de la conjecture de Baum-Connes pour les groupes réductifs sur un corps p-adique et pour certains groupes discrets possédant la propriété (T) , 1998 .

[35]  S. Gersten The automorphism group of a free group is not a (0) group , 1994 .

[36]  M. Handel,et al.  Solvable Subgroups of Out(Fn) are Virtually Abelian , 1997, math/9712219.

[37]  M. Bestvina,et al.  The topology at infinity of Out(Fn) , 2000 .

[38]  Avner Ash,et al.  Small-dimensional classifying spaces for arithmetic subgroups of general linear groups , 1984 .

[39]  A. Borel Stable real cohomology of arithmetic groups , 1974 .

[40]  Michael Handel,et al.  The Tits alternative for Out (F~n) I: Dynamics of exponentially-growing automorphisms , 1997 .

[41]  藤原 耕二 Bounded cohomology of subgroups of mapping class groups (双曲空間及び離散群の研究 研究集会報告集) , 2001 .

[42]  W. J. Harvey,et al.  Boundary Structure of The Modular Group , 1981 .

[43]  Alexander Lubotzky,et al.  Abelian and solvable subgroups of the mapping class groups , 1983 .

[44]  Homology stability of $GL_n$ of a Dedekind domain , 1979 .

[45]  M. Gromov Metric Structures for Riemannian and Non-Riemannian Spaces , 1999 .

[46]  M. Bridson,et al.  Metric Spaces of Non-Positive Curvature , 1999 .

[47]  Filling in solvable groups and in lattices in semisimple groups , 2001, math/0110107.

[48]  On the linearity problem for mapping class groups , 2001, math/0103148.

[49]  Michael Handel,et al.  The Tits alternative for Out(Fn) II: A Kolchin type theorem , 1997 .

[50]  Karen Vogtmann,et al.  A group theoretic criterion for property FA , 1996 .

[51]  M. Bridson On the semisimplicity of polyhedral isometries , 1999 .

[52]  Lee Mosher,et al.  Mapping class groups are automatic , 1995 .

[53]  James McCool,et al.  A faithful polynomial representation of Out F3 , 1989, Mathematical Proceedings of the Cambridge Philosophical Society.

[54]  Martin R. Bridson,et al.  On the Geometry of the Automorphism Group of a Free Group , 1995 .

[55]  Free-group automorphisms, train tracks and the beaded decomposition , 2005, math/0507589.

[56]  J. Harer Stability of the homology of the moduli spaces of Riemann surfaces with spin structure , 1990 .

[57]  K. S. Brown Presentations for groups acting on simply-connected complexes , 1984 .

[58]  Homology stability for outer automorphism groups of free groups , 2004, math/0406377.

[59]  Stephen J. Bigelow,et al.  Braid groups are linear , 2000, math/0005038.

[60]  H. Masur,et al.  The Poisson boundary of the mapping class group , 1996 .

[61]  Split Injectivity of the Baum-Connes Assembly Map , 2003, math/0312047.

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

[63]  Geoffrey Hemion,et al.  On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds , 1979 .

[64]  S. Nayatani,et al.  Combinatorial Harmonic Maps and Discrete-group Actions on Hadamard Spaces , 2004 .

[65]  Philippe Elbaz-Vincent,et al.  Quelques calculs de la cohomologie de ? et de la K-théorie de ?Some computations of the homology of ? and the K-theory of ? , 2002 .

[66]  A. I︠u︡. Olʹshanskiĭ,et al.  Geometry of defining relations in groups , 1991 .

[67]  Filling in solvable groups and in lattices in semisimple groups , 2001 .

[68]  Peter A. Storm The Novikov conjecture for mapping class groups as a corollary of Hamenstadt's theorem , 2005, math/0504248.

[69]  Graham A. Niblo,et al.  Asymptotic invariants of infinite groups , 1993 .

[70]  M. Handel,et al.  The expansion factors of an outer automorphism and its inverse , 2004, math/0410015.

[71]  A. Hatcher,et al.  RATIONAL HOMOLOGY OF AUT ( F n ) , 1998 .