Artin groups whose graphs differ by one edge and coverings - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T12:01:37Z http://mathoverflow.net/feeds/question/108245 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108245/artin-groups-whose-graphs-differ-by-one-edge-and-coverings Artin groups whose graphs differ by one edge and coverings Alexey Basalaev 2012-09-27T13:21:47Z 2012-09-27T19:51:13Z <p>Every right-angled Artin group and Coxeter group has a graph $\Gamma$ associated to it. The vertices of the graph stayfor the generators of the group and the edges correspond to the relations of the generators (two  vertices are connected by the edge if they do not commute).</p> <p>My first question is if anything is known about the Artin groups whose graphs differ just by one edge - only one additional relation.</p> <p>The second question is concerning ramified coverings. Monodromy group of the Hurwitz covering (covering of the 2-dim sphere that has only simple ramification points except one, where ramification profile is arbitrary)  turns out to be a simple case of Artin group - generators are just permutations. Is there a continuation of this fact to a general Artin group?</p> http://mathoverflow.net/questions/108245/artin-groups-whose-graphs-differ-by-one-edge-and-coverings/108248#108248 Answer by HenrikRüping for Artin groups whose graphs differ by one edge and coverings HenrikRüping 2012-09-27T14:36:44Z 2012-09-27T19:51:13Z <p>Let $A_{\Gamma'}$ be the group asoociated to any graph $\Gamma'$. Concerning your first question I can show that there is a short exact sequence $$1\rightarrow F \rightarrow A_{\Gamma \setminus e}\rightarrow A_\Gamma\rightarrow 1.$$</p> <p>Let me work in the case of graph products (which includes both the right angled Artin and the right andgled Coxeter cases).</p> <p>We obtain a presentation for $A_\Gamma$ by adding a relation to a presentation for $A_{\Gamma\setminus e}$.</p> <p>So there is a canonical group homomorphism from $A_{\Gamma\setminus e}$ to $A_\Gamma$. So maybe you are wondering what the Kernel looks like. </p> <p>Instead of answering this question let me instead consider the homomorphism $A_{\Gamma\setminus e}\rightarrow A_{\Gamma\setminus v}$ where $v$ is one of the endpoints of $e$ (Of course we also have to remove all edge to $v$). By the argument of Section 4 in <a href="http://arxiv.org/abs/1110.2708" rel="nofollow">Holt,Rees</a> its Kernel is a free product of copies of the vertex group. We have a factorization $A_{\Gamma\setminus e}\rightarrow A_\Gamma \rightarrow A_{\Gamma\setminus v}$. So especially the Kernel of the map we were originally interested in is contained in that Kernel. </p> <p>In the Artin case we get immediately that this kernel is free (as it is a subgroup of a free group) and in the Coxeter case it is also a free group. To show this it is enough to show that it is torsionfree (using the action of a free product on a tree). But this is also clear since any torsion element in a free product is conjugate to an element in one of the factor groups. Such elements cannot lie in the Kernel of $A_{\Gamma\setminus e}$ to $A_\Gamma$ (but to show this I would have to make the isomorphism from the kernel to such a free product explicit. It is in the paper mentioned above but writing it down would take quite some notation).</p>