nLab toda-smith complex

Informal definition

Toda-Smith complexes are finite spectra characterized by having a particularly simple homology, and are used in stable homotopy theory.

Toda-Smith complexes provided examples of periodic maps. Thus, they led to the construction of the nilpotent and periodicity theorems?, which provided the first organization of the stable homotopy groups of spheres (localized at a prime) into families of maps via chromatic homotopy theory.

Mathematical Context

The story begins with the degree p map on S 1S^1 (as a circle in the complex plane):

S 1S 1S^1 \to S^1
zz pz \mapsto z^p

The degree p map is well defined for S kS^k in general, where kmathNk \in math{N}. If we apply the infinite suspension functor to this map, Σ S 1Σ S 1=:𝕊 1𝕊 1\Sigma^{\infty}S^1 \to \Sigma^{\infty}S^1 =: \mathbb{S}^1 \to \mathbb{S}^1 and we take the cofiber of the resulting map:

SpSS/pS \xrightarrow{p} S \to S/p

We find that S/pS/p has the remarkable property of coming from a Moore space (i.e., a designer (co)homology space: H n(X)Z/pH^n(X) \simeq Z/p, and H˜ *(X)\tilde{H}^*(X) is trivial for all *n* \neq n).

Formal definition

The nnth Toda-Smith complex, V(n)V(n) where n{1,0,1,2,3,...}n \in \{-1, 0, 1, 2, 3, ... \}, is a finite spectrum which satisfies the property that its BP-homology, BP *(V(n)):=[𝕊 0,BPV(n)]BP_*(V(n)) \text{:=} [\mathbb{S}^0, BP \wedge V(n)], is isomorphic to BP */(p,...,v n)BP_*/(p, ..., v_n).

That is, Toda-Smith complexes are completely characterized by their BPBP-local properties, and are defined as any object V(n)V(n) satisfying one of the following equations:

  • BP *(V(1))BP *BP_*(V(-1)) \simeq BP_*
  • BP *(V(0))BP */pBP_*(V(0)) \simeq BP_*/p
  • BP *(V(1))BP */(p,v 1)BP_*(V(1)) \simeq BP_*/(p, v_1)
  • etc.

Examples of Toda-Smith complexes

  • the sphere spectrum, BP *(S 0)BP *BP_*(S^0) \simeq BP_*, which is V(1)V(-1).
  • the mod p Moore spectrum, BP *(S/p)BP */pBP_*(S/p) \simeq BP_*/p, which is V(0)V(0)

Relevance to stable homotopy theory

It may help the reader to recall that that BP *= p[v 1,v 2,...]BP_* = \mathbb{Z}_p[v_1, v_2, ...], |v i|=2(p i1)|v_i| = 2(p^i-1).

The periodic maps, α t,β t,\alpha_t, \beta_t, and γ t\gamma_t, come from degree maps between the Toda-Smith complexes, V(0) k,V(1) k,V(0)_k, V(1)_k, and V(2) kV(2)_k respectively.

(… add in their relation to the v 2v_2 periodic elements, and the reasoning behind the shift 2(p i1)2(p^i-1))

Last revised on July 26, 2015 at 08:09:23. See the history of this page for a list of all contributions to it.