This post is organized as a part of the UT Austin Spring 2020 DRP program.I’d like to thank my mentor Richard Wong for useful directions throughout the semester and introducing me to much of the foundational material in homotopy theory.
This post will be organized as follows:
First, I’ll present the basic definitions of the topic(spectra, homotopy groups,CW-spectra,triangulated categories etc).
Second, I’;ll introduce finite spectra, -localization of spectra aka. p-local spectra via Bousfield localization, thick subcategories.
Third, I’ll discuss the the Thick Subcategory Theorem but avoid technical details.
So, let’s begin.
A spectrum is a sequence of pointed spaces and structure maps . For example, one can take a pointed space and consider the suspensions . This forms a spectrum with the structure maps the identity. This is the suspension spectrum of .
One can consider this general spectrum and suspend it by the integer $i$ to get a spectrum whose components are given by .
The homotopy groups of a spectrum are defined as the colimit:
Since is a functor on , one is motivated to define maps between spectra as a a collection of maps such that the obvious diagrams commute.This may not actually be the best definition of maps between spectra but it doesn’t matter too much for now.
For example, one can consider and suspend this to get , the sphere spectrum, an example of a suspension spectrum.
Given the suspension and loop space functors , one has the loop-space adjunction for pointed topological spaces, namely,
Note that (with compact-open toplogy). This allows us to define as spectrum where the adjoint map is a weak homotopy equivalence.
Let’s look at an example.
Recall that an Eilenberg-Maclane space corresponding to where is an abelian group is a CW-complex such that and for .Call this CW-complex
We know the following correspondence from algebraic topology : For any CW-complex .
Collect these spaces on the index to get . We claim this forms a spectra. What are the structure maps though?
In particular, note that we we have . By uniqueness of the Eilemberg-McLane space upto homotopy equivalence, we have a homotopy equivalence . Take the adjoint of this under the loopspace-adjunction to get the structure maps .
Hence, this is also an spectrum.
Well, I suppose some analogy with the classical case is required here. Consider the Quillen-Serre model structure on pointed topological spaces(aka the usual one). Here, the cofibrations are retracts of generalized relative CW inclusions(see  for definitions). In particular, the CW complexes are cofibrant objects in this case. We’d like our so called CW complexed to be cofibrant objects in the stable model category on topological sequential spectra(these are the same things as the spectra defined above where ).
A CW spectra is a sequence of CW-complexes where the structure maps map isomorphically into a subcomplex of . TO prove the above fact, see Prop 0.49 of this.