Different possibilities defining $\eta^2$ in the ring of stable homotopy groups?

417 Views Asked by At

The Hopf fibration $\eta:S^3\to S^2$ represents the generator of the first stable homotopy group $\pi_1^s$.

The direct sum of the stable homotopy groups $$ \pi_*^s=\bigoplus_{k\in\mathbb{Z}} \pi_k^s $$ can be given a ring structure and $\pi_*^s$ is called the ring of stable homotopy groups. Several possibilities (listed below) of introducing such a multiplication come to my mind. My question is:

What is the correct multiplication in $\pi_*^s$? In particular, what is $\eta^2\in \pi_2^s$? Are the other possibilities listed below different and, if not, do they introduce an additional structure on $\pi_*^s$ with a name in the literature?

  1. This possibility is what I think is ''the right'' one: $$ S^4\xrightarrow{\Sigma \eta} S^3\xrightarrow{\eta} S^2 $$ represents an element of $\pi_2^s$ which may be called $\eta^2$.
  2. But how about this? Just ''smashing'' $\eta$ with itself $$ S^6\cong S^3\wedge S^3\xrightarrow{\eta\wedge \eta}S^2\wedge S^2\cong S^4 $$ represents also an element of $\pi_2^s$.
  3. In view of this other question, how about $$ S^3\xrightarrow{\Delta} S^3\wedge S^3\xrightarrow{\eta\wedge\eta} S^2\wedge S^2\cong S^4 $$ but this map is (homotopic to) the zero map, right? What is the relation to the multiplication of the other question then? Since $\pi_*^s=\bigoplus_{k\in\mathbb{Z}}[S^k,\mathbf{S}]=\bigoplus_{k\in\mathbb{Z}}[S^0,S^{-k}\wedge \mathbf{S}]=\mathbf{S}^*(*)$ where $\mathbf{S}$ is the sphere spectrum, there should be a relation to the other multiplication $\star$.
1

There are 1 best solutions below

2
On

Wikipedia seems to give the Hopf fibration as an example in the definition of the ring structure on the stable sphere homotopy ring and it seems to correspond to the composition with the suspension of itself (ie the composition of two different, composable representations of the same ring element), as you guessed in your first point. Nishida's Theorem then says that any element not in $\pi_0^s$ is nilpotent and so all prime ideals of $\pi_*^s$ are those in the zeroth grading making the ring rather complicated.

In general then, it seems that if you want to multiply two elements $[\mu]\in\pi_p^s,\:\:[\lambda]\in\pi_q^s$ with representatives $\mu\colon S^{n+p}\rightarrow S^{n},\:\:\lambda\colon S^{m+q}\rightarrow S^m$ then WLOG assuming $n\leq m+q$, a representative of the product is given by $\lambda\circ(\Sigma^{m+q-n}\mu)\colon S^{m+p+q}\rightarrow S^m$ and so $$[\mu][\lambda]=[\lambda\circ(\Sigma^{m+q-n}\mu)]\in\pi_{p+q}^s$$ which corresponds to the given grading.

I'm not sure about your other maps but they don't seem as natural as the plain composition.