In mathematics, the Toda bracket is an operation on homotopy classes of maps, in particular on homotopy groups of spheres, named after Hiroshi Toda, who defined them and used them to compute homotopy groups of spheres in (Toda 1962).
Definition See (Kochman 1990) or (Toda 1962) for more information. Suppose that
W → f X → g Y → h Z {\displaystyle W{\stackrel {f}{\ \to \ }}X{\stackrel {g}{\ \to \ }}Y{\stackrel {h}{\ \to \ }}Z}
is a sequence of maps between spaces, such that the compositions g ∘ f {\displaystyle g\circ f} and h ∘ g {\displaystyle h\circ g} are both nullhomotopic. Given a space A {\displaystyle A} , let C A {\displaystyle CA} denote the cone of A {\displaystyle A} . Then we get a (non-unique) map
F : C W → Y {\displaystyle F\colon CW\to Y}
induced by a homotopy from g ∘ f {\displaystyle g\circ f} to a trivial map, which when post-composed with h {\displaystyle h} gives a map
h ∘ F : C W → Z {\displaystyle h\circ F\colon CW\to Z} . Similarly we get a non-unique map G : C X → Z {\displaystyle G\colon CX\to Z} induced by a homotopy from h ∘ g {\displaystyle h\circ g} to a trivial map, which when composed with C f : C W → C X {\displaystyle C_{f}\colon CW\to CX} , the cone of the map f {\displaystyle f} , gives another map,
G ∘ C f : C W → Z {\displaystyle G\circ C_{f}\colon CW\to Z} . By joining these two cones on W {\displaystyle W} and the maps from them to Z {\displaystyle Z} , we get a map
⟨ f , g , h ⟩ : S W → Z {\displaystyle \langle f,g,h\rangle \colon SW\to Z}
representing an element in the group [ S W , Z ] {\displaystyle [SW,Z]} of homotopy classes of maps from the suspension S W {\displaystyle SW} to Z {\displaystyle Z} , called the Toda bracket of f {\displaystyle f} , g {\displaystyle g} , and h {\displaystyle h} . The map ⟨ f , g , h ⟩ {\displaystyle \langle f,g,h\rangle } is not uniquely defined up to homotopy, because there was some choice in choosing the maps from the cones. Changing these maps changes the Toda bracket by adding elements of h [ S W , Y ] {\displaystyle h[SW,Y]} and [ S X , Z ] C f {\displaystyle [SX,Z]C_{f}} . There are also higher Toda brackets of several elements, defined when suitable lower Toda brackets vanish. This parallels the theory of Massey products in cohomology.
The Toda bracket for stable homotopy groups of spheres The direct sum
π ∗ S = ⨁ k ≥ 0 π k S {\displaystyle \pi _{\ast }^{S}=\bigoplus _{k\geq 0}\pi _{k}^{S}}
… excerpt ends here. Continue reading the full article.
