nLab
homotopy realization

Contents

Context

Limits and colimits

(,1)(\infty,1)-Category theory

Contents

Idea

Homotopy realizations are a special case of homotopy colimits, when the indexing diagram is Δ op\Delta^{op}, the opposite category of the category of simplices.

Homotopy realizations can be defined in any relative category, just like homotopy colimits, but practical computations are typically carried out in presence of additional structures such as model structures, in fact, enriched model categories are the most common setup.

Computation

In any VV-enriched model category, the homotopy realization of a simplicial object

X:Δ opCX\colon \Delta^{op}\to C

can be computed in three different ways, all of which use the notion of tensor product of functors (i.e., weighted colimits).

Specifically, consider the functor

:V Δ×C Δ opC\otimes\colon V^\Delta \times C^{\Delta^{op}} \to C

that takes the tensor product of functors, i.e., the weighted colimit, where VV is the monoidal model category over which CC is enriched.

If we set the first argument to the constant functor with value 11 (the monoidal unit of VV), then the resulting functor is the colimit functor C Δ opCC^{\Delta^{op}}\to C.

The functor \otimes becomes a left Quillen bifunctor if we equip V ΔV^\Delta and C Δ opC^{\Delta^{op}} with one of the three following pairs of model structures:

  • injective and projective;
  • projective and injective;
  • Reedy and Reedy.

Accordingly, the homotopy realization of a simplicial object X:Δ opCX\colon \Delta^{op}\to C can be computed as follows.

  • Cofibrantly resolve the constant weight 11 in one of the three model structures listed above.
  • Cofibrantly resolve XX in the other model structure in the same pair.
  • Compute Q1QXQ 1 \otimes Q X, which is the homotopy realization of XX.

Cofibrant resolutions in the injective model structure can be computed by applying some cofibrant resolution functor of CC objectwise.

Cofibrant resolutions in the Reedy model structure can be computed inductively, by repeatedly factoring the latching map of XX as a cofibration followed by a weak equivalence and adjusting XX accordingly.

Cofibrant resolutions in the projective model structure can be computed explicitly in some practical examples.

Reduction to semisimplicial objects

The inclusion of the category of semisimplices (i.e., fininite inhabited totally ordered sets and injective order-preserving maps) into the category of simplices (with the injectivity condition dropped) is a homotopy initial functor, i.e., restricting along the inclusion of opposite categories preserves homotopy colimits.

Thus, homotopy realizations can be computed as homotopy colimits over the opposite category of semisimplices. The latter category is a direct category, which makes cofibrancy conditions particularly easy.

Examples

Simplicial sets

A Reedy cofibrant replacement of the constant weight 1:ΔsSet1\colon \Delta\to sSet can be computed as the Yoneda embedding Y Δ:ΔsSetY_\Delta\colon\Delta\to sSet.

The Reedy model structure on simplicial objects in simplicial sets with simplicial weak equivalences coincides with the injective model structure, as explained in the article elegant Reedy category. In particular, all objects are cofibrant.

Thus, the homotopy realization of

X:Δ opsSetX\colon \Delta^{op} \to sSet

can be computed as

Y ΔX,Y_\Delta\otimes X,

which is isomorphic to the diagonal of XX.

Chain complexes of abelian groups

For chain complexes with quasi-isomorphisms (which we equip with the injective model structure on chain complexes), a computation analogous to the one for simplicial sets above Reedy cofibrantly resolves the constant weight as

NZ[]:ΔCh,\mathrm{N} \mathbf{Z} [-]\colon \Delta \to Ch,

where N\mathrm{N} denotes the normalized chains functor and Z[]\mathbf{Z}[-] denotes the free simplicial abelian group functor.

Once again, all simplicial objects in chain complexes are Reedy cofibrant.

Thus, the homotopy realization of X:Δ opChX\colon \Delta^{op} \to Ch can be computed as

NZ[]X,\mathrm{N} \mathbf{Z} [-] \otimes X,

which is isomorphic to the direct sum total complex of the double chain complex obtained by applying the Dold–Kan correspondence to the simplicial object X:Δ opChX\colon \Delta^{op}\to Ch.

Topological spaces

Consider topological spaces with weak homotopy equivalences. Below, we use the Serre model structure.

The topological simplex Δ:ΔTop\mathbf{\Delta}\colon \Delta\to Top is Reedy cofibrant as a cosimplicial topological space.

Not all simplicial objects in topological spaces are Reedy cofibrant, since the latching map need not be a cofibration of topological spaces, i.e., a retract of a relative cellular map.

However, we can pass to the semisimplicial setting, as explained above. In this, case Reedy cofibrancy boils down to the objectwise cofibrancy.

Thus, the homotopy realization of X:Δ opTopX\colon \Delta^{op} \to Top can be computed as

ΔQX,\mathbf{\Delta}\otimes Q X,

where QQ denotes objectwise cofibrant replacement. This is precisely the classical fat geometric realization of simplicial topological spaces.

Last revised on February 2, 2021 at 23:11:27. See the history of this page for a list of all contributions to it.