Relatively extra-large Artin groups (Q2418869)

From MaRDI portal





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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references