Relatively extra-large Artin groups (Q2418869)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relatively extra-large Artin groups |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relatively extra-large Artin groups |
scientific article |
Statements
Relatively extra-large Artin groups (English)
0 references
29 May 2019
0 references
Summary: Let \(n\geq 2\) be an integer and let \(N\) be an \(n \times n\) symmetric matrix with 1's on the main diagonal and natural numbers \(n_{ij}\neq 1\) as off-diagonal entries. (0 is a natural number). Let \(X=\{x_1,\ldots ,x_n\}\) and let \(F\) be the free group on \(X\). For every non-zero off-diagonal entry \(n_{ij}\) of \(N\) define a word \(R_{ij}:=UV^{-1}\) in \(F\), where \(U\) is the initial subword of \((x_ix_j)^{n_{ij}}\) of length \(n_{ij}\) and \(V\) is the initial subword of \((x_jx_i)^{n_{ij}}\) of length \(n_{ij}\), \(1\leq i,j \leq n\). Let \(A\) be the group given by the presentation \(\langle X\mid R_{ij},\,n_{ij}\geq 2 \rangle\). \(A\) is called the \textit{Artin group defined by \(N\), with standard generators \(X\)}. Let \(Y=\{x_1,\ldots ,x_k\}, k<n\) and let \(N_Y\) be the submatrix of \(N\) corresponding to \(Y\). Let \(H=\langle Y \rangle\). We call \(A\) \textit{extra-large relative to \(H\)} if \(N\) subdivides into submatrices \(N_Y,B,C\) and \(D\) of sizes \(k\times k,k\times l,l\times k,l\times l\), respectively \((l+k=n)\) such that every non zero element of \(B\) and \(C\) is at least 4 and every off-diagonal non-zero entry of \(D\) is at least 3. No condition on \(N_Y\). In this work we solve the word problem for such \(A\), show that \(A\) is torsion free and show that \(A\) has property \(K(\pi,1)\), provided that \(H\) has these properties, correspondingly. We also compute the homology and cohomology of \(A\), relying on that of \(H\). The two main tools used are Howie diagrams corresponding to relative presentations of \(A\) with respect to \(H\) and small cancellation theory with mixed small cancellation conditions.
0 references
Artin groups
0 references
word problem
0 references
\(K(\pi
0 references
1)\) property
0 references
relative presentations
0 references
howie diagrams
0 references
small cancellation theory
0 references