homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The concept of resolution in homotopy theory specialized to simplicial homotopy theory is “simplicial resolution”. Simplicial resolutions can be constructed in various ways, for instance, by a comonad, or by a step-by-step method, developed by Michel André, that resembles the construction of a Eilenberg-Mac Lane space from a group presentation, followed by adding cells to ‘kill’ the higher homotopy groups.
the following needs attention
The term simplicial resolution is also used more generally.
In any ambient category or -category that admits a notion of colimit or weak colimit, a simplicial resolution of an object is a simplicial object together with a realization of as a colimit
The term is also used for a Reedy fibrant replacement of a constant simplicial object in a model category; see also resolution.
Cocones under a simplicial diagram are exactly the augmented simplicial objects, so a simplicial resolution of can alternately be described as an augmented simplicial object that is a colimiting cocone, and such that .
There is the obvious adjoint pair of functors,
Writing and for the unit and counit of this adjunction, we have a comonad on , the free group comonad, .
We write , , so that
is the counit of the comonad whilst
is the comultiplication.
Now suppose is a group and set , so that is the free group on the underlying set of and so on.
The counit (which is just the augmentation morphism from to ) gives, in each dimension, face morphisms
for , whilst the comultiplication gives degeneracies,
for ,
satisfying the simplicial identities.
The resulting object is an augmented simplicial group that is free in all non-negative dimensions and is acyclic. It has zeroth homotopy equal to and all homotopy groups are trivial.
Of course this construction did not depend on the fact that we were handling groups, so we could apply it to any comonad on any category (within reason!) This has the advantage of providing simplicial resolutions that are functorial. These are sometimes called comonadic resolutions. Working with monads on a category gives, a cosimplicial object which is a cosimplicial resolution given any object.
This leads to the subject of monadic cohomology.
A cautionary note is in order. The simplicial resolution of an object derived from a comonad is sometimes presented in an opposite form, so
for , and similarly for the degeneracies. This is more or less equivalent to the form given here as it just uses the opposite simplicial object.
In an (infinity,1)-topos Čech cover induced by a cover is a simplicial resolution of .
Classical soureces for the comonadic form include Godement‘s book,
The theory is explained in many sources including
and in Jack Duskin’s monograph:
The step-by-step method of producing a simplicial resolution was developed by Michel André in the texts:
Michel André, Méthode simpliciale en algèbre homologique et algèbre commutative, Springer Lecture Notes in Mathematics, Vol 32, 1967.
Michel André, Homologie des algèbres commutatives Grundlehren der mathematischen Wissenschaften, Band 206. Springer. 1974
with a view to applications in commutative algebra and in particular in the development of the cohomology known as André-Quillen cohomology and the study of the cotangent complex.
Simplicial resolutions in the context of presentable (infinity,1)-categories are discussed in section 6.1.4 of
(below lemma 6.1.4.3)
Last revised on November 6, 2021 at 11:31:16. See the history of this page for a list of all contributions to it.