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