Homotopy monomorphisms and \(H\)-splitting in loop space fibrations (Q1005178): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2008.10.017 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2015826337 / rank | |||
Normal rank |
Revision as of 20:43, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homotopy monomorphisms and \(H\)-splitting in loop space fibrations |
scientific article |
Statements
Homotopy monomorphisms and \(H\)-splitting in loop space fibrations (English)
0 references
6 March 2009
0 references
Let \(X,\) \(Y\) and \(Z\) be \(H\)-spaces and \(f:Y\to X\) and \(g:Z\to X\) be \(H\)-maps. The composite \(Y\times Z\to X\times X\to X\) is called an \(H\)-splitting if it is a homotopy equivalence and an \(H\)-map. The author considers here the special case of \(\Omega B\times\Omega F\to\Omega E,\) where \(p:E\to B\) is a fibration with fibre \(i:F\to E\) and \(\Gamma\;:\Omega B\to\Omega E\) is a, possibly naturally ocurring, homotopy right inverse of \(\Omega p.\) With these conditions \(\Omega B\times\Omega F\to\Omega E\) is known to be a homotopy equivalence, but is not in general an \(H\)-map. The author gives examples from the literature where it is, or is not, an \(H\)-map. For example, in the case of the extended Hopf fibration \(S^1\to S^3\to \mathbb CP^1\to K({\mathbb Z} ,2),\) the relevant homotopy equivalence \(\Omega S^2\to \Omega K({\mathbb Z},2)\times \Omega S^3\) is not an \(H\)-map, using the loop structure of \(\Omega S^2\), since \(\Omega S^2\) is not homotopy abelian and the other two spaces are. The author considers the case where \(F\) has an \(H\)-structure such that the holonomy action of the fibration \(F\times \Omega B\to F\) is homotopic to \(F\times \Omega B\to F\times F\to F,\) where \( \Omega B\to F\) is the connecting map; this condition is satisfied for the various definitions of principal fibration for example. His main result is that, if also the homotopy right inverse \(\Gamma\;:\Omega B\to\Omega E\) is an \(H\)-map, then \(\Omega B\times\Omega F\to\Omega E\) is an \(H\)-splitting. He also shows, without the assumption that \(\Gamma \) is an \(H\)-map, that \(F\to E\) is a homotopy monomorphism if, and only if, it is a weak homotopy monomorphism. Numerous special cases and examples are given.
0 references
\(H\)-space
0 references
\(H\)-splitting
0 references
Fibration
0 references
Homotopy monomorphism
0 references