nLab
combinatorial spectrum

Contents

Idea

A combinatorial spectrum is to a spectrum of topological spaces as a simplicial set is to a topological space: it is a graded set that behaves like a set of simplices constituting a space, where the special property is that the simplices are not just in non-negative degree nn \in \mathbb{N} but in all integral degrees nn \in \mathbb{Z}.

Definition

A combinatorial spectrum is (Kan 63, def. 4.1)

  • a sequence E={E n} nE = \{E_n\}_{n \in \mathbb{Z}} of pointed sets

  • equipped for each nn \in \mathbb{Z} and ii \in \mathbb{N} with

    • morphisms of pointed sets d i:E nE n1d_i : E_n \to E_{n-1} called face maps;

    • morphisms of pointed sets s i:E nE n+1s_i : E_n \to E_{n+1} called degeneracy maps

  • such that

    • the usual simplicial identities are satisfied;

    • each simplex has only finitely many faces different from the point of E n1E_{n-1}: i.e. for every xE nx \in E_n there are only finitely many ii \in \mathbb{N} for which d i(x)d_i(x) is not the point.

Examples

The standard simplicial sets corresponding to the standard simplices have their analogs for simplicial spectra. . The difference is that regarded as a spectrum the kk-simplex may sit in any degree nn \in \mathbb{N}, not necessarily in degree kk.

The (k+1)(k+1)-simplex in degree nn. For each integer nn \in \mathbb{Z} and kk \in \mathbb{N} there is a spectrum

Δ k[nk] \Delta^{k}[n-k]

which is generated from a single element xE nx \in E_n subject to the relation that d ix=*d_i x = * for i>ki \gt k. So this is something with (k+1)(k+1)-faces, hence looking like a kk-simplex, but sitting in degree nn.

The sub-spectrum

(Δ k[nk]) \partial (\Delta^{k}[n-k])

of Δ k[nk]\Delta^{k}[n-k] generated by the faces d ixd_i x. This is the boundary of the kk-simplex in degree nn.

The spectrum

S n S^n

generated by a single simplex xE nx \in E_n subject to the relation d ix=0d_i x = 0 for all ii. This is the nn-sphere as a spectrum.

The sub-spectrum Λ j k[nk]\Lambda^{k}_j[n-k] for 0jk0 \leq j \leq k is the sub-spectrum of Δ k[nk]\Delta^{k}[n-k] generated from all the faces d ixd_i x except d jxd_j x. This is the jjth horn of the kk-simplex in degree nn. Compare with the horn of a simplex.

As for simplices, there are canonical horn inclusion morphisms of combinatorial spectra

Λ j k[nk]Δ k[nk]. \Lambda^k_j[n-k] \hookrightarrow \Delta^k[n-k] \,.

A condition entirely analogous to the Kan fibration condition on Kan simplicial sets leads to the notion of Kan combinatorial spectrum.

Properties

Model category structure

The category of combinatorial spectra admits a model structure (Brown 73), whose cofibrations are monomorphisms and weak equivalences are maps that induce isomorphisms on homotopy groups.

Generating (acyclic) cofibrations are given by inclusions of horns respectively boundaries into stable simplices, as defined in the previous section, in complete analogy with the usual Kan-Quillen model structure on simplicial sets. (Acyclic) fibrations are maps satisfying the corresponding lifting properties.

Smash product

In (Brown 73, Appendix A) is defined a smash product on the homotopy category of combinatorial spectra. The main idea is to define the smash product of a stable mm-simplex and a stable nn-simplex to be the stable (m+n)(m+n)-simplex whose face maps are defined using the face maps of the two simplices involved using a formula that somewhat resembles the formula for the differential of the tensor product of two chain complexes.

Whether or not it is possible to introduce a symmetric monoidal smash product on the category of combinatorial spectra obtaining a monoidal model category that is Quillen equivalent to the monoidal model category of (say) symmetric simplicial spectra is currently an open problem.

Relationship to other spectra

From the perspective of a combinatorial spectrum, an “intuitive spectrum” is supposed to be some sort of space-like object having “cells in all integer dimensions,” while a “space” (or simplicial set) has cells only in nonnegative dimensions. The traditional definitions of spectra approximate this intuition by using a sequence of spaces {E n}\{E_n\} with maps E nΩE n+1E_n \to \Omega E_{n+1} or ΣE nE n+1\Sigma E_n \to E_{n+1}, where we think of the space E nE_n as being “shifted down by nn dimensions.” Thus, for instance, the (2)(-2)-cells of the spectrum can come from 0-cells of E 2E_2, or 1-cells in E 3E_3, or 2-cells in E 4E_4, etc. The structure maps ΣE nE n+1\Sigma E_n \to E_{n+1} support this intuition, since the suspension Σ\Sigma shifts things up by one dimension; thus it maps the kk-cells of E nE_n into the k+1k+1-cells of E n+1E_{n+1}.

In fact, this can be made precise: starting from a spectrum of simplicial sets, in the sense of a sequence of spaces with maps ΣE nE n+1\Sigma E_n \to E_{n+1}, one can construct a combinatorial spectrum by “piecing together” the cells in all dimensions. This construction can be found in Kan’s original article; it provides an equivalence of homotopy theories between combinatorial spectra and ordinary spectra built from simplicial sets.

I don’t know whether anyone has gone back to treat these from a “modern” standpoint, such as by putting a monoidal model category structure on combinatorial spectra. They do seem less interesting and useful from a modern standpoint, because no one has ever managed to give them a smash product which is associative and unital on the point-set level; thus they don’t provide a good framework for talking about (A A_\infty or E E_\infty) ring spectra, module spectra, and other aspects of brave new algebra. It’s also not clear how hard anyone has tried, though. Presumably one would have to modify the definition by incorporating the “symmetries” somehow, as is done for example by passing from ordinary simplicial-set spectra to symmetric spectra.

Stable Dold-Kan correspondence

Combinatorial spectra internal to abelian groups (Kan 63, def. 51) are equivalent to chain complexes (Kan 63, prop.5.8). See at stable Dold-Kan correspondence for more on this.

References

An early reference is

  • Daniel Kan, Semisimplicial spectra, Illinois J. Math. Volume 7, Issue 3 (1963), 463-478. (Euclid)

see also at stable Dold-Kan correspondence.

The definition is recalled in part II, section 7 of

Revised on June 2, 2014 03:22:54 by Urs Schreiber (89.204.135.76)