Classification of p-local low-dimensional spectra (Q1090969)

Let \(CW^ k_{(p)}\) be the homotopy category of p-local (-1)-connected CW-spectra with \(H_ j(X)\) a finitely generated module over \({\mathbb{Z}}_{(p)}\) for each j and \(H_ j(X, {\mathbb{Z}}/p)=0\) for \(j>k\). The main result of this paper gives a complete classification of the objects in this category for \(k=4p-5.\) To state the theorem requires some additional definitions. Write \(UCS_ X\) for the universal coefficient sequence \(H_*(X)\otimes {\mathbb{Z}}/p\rightarrowtail H_*(X; {\mathbb{Z}}/p)\twoheadrightarrow H_{*-1}X* {\mathbb{Z}}/p\). Further define C to be the category whose objects are triples (M,N,S) where M is a graded \({\mathbb{Z}}_{(p)}\)-module of finite type, N is a finite dimensional right \({\mathbb{Z}}/p<\beta,P>/<\beta^ 2,P^ 2>\) module and S an exact sequence of graded \({\mathbb{Z}}/p\) vector spaces \(M\otimes {\mathbb{Z}}/p\rightarrowtail^{\bar p}N\to^{{\bar \beta}}M* {\mathbb{Z}}/p\) where \(\beta\) is of degree -1 and is defined as \(N\to^{{\bar \beta}}M* {\mathbb{Z}}/p\rightarrowtail M\twoheadrightarrow M\otimes {\mathbb{Z}}/p\twoheadrightarrow^{\bar p}N\). The morphisms are defined in a straightforward way. The assignment U: CW\({}_{(p)}^{4p-5}\to C\) given by \(X\mapsto (H_*(X),H_*(X; {\mathbb{Z}}/p),UCS_ X)\) is an additive functor. The main result of the paper is the following theorem: If \(X,Y\in CW_{(p)}^{4p-5}\), then (a) \([X,Y]\to Hom_ C(UX,UY)\) is epic; (b) if (M,N,S)\(\in C\) with \(M_ j=0\) for \(j<0\) and \(N_ j=0\) for \(j>4p-5\), then there is an \(X\in CW_{(p)}^{4p-5}\) such that UX\(\cong (M,N,S)\); (c) if furthermore \(X\in CW_{(p)}^{4p-6}\), then there is a natural short exact sequence \(Ext(U\Sigma X,UY)\rightarrowtail [X,Y]\twoheadrightarrow^{U}\Hom_ C(UX,UY)\). Since C is not an abelian category, it is necessary to show that there is enough structure present to define Ext in C. The proof uses Puppe sequences and explicit knowledge of the homotopy classification of maps between Moore spaces. In a second portion of the paper the author describes a purely algebraic analogue of the topological result.