subgroups of graph groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T21:56:20Z http://mathoverflow.net/feeds/question/15121 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15121/subgroups-of-graph-groups subgroups of graph groups Stefan Friedl 2010-02-12T15:30:31Z 2010-02-13T22:28:10Z <p>Let $G$ be a graph group and let $S$ be a finitely generated subgroup of $S$. What torsion can $H_1(S)$ have?</p> <p>Let me put this in context: Let $Y$ be a graph, then the corresponding graph group has a generator for each vertex and for each edge we add the relation that the corresponding generators commute. Such groups are also known as right angled Artin groups. If $Y$ has no edges the graph group is the free group, if $Y$ is a complete graph, then the graph group is a free abelian group.</p> <p>It is known by work of Crisp and Wiest that non-orientable surface groups embed in graph groups. Such surface groups can have 2-torsion in their abelianization. Is that the only type of torsion which can appear in the abelianization of the subgroup of a graph group?</p> <p>My interest in this question comes from the recent announcement by Dani Wise that `most' hyperbolic 3-manifold groups embed in a graph group.</p> http://mathoverflow.net/questions/15121/subgroups-of-graph-groups/15126#15126 Answer by HW for subgroups of graph groups HW 2010-02-12T15:50:51Z 2010-02-13T22:28:10Z <p>This isn't a proper answer, but here are some remarks.</p> <ul> <li>Wise's work actually purports to tell you that most (all?) hyperbolic 3-manifold groups <em>virtually</em> embed in graph groups - ie, a finite-index subgroup embeds. So you might lose a lot of torsion when you pass to this finite-index subgroup.</li> <li><a href="http://www.springerlink.com/content/q4t2224641r6n605/" rel="nofollow">Haglund and Wise</a> have a very nice criterion for injecting fundamental groups of cube complexes into graph groups. It would be completely reasonable to try to use this to construct interesting examples of torsion in the homology of subgroups of graph groups.</li> <li>Because the embeddings in Haglund--Wise are <em>quasiconvex</em>, it follows from work of Haglund that every such subgroup H is a <em>virtual retract</em> - that is, there is a finite-index subgroup K that contains H and the inclusion map has a left inverse K->H. In particular, any torsion you see in the homology of H will also show up in the homology of K. It would be easy to use a computer algebra package like GAP to look for torsion in finite-index subgroups of graph groups. </li> </ul> <p>UPDATE:</p> <p>In a comment below, Stefan points out a very nice way of constructing torsion in finite-index subgroups of graph groups, due to Bridson and Miller. As I'm familiar with the argument, I'll explain it. The graph group in question will always be a direct product of two free groups.</p> <p>Let Q be any group you like and let q:F->Q be a surjection from a free group. Now take the fibre product K of q with itself; in other words, consider the subgroup</p> <p>$K= {(g,h)\in F\times F\mid q(g)=q(h)}~.$</p> <p>There is a standard five-term exact sequence in homology that derives from the map $q:F\to Q$, which reduces to</p> <p>$0\to H_2(Q)\to H_0(Q,H_1(\ker f))\to H_1(F)\to H_1(Q)$</p> <p>where, by definition, $H_0(Q,H_1(\ker f))$ is the quotient of the abelianisation of $\ker f$ by the natural action of $Q$ by conjugation. On the other hand, projecting onto a factor decomposes $K$ as $\ker f\rtimes F$ (where the action is, again, by conjugation), from which it follows that</p> <p>$H_1(K) = H_0(Q,H_1(\ker f))\oplus H_1(F)~.$</p> <p>Putting these together, we see that $H_2(Q)$ embeds into $H_1(K)$.</p> <p>The fibre product $K$ can also be characterised as the preimage of the diagonal subgroup of $Q\times Q$ in $F\times F$, so if $Q$ is finite then $K$ is of finite index in $F\times F$. This proves the following.</p> <p><strong>Proposition.</strong> For any finite group $Q$ there is a finite-index subgroup $K$ of $F\times F$ with $H_2(Q)\subseteq H_1(K)$.</p> <p>This shows that all sorts of torsion can arise in $H_1$ of subgroups of graph groups.</p> <p><strong>Remark.</strong> We took $Q$ to be finite because otherwise $K$ isn't quasiconvex. But the rest of the argument goes through.</p>