An algebraic model for the loop space homology of a homotopy fiber
Abstract
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of which is isomorphic as a graded algebra to the homology of GF, the simplicial (Kan) loop group on F. To construct this model, we develop machinery for modeling the homotopy fiber of a morphism of chain Hopf algebras. Essential to our construction is a generalization of the operadic description of the category DCSH of chain coalgebras and of strongly homotopy coalgebra maps given in (math.AT/0505559) to strongly homotopy morphisms of comodules over Hopf algebras. This operadic description is expressed in terms of a general theory of monoidal structures in categories with morphism sets parametrized by co-rings, which we elaborate here.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- October 2004
- DOI:
- 10.48550/arXiv.math/0410503
- arXiv:
- arXiv:math/0410503
- Bibcode:
- 2004math.....10503H
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Rings and Algebras;
- 55P35 (Primary);
- 16W30;
- 18G15;
- 18G55;
- 55U10;
- 55U35;
- 57T05;
- 57T25;
- 57T30 (Secondary)
- E-Print:
- Introduction revised, some reorganization, 54 pages