Equivalence classes of homotopy-associative comultiplications of finite complexes
type: Item
instance of: scholarly article
title: Equivalence classes of homotopy-associative comultiplications of finite complexes
zbMATH Open document ID: 0862.57026
DOI: 10.1016/0022-4049(94)00074-S
author: Martin Arkowitz
author: Gregory Lupton
published in: Journal of Pure and Applied Algebra
publication date: 1997-05-25T00:00:00Z
review text: For \(X\) a topological space the authors consider various sets of comultiplications on \(X\). They denote by \(\mathbb{C}(X)\) the set of homotopy classes of comultiplications on \(X\), by \(\mathbb{C}_a(X)\) respectively \(\mathbb{C}_{ac} (X)\) the set of homotopy classes of homotopy-associative comultiplications, respectively of both homotopy-associative and homotopy-commutative comultiplications of \(X\) and by \(\widetilde\mathbb{C} (X)\), \(\widetilde \mathbb{C}_a (X)\), \(\widetilde\mathbb{C}_{ac} (X)\) the corresponding equivalence classes. This paper has six sections and an appendix. After establishing basic facts concerning comultiplications and rationalization they obtain information about comultiplications of a space \(X\) by studying comultiplications of the rational homotopy Lie algebra \(\pi_\# (\Omega X) \otimes Q\) of \(X\). In the third section the authors relate these notions and conclude that \(\widetilde\mathbb{C} (X)\), \(\widetilde\mathbb{C}_a (X)\), \(\widetilde C_{ac} (X)\) are finite whenever the corresponding equivalence classes of Lie algebra comultiplications of \(\pi_\# (\Omega X) \otimes Q\) are finite. There are also results in this paper interesting in their own right as the theorem which asserts that an associative comultiplication on a Lie algebra is determined by its quadratic part. The main result in this paper concerns a finite complex \(X\) which admits a homotopy-associative comultiplication. A finite co-\(H\)-space \(X\) has the rational homotopy type of a wedge of spheres \(X_Q \equiv S_Q^{n_1+1} \vee\dots \vee S_Q^{n_r+1}\) for integers \(n_1\leq \cdots \leq n_r\) (so \((n_1, \dots, n_r)\) is the type of \(X)\). They prove that if for each \(i\) (a) \(n_i \neq n_j + n_k\) for every \(j,k\) with \(j<k\) and (b) \(n_i\neq 2n_j\) for every \(j\) with \(n_j\) even then \(\widetilde\mathbb{C}_a (X)\) is finite. Also they prove that \(\widetilde\mathbb{C}_{ac} (X)\) is finite. In the last section the authors give several examples…
reviewed by: Corina Mohorianu
Mathematics Subject Classification ID: 57T05
Mathematics Subject Classification ID: 55P62
zbMATH DE Number: 810229
zbMATH Keywords: comultiplications
zbMATH Keywords: homotopy classes
zbMATH Keywords: rationalization
zbMATH Keywords: rational homotopy
zbMATH Keywords: Lie algebra
zbMATH Keywords: finite complex
MaRDI profile type: Publication
cites work: On the number of multiplications of an H-space
cites work: The group of homotopy equivalences of a space
cites work: Q5550910
cites work: Rational co-H-spaces
cites work: Minimal models of loop spaces and suspensions
cites work: Homotopy mod. \(C\) of spaces of category 2
cites work: On Co-Groups in the Category of Graded Algebras
cites work: Homotopy limits, completions and localizations
cites work: On the H-space structures of finite complexes
cites work: Cogroups and suspensions
cites work: On the Homotopy Groups of the Union of Spheres
cites work: Q4086427
cites work: On co-H-spaces
cites work: Q5682962
cites work: Localization of seif-homotopy equivalences inducing the identity on homology
cites work: On the structure of Hopf algebras
cites work: Formal and coformal spaces
cites work: Rational homotopy theory
cites work: Q5341863
cites work: Homotopie rationelle: modèles de Chen, Quillen, Sullivan
cites work: Compositional Methods in Homotopy Groups of Spheres. (AM-49)
cites work: Q5530411
description: scientific article; zbMATH DE number 810229