Brown's natural twisting cochain and the Eilenberg-MacLane transformation (Q1343768)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Brown's natural twisting cochain and the Eilenberg-MacLane transformation |
scientific article |
Statements
Brown's natural twisting cochain and the Eilenberg-MacLane transformation (English)
0 references
5 September 1996
0 references
Let \(X\) be a reduced simplicial set, \(GX\) its loop complex à la Kan and \(F\) a simplicial set on which \(GX\) acts from the left. Then the twisted product \(X \widetilde{\times} F\) is defined; it is the simplicial analogue of a topological fibre space. A twisting cochain is a map \(\tau : C^N_* (X) \to C^N_{* - 1} (GX)\) satisfying certain algebraic properties \((C^N_*\) denoting the complex of normalized chains). It is used to define a twisted differential \(d_\tau\) on the tensor product \(C^N_*(X) \otimes C_*(F)\) such that this chain complex is chain homotopy equivalent to \(C_*(X \widetilde{\times} F)\). Using the technique of acyclic models, the authors construct a twisting cochain which is natural in \(X\) and is compatible with the Eilenberg-MacLane transformation \(C^N_*(X \times Y) \overset \sim {} C^N_*(X) \otimes C^N_*(Y)\).
0 references
simplicial set
0 references
twisting cochain
0 references
Eilenberg-MacLane transformation
0 references
twisted product
0 references
chain complex
0 references
fibration
0 references
acyclic models
0 references