nLab Toda bracket

Redirected from "Toda brackets".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Algebraic topology

Contents


the stable homotopy groups of spheres are not really understood until the Toda bracket structure is revealed (Iaksen-Wang-Xu 20, p. 17)


Idea

Given a pointed (∞,1)-category 𝒞\mathcal{C} (such as that presented by the classical model structure on pointed topological spaces) or at least a (2,1)-category (such as its homotopy 2-category), the Toda bracket (Toda 62) is the operation that takes a sequence of 3 composable 1-morphisms in 𝒞\mathcal{C}

X 0f 1X 1f 2X 2f 3X 3, X_0 \overset{\;\;f_1\;\;}{\longrightarrow} X_1 \overset{\;\;f_2\;\;}{\longrightarrow} X_2 \overset{\;\;f_3\;\;}{\longrightarrow} X_3 \,,

equipped with a pair of overlapping null homotopies

to the higher homotopy-equivalence class of their pasting-composite, which is a 2-morphism loop (on the zero 1-morphism) in the (∞,1)-categorical hom space 𝒞(X 0,X 3)\mathcal{C}(X_0,X_3) \in ∞Groupoids, hence an element in its fundamental group π 1𝒞(X 0,X 3)\pi_1 \mathcal{C}(X_0,X_3):

Or rather, the Toda bracket is usually and equivalently taken to be the homotopy class of the 1-morphism ((ϕ 2f 1)(f 3ϕ 1)) \vdash \big( (\phi_2 \cdot f_1) \circ (f_3 \cdot \phi_1) \big) that classifies this homotopy, via the universal property of homotopy fibers/homotopy cofibers:

or both, as we shall assume for ease of notation, then the Toda bracket is the homotopy class of this 1-morphism in the homotopy category:

(1)f 1,f 2,f 3 (ϕ 1,ϕ 2)[(ϕ 2f 1)(f 3ϕ 1)] π 0𝒞(ΣX 0,X 3) π 0𝒞(X 0,ΩX 3) π 1𝒞(X 0,X 3). \array{ \big\langle f_1, f_2, f_3 \big\rangle_{(\phi_1,\phi_2)} \;\coloneqq\; \big[ \vdash (\phi_2 \cdot f_1) \circ (f_3 \cdot \phi_1) \big] \; \in && \pi_0 \mathcal{C} \big( \Sigma X_0, X_3 \big) \\ & \;\simeq\; & \pi_0 \mathcal{C} \big( X_0, \Omega X_3 \big) \\ & \; \simeq \; & \pi_1 \mathcal{C} \big( X_0, X_3 \big) } \,.
from SS21

Here the last pasting diagram on the bottom right shows the homotopy cofiber-construction equivalently realized via mapping cones (ordinary cofiber coproducts after resolving points to cones), by which one may present the top homotopy coherent diagram in, for instance, any pointed cofibration category- or model category-presentation of the pointed (∞,1)-category 𝒞\mathcal{C}.

It is in this last form, by “consecutively extending maps over cones”, that the Toda bracket was introduced in Toda 62, and in which it is still presented in most references to date.

The more abstract formulation shown at the top, via homotopy-pasting diagrams, is made more explicit in Hardie-Kamps-Kieboom 99, (0.2)-(0.3), Hardie-Marcum-Oda 01, Hardie-Kamps-Marcum 02, (2.2) (formalized there inside a homotopy 2-category).

From this abstract homotopy-pasting perspective it is manifest that the set of choices of refined Toda brackets (1) for given maps (f 1,f 2,f 2)(f_1, f_2, f_2) is, if inhabited, a torsor over the direct product group

(2)G (X 0,X 1,X 2,X 3) π 1𝒞(X 0,X 2)×π 1𝒞(X 1,X 3) op =π 0𝒞(X 0,ΩX 2)×π 0𝒞(X 1,ΩX 3) op =π 0𝒞(ΣX 0,X 2)×π 0𝒞(ΣX 1,X 3) op, \begin{aligned} G_{(X_0, X_1, X_2, X_3)} & \coloneqq \; \pi_1 \mathcal{C}(X_0,X_2) \times \pi_1 \mathcal{C}(X_1, X_3)^{op} \\ & = \; \pi_0 \mathcal{C}(X_0, \Omega X_2) \times \pi_0 \mathcal{C}(X_1, \Omega X_3)^{op} \\ & = \; \pi_0 \mathcal{C}(\Sigma X_0, X_2) \times \pi_0 \mathcal{C}(\Sigma X_1, X_3)^{op} \,, \end{aligned}

whose action is given by the evident composition of 2-morphisms:

from SS21

The plain Toda bracket is meant to be independent of the choice of null homotopies (ϕ 1,ϕ 2)(\phi_1,\phi_2) and thus taken to be the image of (1) in the quotient set by this action

f 1,f 2,f 3Ho(𝒞)(X 0,ΩX 3)/G X 0,X 1,X 2,X 3. \big\langle f_1, f_2, f_3 \big\rangle \;\; \in \;\; Ho(\mathcal{C}) \big( X_0, \Omega X_3 \big) \big/ G_{X_0, X_1, X_2, X_3} \,.

With elements in the quotient set identified with the orbit-sets, the plain Toda bracket may be taken to be the orbit of this action, hence the subset

(3)f 1,f 2,f 3{f 1,f 2,f 3 (ϕ 1,ϕ 2)|0 ϕ 1 f 2f 1 f 3f 2 ϕ 2 0} π 0𝒞(ΣX 0,X 3) π 0𝒞(X 0,ΩX 3) π 1𝒞(X 0,X 3) \array{ \big\langle f_1, f_2, f_3 \big\rangle \;\coloneqq\; \left\{ \big\langle f_1, f_2, f_3 \big\rangle_{(\phi_1,\phi_2)} \; \left\vert \; \array{ 0 &\overset{\phi_1}{\Rightarrow}& f_2 \circ f_1 \\ f_3 \circ f_2 &\underset{\phi_2}{\Rightarrow}& 0 } \right. \right\} \; \subset && \pi_0 \mathcal{C} \big( \Sigma X_0, X_3 \big) \\ & \;\simeq\; & \pi_0 \mathcal{C} \big( X_0, \Omega X_3 \big) \\ & \; \simeq \; & \pi_1 \mathcal{C} \big( X_0, X_3 \big) }

of all the classes (1) as one varies the null homotopies (ϕ 1,ϕ 2)(\phi_1,\phi_2).

This means that the plain Toda bracket (3) is not a function with values, but a bundle with fibers (whose elements are the refined Toda brackets (1)):

In any case, the Toda bracket may be thought of as being in homotopy theory what the Massey product is in cohomology theory: It is a “secondary invariant”, which exists (has inhabited fibers) when/since “primary invariants” – namely the homotopy classes of the morphisms f 2f 1f_2 \circ f_1 and f 3f 2f_3\circ f_2 – vanish, as witnessed by the null homotopies.

A generalization of the Toda bracket produces an invariant for sequences of morphisms, equipped with consecutive pair-wise null-homotopies, which may contain possibly more than three morphisms; this higher Toda bracket was maybe first considered in Cohen 68, Sec. 2


Preliminaries

Consider a sequence of maps A 0A 1A 2A 3 A_0 \to A_1 \to A_2 \to A_3 . If the composites A 0A 2A_0 \to A_2 and A 1A 3 A_1\to A_3 are nulhomotopic, then one has a diagram

A 0 A 1 * * A 2 A 3\begin{array}{ccccc} A_0 & \to & A_1 & \to & * \\ \downarrow & & \downarrow & & \downarrow \\ * & \to & A_2 & \to & A_3 \end{array}

any choice of homotopies in the two squares gives a map ΣA 0A 3 \Sigma A_0 \to A_3 .

Define CC and DD to be the cofibers of A 0A 1A_0 \to A_1 and A 1A 2A_1\to A_2, respectively. A choice of homotopy A 0A 20 A_0 \to A_2 \sim 0 corresponds to a choice of factorization A 1CA 2 A_1 \to C \to A_2 , which gives a diagram of pushout squares

A 0 A 1 * * C ΣA 0 * A 2 D C\begin{array}{ccccccc} A_0 & \to & A_1 & \to & * \\ \downarrow & & \downarrow & & \downarrow \\ * & \to & C &\to & \Sigma A_0 & \to & *\\ & & \downarrow & & \downarrow & & \downarrow \\ & & A_2 & \to & D & \to & C' \end{array}

It is to be noted that the map ΣA 0D \Sigma A_0 \to D and possibly the object CC' depend on the choice of factor CA 2 C \to A_2 , but that A 2DA_2 \to D does not, in any meaningful sense, so depend: this is just the structure map of the cofiber of A 1A 2A_1\to A_2. Note that the cofiber CC' of CA 2C\to A_2 is thus equivalent to that of ΣA 0D\Sigma A_0 \to D; but again the role of choices must be studied.

Definitions

A sequence of maps A 0A 1A nA_0 \to A_1 \to \cdots \to A_n will be called a bracket sequence (a novel phrase for the purposes of this entry) in either of two cases:

  • n=3n = 3 and the composites A 0A 2A_0 \to A_2 and A 1A 3A_1 \to A_3 are nulhomotopic; OR
  • n>3n \gt 3, and (using the preceding notations), there are choices of factor CA 2C\to A_2 and DA 3 D \to A_3 such that the induced sequence ΣA 0DA 3A n \Sigma A_0 \to D \to A_3 \to \cdots \to A_n is a bracket sequence.

In all cases, a bracket sequence leads to a three-map sequence

Σ mA 0D mA m+2A m+3 \Sigma^m A_0 \to D_m \to A_{m+2} \to A_{m+3}

in which consecutive maps compose trivially, and so there are induced choices of maps

Σ m+1A 0A m+3. \Sigma^{m+1} A_0 \to A_{m+3} .

The collection of all such maps, taking all compatible variations, is the Toda Bracket of the bracket sequence.

Among the bracket sequences, a particular family arises which here will be called null-bracket (again, a novel phrase). A sequence will be called null-bracket if

  • n=2n=2 and A 0A 2A_0 \to A_2 is trivial, OR
  • n>2n \gt 2, and there is a choice of factorization A 1CA 2 A_1 \to C \to A_2 such that the sequence CA 2A n C \to A_2 \to \cdots \to A_n is null-bracket.

If the Toda bracket for a bracket sequence includes the trivial map Σ m+1A 0A m+3\Sigma^{m+1} A_0 \to A_{m+3} then the sequence is null-bracket.

Applications

By definition, if a sequence is a bracket sequence AND NOT a null-bracket sequence, it follows that all the relevant maps Σ kA 0A n\Sigma^{k} A_0 \to A_n are nontrivial. Things like these Toda brackets have been studied by many (FIXME: references later) and especially the length-three brackets used by H. Toda to describe most of π k𝕊 n\pi_k \mathbb{S}^n for k<31k \lt 31 or so.

In (Cohen, 1968) is given a criterion for stable maps of spheres to inhabit non-null Toda brackets; this turns out to be most of the stable homotopy groups of spheres π *𝕊\pi_* \mathbb{S}, and furthermore the maps in the bracket sequences can be chosen from a very small set (_FIXME_: be more precise! degree maps nιn \iota, Hopf maps η,θ,σ\eta, \theta,\sigma, and α p\alpha_p… )

References

The concept of Toda brackets is due to:

  • Hirosi Toda, Composition Methods in Homotopy Groups of Spheres, Annals of Mathematics Studies Volume 49, Princeton University Press (1962) (jstor:j.ctt1bgzb5t)

and the concept of higher Toda brackets appears around

  • Joel Cohen, Section 2 of: The decomposition of stable homotopy, Annals of Mathematics (2) 87 (2): 305–320 (1968) (doi:10.2307/1970586)

The conceptualization of Toda brackets a homotopy coherent pasting diagrams in a pointed homotopy 2-category (regarded as a strict (2,1)-category) is made explicit in:

Application of Toda brackets to the concrete computations of stable homotopy groups of spheres:

See also:

Discussion for ring spectra:

Last revised on July 3, 2023 at 10:37:57. See the history of this page for a list of all contributions to it.