Embedability between right-angled Artin groups

Kim, Sang-hyun¹ ; Koberda, Thomas²

¹ Department of Mathematical Sciences, KAIST, Daejeon 305-701, Republic of Korea
² Department of Mathematics, Yale University, P.O. Box 208283, New Haven, CT 06511, USA

Geometry & topology, Tome 17 (2013) no. 1, pp. 493-530.

Résumé

In this article we study the right-angled Artin subgroups of a given right-angled Artin group. Starting with a graph $\Gamma$, we produce a new graph through a purely combinatorial procedure, and call it the extension graph ${\Gamma }^e$ of $\Gamma$. We produce a second graph ${\Gamma }_k^e$, the clique graph of ${\Gamma }^e$, by adding an extra vertex for each complete subgraph of ${\Gamma }^e$. We prove that each finite induced subgraph $\Lambda$ of ${\Gamma }^e$ gives rise to an inclusion $A\left(\Lambda \right)\to A\left(\Gamma \right)$. Conversely, we show that if there is an inclusion $A\left(\Lambda \right)\to A\left(\Gamma \right)$ then $\Lambda$ is an induced subgraph of ${\Gamma }_k^e$. These results have a number of corollaries. Let $P_4$ denote the path on four vertices and let $C_n$ denote the cycle of length $n$. We prove that $A\left(P_4\right)$ embeds in $A\left(\Gamma \right)$ if and only if $P_4$ is an induced subgraph of $\Gamma$. We prove that if $F$ is any finite forest then $A\left(F\right)$ embeds in $A\left(P_4\right)$. We recover the first author’s result on co-contraction of graphs, and prove that if $\Gamma$ has no triangles and $A\left(\Gamma \right)$ contains a copy of $A\left(C_n\right)$ for some $n\ge 5$, then $\Gamma$ contains a copy of $C_m$ for some $5\le m\le n$. We also recover Kambites’ Theorem, which asserts that if $A\left(C_4\right)$ embeds in $A\left(\Gamma \right)$ then $\Gamma$ contains an induced square. We show that whenever $\Gamma$ is triangle-free and $A\left(\Lambda \right)<A\left(\Gamma \right)$ then there is an undistorted copy of $A\left(\Lambda \right)$ in $A\left(\Gamma \right)$. Finally, we determine precisely when there is an inclusion $A\left(C_m\right)\to A\left(C_n\right)$ and show that there is no “universal” two–dimensional right-angled Artin group.

Détail

DOI : 10.2140/gt.2013.17.493

Classification : 20F36
Keywords: right-angled Artin group, mapping class group, surface group, co-contraction

Bibliographie

[1] I Agol, The virtual Haken conjecture

[2] A Baudisch, Subgroups of semifree groups, Acta Math. Acad. Sci. Hungar. 38 (1981) 19

[3] J Behrstock, R Charney, Divergence and quasimorphisms of right-angled Artin groups, Math. Ann. 352 (2012) 339

[4] R W Bell, Combinatorial methods for detecting surface subgroups in right-angled Artin groups, ISRN Algebra, Article ID 102029 (2011)

[5] M Bestvina, B Kleiner, M Sageev, The asymptotic geometry of right-angled Artin groups, I, Geom. Topol. 12 (2008) 1653

[6] J S Birman, A Lubotzky, J Mccarthy, Abelian and solvable subgroups of the mapping class groups, Duke Math. J. 50 (1983) 1107

[7] A M Brunner, Geometric quotients of link groups, Topology Appl. 48 (1992) 245

[8] M Casals-Ruiz, A Duncan, I Kazachkov, Two examples of partially commutative subgroups of partially commutative groups, in preparation

[9] R Charney, K Vogtmann, Finiteness properties of automorphism groups of right-angled Artin groups, Bull. Lond. Math. Soc. 41 (2009) 94

[10] M T Clay, C J Leininger, J Mangahas, The geometry of right-angled Artin subgroups of mapping class groups, Groups Geom. Dyn. 6 (2012) 249

[11] D G Corneil, H Lerchs, L S Burlingham, Complement reducible graphs, Discrete Appl. Math. 3 (1981) 163

[12] J Crisp, M Sageev, M Sapir, Surface subgroups of right-angled Artin groups, Internat. J. Algebra Comput. 18 (2008) 443

[13] J Crisp, B Wiest, Embeddings of graph braid and surface groups in right-angled Artin groups and braid groups, Algebr. Geom. Topol. 4 (2004) 439

[14] R Diestel, Graph theory, 173, Springer (2010)

[15] C Droms, Graph groups, coherence, and three-manifolds, J. Algebra 106 (1987) 484

[16] B Farb, D Margalit, A primer on mapping class groups, 49, Princeton Univ. Press (2012)

[17] V S Guba, M V Sapir, On subgroups of the R. Thompson group F and other diagram groups, Mat. Sb. 190 (1999) 3

[18] M Kambites, On commuting elements and embeddings of graph groups and monoids, Proc. Edinb. Math. Soc. 52 (2009) 155

[19] M Kapovich, RAAGs in Ham, Geom. Funct. Anal. 22 (2012) 733

[20] K H Kim, L Makar-Limanov, J Neggers, F W Roush, Graph algebras, J. Algebra 64 (1980) 46

[21] S H Kim, Hyperbolic surface subgroups of right-angled Artin groups and graph products of groups, PhD thesis, Yale University (2007)

[22] S H Kim, Co-contractions of graphs and right-angled Artin groups, Algebr. Geom. Topol. 8 (2008) 849

[23] S H Kim, On right-angled Artin groups without surface subgroups, Groups Geom. Dyn. 4 (2010) 275

[24] T Koberda, Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups, Geom. Funct. Anal. 22 (2012) 1541

[25] R C Lyndon, P E Schupp, Combinatorial group theory, , Springer (2001)

[26] J Mangahas, A recipe for short-word pseudo-Anosovs, to appear in American Journal of Mathematics

[27] J F Manning, Geometry of pseudocharacters, Geom. Topol. 9 (2005) 1147

[28] R C Penner, A construction of pseudo-Anosov homeomorphisms, Trans. Amer. Math. Soc. 310 (1988) 179

[29] L Sabalka, On rigidity and the isomorphism problem for tree braid groups, Groups Geom. Dyn. 3 (2009) 469

[30] H Servatius, Automorphisms of graph groups, J. Algebra 126 (1989) 34

[31] H Servatius, C Droms, B Servatius, Surface subgroups of graph groups, Proc. Amer. Math. Soc. 106 (1989) 573