On the Subgroups of Right Angled Artin Groups and Mapping Class Groups

There exist right angled Artin groups $A$ such that the isomorphism problem for finitely presented subgroups of $A$ is unsolvable, and for certain finitely presented subgroups the conjugacy and membership problems are unsolvable. It follows that if $S$ is a surface of finite type and the genus of $S$ is sufficiently large, then the corresponding decision problems for the mapping class group $Mod(S)$ are unsolvable. Every virtually special group embeds in the mapping class group of infinitely many closed surfaces. Examples are given of finitely presented subgroups of mapping class groups that have infinitely many conjugacy classes of torsion elements.

[1]  M. Bridson.  Finiteness properties for subgroups of GL $(n,\mathbb Z)$ , 2000 .

[2]  Matt Clay,et al.  The geometry of right angled Artin subgroups of mapping class groups , 2010, 1007.1129.

[3]  Will Dison.  An isoperimetric function for Bestvina–Brady groups , 2007, 0705.4220.

[4]  John Stallings,et al.  A FINITELY PRESENTED GROUP WHOSE 3-DIMENSIONAL INTEGRAL HOMOLOGY IS NOT FINITELY GENERArED.* , 1963 .

[5]  Charles F. Miller,et al.  Structure and finiteness properties of subdirect products of groups , 2007, 0708.4331.

[6]  B. Nucinkis,et al.  Some groups of type VF , 2003 .

[7]  N. Brady,et al.  Morse theory and conjugacy classes of finite subgroups , 2007, 0709.3802.

[8]  E. Primrose,et al.  Subgroups of Teichmuller Modular Groups , 1992 .

[9]  S. Wolpert,et al.  A cofinite universal space for proper actions for mapping class groups , 2008, 0811.3871.

[10]  Charles F. Miller.  On Group-Theoretic Decision Problems and Their Classification. , 1971 .

[11]  Charles F. Miller,et al.  On the finite presentation of subdirect products and the nature of residually free groups , 2012, 1205.6175.

[12]  M. Bridson,et al.  Recognition of subgroups of direct products of hyperbolic groups , 2003 .

[13]  The rhombic dodecahedron and semisimple actions of Aut(F n ) on {\rm CAT}(0) spaces , 2011, 1102.5664.

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

[15]  Eliyahu Rips,et al.  Subgroups of small Cancellation Groups , 1982 .

[16]  Non-positive curvature and complexity for finitely presented groups , 2006 .

[17]  Finitely presented residually free groups , 2008, 0809.3704.

[18]  Daniel T. Wise,et al.  Cubulating small cancellation groups , 2004 .

[19]  Daniel T. Wise,et al.  Special Cube Complexes , 2008, The Structure of Groups with a Quasiconvex Hierarchy.

[20]  Daniel Krob,et al.  The lower central series of the free partially commutative group , 1992 .

[21]  Artin HNN‐extensions virtually embed in Artin groups , 2008, 0802.1733.

[22]  Thomas Koberda,et al.  Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups , 2010, 1007.1118.

[23]  Lee Mosher.  Mapping Class Groups are Automatic , 1994 .

[24]  Charles F. Miller.  Decision Problems for Groups — Survey and Reflections , 1992 .

[25]  D. J. Collins,et al.  The word problem in groups of cohomological dimension , 1999 .

[26]  Benson Farb.  Some problems on mapping class groups and moduli space , 2006, math/0606432.

[27]  R. Kulkarni.  Symmetries of surfaces , 1987 .

[28]  The isomorphism problem for residually torsion-free nilpotent groups , 2007 .

[29]  On finite subgroups of groups of type VF , 2005, math/0510682.

[30]  Ian Agol,et al.  The virtual Haken conjecture , 2012, 1204.2810.

[31]  M. Bridson,et al.  Fibre products, non-positive curvature, and decision problems , 2000 .

[32]  John Crisp,et al.  The conjugacy problem in subgroups of right‐angled Artin groups , 2009 .