On the cohomology algebra of a fiber (Q5949800)
From MaRDI portal
scientific article; zbMATH DE number 1678406
Language | Label | Description | Also known as |
---|---|---|---|
English | On the cohomology algebra of a fiber |
scientific article; zbMATH DE number 1678406 |
Statements
On the cohomology algebra of a fiber (English)
0 references
10 December 2001
0 references
For a fibration \(f:E\rightarrow B\) of fiber \(F\) and simple connected base \(B\) , the well-known Eilenberg-Moore isomorphism \(H^{*}(F;{\mathbf k})\cong Tor^{C^{*}(B)}(C^{*}(E);{\mathbf k})\) is an isomorphism of graded vector spaces and in general it does not give the multiplication structure of \(H^{*}(F;{\mathbf k})\). However, in the paper under review it is proved that for \(\operatorname {char}{\mathbf k}\) sufficiently large and a natural multiplication structure on \(Tor\), the Eilenberg-Moore isomorphism becomes one of graded algebras. The algebra of singular cochains \(C^{*}(X)\) is naturally linked to a commutative differential graded algebra \(A(X)\), inducing isomorphism in homology. The main results of the paper are the following two theorems: Theorem A. Assume the characteristic of the field \({\mathbf k}\) is an odd prime \(p\) and consider an inclusion \(F\hookrightarrow E\) of finite \(r\)-connected CW-complexes \((r\geq 1\)) of dimension \(\leq rp\). Then the Eilenberg isomorphism \(H^{*}(F;{\mathbf k})\cong \text{Tor}^{A(B)}(A(E);{\mathbf k})\) is an isomorphism of graded algebra. Theorem B. Let \(p\) be an odd prime. Consider the homotopy fiber \(F\) of an inclusion of finite \(r\)-connected CW-complexes of dimension \(\leq rp\). Then the cohomology algebra \(H^{*}(F;F_{p})\) is a divided powers algebra. In particular, \(p\)th powers vanish in the reduced cohomology \(\widetilde{H}^{*}(F;F_{p})\).
0 references
homotopy fiber
0 references
bar construction
0 references
Hopf algebra up to homotopy
0 references
loop space homology
0 references
divided powers algebra
0 references