nLab
resolution

This entry is about resolutions in the sense of homotopy theory. For resolutions of singularities see at resolution of singularities.


Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general

specific

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Contents

Idea

In the context of homotopy theory modeled by homotopical categories, where equality is relaxed to a weaker concept of (weak) homotopy equivalence or generally to weak equivalences, a resolution of any object XX is a choice of weak equivalence to or from another object X resX_{res}, such that X resX_{res} has some prescribed good properties which XX itself may be lacking.

This general concept may be formalized by homotopical categories that carry extra information on what counts as a “good property” of an object, called fibrant objects or cofibrant objects. This includes fibration categories/cofibration categories and notably model categories.

A common cause for need of resolutions occurs when in a category of nice objects certain universal constructions – such as quotients or intersections – fail to exist. Homotopical resolution may allow to embed the nice objects in categories of systems of nice objects (such as simplicial objects or chain complexes) inside which homotopical resolutions may be found (such as simplicial resolutions or homological resolutions, respectively).

For example the quotient of a scheme or a smooth manifold by the action of an algebraic group or Lie group may fail to be a scheme or smooth manifold again, respectively, but the corresponding action groupoid (orbifold) serves as a resolution of the quotient in a suitable homotopical category of simplicial objects in schemes/manifolds (presenting the “quotient stack”, see at higher geometry for more).

Dually the intersection of two subschemes/submanifolds may fail to be a scheme/manifold itself, but the corresponding derived intersection? may provide a resolution in a homotopical category of cosimplicial objects in schemes/manifolds, respectively (see at derived geometry for more).

In a model category

If CC is a model category then the most important resolutions are cofibrant resolutions and fibrant resolutions.

A fibrant resolution (or fibrant approximation) of XX is a fibrant object X^\hat X equipped with a weak equivalence into it

XX^*. X \stackrel{\simeq}{\to} \hat X \to * \,.

If the weak equivalence is also a cofibration, the fibrant resolution is a good fibrant resolution.

A cofibrant resolution (or cofibrant approximation) of XX is a cofibrant object X^\hat X equipped with a weak equivalence out of it

X^X. \emptyset \hookrightarrow \hat X \stackrel{\simeq}{\to} X \,.

If the weak equivalence is also a fibration the cofibrant resolution is a good cofibrant resolution.

Notice that the factorization axioms of a model category ensure that such resolutions always exist.

Of course for the notion of fibrant resolution to make sense, also the ambient structure of a category of fibrant objects works. For cofibrant resolutions a Waldhausen category does the job, etc.

In the context of cofibration categories, the term used is fibrant model. (One also finds the term fibrant replacement used.)

Examples

In chain complexes

We consider the case of homological resolutions in one of the standard model structures on chain complexes.

If CC is a category of chain complexes in a suitable (possibly structured) abelian category or semiabelian category AA then one can in particular consider resolutions of ordinary objects of AA – regarded as a chain complex concentrated in degree 0 - by chain complexes of AA.

A resolution is an acyclic nonpositive complex P P_\cdot which coaugments MM or an acyclic nonnegative complex I I^\cdot which augments MM, i.e. it is equipped with a map of complexes P MP_\cdot \to M or a map of complexes MI M\to I^\cdot.

If each object P nP_n is a projective object then P MP_\cdot \to M is a projective resolution , and if each I nI^n is an injective object then MI M\to I^\cdot is an injective resolution . These are fibrant and cofibrant resolutions in the suitable model structure on chain complexes.

There are further generalizations like unbounded resolutions etc.

In simplicial objects

See at simplicial resolution.

Revised on September 26, 2017 16:22:35 by Urs Schreiber (188.105.77.106)