Dihedral and quaternionic homology and mapping spaces (Q915199)

In ``Crossed simplicial groups and their associated homology'' [Trans. Am. Math. Soc. (to appear)]. \textit{Z. Fiedorowicz} and \textit{J.-L. Loday} introduced the notion of a crossed simplicial group. If \(\Delta\) is the category of ordered sets ṉ\(=\{0,1,...,n\}\) and order preserving maps, Aut(ṉ)\(=id_{\underline n}\) can be enriched to a group \(G_ n\) to define a new category \(\Delta\) G. While Fiedorowicz and Loday develop the general theory, the present paper emphasizes the cases of self-dual crossed simplicial groups where \(\{G_ n\}\) is the family of cyclic groups \({\mathbb{Z}}/n+1\), dihedral groups \(D_{n+1}\) or generalized quaternionic groups \(Q_{n+1}\). These cases and their associated cyclic, dihedral, or quaternionic spaces, i.e. functors X: \(\Delta\) \(G^{op}\to Top\) are studied in detail. Dihedral and quaternionic bar constructions are introduced and applied to obtain homotopy theoretic models of certain reduced Borel constructions over the orthogonal group O(2) and the normalizer \(N_{S^ 3}(S^ 1)\) of \(S^ 1\) in \(S^ 3\) such as \(EO(2)\times_{O(2)}(SX)^{S^ 1}/BO(2)\). A final section is devoted to the connection between dihedral and quaternionic homology of dihedral and quaternionic chain complexes associated with the Moore loops on a space Y and the singular homology of Borel constructions associated with the dihedral and quaternionic mapping space of Y. These results obtain particular importance in view of the connection of a Waldhausen type hermitian K-theory of a simplicial ring (as defined by Burghelea and Fiedorowicz) with its dihedral homology established by Krasauskas and Solov'ev.