A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex

We need only to prove assertion (1). Assertion (2) and (3) follow from assertion (1) and the property

For a topological group G, denote by (-1) the (-1)-st power map G\rightarrow G, x\mapsto x^{-1}. And denote by \Delta the diagonal map of a space. Now, identify \Omega\Sigma X with a topological group and write G=\Omega\Sigma X. Notice that the following composition \omega lifts to \langle I, I\rangle\colon G\wedge G\rightarrow G over the canonical projection,

Here, the map (23) is given by (x_{1},x_{2},x_{3},x_{4})\mapsto (x_{1},x_{3},x_{2},x_{4}) and \bar{\mu} is the 4-fold product on G. Suppose that the elements a,b\in\widetilde{H}_{*} (G) are primitive. We examine \omega_{*} (a\otimes b). Clearly, \Delta_{*} (a)=a\otimes1+1\otimes a and \Delta_{*} (b)=b\otimes1+1\otimes b.

So,

Then, (23)_{*} (\Delta\times\Delta)_{*} (a\otimes b) is equal to

Note that (-1)_{*} (1)=1, (-1)_{*} (a)=-a and (-1)_{*} (b)=-b. It follows that ((-1,-1)\times (I,I))_{*} (\Delta\times\Delta)_{*} (a\otimes b) is

Hence, \omega_{*} (a\otimes b)=\bar{\mu}_{*} ((-1,-1)\times (I,I))_{*} (\Delta\times\Delta)_{*} (a\otimes b)=[a,b]. Therefore, \langle I, I\rangle_{*} (a\otimes b)=[a,b].

By observing the \mathbb{Z}/p-homology Leray-Serre spectral sequence associated with the homotopy fibration F_{i}\rightarrow Y\rightarrow X, we infer \mathrm{sk}_{m} (F_{i})=S^{m}. Consider the exact sequence \pi_{m} (F_{i})\stackrel{j_{*}}\longrightarrow \pi_{m} (Y)\stackrel{i_{*}}\longrightarrow \pi_{m} (Y\cup_{g} e^{m+1}), that is, the exact sequence \langle \,j'\,\rangle\stackrel{j_{*}}\longrightarrow \pi_{m} (Y)\rightarrow \pi_{m} (Y)/\langle g\rangle. (Here, we make free use of the fundamental techniques for computing homotopy groups; see Remark 9.1 for an account of these techniques.) The exactness forces \langle\, j_{*} (j')\,\rangle=\langle g\rangle. Hence the result holds.

The result is standard, so we give a streamlined proof.

• (1) Let the map g_{m}\colon S^{m}\rightarrow\mathrm{sk}_{m} (X) be the restriction of g. It is sufficient to assume that there exists a cell e^{m}\subseteq X such that the composition

  q\circ g_{m}\colon S^{m}\stackrel{g_{m}}\longrightarrow\mathrm{sk}_{m} (X) \xrightarrow[proj.]{q}\frac{\mathrm{sk}_{m} (X)}{\mathrm{sk}_{m} (X)\backslash e^{m}}=S^{m}

  induces an isomorphism of the m-th\;\mathrm{mod}\, p homology groups. (If X has multiple m-cells, such a desired cell e^{m} may not exist; nevertheless, by using some self homotopy equivalence in [\bigvee _{finite}S^{m-1},\bigvee _{finite}S^{m-1}], we see that there exists a CW complex M such that M\simeq\mathrm{sk}_{m} (X) and M has such a desired cell e^{m}. If X has only one m-cell e^{m}, the desired property of e^{m} holds automatically.) Then, we obtain q\circ g_{m}=\mathrm{id}_{S^{m}} up to a unit in \mathbb{Z}_{(p)}. Choose K as \mathrm{sk}_{m} (X)\backslash e^{m}. Consequently, we have a cofiber sequence for some attaching map \mathrm{a},

  S^{m-1}\stackrel{\mathrm{a}}\longrightarrow K\rightarrow\mathrm{sk}_{m} (X)\stackrel{q}\longrightarrow S^{m}.

  Applying the Blakers–Massey theorem or Gray’s relative James construction (Proposition 4.1.1), we deduce an exact sequence

  \pi_{m} (\mathrm{sk}_{m} (X))\stackrel{q_{*}\,}\longrightarrow \pi_{m} (S^{m})\stackrel{\partial}\rightarrow \pi_{m-1} (K).

  Since q_{*}=\pi_{m} (q) is surjective, we have \partial(\mathrm{id_{S^{m}}})=\mathrm{a}=0.

• (2) Similar to the proof of assertion (1), it is sufficient to assume that Y has a cell e^{m} corresponding to the generator (hg)_{*} (\iota)\in H_{m} (Y). Take K' as the CW complex \mathrm{sk}_{m} (Y)\backslash e^{m}. The remaining parts can be checked by a standard diagram chase. The situation is analogous to that in the category of abelian groups.

Consider the homotopy cofibration X\wedge S^{r-1} \xrightarrow{\mathrm{id}_X\wedge h} X\wedge S^m\xrightarrow{\mathrm{id}_X\wedge i} X\wedge X where i\colon S^{n}\rightarrow X denotes the inclusion of the bottom cell. Take the (2r-1)–skeleton of X\wedge X and note that S^m\wedge S^{r-1} \simeq \mathrm{sk}_{2r-2} (X\wedge S^{r-1}); hence we obtain a homotopy cofibration

Next we will show that i\wedge h=*. Since i\wedge h is equal to the composition

we obtain the commutative diagram the with the bottom row a homotopy cofibration

where \tau' and \tau are the switching maps. So,

The left side of this equation is just \pm(i\wedge h). Thus, i\wedge h=* in the homotopy cofibration (Proof). Therefore

Define g' to be the composition of the inclusions S^{m+r}\stackrel{i_{0}}\hookrightarrow \mathrm{sk}_{2r-1} (X\wedge X) \hookrightarrow X\wedge X. Then 0\neq g'_{*} (\iota_{m+r}) is\;\mathrm{mod}\, p spherical.

Consider the case p=2. If \Sigma^{m}X\not\simeq S^{2m}\vee S^{m+r}, then neither uv nor vu is\;\mathrm{mod}\,2 spherical in

which forces [u,v] to be\;\mathrm{mod}\,2 spherical. Thus g'_{*} (\iota_{m+r})=[u,v]. In this case, take g=g'. If \Sigma^{m}X\simeq S^{2m}\vee S^{m+r}, then all elements in H_{m+r} (X\wedge X ) are\;\mathrm{mod}\,2 spherical; note that we can make use of the self homotopy equivalences in [S^{m+r}\vee S^{m+r},S^{m+r}\vee S^{m+r}] to change the basis of H_{m+r} (\mathrm{sk}_{2r-1} (X\wedge X)). In this case, take g to be the composition

for some self homotopy equivalence e in [\mathrm{sk}_{2r-1} (X\wedge X),\mathrm{sk}_{2r-1} (X\wedge X)]\cong[S^{2m}\vee S^{m+r}\vee S^{m+r},S^{2m}\vee S^{m+r}\vee S^{m+r}].

Consider the case p\geq3. If \Sigma^{m}X\not\simeq S^{2m}\vee S^{m+r}, then neither uv nor vu is\;\mathrm{mod}\, p spherical in

which forces g_{*} (\iota_{m+r})=t_{1}uv+t_{2}vu for some integers t_{1},t_{2}\in [1,p-1]. Then choose g=\frac{1}{t_{1}}g', satisfying the desired property. If \Sigma^{m}X\simeq S^{2m}\vee S^{m+r}, then all elements in H_{m+r} (X\wedge X ) are\;\mathrm{mod}\, p spherical; similar to the case p=2, we can find the desired map g by using the self homotopy equivalence.

In fact, this theorem is essentially due to Cohen-Moore-Neisendorfer [CMN1979, Proposition 9.3, Corollary 9.4]. The goal of our proof is to verify that their method (which is outlined quite briefly, with numerous steps omitted) remains effective in the context of the generalized hypotheses. The verifications are divided into 4 steps. Set the homology H_{*} (\Omega S^{r} )=T(\iota) where |\iota|=r-1.

STEP-1 Examine the (\Omega q)_{*}-images. We show that (\Omega q)_{*} (u)=0 and (\Omega q)_{*} (v)=\iota up to a unit in \mathbb{Z}/p; hence we may reset the homology H_{*} (\Omega S^{r} )=T(\iota) with |\iota|=r-1 and (\Omega q)_{*} (v)=\iota.

First we analyze (\Omega q)_{*} (v). Consider the \mathbb{Z}/p-homology Leray-Serre spectral sequence \{ E^{\bullet}_{\bullet,\bullet},d_{\bullet}\} associated with the homotopy fibration \Omega X\rightarrow*\rightarrow X. By Proposition 3.3.1, this spectral sequence is a H_{*} (\Omega X)-module spectral sequence, d(ab)=(da)b. Set \widetilde{H}_{*} (X)=\mathrm{Span}_{\mathbb{Z}/p}\{ u', v'\} with |u'|=m,\,|v'|=r and d_{m} (u')=u. In the E^{m}-page, d(u')=u, d(u'\alpha)= (du')\alpha= u\alpha for each \alpha\in E^{m}_{0,\bullet}. Note that in E^{m}_{0,\bullet}\cong E^{2}_{0,\bullet}, v\neq u\alpha for each \alpha\in E^{m}_{0,\bullet}. So v\in E^{2}_{0,r-1} survives to E^{2m}_{0,r-1}. Then we infer that d(v')=\ell v for some 1\leq\ell\leq p-1. Notice that there is an obvious momorphism from the homtopy fibration \Omega X\rightarrow*\rightarrow X to the homtopy fibration \Omega S^{r}\rightarrow*\rightarrow S^{r} induced by the map q. Thus, (\Omega q)_{*} (v)=\ell\iota, resulting from the naturality of the transgressions of the Leray-Serre spectral sequences. By this naturality, we also obtain (\Omega q)_{*} (u)=0.

STEP-2 We proceed to justify that the comodule H_{*} (\Omega X ) is an injective right H_{*} (\Omega S^{r} )-comodule. Write tensors a\otimes b in T(u,v) as ab rather than a\otimes b. At the purely algebraic level, we may use the identification of Hopf algebras

Additionally, H_{*} (\Omega X )=T(u,v) is a right H_{*} (\Omega S^{r} )-module whose module structure map is given by

That is, a\star b=ab. Meanwhile, H_{*} (\Omega X) is a right H_{*} (\Omega S^{r})-comodule with its canonical comodule structure map

Observe that \rho=(\Omega\mathrm{id},*)\cdot (*,\Omega q), the product of maps resulting from the H-structure. So,

where \Delta\colon \Omega S^{r}\rightarrow \Omega S^{r}\times \Omega S^{r} denotes the diagonal map. We know that \rho_{*} and \Delta_{*} are algebra homomorphisms since \rho and \Delta can be identified with the loop maps. Let i\geq1. We have

Take an arbitrary \beta\in T(u,v)=H_{*} (\Omega X ). Then, \rho_{*} (\beta)=\sum \beta_{(0)}\otimes\beta_{(1)}. Hence, \rho_{*} (\beta\star v^{i}) is equal to

So, H_{*} (\Omega X ) is a right H_{*} (\Omega S^{r} )-Hopf module. Then, by Proposition 5.1, we see that

as right H_{*} (\Omega S^{r} )-Hopf modules. It follows that H_{*} (\Omega X ) is a free right H_{*} (\Omega S^{r} )-comodule, therefore an injective right H_{*} (\Omega S^{r} )-comodule. (Recall that a right C-comodule M is said to be free if M\cong N\otimes C as right C-comodules for some vector space N.)

STEP-3 Use the Eilenberg-Moore spectral sequence.

Applying [ms1, Theorem 3.2] and [ms1, Proposition 3.1] for the homotopy pull-back of \Omega X\rightarrow\Omega S^{r} \leftarrow *, we have a spectral sequence \{ E^{\bullet}_{\bullet,\bullet},d_{\bullet}\} \Rightarrow H_{*} (\Omega F_{q}) with

The deleted injective resolution of H_{*} (\Omega X) contains a unique nonzero item, H_{*} (\Omega X). Then the differential graded Hopf algebra \mathrm{Cotor}^{H_{*} ( \Omega S^{r})} ( H_{*} (\Omega X),\mathbb{Z}/p) has only trivial differentials and hence the spectral sequence collapses at E^{2}-page. Combining with STEP 2 and the definition of the functor \mathrm{Cotor}, we have

STEP-4 We justify that T(u,v)\,\boxed{}_{ T(\iota)} \mathbb{Z}/p=T(\{ \mathrm{ad}^{i} (v)(u)\;|\; i\geq0\} ). (Here, we use “=” since T(u,v)\,\boxed{}_{ T(\iota)} \mathbb{Z}/p is canonically viewed as as a subset of T(u,v).)

In order to complete this step, we need carry out a calculation of the Euler-Poincaré series, parallel to the calculation in the proof of [CMN1979, Proposition 4.5, p. 135]. (Regrettably, the symbols V and W are used with quite different meanings in [CMN1979, Lemma 3.13, p. 132] and [CMN1979, Corollary 3.11, p. 131], which may cause confusion. Here, we follow the convention of [CMN1979, Lemma 3.13, p. 132].)

Let L(-) be the free Lie algebra functor. Consider the epimorphism L(u, v)\rightarrow L(v) given by u\mapsto0,\; v\mapsto v. Let L_{0}=L(V') be the kernel of this epimorphism. (Note that this kernel is freely generated; this follows from [CMN1979, Corollary 3.11, p. 132].) Then we have a short exact sequence of free Lie algebras

Applying the universal enveloping algebra functor U(-), we have a short exact sequence of Hopf algebras,

We calculate the Euler-Poincaré series of V' following [CMN1979, Corollary 3.11, p. 132],

Note that the Hopf algebra T(V')=UL(V'). By [CMN1979, Lemma 3.12, Lemma 3.13, p. 132], we see that the module of indecomposable elements

becomes a free T(v)-module with v acting on V' by \mathrm{ad}^{i} (v)(-). Thus, V' has \mathrm{ad}^{i} (v)(u)\; ( i\geq0) as a \mathbb{Z}/p-basis. Then, by the definition of short exact sequences of Hopf algebras ([CMN1979, Definition 3.3, p. 129]), we obtain

completing the proof.

This theorem is still essentially due to Cohen-Moore-Neisendorfer [CMN1979, Proposition 9.3, Corollary 9.4]. Their methods apply in this more general case.

Note that the setting 0\neq(\Omega q)_{*} (v)\in H_{r-1} (\Omega S^{r}) is reasonable, by the method of the proof of Theorem 5.1. To prove Sequence (5.2) is exact, the methods of the proofs of Theorem 5.1 and Corollary 5.1 remain workable in this more general case. We only show the isomorphism given in Equation (?) in view of the last step of the proof of Theorem 5.1.

Recall that L(-) is the free Lie algebra functor. Let |u_{k}|=m_{k}. Consider the epimorphism L(\{ u_{k}\} , v)\rightarrow L(v) given by u_{k}\mapsto0,\; v\mapsto v. Let L_{0}=L(V') be the kernel of this epimorphism. Then we have a short exact sequence of free Lie algebras

Applying the universal enveloping algebra functor U(-), we have a short exact sequence of Hopf algebras,

Note that H_{*} (\Omega F_{q})=UL(V'). We calculate the Euler-Poincaré series of V' according to [CMN1979, Corollary 3.11, p. 132],

Recall that the Hopf algebra T(V')=UL(V'). By [CMN1979, Lemma 3.12, Lemma 3.13, p. 132], we see that

is a free T(v)-module with v acting on V' by \mathrm{ad}^{i} (v)(-). Then, V' has \mathrm{ad}^{i} (v)(u_{k})\; ( i\geq0,\; 1\leq k\leq s) as a \mathbb{Z}/p-basis.

• (1) These results are well-known in representation theory. They, or equivalent formulations of them, were proved independently by Dynkin [Dynkin] in 1947, Specht [Specht] in 1948 and Wever [Wever] in 1949. None of their original papers is available in English. For readers in algebraic topology, we briefly explain why these results hold.

  An English reference containing a proof that \frac{1}{n} (1-D_{2}^{-1})(1-D_{3}^{-1})\cdots (1-D_{n}^{-1})\in \mathbb{Q}[S_{n}^{op}] is idempotent is given in Reutenauer’s book [btn, Theorem 8.16, p. 195]. Moreover, this theorem shows that the linear transformation \mathscr{A},

  (\mathbb{Q}^{\oplus n})^{\otimes n}\stackrel{\mathscr{A}}\longrightarrow(\mathbb{Q}^{\oplus n})^{\otimes n},\;\;x_{1}x_{2}\cdots x_{n}\mapsto \frac{1}{n}[[\cdots[x_{1}, x_{2}], \cdots], x_{n}], (x_{i}\in\mathbb{Q}^{\oplus n})

  is idempotent. We now explain why the remaining elements listed in (ii) are idempotent. Notice that there exists a ring isomorphism \mathbb{Q}[\mathcal{S}_{n}]\xrightarrow[]{-1}\mathbb{Q}[\mathcal{S}_{n}^{op}] determined by \tau\in \mathcal{S}_{n}\mapsto \tau^{-1}\in \mathcal{S}^{op}_{n}, and a ring anti-automorphism \mathbb{Q}[\mathcal{S}_{n}]\xrightarrow[]{-1}\mathbb{Q}[\mathcal{S}_{n}] determined by \tau\in \mathcal{S}_{n}\mapsto \tau^{-1}\in \mathcal{S}_{n}. Then it is easy to see that

  \begin{aligned} &\qquad\;\frac{1}{n} (1-D_{n})(1-D_{n-1})\cdots (1-D_{2})\in\mathbb{Q}[\mathcal{S}_{n}^{op}]\text{\;is idempotent} \\ &\Longleftrightarrow \frac{1}{n} (1-D_{n}^{-1})(1-D_{n-1}^{-1})\cdots (1-D_{2}^{-1})\in\mathbb{Q}[\mathcal{S}_{n}^{}]\text{\;is idempotent} \\ &\Longleftrightarrow \frac{1}{n} (1-D_{2})(1-D_{3})\cdots (1-D_{n})\in\mathbb{Q}[\mathcal{S}_{n}]\text{\;is idempotent} \\ &\Longleftrightarrow\frac{1}{n} (1-D_{2}^{-1})(1-D_{3}^{-1})\cdots (1-D_{n}^{-1})\in\mathbb{Q}[\mathcal{S}_{n}^{op}]\text{\;is idempotent}. \end{aligned}

  Thus, all four elements above are idempotent. It also follows easily that

  \begin{aligned} &\qquad\;\frac{1}{n} (1-D_{n})(1-D_{n-1})\cdots (1-D_{2})\in\mathbb{Q}[\mathcal{S}_{n}]\text{\;is idempotent} \\ &\Longleftrightarrow \frac{1}{n} (1-D_{n}^{-1})(1-D_{n-1}^{-1})\cdots (1-D_{2}^{-1})\in\mathbb{Q}[\mathcal{S}_{n}^{op}]\text{\;is idempotent} \\ &\Longleftrightarrow \frac{1}{n} (1-D_{2})(1-D_{3})\cdots (1-D_{n})\in\mathbb{Q}[\mathcal{S}_{n}^{op}]\text{\;is idempotent} \\ &\Longleftrightarrow\frac{1}{n} (1-D_{2}^{-1})(1-D_{3}^{-1})\cdots (1-D_{n}^{-1})\in\mathbb{Q}[\mathcal{S}_{n}]\text{\;is idempotent}. \end{aligned}

  Note that the representation R arising from the left permutation action of \mathcal{S}_{n} on the tensor factors

  \mathbb{Q}[\mathcal{S}_n]\stackrel{R}\longrightarrow \mathrm{Hom}\bigl((\mathbb{Q}^{\oplus n})^{\otimes n},(\mathbb{Q}^{\oplus n})^{\otimes n}\bigr)

  is faithful. Moreover, by induction on n, one obtains that \frac{1}{n}\beta_{n}=\frac{1}{n} (1-D_{n})(1-D_{n-1})\cdots (1-D_{2})\in\mathbb{Q}[\mathcal{S}_{n}] also gives the linear transformation

  (\mathbb{Q}^{\oplus n})^{\otimes n}\stackrel{\mathscr{A}}\longrightarrow(\mathbb{Q}^{\oplus n})^{\otimes n},\quad x_{1}x_{2}\cdots x_{n}\mapsto \frac{1}{n}[[\cdots[x_{1}, x_{2}], \cdots], x_{n}],\;(x_{i}\in\mathbb{Q}^{\oplus n})

  under the representation R. (To see this, it suffices to treat x_{1}x_{2}\cdots x_{n-1}\in (\mathbb{Q}^{\oplus n})^{\otimes (n-1)} as a single block X_{n-1}. Then D_{n}=(12\cdots n) swaps the block X_{n-1} and the tensor factor x_{n}\in(\mathbb{Q}^{\oplus n})^{\otimes 1}. That is, D_{n} (X_{n-1}x_{n})=x_{n}X_{n-1}.) Since the linear transformation \mathscr{A} is idempotent and the representation R is faithful, we infer that \frac{1}{n}\beta_{n} is idempotent, and hence the other four elements listed above are idempotent as well. That is, Reutenauer’s theorem [btn, Theorem 8.16, p. 195] essentially shows that all the elements listed in (ii) are idempotent. (The element \beta_{n} is usually denoted by \omega_{n} in representation theory. We follow the convention of Fred Cohen. Note that \omega_{n} stands for the Whitehead product [\mathrm{id}_{S^n},\mathrm{id}_{S^n}] in homotopy theory.)

• (2) It follows from (1) and the definition of the notation || \beta_{n}||, see Equation (?).

• (3) For convenience, we omit the homology suspension isomorphism from the notation \sigma in this proof if no confusion arises. Note that \underline{D_{2}}=\underline{(12)}, the switching map. At the homology level, \underline{D_{2}}_{*} (a_{1}a_{2})=(-1)^{|a_{1}||a_{2}|}a_{2}a_{1}. Hence,

  \beta_2(a_{1}a_{2}) =a_{1} a_{2} - (-1)^{|a_{1}||a_{2}|} a_{2}a_{1}=[a_{1},a_{2}].

  Assume that

  \beta_{n-1} (a_{1}a_{2}\cdots a_{n-1})=[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}].

  We show that

  \beta_{n} (a_{1}a_{2}\cdots a_{n})=[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}] a_{n}-(-1)^{r}a_{n}[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}],

  where r=|[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}]|\cdot |a_{n}|; that is, we need to show that

  \beta_{n} (a_{1}a_{2}\cdots a_{n})=[[\cdots[a_{1}, a_{2}], \cdots], a_{n}].

  By the assumption and the relation ||\beta_{n}||'= ||\beta_{n-1}||'\wedge \mathrm{id}_{X}+ \big(( \Sigma \,\underline{D_{n}}\, ) \circ (||\beta_{n-1}||'\wedge \mathrm{id}_{X})\big)\circ[-1] given in (2), we have

  \beta_{n} (a_{1}a_{2}\cdots a_{n})=[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}] a_{n}-\underline{D_{n}}_{*}\big([[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}] a_{n}\big).

  Thus we need only to show that

  \underline{D_{n}}_{*}\big([[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}] \otimes a_{n}\big)=(-1)^{r}a_{n}\otimes[[\cdots[a_{1}, a_{2}], \cdots], a_{n-1}].

  Recall that D_{n}=(12\cdots n). Therefore

  \underline{D_{n}} (x_{1}\wedge x_{2}\wedge\cdots \wedge x_{n})=x_{n}\wedge x_{1}\wedge x_{2}\wedge\cdots \wedge x_{n-1},\;(x_{i}\in X).

  Then Equation (?) follows from the commutative diagram,

  \begin{tikzcd} X^{\wedge n}\arrow[r,"\underline{D_{n}}"] \arrow[d, equal] & X^{\wedge n} \arrow[d, equal] \\ X^{\wedge (n-1)}\wedge X \arrow[r, "\tau"] & X\wedge X^{\wedge (n-1)}.\end{tikzcd}

  Here, \tau denotes the switching map (x_{1}\wedge x_{2}\wedge\cdots \wedge x_{n-1})\wedge x_{n} \mapsto x_{n}\wedge (x_{1}\wedge x_{2}\wedge\cdots \wedge x_{n-1}).

• (4) Essentially, we have proved this assertion in Lemma 3.2.1. Note that here we write a\otimes b as ab for short. For n=2, the result follows from Lemma 3.2.1 (2). For n\geq3, apply Lemma 3.2.1 (3) through taking the map f_{1}=\langle \cdots \langle E, E\rangle,\cdots , E\rangle ((n-1)-fold) and the map f_{2}=E. It is not hard to obtain the result by induction on n.

Notice that H_{*} (\Omega\Sigma S^{n})\cong T(x) as Hopf algebras where |x|=n. Let V=\widetilde{H}_{*} (S^{n})=\mathrm{span}_{\mathbb{Z}/p}\{ x\} .

• (1) Recall the properties given by Proposition 6.1 (2) and (5). In this case, L_{n} (V)=0 for all n\geq2 and hence

  0=L_{n} (V)\supseteq \mathrm{Q}_{n}^{\mathrm{max}} (V),

  leading to \mathrm{Q}_{n}^{\mathrm{max}} (V)=0 for all n\geq2. Then \mathrm{SQ}_{n}^{\mathrm{max}} (S^{i})\simeq* for all n\geq2. The remaining part follows from Proposition 6.2 (1).

• (2) For the even case, the proof is similar to that part (1). We consider the odd case, setting n=2i-1. Clearly, in T(x),

  [x,x]=2x^{2},\;[[x,x],x]=[2x^{2},x]=0.

  Thus, L_{2} (V)=\mathrm{Span}_{\mathbb{Z}/p}\{ 2 x^{2}\} ,\; (|2 x^{2}|=2n=4i-2) and L_{j} (V)=0, (j\geq3). By Equation (6.2), we have

  \widetilde{H}_{*} (\mathrm{SQ}_{2}^{\max} (S^{2i-1}))=\sigma L_{2} (V)=\mathrm{Span}_{\mathbb{Z}/p}\{ 2\sigma x^{2}\} ,\;\;|2\sigma x^{2}|=4i-1,
  \widetilde{H}_{*} (\mathrm{SQ}_{j}^{\max} (S^{2i-1}))\subseteq \sigma L_{j} (V)=0,\;\;j\geq3.

  Then, \mathrm{SQ}_{2}^{\max} (S^{2i-1})\simeq S^{4i-1}, \mathrm{SQ}_{j}^{\max} (S^{2i-1})\simeq * for all j\geq3. So, \mathrm{B}^{\max} (S^{2i-1})=\Omega\bigvee_{n\geq2}\mathrm{SQ}_{n}^{\max} (S^{2i-1})\simeq\Omega S^{4i-1}. It follows that

  \Omega\Sigma S^{2i-1}\simeq \mathrm{A}^{\min} (S^{2i-1})\times\Omega S^{4i-1} \,\;\text{for all}\;\,i\geq1.

  Applying H_{*} (-), we have H_{2i-1} (\mathrm{A}^{\min} (S^{2i-1}))\cong\mathbb{Z}/p and \widetilde{H}_{\ell} (\mathrm{A}^{\min} (S^{2i-1}))=0 for all \ell\neq 2i-1. Applying \pi_{*} (-), we have \pi_{2i-1} (\mathrm{A}^{\min} (S^{2i-1}))\cong\mathbb{Z}_{(p)} and \pi_{\ell} (\mathrm{A}^{\min} (S^{2i-1}))=0 for all \ell<2i-1. Hence, we obtain

  \mathrm{A}^{\min} (S^{2i-1})\simeq S^{2i-1}\,\;\text{for all}\;\,i\geq2.

  In the case i=1, \mathrm{A}^{\min} (S^{2i-1})=\mathrm{A}^{\min} (S^{1}) is not simply-connected. Nevertheless, we have the decomposition \Omega S^{2}\simeq\mathrm{A}^{\min} (S^{1})\times\Omega S^{3}. By employing the Hopf fibration S^{1}\rightarrow S^{3}\rightarrow S^{2} and the fact \pi_{\bullet\geq2} (S^{1})=0, we have \pi_{j} (\Omega S^{3})\cong\pi_{j} (\Omega S^{2}) for all j\geq2. Since homotopy groups of spheres are finitely generated, we infer \pi_{j} (\mathrm{A}^{\min} (S^{1}))=0 for all j\geq2. In summary, we have \pi_{1} (\mathrm{A}^{\min} (S^{1}))\cong\mathbb{Z}_{(p)} and \pi_{j} (\mathrm{A}^{\min} (S^{1}))=0 for all j\neq1. Hence, \mathrm{A}^{\min} (S^{1})\simeq S^{1}.

Recall that \mathrm{B}^{\mathrm{max}} (X)=\Omega\bigvee_{m\geq2} \mathrm{SQ}^{\mathrm{max}}_{m} (X) and that \mathrm{SQ}^{\mathrm{max}}_{m} (S^{i}) is simply-connected for each m\geq2 and i\geq1. By Lemma 6.1, we know that there exist homotopy equivalences \mathrm{B}^{\mathrm{max}} (S^{i})\simeq * \;(\forall i\geq1) localized at 2; moreover, \mathrm{B}^{\mathrm{max}} (S^{2i})\simeq*, \mathrm{B}^{\mathrm{max}} (S^{2i-1})\simeq \Omega S^{4i-1} (\forall i\geq1) localized at p\geq3. Let i\colon F\rightarrow \Sigma C_{f} be the homotopy fiber inclusion. Apply Proposition 6.2 (1), we have a commutative diagram with rows fiber sequences

Hence, \pi_{C_{f}} lifts to F, the homotopy fiber of q. That is, \pi_{C_{f}}=i\circ\xi for some map \xi \colon \bigvee_{m\ge 2} \mathrm{SQ}_m^{\max} (S^{n+k+2})\rightarrow F. So we deduce a commutative diagram with rows and columns fiber sequences for some space \widetilde{A},

Note that j_{C_{f}}=* leads to \Tilde{j}=*. Thus, we derive a homotopy equivalence \Omega F\simeq \widetilde{A}\times \Omega\bigvee_{n\geq2}\mathrm{SQ}_{n}^{\mathrm{max}} (C_{f}). The relation i\circ\xi=\pi_{C_{f}} is also expressed by the diagram

By use of the naturality of homotopy fibrations, we obtain the commutativity of Diagram (7.1).

Recall that \mathrm{SQ}_{3}^{\mathrm{max}} (X)=\mathop{\mathrm{hocolim}}\limits_{\beta_{3}/3}\,\Sigma X^{ \wedge 3}. Now, take X=C_{f}. According to Proposition 6.3 (3) and fact (?), we have

Write X=C_{f}=S^{n}\cup e^{n+k+1} and so \widetilde{H}_{*} (X)=\mathrm{Span}_{\mathbb{Z}/p}\{ x,y\}, where |x|=n,\; |y|=n+k+1. Then, according to Proposition 4.3.2, there is a map g: S^{|x|}\wedge S^{|y|}\rightarrow X\wedge X such that

for some integer t\in [1,p-1]. Recall that \mathrm{SQ}_{3}^{\mathrm{max}} (X)=\mathrm{hocolim(}\Sigma X^{ \wedge 3}\stackrel{\beta_{3}/3\;}\longrightarrow\Sigma X^{ \wedge 3}\stackrel{\beta_{3}/3\;}\longrightarrow\cdots). Let \phi_{2} be the canonical map from the second \Sigma X^{ \wedge 3} in the sequence to \mathrm{SQ}_{3}^{\mathrm{max}} (X). Consider the composition \Psi,

Applying \widetilde{H}_{*} (-), we get

Suppose a\in \widetilde{H}_{*} (X). We examine the value of (\sigma a)\iota_{|x|+|y|} under \Psi_{*}. By Proposition 6.3 (3) and fact (?), we infer that

Hence,

(We use the symbols \frac{t}{3} and \frac{1}{3} by employing the obvious \mathbb{Z}_{(p)}-module structure of the \mathbb{Z}/p-vector space.) So,

Noting that the domain and codomain of \Psi_{*} are vector spaces of dimension 2, we deduce that \Psi_{*} is an isomorphism. By the p-local Whitehead theorem, we know that

is a homotopy equivalence.

Lemma 7.2 and Lemma 7.3 imply the first part of the lemma. The second part is in fact a standard result of Selick-Wu’s \mathrm{A}^{\min}-theory and is often used without explicit mention, see Remark 6.2 (2), in particular Diagram (6.2) for a comprehensive explanation.

Consider the \mathbb{Z}/p-homology Leray-Serre spectral sequence \{ E^{\bullet}_{\bullet,\bullet},d_{\bullet}\} associated with the homotopy fibration \Omega F\rightarrow*\rightarrow F and apply Proposition 3.3.1. Observe that

In the following, “=" stands for being equal up to a unit in \mathbb{Z}/p. The relations

in the E^{n}-page force d(ab)=[x,y]=\mathrm{ad}^{1} (y)(x) in the E^{2n+k+3}-page. The relations

in the E^{2n+k+3}-page imply d(ab^{2})=\mathrm{ad}^{2} (y)(x) in the E^{3n+2k+5}-page. It is not hard to obtain d(ab^{m})=\mathrm{ad}^{m} (y)(x) for all m by induction.

• (1) Consider the \mathbb{Z}/p-homology Leray-Serre spectral sequence \{ E^{\bullet}_{\bullet,\bullet},d_{\bullet}\} associated with the homotopy fibration \Omega F^{(2)}\rightarrow*\rightarrow F^{(2)}. Recall that it is a H_{*} (\Omega F^{(2)})-module spectral sequence, d(u v)=(du) v where u\in E_{\bullet,0}^{\bullet} and v\in E_{0,\bullet}^{2}, (see Proposition 3.3.1). Notice that the pair (\Omega F, \OmegaF^{(2)}) is ((3n+2k+2)-1)-connected. Thus we have H_{\bullet\leq s} (\OmegaF^{(2)})\subseteq H_{\bullet\leq s} (\Omega F) where s=|[x,y]|. Additionally, (\Omega i)_{*} is a Hopf algebra homomorphism. Combining with the algebra structure of H_{*} (\Omega F), we infer that in H_{*} (\OmegaF^{(2)}), every monomial of the form

  x^{i_{1}} [x,y]^{i_{2}}x^{i_{3}} [x,y]^{i_{4}}\cdots x^{i_{t}} [x,y]^{i_{t+1}}

  is nonzero where the numbers i_{\bullet} denote non-negative integers. Then, a calculation following the method in the proof of Lemma 8.2.2 shows that H_{*} (\OmegaF^{(2)})\cong T(x, [x,y]) as algebras. To show x, [x,y]\in H_{*} (\OmegaF^{(2)}) are primitive, notice that \OmegaF^{(2)}\rightarrow\Omega F induces a monomorphism of tensor algebras (thereby of Hopf algebras) and x, [x,y]\in H_{*} (\Omega F) are primitive.

• (2) The proof is similar to (1). Set w=[[x,y],y]. Since F^{(3)}=\mathrm{sk}_{4n+3k+3} (F), we see that the pair (F,F^{(3)}) is ((4n+3k+4)-1)-connected. Hence the pair (\Omega F,\Omega F^{(3)}) is ((4n+3k+3)-1)-connected. In particular,

  H_{\bullet\le |w|} (\Omega F^{(3)}) \xrightarrow[]{\cong} H_{\bullet\le |w|} (\Omega F), \qquad |w|=|[[x,y],y]|.

  Therefore the elements x,[x,y],w\in H_{*} (\Omega F) determine elements with the same names in H_{*} (\Omega F^{(3)}). Consider the \mathbb{Z}/p-homology Leray-Serre spectral sequence \{ E^{\bullet}_{\bullet,\bullet},d_\bullet\} associated with the homotopy fibration \Omega F^{(3)}\rightarrow * \rightarrow F^{(3)}. As in assertion (1), this is a H_{*} (\Omega F^{(3)})-module spectral sequence. Combining with the above information, a calculation parallel to that in the proof of Lemma 8.2.2 shows that H_{*} (\Omega F^{(3)})\cong T(x,[x,y],w) as algebras. Finally, the inclusion \Omega F^{(3)}\rightarrow \Omega F induces a monomorphism of Hopf algebras. Since the images of x,[x,y],w in H_{*} (\Omega F) are primitive, it follows that x,[x,y],w are primitive in H_{*} (\Omega F^{(3)}) as well. Therefore, H_{*} (\Omega F^{(3)})\cong T(x,[x,y],[[x,y],y]) as Hopf algebras.

The lemma follows from Theorem 1.3 and Lemma 8.2.3 (1).

The argument is straightforward, as the homology groups are readily determined via the Leray-Serre spectral sequences.

The homomorphism \pi_{3n+k+1} (\Omega F^{(3)}\hookrightarrow\Omega F) is injective; the maps \Omega j_{2}\circ\phi and i_{2}\circ i_{1} are equal after composing with the map \Omega F^{(3)}\hookrightarrow\Omega F. Thus \Omega j_{2}\circ\phi=i_{2}\circ i_{1}. The remaining part of the lemma follows from Lemma 8.2.3, Lemma 7.4 and the connectivity properties of the pairs involved.

Consider the induced homomorphism H_{3n+2k+1} (\rho)=\rho_{*}. The space \Sigma^{2n+k+1}C_{f} is ((3n+k+1)-1)-connected, and hence (n-1)-connected. The naturality of the Leray-Serre long exact sequence ([ko1996, Proposition 3.2.1, p. 68]) dictates the following commutative diagram with exact second row,

The exactness gives \mathrm{Im} (\partial_{2})\cong\mathrm{Coker}(\Omega j_{2})_{*}. Combining it with Lemma 8.2.3 we infer that

Recall that [\Sigma^{2n+k+1}C_{f}, \OmegaF^{(3)}]\cong[\Sigma^{2n+k+1}C_{f}, \Omega F] induced by the inclusion; and note that i_{2}\colon \Sigma^{2n+k+1}C_{f}\rightarrow\OmegaF^{(3)} denotes the restriction of \Sigma^{2n+k+1}C_{f}\stackrel{E}\longrightarrow\Omega \mathrm{SQ}^{\max}_{3} (C_{f})\hookrightarrow\Omega F. Then,

follows from Lemma 7.4. In addition, Equation (Proof) implies that

Therefore, \partial_{2}\circ i_{2*}\neq0 which results in \rho_{*}\neq0. For the space A and the space \Omega B, the inclusions of the bottom cells both induce isomorphisms between the \mathbb{Z}/p-homology groups of dimension 3n+2k+1. Thus, \rho_{*}\neq0 implies H_{3n+2k+1} (\zeta)=\zeta_{*}\neq0, completing the proof.

In this proof, we freely use the commutativity of Diagram (?). Clearly, the map \Omega i_{3}\circ E \colon S^{3n+2k+1}\rightarrow\Omega B can be decomposed to be

for some self-map \mu. Recall that i_{3}\colon S^{3n+k+2}\rightarrow B is the inclusion of the bottom cell. Then, H_{3n+k+1} (\mu)=\mu_{*}\neq0 which results in \Omega i_{3}\circ E=i_{4} up to a unit in \mathbb{Z}_{(p)}. Therefore, \mathrm{adj} (\beta)=\Omega i_{5}\circ\Omega i_{3}\circ E=\Omega i_{5}\circ i_{4}=\varepsilon up to a unit in \mathbb{Z}_{(p)}.

The first part is obvious. We consider the second part. Lemma 8.2.3 gives that

Recall the homotopy fibration

Lemma 8.2.4 implies that the Hopf algebra

where |x|=n, |z|=2n+k+1 and z=[x,y]\in H_{*} (\Omega G)\subseteq T(x,y); moreover,

Using the notation of the generator \iota\in H_{3n+k+1} (S^{3n+k+1}) given in Lemma 8.3.4, and noticing that the homology group H_{3n+k+1} (\Omega G)=\langle\,[[x,y],x]\,\rangle\cong\mathbb{Z}/p, we have

Therefore, (\Omega j_{3}\circ \mathrm{adj} (j_{4}))_{*} (\iota)=\lambda[[x,y],x]\in H_{*} (\Omega F^{(2)}). By Lemma 8.3.4, we have

Consequently, up to the integer \lambda\in[1,p-1], we have \phi_{*}\iota=(\Omega j_{3}\circ \mathrm{adj} (j_{4}))_{*} (\iota)=[[x,y],x].

First consider the case \mathrm{d}\geq1. We will freely use some classical methods for calculating homotopy groups, see Remark 9.1 for these methods. The homotopy fibering G=(S^{n+1}\vee S^{3n+k+2})\cup e^{5n+2k+3}\cup\cdots \stackrel{j_{3}}\longrightarrowF^{(2)}\stackrel{q_{2}}\longrightarrow S^{2n+k+2} induces an exact sequence

which is canonically identified with the exact sequence

Obviously, \pi_{3n+k+2} (S^{2n+k+2})=\Sigma \pi_{3n+k+1} (S^{2n+k+1}) and \partial(\Sigma\mathbbm{x})=[\iota_{n+1},\Sigma f]\circ\mathbbm{x} for each \Sigma\mathbbm{x}\in\pi_{3n+k+2} (S^{2n+k+2}). Let the elements \Sigma\mathbbm{y}^{(i)},\;(1\leq i\leq \mathrm{d}) denote generators of a minimal generating set of

where \mathrm{d}=\mathrm{rank} (\mathbb{Z}/p\otimes \mathrm{Im} (q_{2*}))\geq1 by the assumption. Therefore, the taken element

is a lift of -\Sigma\mathbbm{y}^{(i)} as well as a coextension of \mathbbm{y}^{(i)} for each i. So, \pi_{3n+k+2} (F^{(2)}) is generated by

and the elements [\Sigma\mathbbm{y}^{(i)}],\;(1\leq i\leq \mathrm{d}). Equivalently speaking, \pi_{3n+k+1} (\OmegaF^{(2)}) is generated by

and the elements \mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]),\;(1\leq i\leq \mathrm{d}). Hence, the result holds when \mathrm{d}\geq1. It is easy to see that the result also holds when \mathrm{d}=0.

If k\geq1 or n+1 is odd, then H^{*} (F^{(2)};\mathbb{Z}_{(p)}) is a trivial algebra. Consider the \mathbb{Z}_{(p)}-cohomology Leray-Serre spectral sequence \{ E_{\bullet}^{\bullet,\bullet}, d^{\bullet}\} associated with the homotopy fibration \Omega F^{(2)}\rightarrow *\rightarrow F^{(2)}. The Leibniz rule and the trivial algebra structure of H^{*} (F^{(2)};\mathbb{Z}_{(p)}) imply that d^{n+1} (u)=0 for all u\in E_{i}^{n+1,j} with i\geq2 and j\geq 1.

Next we show that the graded group H^{*} (\Omega F^{(2)};\mathbb{Z}_{(p)}) is \mathbb{Z}_{(p)}-torsion free. To obtain a contradiction, assume that there exists a nonzero \mathbb{Z}_{(p)}-torsion element a\in H^{*} (\OmegaF^{(2)};\mathbb{Z}_{(p)}) with |a|\geq1. Then, we can find a nonzero \mathbb{Z}_{(p)}-torsion element b\in H^{*} (\OmegaF^{(2)};\mathbb{Z}_{(p)}) with |b|\geq1 such that |b|\leq |a| for all nonzero \mathbb{Z}_{(p)}-torsion elements a\in H^{*} (\OmegaF^{(2)};\mathbb{Z}_{(p)}). It follows that all elements v\in E_{r}^{i,j} with j<|b|, i\geq1 and r\geq2 are \mathbb{Z}_{(p)}-torsion free. Then in each page, d(b)=0 and so b\neq0 survives to E_{\infty}^{|b|,0}. However, all elements in E_{\infty}^{(\bullet,\bullet)\neq0} are trivial, giving a contradiction. Thus, the graded group H^{*} (\Omega F^{(2)};\mathbb{Z}_{(p)}) is \mathbb{Z}_{(p)}-torsion free and hence the graded group H_{*} (\Omega F^{(2)};\mathbb{Z}_{(p)}) is \mathbb{Z}_{(p)}-torsion free.

It was proved that the map \mathrm{adj} (j_{3}j_{4}) sends \iota to [[x,y],x] up a unit in \mathbb{Z}/p in Lemma 8.4.3. We examine the behavior of the maps at the \mathbb{Q}-homology level. Let \mathcal{L} (-) be the rationalization functor, sending p-local nilpotent CW complexes to their rationalizations, and sending p-local maps to their rationalizations. Then \mathcal{L} (\pi_{3n+k+1} (\Omega S^{n+1}))=0 and hence \mathcal{L} ((\Omega j_{2.5})\circ\pi_{3n+k+1} (\Omega S^{n+1}))=0. The elements \mathbbm{y}_{i} are in the stable homotopy group, so all \mathcal{L} (\mathbbm{y}_{i})=0. Thus,

Here, the relation “ \subseteq ” between Equation (Proof) and Equation (Proof) follows from the equivalent definition of Toda brackets (see Toda [Toda, Proposition 1.7, p. 13]) and the fact that \mathcal{L} localizes extensions and coextensions. Thus, \mathcal{L} (\mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]))=\mathrm{adj} (\mathcal{L} ([\Sigma\mathbbm{y}^{(i)}]))=0. Then, all elements in (\Omega j_{2.5})\circ\pi_{3n+k+1} (\Omega S^{n+1}) and all \mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]) induce trivial homomorphisms of \mathbb{Q}-homology groups. Lemma 8.5.2 tells us that H_{*} (\Omega F^{(2)};\mathbb{Z}_{(p)}) is \mathbb{Z}_{(p)}-torsion free. Therefore, all elements in (\Omega j_{2.5})\circ\pi_{3n+k+1} (\Omega S^{n+1}) and all \mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]) induce trivial homomorphisms of \mathbb{Z}/p-homology groups. Hence the result holds.

We prove the lemma by the method of undetermined coefficients. Suppose that

where a\in (\Omega j_{2.5})\circ \pi_{3n+k+1} (\Omega S^{n+1}) and t,\lambda_{i}\in\mathbb{Z}_{(p)}.

Consider the case that k\geq1 or n is even. Recall that the fact that \phi_{*} (\iota)=[[x,y],x]] up to a unit in \mathbb{Z}_{(p)}; see Lemma 8.4.3. This fact and Lemma 8.5.3 imply that t\in\mathbb{Z}_{(p)} is a unit. Take r=1/t.

Consider the case that k=0 and n is odd. Recall n\geq2 by our global assumption. Hence n\geq3 in this case. We know |[[x,y],x]|=3n+k+1=3n+1. In H_{3n+1} (\OmegaF^{(2)}), all primitive elements are in \mathrm{Span}_{\mathbb{Z}/p}\{ [[x,y],x]\}; see Selick’s textbook [selickjc, Theorem 10.5.2, p. 109] or calculate them directly. So, (\mathrm{adj}[\Sigma\mathbbm{y}^{(i)}])_{*} (\iota)\in \mathrm{Span}_{\mathbb{Z}/p}\{ [[x,y],x]\} . It follows that we may choose elements [\Sigma\mathbbm{y}^{(i)}]' satisfying the homomorphisms of the\;\mathrm{mod}\, p homology groups

Note that the generators \mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]) of \pi_{3n+k+1} (\OmegaF^{(2)}) may be replaced by \mathrm{adj} ([\Sigma\mathbbm{y}^{(i)}]'); also note that any element lying in (\Omega j_{2.5})\circ \pi_{3n+1} (\Omega S^{n+1}) obviously induces trivial homomorphisms of the\;\mathrm{mod}\, p homology groups. Then, we reset

where a\in (\Omega j_{2.5})\circ \pi_{3n+k+1} (\Omega S^{n+1}) and t,\lambda_{i}'\in\mathbb{Z}_{(p)}. Thus t\in\mathbb{Z}_{(p)} is a unit and we choose r=1/t.

In this proof, the symbol “=" stands for equality up to a unit in \mathbb{Z}_{(p)}. By the left square of Diagram (?) and Lemma 8.4.2, we have \mathrm{adj} (\beta)=\varepsilon=\phi\circ \Sigma^{2n+k+1}f. Making use of Lemma 8.5.4 and applying \mathrm{adj}^{-1} (-), we derive the result.

Recall that

Let j_{3.5}\colon S^{n+1}\rightarrow G be the inclusion and \partial\colon \pi_{\bullet+1} (S^{2n+k+2})\rightarrow\pi_{\bullet} (G) be the connecting homomorphism with respect to the homotopy fibration G\rightarrow F^{(2)}\rightarrow S^{2n+k+2}. It is clear that \pi_{r+1} (S^{2n+k+2}) is in the stable range as r\leq4n+2k+1. Noticing the well-known formula \partial(\mathbbm{x}\circ\Sigma\mathbbm{y})=\partial(\mathbbm{x})\circ\mathbbm{y} we deduce that

The sum of \mathrm{Im}j_{3.5*} and \mathrm{Im}j_{4*} is a direct sum in \pi_{r} (G), so \mathrm{Im}j_{4*}\cap\mathrm{Im}\partial=0. Therefore the result holds.

We first introduce the notation. Let a_{1}\colon S^{n+1}\rightarrow S^{n+1}\vee S^{3n+k+2} and a_{2}\colon S^{3n+k+2}\rightarrow S^{n+1}\vee S^{3n+k+2} be the inclusions. By the standard technique, we may replace \beta\colon S^{3n+k+2}\rightarrowF^{(2)} by the inclusion to the mapping cylinder, i\colon S^{3n+k+2}\rightarrow M_{\beta}= M_{F^{(2)}}; let \bar{j}_{2.5} be the composition S^{n+1} \xrightarrow[]{j_{2.5}}F^{(2)}\hookrightarrow M_{F^{(2)}}. Denote the relative folding map

by \nabla, which is given by \nabla(x,*)=\mathrm{id}_{M_{F^{(2)}}} (x)=x,\;\nabla(*,a)=i(a)=a.

According to Gray [Gray], we have a commutative diagram whose first row is a homotopy cofibration,

Considering the homotopy pushout of \nabla (\bar{j}_{2.5}\vee \mathrm{id}) and u_{1}, we see that the resulting space is the homotopy cofiber of \nabla (\bar{j}_{2.5}\vee \mathrm{id})[a_{1},a_{2}] via employing the homotopy pushout of the map [a_{1},a_{2}] and S^{n+1}\wedge S^{3n+2k+1} \rightarrow*. (Recall that, in a commutative 3\times 2 diagram of spaces, if the two inner squares are homotopy pushouts, then the outer rectangle is also a homotopy pushout.) By checking the homology, we deduce that this resulting space is the 3-cell skeleton of the space J_{2} (M_{F^{(2)}},S^{3n+2k+2}) up to homotopy. Then, the attaching map S^{4n+2k+2}\rightarrow J_{2} (M_{F^{(2)}}, S^{3n+2k+2}) of the 3-cell skeleton of the space J_{2} (M_{F^{(2)}},S^{3n+2k+2}) can be taken as

Restoring the original maps, we see that \gamma can be taken as

Clearly, j_{2.5}=j_{3}j_{3.5} up to a unit in \mathbb{Z}_{(p)}. Hence, up to a unit in \mathbb{Z}_{(p)}, the map [j_{2.5},j_{3}j_{4}\circ\Sigma^{2n+k+2}f] is equal to

(Here, we freely use the well-known formula of Whitehead products given in [GW, Theorem 8.18, p. 484].) Without changing the homotopy type, we can choose \gamma satisfying \gamma \equiv j_{3}\circ[j_{3.5},\,j_{4}]\circ\Sigma^{3n+k+2}f\;\mathrm{mod}\,[j_{3}j_{3.5},\;I\circ\Sigma^{2n+k+2}f].

We point out that the relation \nu_{5}\sigma_{8}\eta_{15}=\nu_{5}\varepsilon_{8} is not completely given in \hat{\mathrm{O}}guchi’s table [Og, pp. 103–105], (it is one of the very few composition relations in Toda’s range that are not provided the table), but given in Toda’s book [Toda, p. 152]. By Theorem 1.1 and the result of the homotopy groups of spheres, we obtain the lemma.

As explained at the beginning of this section, we shall only explain the essential parts of the proof, leaving the remaining details to the reader.

• (1) Consider \partial\colon\pi_{19} (S^{11})\rightarrow\pi_{18} (G). Recall that j_{3.5}\colon S^{5}\rightarrow G is the inclusion of the bottom cell. We have \partial(\varepsilon_{11})=j_{3.5}\nu_{5}\eta_{8}^{2}\circ\varepsilon_{10}=j_{3.5}\nu_{5}\circ(\pm2\nu_{8}\sigma_{10})=0, and \partial( \bar{\nu} _{11})=j_{3.5}\nu_{5}\eta_{8}^{2}\circ \bar{\nu} _{10}=j_{3.5}\nu_{5}\eta_{8}\circ\nu_{9}^{3}=0. Then, \partial(\pi_{19} (S^{11}))=0 and j_{3*}\colon\pi_{18} (G)\rightarrow\pi_{18} (F^{(2)}) is injective. Notice that \nu_{5}\eta_{8}^{2}\sigma_{10} is of order 2. Hence

  \mathrm{Ker} (\partial\colon \pi_{18} (S^{11})\rightarrow\pi_{17} (G))=\mathbb{Z}/8\{ 2\sigma_{11}\} .

  Taking

  \mathrm{coext}_{\nu_{5}\eta_{8}^{2}} (2\sigma_{10})\in\{ j_{2.5},\nu_{5}\eta_{8}^{2},2\sigma_{10}\}

  we have q_{2*}\mathrm{coext}_{\nu_{5}\eta_{8}^{2}} (2\sigma_{10})=-2\sigma_{11}. The definition of \mu_{n} ([Toda, Lemma 6.5, p. 57]) and the Jacobi identity ([Toda, ii) of Equation (3.9), p. 33]) imply

  \{ \eta_{9},2\sigma_{10},8\iota_{17}\} \equiv\mu_{9}\;\mathrm{mod}\, \nu_{9}^{3},\eta_{9}\varepsilon_{10},\sigma_{9}\eta_{16}^{2}.

  One may also use \mu\in\langle 8\sigma,2\iota,\eta \rangle=\langle \eta,2\iota,8\sigma\rangle ([Toda, p. 189]) and \mathrm{Ker}(\Sigma^{\infty}\colon\pi_{18} (S^{9})\rightarrow\pi_{9}^{S} (S^{0}))=\mathbb{Z}/2\{ \sigma_{9}\eta_{16}^{2}\} to infer that \{ \eta_{9},2\sigma_{10},8\iota_{17}\} \equiv\mu_{9}\;\mathrm{mod}\, \nu_{9}^{3},\eta_{9}\varepsilon_{10},\sigma_{9}\eta_{16}^{2}. Then we deduce that for some x_{1},x_{2},x_{3}\in\mathbb{Z},

  \begin{aligned} -8(\mathrm{coext}_{\nu_{5}\eta_{8}^{2}} (2\sigma_{10})) &\in j_{2.5}\circ\{ \nu_{5}\eta_{8}^{2},2\sigma_{10},8\iota_{17}\} \\ &\supseteq j_{2.5}\nu_{5}\eta_{8}\circ\{ \eta_{9},2\sigma_{10},8\iota_{17}\} \\ &\ni j_{2.5}\nu_{5}\eta_{8}\circ(\mu_{9}+x_{1}\nu_{9}^{3}+x_{2}\eta_{9}\varepsilon_{10}+x_{3}\sigma_{9}\eta_{16}^{2}) \\ &= j_{2.5}\nu_{5}\eta_{8}\circ\mu_{9}. \end{aligned}

  For the equality from Equation (?) to Equation (?), note that

  \nu_{5}\eta_{8}\nu_{9}^{3}=0,\;\;\nu_{5}\eta_{8}\eta_{9}\varepsilon_{10}=\nu_{5}\circ(\pm 2\nu_{8}\sigma_{11})=0,
  \nu_{5}\eta_{8}\sigma_{9}\eta_{16}^{2}=\nu_{5} (\Sigma\sigma'\circ\eta_{15}+\varepsilon_{8}+ \bar{\nu} _{8})\eta_{16}^{2}=\nu_{5}\Sigma\sigma'\circ4\nu_{15}+\nu_{5}\circ(\pm 2\nu_{8}\sigma_{11})+\nu_{5}\circ\nu_{8}^{3}\eta_{17}=0+0+0=0.

  The indeterminacy of \{ \nu_{5}\eta_{8}^{2},2\sigma_{10},8\iota_{17}\} is

  \mathrm{Ind}\{ \nu_{5}\eta_{8}^{2},2\sigma_{10},8\iota_{17}\} =\nu_{5}\eta_{8}^{2}\circ\langle\varepsilon_{10}, \bar{\nu} _{10}\rangle=0.

  It follows that 8(\mathrm{coext}_{\nu_{5}\eta_{8}^{2}} (2\sigma_{10}))=j_{2.5}\nu_{5}\eta_{8}\mu_{9} is of order 2.

• (2) By Lemma 8.6.2, we know that \pi_{18} (S^{17})\stackrel{\partial}\rightarrow\pi_{17} (Z) is injective. We use the identification \pi_{18} (Z)=\pi_{18} (F^{(2)}). Notice that

  \partial(\eta_{17}^{2})=\beta\circ\eta_{16}^{2} \equiv j_{3}j_{4}\eta_{15}\circ\eta_{16}^{2}=4(j_{3}j_{4}\nu_{15})\;\mathrm{mod}\, j_{2.5}\nu_{5}\sigma_{8}\eta_{15}\circ\eta_{16}^{2},\; 4j_{2.5}\zeta_{5}\circ\eta_{16}^{2},

  and that \nu_{5}\sigma_{8}\eta_{15}\circ\eta_{16}^{2}=\nu_{5}\sigma_{8}\circ4\nu_{15}=0\in\pi_{18} (S^{5}) as well as 4j_{2.5}\zeta_{5}\circ\eta_{16}^{2}=0. So, \partial(\eta_{17}^{2})=4(j_{3}j_{4}\nu_{15}).

• (3) Let us first examine \pi_{17} (F^{(2)}). Note that

  \nu_{5}\eta_{8}^{2}\circ \sigma_{10}=\nu_{5}\eta_{8}\circ (\varepsilon_{9}+ \bar{\nu} _{9})=\nu_{5}\eta_{8}\varepsilon_{9}+\nu_{5}\circ\nu_{8}^{3}=\nu_{5}\eta_{8}\varepsilon_{9}+\nu_{5}^{4}.

  Identify \pi_{17} (S^{5}\vee S^{15}) with \pi_{17} (G) and consider \partial\colon \pi_{18} (S^{11})\rightarrow\pi_{17} (G). It follows that

  \partial(\sigma_{11})=j_{3.5}\nu_{5}\eta_{8}^{2}\circ\sigma_{10}=j_{3.5} (\nu_{5}\eta_{8}\varepsilon_{9}+\nu_{5}^{4})=(\nu_{5}\eta_{8}\varepsilon_{9}+\nu_{5}^{4},0).

  Then, j_{2.5}\nu_{5}^{4}\in\pi_{17} (F^{(2)}) is nonzero. Now, examine \pi_{17} (F^{(3)}). Consider \partial\colon \pi_{18} (S^{17})\rightarrow\pi_{17} (Z) and identify \pi_{17} (F^{(2)}) with \pi_{17} (Z). We have

  \partial(\eta_{17})=\beta\circ\eta_{16} \equiv j_{3}j_{4}\eta_{15}^{2}\;\mathrm{mod}\, j_{2.5}\nu_{5}\varepsilon_{8}\circ\eta_{16}=j_{2.5}\nu_{5}^{4}.

  Then, the restriction \pi_{17} (j_{2})|_{ \mathrm{Im} (\pi_{17} (j_{2.5}))} is injective.

The homomorphism \pi_{18} (j_{0}) is obviously injective since \pi_{19} (S^{7})=0. Consider \mathrm{Ker} (\pi_{18} (S^{7})\stackrel{\partial}\longrightarrow\pi_{17} (F)). In \pi_{17} (F), we have \partial(\zeta_{7})=(j_{1}j_{2}j_{2.5}\eta_{5})\circ\zeta_{6}=0 as \eta_{5}\zeta_{6}=0. Employing Lemma 9.2 (3) we obtain

Therefore, \mathrm{Ker} (\pi_{18} (S^{7})\stackrel{\partial}\longrightarrow\pi_{17} (F))=\mathbb{Z}/8\{ \zeta_{7}\} . Note that the composition j_{0}j_{1}j_{2}j_{2.5}=i to a unit in \mathbb{Z}_{(2)}, where i\colon S^{5}\rightarrow \Sigma^{3}\mathbb{C}P^{2} denotes the inclusion of the bottom cell.

Taking \mathrm{coext}_{\eta_{5}} (\zeta_{6})\in\{ i,\eta_{5},\zeta_{6}\}, we have q_{*}\mathrm{coext}_{\eta_{5}} (\zeta_{6})=-\zeta_{7}. Then we deduce that

Here, we use \eta_{5}\circ(\pm P(\sigma_{13}))=\eta_{5}\circ[\iota_{6},\iota_{6}]\sigma_{11}=[\iota_{5},\iota_{5}]\eta^{2}_{9}\sigma_{11}=\nu_{5}\eta_{8}^{3}\sigma_{11}=\nu_{5}\circ4\nu_{8}\circ\sigma_{11}=0 to compute the indeterminacy of i\circ\{ \eta_{5},\eta_{6}^{2}\mu_{8},2\iota_{17}\}. This completes the proof.