The next step (in our discussion, started yesterday, of the cotangent complex) will be to define a model structure on the category of algebras over a fixed ring. Model structures allow one to define derived functors in a non-abelian setting. The key idea is that, when you want to derive an additive functor on an object in some abelian category, you replace by a projective resolution and evaluate the functor on this resolution. (And then, take its homology; in the setting of derived categories, though, one usually just takes of the projective resolution and leaves it at that.) Because on projective resolutions is much better behaved than simply on modules, the derived functor is a nice replacement.

The intuition is that a projective resolution is a cofibrant approximation to the initial object, in the language of model categories (which is often seen as a non-abelian version of classical homological algebra). This is actually precisely true if one imposes the usual model structure on bounded-below chain complexes for modules over a ring, for instance.

In constructing the cotangent complex, we are trying to derive the (highly non-abelian) functor of abelianization, which as we saw was closely related to the construction of differentials. This functor was defined on rings under a fixed ring and over a fixed ring , which is not anywhere near an abelian category. So we will need the language of model categories, and today we shall construct a model structure on a certain class of categories.

In deriving an additive functor, one ultimately applies it not on the initial abelian category, but the larger category of chain complexes. Here the analogy extends again: by the Dold-Kan correspondence (which I recently talked about), this is equivalent to the category of simplicial objects in that category. The appropriate approach now seems to be to define a model structure not on -algebras over , but on the category of *simplicial* -algebras over . (more…)