# Algebraic Structures Based on a Classifying Space of a Compact Lie Group

Authors: Dae-Woong Lee
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

We analyze the algebraic structures based on a classifying space of a compact Lie group. We construct the connected graded free Lie algebra structure by considering the rationally nontrivial indecomposable and decomposable generators of homotopy groups and the cohomology cup products, and we show that the homomorphic image of homology generators can be expressed in terms of the Lie brackets in rational homology. By using the Milnor-Moore theorem, we also investigate the concrete primitive elements in the Pontrjagin algebra.


---

## Body

## 1. Introduction

A Lie group is a differentiable manifoldM with a group structure in which the multiplication M×M→M and the inversive map M→M (m↦m-1) are differentiable. Therefore, it can be studied using differential calculus in contrast with the case of more general topological groups as a special case of H-spaces. It is well known that the only spheres that are connected H-spaces are S1, S3, and S7. We note that the first two spheres are Lie groups while the last one is just an H-space which is not an A3-space but just an A2-space in the sense of Stasheff [1]. Lie groups play an enormous role in algebraic topology as well as modern differential geometry on several different levels. The presence of continuous symmetries expressed via a Lie group action on a manifold places strong constraints on its geometry and facilitates analysis on the manifold. Moreover, linear actions of Lie groups are especially important and are studied in representation theory.As usual we letΣ and Ω be the suspension and loop functors in the (pointed) homotopy category, respectively. It is well known that the functors Σ and Ω are examples of adjoint functors. Moreover, co-H-spaces and H-spaces are important objects of research in homotopy theory and they are the dual notions in the sense of Eckmann and Hilton. We refer to Arkowitz’s paper [2] and Scheerer’s article [3] for a survey of the vast literature about co-H-spaces, H-spaces, and related topics.LetSNT(X) denote the set of all homotopy types [Y] such that X and Y have the same n-type for each nonnegative integer n (see [4–6]). McGibbon and Møller [7] showed that if G is a connected compact Lie group, then its classifying space usually has an uncountable SNT(BG) except for several cases and gave an excellent set of examples. Furthermore, in [8] the classical projective n-spaces (real, complex, and quaternionic) were studied in terms of their self-maps from a homotopy point of view. Recently, some common fixed point results for single as well as set valued mappings involving certain rational expressions in complete partial metric spaces were obtained in [9]. Moreover, some fixed point and common fixed point theorems on ordered cone b-metric spaces were also established in [10].In this paper all spaces are based and have the based homotopy type of based, connected CW-complexes. All maps and homotopies preserve the base point. Unless otherwise stated, we do not distinguish notationally between a map and its homotopy class.The main purpose of this paper is to investigate the algebraic explanation based on a classifying space of the compact Lie groupU(1). After constructing self-maps using the suspension structure, we define a useful commutator of self-maps on the suspension of a classifying space of the compact Lie group. We construct the connected graded free Lie algebra structure by considering the rationally nontrivial indecomposable and decomposable generators of homotopy groups and the cohomology cup products. We show that the homomorphic image of homology generators can be expressed in terms of the Lie brackets in rational homology. By using the Milnor-Moore theorem, we also investigate the concrete primitive elements as the images of the Hurewicz homomorphisms in the Pontrjagin algebra.


## 2. Preliminaries

Letℤ, ℚ, ℝ, and ℂ denote the ring of integers, the fields of rational, real, and complex numbers, respectively. The unitary groupU(n) is the group of n×n unitary matrices with the group operation that of matrix multiplication as a subgroup of the general linear group GL(n,ℂ). The unitary group U(n) is a real Lie group of dimension n2. The Lie algebra of U(n) consists of n×n skew-Hermitian matrices with the Lie bracket given by the commutator. The first unitary group   U(1) is canonically the circle group consisting of all complex numbers with absolute value 1 under multiplication; that is, the set of all 1×1 unitary matrices. The first unitary group shows up in a variety of forms in mathematics. Some of the more common forms are as follows:
(1)U(1)≅T≅ℝ/ℤ≅SO(2),
where T is a one torus and SO(2) is the orthogonal 2×2 matrices with determinant 1. The latter is said to be the special orthogonal group.Aclassifying space  BG of a topological group G is the quotient of a weakly contractible space EG by a free action of G. It has the property that any principal G-bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle EG→BG. We note that the classifying space functor B is essentially inverse to the loop space functor Ω in algebraic topology.IfX is a co-H-group with comultiplication
(2)φ:X⟶X∨X
and homotopy inverse, then for every pointed space Y the set [X,Y] of homotopy classes from X to Y can be given the structure of a group under the addition as follows: for a,b∈[X,Y], the binary operation, denoted “a+b”, is defined by the homotopy class of the composition of maps
(3)X→φX∨X→a∨bY∨Y→∇Y,
where ∇ is a folding map.The Eckmann-Hilton dual of a co-H-group is an H-group (see [11, 12]). As an adjointness, if X is any pointed space and (Y,m) is an H-group, then the set [X,Y] becomes a group if we define the product “c·d” to be the homotopy class of the composition of maps
(4)X→ΔX×X→c×dY×Y→mY,
where Δ:X→X×X is the diagonal map, c,d∈[X,Y], and m:X×X→X is a multiplication.The principle examples of a co-H-group and an H-group are the suspensionΣX and the loop space ΩX of a space X, respectively.We note thatBU(1) has a CW-decomposition as follows:
(5)BU(1)=S2∪γ1e4∪γ2e6∪γ3⋯∪γn-1e2n∪γne2(n+1)∪γn+1⋯,
where γn is an attaching map for n=1,2,3,….From now on, we denoteBU(1)k by the k-skeleton of a CW-complex BU(1). We define maps fn:BU(1)→ΩΣBU(1) for n=1,2,3,… as follows.Definition 1.
The cofibration sequence(6)BU(1)2n-1↪inBU(1)→pnBU(1)BU(1)2n-1
induces an exact sequence of groups
(7)[BU(1)BU(1)2n-1,ΩΣBU(1)]→pn♯[BU(1),ΩΣBU(1)]→in♯[BU(1)2n-1,ΩΣBU(1)],
for each n=1,2,3,…. We now take an essential map
(8)fn∈in♯-1(*)=ker(in♯)⊂[BU(1),ΩΣBU(1)],
for each n=1,2,3,…. Similarly, by using the above exact sequences, we can choose an essential map
(9)f~n:BU(1)BU(1)2n-1⟶ΩΣBU(1),
such that pn♯(f~n)=fn for n=1,2,3,….In the above definition, we note thatBU(1)1=*, and thus p1♯ is an isomorphism. We also note that
(10)BU(1)BU(1)2n-1=S2n∪higher  cells.We now define the following.Definition 2.
We define a rationally nontrivial homotopy element(11)ξn:S2n⟶ΩΣBU(1)
of the homotopy groups modulo torsions π2n(ΩΣBU(1))/torsion by ξn=f~n|S2n for each n=1,2,3,….Now we take the self-map(12)Fn:ΣBU(1)⟶ΣBU(1)
by the adjointness of
(13)fn:BU(1)⟶ΩΣBU(1)
for each n=1,2,3,….We recall that(14)H~*(BU(1);ℚ)≅ℚ{u1,u2,…,un,…}
as a graded ℚ-module, where un is the standard generator of H2n(BU(1);ℚ) for each n=1,2,3,…. The salient Bott-Samelson theorem [13] says that the Pontrjagin algebra H*(ΩΣBU(1);ℚ) is isomorphic to the tensor algebra TH*(BU(1);ℚ). In other words, the rational homology of ΩΣK is the tensor algebra T{u1,u2,…,un,…} generated by {u1,u2,…,un,…}, where un is a rational homology generator with diagonal
(15)Δ(uk)=∑i+j=k‍ui⊗uj
and un=E*(un). Here, E is the canonical inclusion map E:BU(1)→ΩΣBU(1) defined by E(s)(t)=〈s,t〉∈ΣBU(1), and u0 means 1. From the Serre spectral sequence of a fibration ΩBU(1)→PBU(1)→BU(1), we have an algebra isomorphism
(16)H*(BU(1);ℚ)≅ℚ[α].
Here ℚ[α] is the polynomial algebra over ℚ generated by α of degree 2; that is, α is a generator of H2(BU(1);ℚ) with the Kronecker index 〈αi,uj〉=δij.We now consider a wedge of spheresX=Sn1∨Sn2∨⋯∨Snk for 2≤n1≤n2≤⋯≤nk. Let rt:Snt→X be the tth inclusion for t=1,2,…,k. We then inductively define and order basic (Whitehead) products as follows. Basic products of weight 1 are (in order) r1,r2,…,rk. Assume basic products of weight < n have been defined and ordered so that if r<s<n, any basic product of weight r is less than all basic products of weight s. Then a basic product of weight n is a Whitehead product [a,b], where a is a basic product of weight m and b is a basic product of weight l, m+l=n, a<b. Furthermore, if b is a Whitehead product [c,d] of basic products c and d, then we require that c≤a. The basic products of weight n are ordered arbitrarily among themselves and are greater than any basic product of weight < n. Note that to a basic product of weight n we can associate a string of distinct symbols rv1,…,rvs, for 1≤vi≤k, which are the elements which appear in the basic products. Suppose in the basic product ws, rp occurs lp times, lp≥1. Then the height of the basic product is ∑lp(rp-1)+1 and the length is ∑lp-1. Clearly if ws has height hs, then ws∈πhs(X).We end this section with the following Hilton’s formula [14].Theorem 3.
Let the ordered basic products ofX=Sn1∨Sn2∨⋯∨Snk be w1,w2,…,ws,… with the height of ws=hs. Then for every m,
(17)πm(X)≈⨁s=1∞πm(Shs).
The isomorphism θ:⨁s=1∞πm(Shs)→πm(X) is defined by
(18)θ|πm(Shs)=ws*:πm(Shs)⟶πm(X).We note that the direct sum is finite for eachm since hs→∞.


## 3. Commutators and Lie Algebra Structures

By using the addition of a co-H-group in Section2, we define the following.Definition 4.
We define acommutator(19)C(Fi1,Fi2):ΣBU(1)⟶ΣBU(1)
of Fi1 and Fi2 in [ΣBU(1),ΣBU(1)] by
(20)C(Fi1,Fi2)=Fi1+Fi2-Fi1-Fi2,
where the operations are the suspension additions on ΣBU(1), and
(21)-F:ΣBU(1)⟶ΣBU(1)
is the suspension inverse defined by
(22)-F(〈s,t〉)=F(〈s,1-t〉)
for s∈BU(1) and t∈I.
Let(23)l:ΩΣBU(1)⟶ΩΣBU(1)
be the map of loop inverse given by l(ω)=ω-1, where ω-1(t)=ω(1-t), t∈I.
Similarly, we define the following.Definition 5.
The mapC(fi1,fi2):BU(1)→ΩΣBU(1) is a commutator of fi1 and fi2 in [BU(1),ΩΣBU(1)] defined by
(24)C(fi1,fi2)(s)=fi1(s)·fi2(s)·l(fi1(s))·l(fi2(s)),
where s∈BU(1), and the multiplication is the loop multiplication.Remark 6.
Letc(fi1,fi2):BU(1)×BU(1)→ΩΣBU(1) be a map given by
(25)c(fi1,fi2)(s,t)=fi1(s)·fi2(t)·l(fi1(s))·l(fi2(t)).
Then we get
(26)C(fi1,fi2)=c(fi1,fi2)∘Δ,
where Δ:BU(1)→BU(1)×BU(1) is the diagonal map.Note that the weak category ofΩΣBU(1) is not finite because there are infinitely many nonzero cohomology cup products in it, and thus it has the infinite Lusternik-Schnirelmann category [12, Chapter X]. Moreover, Arkowitz and Curjel [15, Theorem 5] showed that the n-fold commutator is of finite order if and only if all n-fold cup products of any positive dimensional rational cohomology classes of a space vanish (see also [16]). Therefore, we can consider the iterated commutators which are nontrivial in ΩΣBU(1).We recall that the Samelson product givesπ*(ΩX), *≥1, the structure of graded Lie algebra (see [17, 18]); that is, if x∈πp(ΩX), y∈πq(ΩX) and z∈πr(ΩX), then
(27)〈x,y〉=(-1)p(q-1)〈y,x〉,(-1)pr〈x,〈y,z〉〉+(-1)pq〈y,〈z,x〉〉+(-1)qr〈z,〈x,y〉〉=0.Letk1:X→X×X and k2:X→X×X be the first and second inclusions between based spaces, respectively; that is, k1(x)=(x,x0) and k2(x)=(x0,x), where x0 is the base point of X. Recall that an element z∈H*(X) is said to be primitive if and only if Δ*(z)=k1*(z)+k2*(z)=z⊗1+1⊗z in homology, where Δ:X→X×X is the diagonal map.Leth:π*(ΩX)→H*(ΩX;ℚ) be the Hurewicz homomorphism. In 1965, Milnor and Moore [19] proved the following salient theorem (see also [18, page 293]).Theorem 7.
IfX is a simply connected topological space and if 𝔽 is a field of characteristic zero, then (1)
the Samelson product makesπ*(ΩX)⊗𝔽 into a graded Lie algebra denoted by LX;(2)
the Hurewicz homomorphism forΩX is an isomorphism of LX onto the Lie algebra P*(ΩX;𝔽) of primitive elements in H*(ΩX;𝔽);(3)
the Hurewicz homomorphism extends to an isomorphism of graded Hopf algebrasULX≅H*(ΩX;𝔽), where ULX is the universal enveloping algebra of LX.It is natural to ask what are the rationally nontrivial indecomposable and decomposable generators of the graded Lie algebra forΩΣBU(1)? The following gives an answer to this question.Theorem 8.
The connected graded Lie algebra forΩΣBU(1) with the Samelson products modulo torsions is as follows:
(28)π*(ΩΣBU(1))torsion=L{ξ1,ξ2,…,ξn,…},
where the dimension of   ξn is equal to 2n in the graded homotopy groups for each n=1,2,3,….Proof.
It suffices to show that the iterated Samelson products〈ξik,〈ξik-1,…,〈ξi1,ξi2〉⋯〉〉 in homotopy groups π2(i1+⋯+ik)(ΩΣBU(1)) are rationally nontrivial decomposable generators, where the ξij are indecomposable generators in dimension 2ij, for ij=1,2,3,… and k≥2.
We first note that the Eckmann-Hilton dual of the Hopf-Thom theorem (see [11, pages 263–269] and [12, Chapter III]) says that ΣBU(1) has the rational homotopy type of the wedge products of infinitely many spheres; that is,
(29)ΣBU(1)≃ℚS3∨S5∨S7∨⋯∨S2n+1∨⋯.
Letξ^ij:S2ij+1→ΣBU(1) be the adjoint of ξij:S2ij→ΩΣBU(1). We prove the result in the case of twofold Samelson products. Suppose that 〈ξi1,ξi2〉 is rationally trivial in π2(i1+i2)(ΩΣBU(1)). It follows by the adjointness and the Hilton’s formula that the twofold Whitehead products [ξ^i1,ξ^i2] have a finite order in π2(i1+i2)+1(S2i1+1∨S2i2+1) which is a subgroup of π2(i1+i2)+1(ΣBU(1)). By using a cofibration sequence
(30)S2(i1+i2)+1→[ξ^i1,ξ^i2]S2i1+1∨S2i2+1⟶S2i1+1×S2i2+1⟶S2i1+1∧S2j1+1⟶⋯,
we have
(31)S2i1+1×S2i2+1≃(S2i1+1∨S2i2+1)∪[ξ^i1,ξ^i2]e2(i1+i2)+2,
where [ξ^i1,ξ^i2]:S2(i1+i2)+1→S2i1+1∨S2i2+1 is the attaching map. The assumption shows that [ξ^i1,ξ^i2]ℚ≃* when [ξ^i1,ξ^i2] is rationalized, and thus
(32)S2i1+1×S2i2+1≃ℚS2i1+1∨S2i2+1∨S2(i1+i2)+2,
where “≃ℚ” is a rational homotopy equivalence. We also have a contradiction by applying the cohomology cup products to the above rational homotopy equivalence.
For induction, we now suppose that the(k-1)-fold Samelson products 〈ξik-1,…,〈ξi1,ξi2〉⋯〉 are rationally nontrivial in the homotopy group π2(i1+⋯+ik-1)(ΩΣBU(1)). By Theorem 3 and adjointness again, we can consider the iterated Whitehead product [ξ^ik-1,…,[ξ^i1,ξ^i2]⋯] as a rational generator of
(33)π2(i1+⋯+ik-1)+1(S2(i1+⋯+ik-1)+1)⊗ℚ0...⊂π2(i1+⋯+ik-1)+1(ΣBU(1))⊗ℚ.
Similarly, a cofibration shows that(34)S2(i1+⋯+ik-1)+1×S2ik+1≃(S2(i1+⋯+ik-1)+1∨S2ik+1)∪ζe2(i1+⋯+ik-1+ik)+2,
where ζ=[ξ^ik,[ξ^ik-1,…,[ξ^i1,ξ^i2]⋯]]:S2(i1+⋯+ik)+1→S2(i1+⋯+ik-1)+1∨S2ik+1 is the attaching map. If this map has a finite order in homotopy groups, then we have a contradiction again by the same argument of the cohomology cup products.
Finally by taking the adjointness, we complete the proof.Letξ-n:S2n→ΩΣBU(1)ℚ be the composition r∘ξn of the rationally nontrivial indecomposable element ξn:S2n→ΩΣBU(1) of π2n(ΩΣBU(1)) with the rationalization r:ΩΣBU(1)→ΩΣBU(1)ℚ for each n=1,2,…. Since there is a one-to-one correspondence between the integral generators of homotopy groups modulo torsions and rational generators of rational homotopy groups; that is, rankℤ(π2n+1(ΣBU(1))/torsion)=rankℚ(π2n+1(ΣBU(1))⊗ℚ), by using the Milnor-Moore theorem and Theorem 8, we have the following.Corollary 9.
The graded rational homotopy groupπ*(ΩΣBU(1))⊗ℚ with the Samelson products becomes a connected graded free Lie algebra generated by {ξ-1,ξ-2,…,ξ-n,…}; that is,
(35)π*(ΩΣBU(1))⊗ℚ≅L{ξ-1,ξ-2,…,ξ-n,…}.We note that the iterated Samelson products〈ξ-ik,〈ξ-ik-1,…,〈ξ-i1,ξ-i2〉⋯〉〉 are decomposable generators in the above free Lie algebra.It is well known that the Hurewicz homomorphismh:π*(ΩΣBU(1))→H*(ΩΣBU(1);ℚ) carries the Samelson product into the Lie bracket defined by
(36)[z,w]=zw-(-1)|z||w|wz,
where z,w∈H*(ΩΣBU(1);ℚ), and the multiplication is the Pontrjagin multiplication.Theorem 10.
LetC(Fi1,Fi2)^:BU(1)→ΩΣBU(1) be the adjoint of C(Fi1,Fi2):ΣBU(1)→ΣBU(1). Then one has the following: (1)
C(Fi1,Fi2)^=C(fi1,fi2);(2)
C(fi1,fi2)*(ui1+i2)=[h(ξi1),h(ξi2)], where ui1+i2 is a rational homology generator in dimension 2(i1+i2), [h(ξi1),h(ξi2)] is the Lie bracket, and ξi1 and ξi2 are homotopy elements of π*(ΩΣBU(1)).Proof.
(1) The adjointness shows that, forF∈[ΣBU(1),ΣBU(1)], s∈BU(1), t∈I, and 〈s,t〉∈ΣBU(1), the map
(37)κ=^:[ΣBU(1),ΣBU(1)]⟶[BU(1),ΩΣBU(1)],
defined by
(38)(κF)(s)(t)=F^(s)(t)=F(〈s,t〉),
is a group isomorphism. It thus follows that
(39)C(Fi1,Fi2)^=C(F^i1,F^i2)=C(fi1,fi2),
which is the commutator of fi1 and fi2 in [BU(1),ΩΣBU(1)].
(2) For the second part, ifp:BU(1)2(i1+i2)→S2i1+2i2 is the projection map to the top cell and if 〈,〉 is the Samelson product in π*(ΩΣBU(1)), then the following diagram is commutative up to homotopy (see also [20, Theorem 1.4]):
(40)
By applying the rational homology to the above diagram, we have(41)C(fi1,fi1)*(u(i1+i2))=C(fi1,fi1)*i*(u(i1+i2))=〈ξi1,ξi2〉*p*(u(i1+i2))=〈ξi1,ξi2〉*(u(i1+i2)′)=h(〈ξi1,ξi2〉)=[h(ξi1),h(ξi2)].
Here,(i)
ui1+i2 is also used as a generator of
(42)H2(i1+i2)(BU(1)2(i1+i2);ℚ)≅H2(i1+i2)(BU(1);ℚ);(ii)
i*(u(i1+i2))=u(i1+i2);(iii)
(43)p*:H2(i1+i2)(BU(1)2(i1+i2);ℚ)⟶H2(i1+i2)(S2(i1+i2);ℚ)
is an isomorphism sending the generator u(i1+i2) to the fundamental homology class u(i1+i2)′.Theorem 11.
LetE:BU(1)→ΩΣBU(1) be the canonical inclusion and let pi1+i2:BU(1)→BU(1)/BU(1)2i1+2i2-1 be the projection map. Then for a given commutator C(Fi1,Fi2):ΣBU(1)→ΣBU(1), there exists a map
(44)ΩC(Fi1,Fi2)∘E¯:BU(1)BU(1)2i1+2i2-1⟶ΩΣBU(1)
such that ΩC(Fi1,Fi2)∘E¯∘pi1+i2=ΩC(Fi1,Fi2)∘E.Proof.
We first show that the following diagram is strictly commutative:(45)
Indeed, the compositionΩC(Fi1,Fi2)∘E:BU(1)→ΩΣBU(1) induces a map
(46)(ΩC(Fi1,Fi2)∘E)(s):I⟶ΣBU(1)
sending t∈I to
(47)(ΩC(Fi1,Fi2)∘E)(s)(t)=C(Fi1,Fi2)(〈s,t〉).
On the other hand,C(fi1,fi2):BU(1)→ΩΣBU(1) sends s∈BU(1) to
(48)C(fi1,fi2)(s):I⟶ΣBU(1).
By adjointness, we have(49)(C(fi1,fi2)(s))(t)=(C(Fi1,Fi2)^(s))(t)=C(Fi1,Fi2)(〈s,t〉),
where 〈s,t〉 is an element of ΣBU(1). Therefore, we get
(50)ΩC(Fi1,Fi2)∘E=C(fi1,fi2).
We now consider the cell structure onBU(1)×BU(1) with
(51)(BU(1)×BU(1))2i1+2i2-1=⋃m+n=2i1+2i2-1‍BU(1)m×BU(1)n.
Since the restrictionsfi1|BU(1)2i1-1 and fi2|BU(1)2i2-1 are inessential from our construction of fn:BU(1)→ΩΣBU(1) for each n=1,2,3,…, we see that if m≤2i1-1 or n≤2i2-1, then c(fi1,fi2)|BU(1)m×BU(1)n is null homotopic. By using the homotopy extension property, we can extend the null homotopy to all of (BU(1)×BU(1))2i1+2i2-1. Thus, by the cellular approximation theorem, we have
(52)ΩC(Fi1,Fi2)∘E|BU(1)2i1+2i2-1=C(fi1,fi2)|BU(1)2i1+2i2-1=c(fi1,fi2)∘Δ|BU(1)2i1+2i2-1≃c(fi1,fi2)∘Δ′|BU(1)2i1+2i2-1≃*,
where Δ′:BU(1)→BU(1)×BU(1) is a cellular map. Therefore there exists a map
(53)ΩC(Fi1,Fi2)∘E¯:BU(1)BU(1)2i1+2i2-1⟶ΩΣBU(1)
such that the following diagram is commutative up to homotopy:
(54)
where the top row is a cofibration sequence as required.The Milnor-Moore theorem asserts that the image of the Hurewicz homomorphism is primitive. The following is another expression of the primitive elements in the Pontrjagin algebra.Theorem 12.
The image of a homomorphism(55)fn*:H2n(BU(1))⟶H2n(ΩΣBU(1))
is primitive for each n=1,2,3,….Proof.
Sincefn:BU(1)→ΩΣBU(1), n=1,2,3,… can be factored as
(56)BU(1)→pnBU(1)BU(1)2n-1→f~nΩΣBU(1)
so that the restriction to the bottom sphere of the map f~n coincides with the map ξn:S2n→ΩΣBU(1), and since BU(1)/BU(1)2n-1 is (2n-1)-connected, by the Hurewicz isomorphism theorem, every class in H2n(BU(1)/BU(1)2n-1) is spherical, and thus primitive. We therefore know that the image of f~n* lies in the set of primitives P2n(ΩΣBU(1)) in H2n(ΩΣBU(1)), so does the image of fn* for each n=1,2,3,….Since the restriction to the skeleton(57)ΩC(Fik,C(Fik-1,…,C(Fi1,Fi2)⋯))∘E|BU(1)2(i1+i2+⋯+ik)-1
is null homotopic, by Theorem 12, we have the following.Corollary 13.
(58)
Ω
C
(
F
i
k
,
C
(
F
i
k
-
1
,
…
,
C
(
F
i
1
,
F
i
2
)
⋯
)
)
*
(
u
i
1
+
i
2
+
⋯
+
i
k
)
is in the Lie subalgebra P*(ΩΣBU(1);ℚ) of primitive elements in H*(ΩΣBU(1);ℚ).Remark 14.
We note that the self-map(59)ΩC(Fik,C(Fik-1,…,C(Fi1,Fi2)⋯)):ΩΣBU(1)⟶ΩΣBU(1)
is a loop map; thus it is an H-map. It is well known in [3, page 75] that there is a bijection between the groups [ΣBU(1),ΣBU(1)] and [ΩΣBU(1),ΩΣBU(1)]H of homotopy classes of H-maps ΩΣBU(1)→ΩΣBU(1). We thus get the corresponding self-map C(Fik,C(Fik-1,…,C(Fi1,Fi2)⋯)) in the group [ΣBU(1),ΣBU(1)]. Moreover, by using the classical Whitehead theorem, we obtain a homotopy self-equivalence of the form I+C(Fik,C(Fik-1,…,C(Fi1,Fi2)⋯)); that is, I+C(Fik,C(Fik-1,…,C(Fi1,Fi2)⋯))∈Aut(ΣBU(1)), where I is the identity map and “+” is the suspension addition on ΣBU(1).



---

*Source: 508450-2013-11-07.xml*