nLab
coordinate-free spectrum

Contents

Idea

For various constructions in stable homotopy theory – such as notably that of the symmetric monoidal smash product of spectra – it is necessary to use a model for objects in the stable (∞,1)-category of spectra and the stable homotopy category more refined than that given by Ω\Omega-spectra. The notion of coordinate-free spectrum is such a refinement.

Where an Ω\Omega-spectrum is a collection of topological spaces indexed by the integers \mathbb{Z}, a coordinate free spectrum is a collection of topological spaces index by all finite dimensional subspaces of a real inner product vector space UU isomorphic to \mathbb{R}^\infty.

Definition

Let UU be a real inner product vector space isomorphic to the direct sum \mathbb{R}^\infty of countably many copies of the real line \mathbb{R}.

For VUV \subset U a finite-dimensional subspace, write S VS^V for its one-point compactification (an nn-dimensional sphere if VV is nn-dimensional) and for XX any based topological space write Ω VX:=Maps(S V,X)\Omega^V X := Maps(S^V,X) for the topological space of basepoint-preserving continuous maps.

For VWV \subset W an inclusion of finite dimensional subspaces V,WUV,W \subset U write WVW-V for the orthogonal complement of VV in WW.

Definition

A coordinate-free spectrum EE modeled on the “universe” UU is

  • for each finite-dimensional subspace VUV \subset U a pointed topological space E VE_V;

  • for each inclusion VWV \subset W of finite dimensional subspaces V,WUV,W \subset U a homeomorphism of pointed topological spaces

    σ˜ V,W:E VΩ WVE W. \tilde \sigma_{V,W} : E_V \stackrel{\simeq}{\to} \Omega^{W-V} E_W \,.

References

  • A. Elmendorf, I. Kriz, P. May, Modern foundations for stable homotopy theory (pdf)
Revised on January 19, 2010 22:14:52 by Urs Schreiber (92.237.184.194)