The symmetric bar-construction and combinatoric topological models (Q1358374)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The symmetric bar-construction and combinatoric topological models
scientific article

    Statements

    The symmetric bar-construction and combinatoric topological models (English)
    0 references
    0 references
    0 references
    8 October 1997
    0 references
    Let \(G\) be a topological monoid. The symmetric bar-construction of \(G\) is the cosimplicial space \(B^*(G)\) given in codimension \(n\) by \[ B^n(G):= G\times\cdots \times G\quad (n+1)\text{-copies}. \] Apart from the action of the cosimplicial category \(\Delta\), the symmetric bar-construction possesses further internal symmetries making it into a module over the cyclic category \({\mathcal C}\) and the symmetric indexing category \({\mathcal S}\) (where cyclic groups of \({\mathcal C}\) are replaced by the full symmetric groups). If moreover \(G\) is equipped with an involution, the actions of \({\mathcal C}\) and \({\mathcal S}\) on \(B^*(G)\) extend to actions of the dihedral category \({\mathcal D}\) respectively the Weil category \({\mathcal W}\) (in degree \(n\) the semidirect product of \(\Sigma_n\) and \((\mathbb{Z}/2)^{n+ 1}\)). Consider now the case \(G:= \Omega\Sigma X\), the Moore loop space over the suspension of a cell complex \(X\). Let \({\mathcal A}\) be one of the indexing categories \({\mathcal A}=\Delta,{\mathcal C},{\mathcal S},{\mathcal W},{\mathcal D}\). The definition of the combinatorial model \({\mathcal A}(X)\) of the space \(X\) based on the canonical indexing category \({\mathcal A}\) is given as follows. Denote the direct limit of the semiconfiguration spaces as \(\overline F(\mathbb{R}^\infty, n):= \lim\overline F(\mathbb{R}^k, n)\), where \[ \overline F(\mathbb{R}^k, n)= \{(y_0,\dots, y_n)\mid y_i\in \mathbb{R}^k-\{0\}, y_i\neq \pm y_j\text{ for }i\neq j\}. \] Set \[ {\mathcal A}(X):= \prod^\infty_{n= 0}\overline F(\mathbb{R}^\infty, n)\times X^{n+ 1}/\sim, \] where the equivalence relation \(\sim\) is defined by the relations \[ (y_0,\dots, y_n)\times (x_0,\dots, x_{k-1},*, x_{k+1},\dots, x_n)\sim (y_0,\dots,\widehat y_k,\dots, y_n)\times (x_0,\dots,\widehat x_k,\dots, x_n) \] (the sign \(*\) denotes the marked point) and by the action of the group of symmetries \({\mathcal A}_n\subset W_n\) (note that \(\overline F(\mathbb{R}^\infty, n)\) is a free acyclic \(W_n\)-space). The main result of the note is the following theorem: For every CW-complex \(X\) the spaces \(\text{hocolim}_{\mathcal A}B^*_{\mathcal A}(\Omega\Sigma X)\) and \({\mathcal A}(X)\) are homotopy equivalent. Some corollaries about the geometry of these homotopy colimits are drawn.
    0 references
    free loop spaces
    0 references
    configuration spaces
    0 references
    bar-construction
    0 references
    cyclic category
    0 references
    dihedral category
    0 references
    Weil category
    0 references
    Moore loop space
    0 references
    homotopy colimits
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references