Extended Adams-Hilton's construction
type: Item
instance of: scholarly article
title: Extended Adams-Hilton's construction
zbMATH Open document ID: 0585.55013
author: Yves Félix
author: Jean-Claude Thomas
published in: Pacific Journal of Mathematics
publication date: 1987-01-01T00:00:00Z
review text: Let \(F\to^{j}E\to^{p}B\) be a Hurewicz fibration. The homotopy lifting property defines (up to homotopy) an action of the H-space \(\Omega\) B on the fibre F which makes \(H_*(F)\) into a \(H_*(\Omega B)\)-module. Suppose B is connected. We prove that if \(E\to^{p}B\) is the cofibre of a map \(g: W\to E\) where W is a wedge of spheres, then the reduced homology of F, \(\tilde H_*(F)\), is a free \(H_*(\Omega B)\)-module generated by \(\tilde H_*(W)\). This result implies in particular a characterization of aspherical groups. The key point in the proof of this theorem is the following generalization of the Adams-Hilton construction. In their famous paper, Adams and Hilton construct for every simply connected c.w. complex B a graded differential algebra whose homology computes the algebra \(H_*(\Omega B)\). Extending their construction to any fibration p we construct a differential graded module C(F) whose homology computes the \(H_*(\Omega B)\)-module \(H_*(F)\). We suppose E is a subcomplex of B, then C(F) is a free \(H_*(\Omega B)\)-module generated by the cells of E. The differential is defined inductively on generators in accordance with the way the cells of E are attached. Our construction has many applications. For instance, let \(\tilde K\to^{p}K\) be a normal covering of a finite c.w. complex. \(\tilde K\) is the homotopy fibre of some classifying map \(K\to K(G,1)\). As \(H_*(\Omega K(G,1))\) is isomorphic to \({\mathbb{Z}}[G]\), our construction yields an explicit chain complex whose homotopy computes the homology \(\tilde K\) as a \({\mathbb{Z}}[G]\)-module. In particular, we establish some properties of infinite cyclic coverings in low dimensions.
Mathematics Subject Classification ID: 55R05
Mathematics Subject Classification ID: 57T25
Mathematics Subject Classification ID: 57M10
zbMATH DE Number: 3938038
zbMATH Keywords: Hurewicz fibration
zbMATH Keywords: aspherical groups
zbMATH Keywords: Adams-Hilton's construction
zbMATH Keywords: differential graded module
zbMATH Keywords: action of the loop space of the base space on the fibre homology of loop spaces
zbMATH Keywords: infinite cyclic coverings
MaRDI profile type: Publication
full work available at URL: pjm.1987.128.251
OpenAlex ID: W2001532941
DOI: 10.2140/PJM.1987.128.251
Recommended article: Adams' cobar construction revisited
Recommended article: Q4282474
Recommended article: Extensions of two constructions of Ahmad
Recommended article: Q3485810
Recommended article: Extending the Thas-Walker construction
Recommended article: Q4705163
Recommended article: Q4889697
Recommended article: Adams completion and exterior algebra
Recommended article: Stinespring's construction as an adjunction
Recommended article: The extended adjoint method
description: scientific article; zbMATH DE number 3938038