Quasi-projectivity of even Artin groups (Q1757329): Difference between revisions

A group is quasi-projective if it is the fundamental group of a smooth connected quasi-projective space, that is to say, the complement of a hypersurface in a projective variety. There is a long history of work, both on classifying quasi-projective groups and on obtaining their properties. The aim of the present paper concerns quasi-projective Artin groups. When the Artin group is associated to an even-labeled graph, it is said to be an even Artin group. The main result of the paper is obtained in this setting, by characterizing when an even Artin group is quasi-projective, in terms of the corresponding graph. Let \(\overline {K}_r\) be a disjoint graph with \(r\) vertices and no edges, \(S_{2l}\) the graph with two vertices and an edge joining them with label \(2l\), and \(T(4,4,2)\) the graph with three vertices and the three edges joining them with labels \(4, 4\) and \(2\). Given two labeled graphs, their \(2\)-join is defined as the labeled graph given by the join of the graphs whose connecting edges have label \(2\). Then, Theorem 1 of the paper states that the even Artin group \(\mathbb{A}_{\Gamma}\) associated to a graph \(\Gamma\) is quasi-projective if and only if \(\Gamma\) is the \(2\)-join of finitely many copies of \(\overline {K} _r\), \(S_{2l}\) and \(T(4,4,2)\). Besides, the authors prove in Theorem 2 that the quasi-projective Artin groups satisfy the so-called quasi-projective \(K(\pi, 1)\) conjecture, that is to say, they are realizable by an Eilenberg--Mac Lane space.