\(H\)-spaces as direct product factors of loop spaces.
type: Item
instance of: scholarly article
title: \(H\)-spaces as direct product factors of loop spaces.
zbMATH Open document ID: 1041.55006
DOI: 10.1016/S0166-8641(02)00361-9
author: Yutaka Hemmi
published in: Topology and its Applications
publication date: 2003-08-07T00:00:00Z
review text: Let \(X\) denote an H-space. Then there is a mapping, constructed by \textit{I. M. James} [Ann. Math. (2) 62, 170--197 (1955; Zbl 0064.41505)], \(r: \Omega \Sigma X \to X\) which is a homotopy inverse to the natural mapping \(\rho: X \to \Omega\Sigma X\), the adjoint of the identity. This allows us to present \(\Omega\Sigma X \simeq X\times Y\) where \(Y\) is the homotopy fibre of \(r\), and thus embedding \(X\) in a loop space. This is not usually an H-map, however. When \(X\) is an \(A_n\)-space, in the sense of \textit{J. D. Stasheff} [Trans. Am. Math. Soc. 108, 275--292, 293--312 (1963; Zbl 0114.39402)], there is a higher-dimensional analogue of James's mapping splitting the adjoint of the inclusion of the suspension into \(P_nX\), the \(n\)th higher projective space associated to \(X\), \(\rho_n: X \to \Omega P_n X\). The splitting implies that \(\Omega P_nX\) has the homotopy type of \(X\times Y_n\). Analyzing the projective space, one finds that the inclusion of \(X\) into \(\Omega P_nX\) is an \(A_k\)-map for \(k\leq n-1\), and that a particular space can be used for \(Y_n\), namely \(\Omega \Sigma^nX^{\wedge n+1}\). The goal of this note is to analyze the homotopy equivalence \[ f_n: X\times \Omega\Sigma^nX^{\wedge n+1} \to \Omega P_nX. \] In particular, since the spaces involved are loop spaces of suspensions, their cohomology over a field is understood and so explicit properties can be determined. The motivating question posed by the author is the image associated to a class \(x\in \widetilde{H}^*(X;k)\), an \(A_n\)-class, for which there is \(\widehat{x}\), a class in \(H^*(P_nX;k)\) with \(i^*(\widehat{x}) = s(x)\) (\(i: \Sigma X\to P_nX\)). Then \[ f_n(\sigma^*(\hat{x})) = x\otimes 1 + 1\otimes \sigma^*(q_n^*(\widehat{x})), \] where \(q_n\) is a higher Hopf construction.
reviewed by: John McCleary
Mathematics Subject Classification ID: 55P45
Mathematics Subject Classification ID: 55P35
Mathematics Subject Classification ID: 55R35
zbMATH DE Number: 1961615
zbMATH Keywords: H-space
zbMATH Keywords: \(A_n\)-space
zbMATH Keywords: higher projective space
MaRDI profile type: Publication
cites work: Reduced product spaces
cites work: Hopf Constructions and Higher Projective Planes for Iterated Loop Spaces
cites work: Groupes d'homotopie et classes de groupes abéliens
cites work: Q3292133
cites work: Homotopy Associativity of H-Spaces. I
cites work: \(H\)-spaces from a homotopy point of view
cites work: Q3241656
full work available at URL: s0166-8641(02)00361-9
OpenAlex ID: W2029283679
Recommended article: Primitive Obstructions in the Cohomology of Loopspaces
Recommended article: Maps between small Hopf spaces
Recommended article: Retraction of \(H\)-spaces
Recommended article: On the odd primary cohomology of higher projective planes
Recommended article: Q4249383
Recommended article: On exterior \(A_ n\)-spaces and modified projective spaces
Recommended article: Higher forms of homotopy commutativity and finite loop spaces
Recommended article: New proof of two Berstein-Hilton theorems
Recommended article: CW simplicial resolutions of spaces with an application to loop spaces
Recommended article: An elementary construction of Anick's fibration
description: scientific article; zbMATH DE number 1961615