The generalized Whitehead product

Martin Arkowitz
1962 Pacific Journal of Mathematics  
Introduction. In this paper we investigate an operation which is a generalization of the Whitehead product for homotopy groups. Let π(R, S) denote the collection of homotopy classes of base point preserving maps of R into S, let ΣR denote the reduced suspension of R, and let R ^ S be the identification space R x S/R V S (see § 1 for complete definitions). Then this generalized Whitehead product (written GWP) assigns to each a e π(ΣA, X) and β e π(ΣB, X) an element [a, β] e π(Σ(A & B), X), where
more » ... A and B are polyhedra and X is a topological space. In the case when A and B are spheres [a, β] is essentially the Whitehead product. In this paper we generalize known results on spheres and Whitehead products to polyhedra and GWPs. The paper is divided into six parts. After the preliminaries of § 1 we present two definitions of the GWP in § 2. The first definition, which was given by Hilton in [8 pp. 130-131], is closely related to a commutator of group elements. The second definition is essentially a generalization of the ordinary Whitehead product. It first appeared, stated in the language of carrier theory, in a paper by D. E. Cohen [3] . We prove in Theorem 2.4 that these two definitions coincide. This generalizes a result of Samelson [11 p. 750]. In § 3 we establish some properties of the GWP such as anti-commutativity and bi-additivity. With the exception of Proposition 3.1 the results of this section have been obtained by Cohen [3] . However, the proofs that we give are based on the first definition and facts about commutators. Moreover, we believe that our proofs are quite elementary. In the next section we show that ΣA x ΣB has the same homotopy type as the space obtained by attaching a cone by means of the GWP map. We then deduce a few simple consequences of this. In § 5 we consider the different ways that the GWP may be trivial. We study the following situations: (i) [α, β] -0 (ii) the GWP map is nullhomotopic (iii) X is a space in which all GWPs vanish. With regard to (iii) we see that such spaces are not necessarily iJ-spaces. The final section is devoted to a product which is dual (in the sense of Eckmann and Hilton) to the GWP. Two definitions of the dual product are given and they are shown to be equivalent. We also indicate some properties of the dual product.
doi:10.2140/pjm.1962.12.7 fatcat:aav6akx6kzbixmdrscloucmvty