Categories equivalent to the category of rational H-spaces (Q1823507): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q223432 |
||
Property / reviewed by | |||
Property / reviewed by: Jean-Claude Thomas / rank | |||
Revision as of 15:28, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categories equivalent to the category of rational H-spaces |
scientific article |
Statements
Categories equivalent to the category of rational H-spaces (English)
0 references
1989
0 references
\({\mathbb{T}}\) denotes the category of 1-connected, based, topological spaces \(X\) of the homotopy type of a simplicial complex which are rational and of finite type. The category \({\mathcal H}\) of rational H-spaces, considered here, is the associated monoid category of \({\mathbb{T}}\). The objects of \({\mathcal H}\) are pairs (X,\(\mu)\) with \(X\) an object of \({\mathbb{T}}\) and \(\mu\) is an element of the set of ordinary homotopy classes \([X\times X,X]\). Next let \({\mathbb{H}}\) be the category of associative and coassociative 1-reduced Hopf algebras of finite type. \({\mathbb{H}}_{com}\) (resp. \({\mathbb{H}}_{cocom})\) is the full subcategory of \({\mathbb{H}}\) of commutative (resp. cocommutative) Hopf algebras. The category \({\mathbb{H}}_{cocom}\) is known to be equivalent to some category \({\mathbb{L}}\) graded Lie algebras. Considering the rational cohomology, homology, and homotopy functors \(H^*\), \(H_*\), \(\pi_*\), the author proves: Theorem A: The functors \(H^*: {\mathcal H}\to {\mathbb{H}}_{com}\), \(H_*: {\mathcal H}\to {\mathbb{H}}_{cocom}\), \(\pi_*: {\mathcal H}\to {\mathbb{L}}\) are equivalences of categories. A dualt result asserts that the convenient category of rational coH-spaces is equivalent to the comonoid category of \({\mathbb{L}}\). Several consequences of Theorem A are derived, in particular Proposition (3.1) gives equivalent conditions for an H-space to be homotopy abelian. The second result (Theorem B) asserts that: The loop-space functor \(\Omega\) : \({\mathbb{C}}\to {\mathcal H}\) is an equivalence of categories, when \({\mathbb{C}}\) denotes the category whose objects are coformal rational spaces with fixed coformalization. The morphisms are homotopy classes of coformal maps with respect to the fixed coformalizations. - A dual statement is also stated.
0 references
homotopy abelian H-space
0 references
category of rational H-spaces
0 references
category
0 references
of graded Lie algebras
0 references
rational homotopy
0 references
1-reduced Hopf algebras of finite type
0 references
rational coH-spaces
0 references
coformal rational spaces
0 references