Commutativity and cocommutativity of cogroups in the category of connected graded algebras.

DOI10.1016/J.TOPOL.2015.04.003MaRDI QIDQ2344329zbMATH OpenOpenAlexFDO

Authors Hiroshi Kihara

Publication date 13 May 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2015.04.003

zbMATH Keywords

co-\(H\)-groupcogroupinverse antipode

Mathematics Subject Classification ID

Coalgebras and comodules; corings (16T15) Graded rings and modules (associative rings and algebras) (16W50) (H)-spaces and duals (55P45) Hopf algebras (aspects of homology and homotopy of topological groups) (57T05)

Review text

Let \(\mathcal A\) be the category of connected graded algebras over a commutative ring \(R\), and let \(\mathcal C\) be the category of connected graded coalgebras over \(R\). By a result of \textit{I. Berstein} [Trans. Am. Math. Soc. 115, 257--259 (1965; Zbl 0134.42404)] there is an equivalence between the category \(\mathcal C\) and the subcategory of comonoids in \(\mathcal A\), and this equivalence restricts to an equivalence between the subcategories of graded commutative objects in \(\mathcal C\) and cogroups in \(\mathcal A\) with underlying graded cocommutative coalgebra. The author shows an equivalence between the subcategory of positively graded modules of finite type and locally at most singly generated \(R\)-modules and the subcategory of cogroups of \(\mathcal A\) with underlying graded cocommutative algebra and finite type as \(R\)-module (in case \(R\) is a field, the finiteness condition can be removed). The last section is devoted to topological applications, mainly to 1-connected co-\(H\)-groups of finite type. Thus, it is shown that \(\Omega X\) is a homotopy commutative \(H\)-group if and only if \(X\) is homotopy equivalent to a singleton, \(S^3\) or \(S^7\), generalizing a result by \textit{H. Kachi} [Hiroshima Math. J. 20, No. 2, 365--384 (1990; Zbl 0711.55007)].

Recommendations

• Cogroups in algebras over an operad are free algebras
• Coalgebraic algebra
• Comultiplications in algebra and topology
• The category of commutative Hopf \(C^*\)-algebras
• Algèbre des descentes et cogroupes dans les algèbres sur une opérade

Cites work

• Categories equivalent to the category of rational H-spaces
• Comultiplications in algebra and topology
• Groups of homotopy classes of phantom maps
• Homotopical presentations and calculations of algebraic \(K_0\)-groups for rings of continuous functions
• Homotopy commutativity of the loop space of a finite CW-complex
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 4040828 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 1254210 (Why is no real title available?)
• scientific article; zbMATH DE number 896973 (Why is no real title available?)
• scientific article; zbMATH DE number 937418 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• On Co-Groups in the Category of Graded Algebras
• On rationalized H- and co-H-spaces. With an appendix on decomposable H- and co-H-spaces
• On the structure of Hopf algebras

Cited in

(6)

• Bicommutativity for a class of graded connected Hopf algebras
• Comultiplications in algebra and topology
• Algèbre des descentes et cogroupes dans les algèbres sur une opérade
• scientific article; zbMATH DE number 859990 (Why is no real title available?)
• Rational cup product and algebraic \(K_{0}\)-groups of rings of continuous functions
• Groups of homotopy classes of phantom maps

This page was built for publication: Commutativity and cocommutativity of cogroups in the category of connected graded algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344329)