# nLab geometric realization of simplicial topological spaces

### Context

#### Topology

topology

algebraic topology

# Contents

## Idea

For ${X}_{•}$ a simplicial object in Top – a simplicial topological space – its geometric realization is a plain topological space $\mid {X}_{•}\mid \in \mathrm{Top}$ obtained by gluing all topological space ${X}_{n}$ together, as determined by the face and degeneracy maps.

The construction of $\mid {X}_{•}\mid$ is a direct analog of the ordinary notion of geometric realization of a simplicial set, but taking into account the topology on the spaces of $n$-simplices ${X}_{n}$.

## Definition

Let Top in the following denote either

Let $\Delta$ denote the simplex category, and write ${\Delta }_{\mathrm{Top}}:\Delta \to \mathrm{Top}:\left[n\right]↦{\Delta }_{\mathrm{Top}}^{n}$ for the standard cosimplicial topological space of topological simplices.

Write equivalently

${\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}≔\mathrm{sTop}≔\left[{\Delta }^{\mathrm{op}},\mathrm{Top}\right]$Top^{\Delta^{op}} \coloneqq sTop \coloneqq [\Delta^{op}, Top]

for the category of simplicial topological spaces.

###### Definition

For ${X}_{•}:{\Delta }^{\mathrm{op}}\to \mathrm{Top}$ a simplicial topological space, its geometric realization is the coend

$\mid {X}_{•}\mid ≔{\int }^{n\in \Delta }{X}_{n}×{\Delta }_{\mathrm{Top}}^{n}${|X_\bullet|} \coloneqq \int^{n \in \Delta} X_n \times \Delta^n_{Top}

formed in Top.

This operation naturally extends to a functor

$\mid -\mid :\mathrm{sTop}\to \mathrm{Top}\phantom{\rule{thinmathspace}{0ex}}.${|-|} \colon sTop \to Top \,.

More explicitly, $\mid {X}_{•}\mid$ is the topological space given by the quotient

$\mid {X}_{•}\mid =\coprod _{n}{X}_{n}×{\Delta }_{\mathrm{Top}}^{n}/\sim${\vert X_\bullet \vert} = \coprod_{n} X_n \times \Delta^n_{Top} /\sim

where the equivalence relation$\sim$” identifies, for every morphism $\left[k\right]\to \left[l\right]$ in $\Delta$, the points $\left(x,{f}_{*}p\right)\in {X}_{l}×{\Delta }_{\mathrm{Top}}^{l}$ and $\left({f}^{*}x,p\right)\in {X}_{k}×{\Delta }_{\mathrm{Top}}^{k}$.

This form of geometric realization of simplicial topological spaces goes back to (Segal68). An early reference that realizes this construction as a coend is (MacLane).

One also considers geometric realization after restricting to the subcategory ${\Delta }_{+}↪\Delta$ of the simplex category on the strictly increasing maps (that is, the coface maps only—no codegeneracies).

###### Definition

The corresponding coend in Top is called the fat geometric realization

$\parallel {X}_{•}\parallel ≔{\int }^{n\in {\Delta }_{+}}{X}_{n}×{\Delta }_{\mathrm{Top}}^{n}\phantom{\rule{thinmathspace}{0ex}}.${\Vert X_\bullet\Vert} \coloneqq \int^{n \in \Delta_+} X_n \times \Delta^n_{Top} \,.

This is called fat , because it does not quotient out the relations induced by the degeneracy maps and hence is “bigger” than ordinary geometric realization.

Explicitly, this is the topological space given by the quotient

$\parallel {X}_{•}\parallel =\coprod _{n}{X}_{n}×{\Delta }_{\mathrm{Top}}^{n}/{\sim }_{+}${\Vert X_\bullet \Vert} = \coprod_{n} X_n\times \Delta^n_{Top} /{\sim_+}

where the equivalence relation${\sim }_{+}$” identifies $\left(x,{f}_{*}p\right)\in {X}_{l}×{\Delta }_{\mathrm{Top}}^{l}$ with $\left(p,{f}^{*}x\right)\in {X}_{k}×{\Delta }_{\mathrm{Top}}^{k}$ only when $\left[k\right]\to \left[l\right]$ is a coface map.

###### Example

The geometric realization of the point — the simplicial topological space that is in each degree the 1-point topological space — is homeomorphic to the point, but the fat geometric realization of the point is an “infinite dimensional topological ball”: the terminal morphism

$\mid *\mid \stackrel{{\simeq }_{\mathrm{iso}}}{\to }*${\vert * \vert} \stackrel{\simeq_{iso}}{\to} *

is an isomorphism, but the morphism

$\parallel *\parallel \stackrel{{\simeq }_{h.e.}}{\to }*${\Vert * \Vert} \stackrel{\simeq_{h.e.}}{\to} *

is just a homotopy equivalence.

###### Remark

The ordinary geometric realization can be described as the tensor product of functors $\mid {X}_{•}\mid ={\Delta }^{•}{\otimes }_{\Delta }{X}_{•}$, and the fat geometric realization can likewise be described as $\parallel {X}_{•}\parallel ={i}^{*}{\Delta }^{•}{\otimes }_{{\Delta }_{+}}{i}^{*}{X}_{•}$, where $i:{\Delta }_{+}↪\Delta$ is the inclusion. By general facts about tensor product of functors (essentially, the associativity of composition of profunctors), it follows that we can also write $\parallel {X}_{•}\parallel \cong {\Delta }^{•}{\otimes }_{\Delta }{Lan}_{i}{i}^{*}{X}_{•}\cong \mid {\mathrm{Lan}}_{i}{i}^{*}{X}_{•}\mid$. In other words, the fat geometric realization of ${X}_{•}$ is the ordinary geometric realization of a “fattened up” version of ${X}_{•}$, which is obtained by forgetting the degeneracy maps of ${X}_{•}$ and then “freely throwing in new ones.”

## Reminder on nice simplicial topological spaces

Simplicial topological spaces are in homotopy theory presentations for certain topological ∞-groupoids . In this context what matters is not the operation of geometric realization itself, but its derived functor. This is obtained by evaluating ordinary geometric realization on “sufficiently nice” resolutions of simplicial topological spaces. These we discuss now.

Recall the following definitions and facts from nice simplicial topological space.

###### Definition

Let $X:{\Delta }^{\mathrm{op}}\to \mathrm{Top}$ be a simplicial topological space.

Such $X$ is called

• good if all the degeneracy maps ${X}_{n-1}↪{X}_{n}$ are all closed cofibrations;

• proper if the inclusion $s{X}_{n}↪{X}_{n}$ of the degenerate simplices is a closed cofibration, where $s{X}_{n}={\bigcup }_{i}{s}_{i}\left({X}_{n-1}\right)$.

Noticing that the union of degenerate simplices appearing here is a latching object and that closed cofibrations are cofibrations in the Strøm model structure on Top, the last condition equivalently says:

The notion of good simplicial topological space goes back to (Segal73), that of proper simplicial topological space to (May).

###### Proposition

A good simplicial topological space is proper:

$\left({X}_{•}\phantom{\rule{thickmathspace}{0ex}}\mathrm{good}\right)⇒\left({X}_{•}\phantom{\rule{thickmathspace}{0ex}}\mathrm{proper}\right)\phantom{\rule{thinmathspace}{0ex}}.$(X_\bullet \; good) \Rightarrow (X_\bullet\; proper) \,.

A proof appears as (Lewis, corollary 2.4 (b)). A generalization of this result to more general topological categories is (RobertsStevenson, prop. 16).

### Bisimplicial sets and good resolutions

We now discuss the resolution of any simplicial topological space by a good one. Write

$\left(\mid -\mid ⊣\mathrm{Sing}\right):\mathrm{Top}\stackrel{\stackrel{\mid -\mid }{←}}{\underset{\mathrm{Sing}}{\to }}\mathrm{sSet}$({\vert- \vert} \dashv Sing) \colon Top \stackrel{\overset{{|-|}}{\leftarrow}}{\underset{Sing}{\to}} sSet

for the ordinary geometric realization/singular simplicial complex adjunction (see homotopy hypothesis). Recall that the composite $\mid \mathrm{Sing}\left(-\right)\mid :\mathrm{Top}\to \mathrm{Top}$ is a cofibrant replacement functor: for any space $X$, the space $\mid \mathrm{Sing}\left(X\right)\mid$ is a CW complex and comes with a natural map $\mid \mathrm{Sing}X\mid \to X$ (the counit of the adjunction $\left(\mid -\mid ⊣\mathrm{Sing}\right)$) which is a weak homotopy equivalence.

###### Proposition

Let ${X}_{•}$ be a simplicial topological space. Then the simplicial topological space

$\mid \mathrm{Sing}\left({X}_{•}\right)\mid \in \left[{\Delta }^{\mathrm{op}},\mathrm{Top}\right]\phantom{\rule{thinmathspace}{0ex}},${|Sing(X_\bullet)|} \in [\Delta^{op}, Top] \,,

obtained by applying $\mid \mathrm{Sing}\left(-\right)\mid :\mathrm{Top}\to \mathrm{Top}$ degreewise, is good and hence proper. Moreover, we have a natural morphism

$\mid \mathrm{Sing}{X}_{•}\mid \to {X}_{•}${|Sing X_\bullet|} \to X_\bullet

which is degreewise a weak homotopy equivalence.

###### Proof

Each space $\mid \mathrm{Sing}{X}_{n}\mid$ is a CW-complex, hence in particular a locally equi-connected space. By (Lewis, p. 153) inclusions of retracts of locally equi-connected spaces are closed cofibrations, and since degeneracy maps are retracts, this means that the degeneracy maps in $\mid \mathrm{Sing}{X}_{•}\mid$ are closed cofibrations.

The second sentence follows directly by the remarks above.

Note that there is nothing special about $\mid \mathrm{Sing}\left(-\right)\mid$ in the proof; any functorial CW replacement would do just as well (such as that obtained by the small object argument). However, $\mid \mathrm{Sing}\left(-\right)\mid$ has the advantage that its geometric realization can be computed alternately in terms of diagonals of bisimplicial sets, as we now show.

If ${S}_{•,•}:{\Delta }^{\mathrm{op}}×{\Delta }^{\mathrm{op}}\to \mathrm{Set}$ is a bisimplicial set, we write $dS$ for its diagonal, which is the composite

${\Delta }^{\mathrm{op}}\to {\Delta }^{\mathrm{op}}×{\Delta }^{\mathrm{op}}\stackrel{S}{\to }\mathrm{Set}.$\Delta^{op} \to \Delta^{op} \times \Delta^{op} \stackrel{S}{\to} Set.

On the other hand, we can also consider a bisimplicial set as a simplicial object in $\mathrm{sSet}$ and take its “geometric realization”:

$\mid {S}_{•,•}\mid ≔{\int }^{n\in {\Delta }^{\mathrm{op}}}{S}_{n,•}×{\Delta }_{\mathrm{sSet}}^{n}${|S_{\bullet,\bullet}|} \coloneqq \int^{n\in\Delta^{op}} S_{n,\bullet} \times \Delta^n_{sSet}

where ${\Delta }_{\mathrm{sSet}}^{n}$ denotes the $n$-simplex as a simplicial set, i.e. the representable functor $\Delta \left(-,\left[n\right]\right):{\Delta }^{\mathrm{op}}\to \mathrm{Set}$.

###### Lemma

For a bisimplicial set ${S}_{•,•}$, there is a natural isomorphism of simplicial sets $dS\cong \mid S\mid$.

###### Proof

Both functors $d$ and $\mid -\mid$ are cocontinuous functors between presheaf categories ${\mathrm{Set}}^{{\Delta }^{\mathrm{op}}×{\Delta }^{\mathrm{op}}}\to {\mathrm{Set}}^{{\Delta }^{\mathrm{op}}}$, so it suffices to verify that they agree on representables. The representable $\left(\Delta ×\Delta \right)\left(-,\left(\left[n\right],\left[m\right]\right)\right)$ is called a bisimplex ${\Delta }^{n,m}$; its diagonal is

$\left(d{\Delta }^{n,m}\right)\left(-\right)=\Delta \left(-,n\right)×\Delta \left(-,m\right)={\Delta }_{\mathrm{sSet}}^{n}×{\Delta }_{\mathrm{sSet}}^{m}.$(d \Delta^{n,m})(-) = \Delta(-,n) \times \Delta(-,m) = \Delta^n_{sSet} \times \Delta^m_{sSet}.

Now note that geometric realization of a bisimplicial set is left adjoint to the “singular complex” $\mathrm{Sing}:\mathrm{sSet}\to {\mathrm{sSet}}^{{\Delta }^{\mathrm{op}}}$ defined by

$\mathrm{Sing}\left({X}_{•}\right)\left(n,m\right)=\underline{\mathrm{Map}}\left({\Delta }_{\mathrm{sSet}}^{n},{X}_{•}{\right)}_{m}=\mathrm{sSet}\left({\Delta }_{\mathrm{sSet}}^{n}×{\Delta }_{\mathrm{sSet}}^{m},{X}_{•}\right)=\mathrm{sSet}\left(d{\Delta }^{n,m},{X}_{•}\right)$Sing(X_\bullet)(n,m) = \underline{Map}(\Delta^n_{sSet}, X_\bullet)_m = sSet(\Delta^n_{sSet} \times \Delta^m_{sSet}, X_\bullet) = sSet(d \Delta^{n,m}, X_\bullet)

where $\underline{\mathrm{Map}}\left(-,-\right)$ denotes the simplicial mapping space between two simplicial sets. But by the Yoneda lemma, $\mathrm{Sing}\left({X}_{•}\right)\left(n,m\right)={\mathrm{sSet}}^{{\Delta }^{\mathrm{op}}}\left({\Delta }^{n,m},\mathrm{Sing}\left({X}_{•}\right)\right)$, so this shows that $d{\Delta }^{n,m}$ has the same universal property as $\mid {\Delta }^{n,m}\mid$; hence they are isomorphic.

In particular, the lemma implies that for the two different ways of considering a bisimplicial set as a simplicial simplicial set (“vertically” or “horizontally”), the resulting “geometric realizations” as simplicial sets are isomorphic (since both are isomorphic to the diagonal, which is symmetrically defined).

Note that Lemma 1 can be interpreted as an isomorphism between two profunctors $\Delta ⇸\Delta ×\Delta$, of which the first is representable by the diagonal functor $\Delta \to \Delta ×\Delta$. It follows that if ${S}_{•,•}$ is a bisimplicial object in any cocomplete category, we also have

$d{S}_{•,•}\cong {\int }^{n\in \Delta }{S}_{n,•}\phantom{\rule{thinmathspace}{0ex}}×\phantom{\rule{thinmathspace}{0ex}}\left({\Delta }_{\mathrm{sSet}}^{n}{\right)}_{•}$d S_{\bullet,\bullet} \cong \int^{n\in\Delta} S_{n,\bullet}\,\times \,(\Delta^n_{sSet})_{\bullet}

where the right-hand side is a “realization” functor from bisimplicial objects to simplicial objects in any cocomplete category. On the other hand, if $S$ is a bisimplicial space, then we also have the levelwise realization

${\int }^{n\in \Delta }{S}_{n,•}\phantom{\rule{thinmathspace}{0ex}}×\phantom{\rule{thinmathspace}{0ex}}{\Delta }_{\mathrm{Top}}^{n}$\int^{n\in\Delta} S_{n,\bullet} \,\times\, \Delta^n_{Top}

which will not, in general, agree with the diagonal and the abstract realization considered above. It does agree, however, after we pass to a further geometric realization as a single topological space.

###### Proposition

For ${S}_{•,•}$ any bisimplicial space, there is a homeomorphism between the geometric realizations of the following two simplicial spaces: (1) the diagonal $d{S}_{•,•}$ of $S$, and (2) the levelwise realization $\mid {S}_{•,•}\mid$ of $S$.

###### Proof

Applying Lemma 1 as above, we have

$d{S}_{•,•}\cong {\int }^{n\in \Delta }{S}_{n,•}×{\Delta }_{\mathrm{sSet}}^{n}$d S_{\bullet,\bullet} \cong \int^{n\in \Delta} S_{n,\bullet} \times \Delta^n_{sSet}

If we then take the realization of these simplicial spaces, we find

$\mid d{S}_{•,•}\mid \cong \mid {\int }^{n\in \Delta }{S}_{n,•}×{\Delta }_{\mathrm{sSet}}^{n}\mid \cong {\int }^{n\in \Delta }\mid {S}_{•,•}\mid ×{\Delta }_{\mathrm{Top}}^{n}\cong \mid \left(\mid {S}_{•,•}\mid \right)\mid${| d S_{\bullet,\bullet} |} \cong \left| \int^{n\in\Delta} S_{n,\bullet} \times \Delta^n_{sSet} \right| \cong \int^{n\in\Delta} {|S_{\bullet,\bullet}|} \times \Delta^n_{Top} \cong {\vert({\vert S_{\bullet,\bullet} \vert})\vert}

using the fact that geometric realization of simplicial sets preserves colimits and products, and $\mid {\Delta }_{\mathrm{sSet}}^{n}\mid ={\Delta }_{\mathrm{Top}}^{n}$.

This fact is attributed to Tornehave by Quillen on page 94 of his ‘Higher Algebraic K-theory I’.

Finally, for any simplicial space ${X}_{•}$, we have a bisimplicial set $\mathrm{Sing}\left({X}_{•}{\right)}_{•}$. Applying the previous proposition to this bisimplicial set, regarded as a discrete bisimplicial space, we find a homeomorphism

$\mid \left(\mid \mathrm{Sing}\left({X}_{•}\right)\mid \right)\mid \cong \mid d\mathrm{Sing}\left({X}_{•}{\right)}_{•}\mid \phantom{\rule{thinmathspace}{0ex}}.${\vert({\vert Sing(X_\bullet) \vert})\vert} \cong {| d Sing(X_\bullet)_\bullet |} \,.

This also follows from results of (Lewis). Thus, as a resolution of ${X}_{•}$, the levelwise realization of the levelwise singular complex $\mid \mathrm{Sing}\left({X}_{•}\right)\mid$ has the pleasant property that its geometric realization, as a simplicial space, can be calculated as the realization of a single simplicial set (the diagonal of $\mathrm{Sing}\left({X}_{•}{\right)}_{•}$).

## Properties

### General

###### Remark

We have the following degenerate case of geometric realization of simplicial topological spaces.

• If ${X}_{•}:{\Delta }^{\mathrm{op}}\to \mathrm{Set}↪\mathrm{Top}$ is a degreewise discrete space, hence just a simplicial set, the notion of geometric realization above coincides with the notion of geometric realization of simplicial sets.

• If ${X}_{•}$ is simplicially constant on a topological space ${X}_{0}$, then its geometric realization is homeomorphic to that space:

$\mid {X}_{•}\mid \simeq {X}_{0}\phantom{\rule{thinmathspace}{0ex}}.${\vert X_\bullet \vert} \simeq X_0 \,.

(This is not true for the fat geometric realization, only the ordinary one. The fat geometric realization will be homotopy equivalent to $X$.)

###### Remark

Geometric realization of simplicial topological spaces has a right adjoint functor $\underline{\mathrm{Sing}}$:

$\left(\mid -\mid ⊣\underline{\mathrm{Sing}}\right):\mathrm{sTop}\stackrel{\stackrel{\mid -\mid }{\to }}{\underset{\underline{\mathrm{Sing}}}{←}}\mathrm{Top}\phantom{\rule{thinmathspace}{0ex}},$({\vert - \vert} \dashv \underline{Sing}) \colon sTop \stackrel{\overset{{\vert - \vert}}{\to}}{\underset{\underline{Sing}} {\leftarrow}} Top \,,

For $X\in$ Top a topological space, we have by definition

$\underline{\mathrm{Sing}}\left(X\right):\left[n\right]↦\left[{\Delta }_{\mathrm{Top}}^{n},X\right]\phantom{\rule{thinmathspace}{0ex}},$\underline{Sing}(X) \colon [n] \mapsto [\Delta^n_{Top}, X] \,,

where on the right we have the internal hom, or exponential, space from the standard topological $n$-simplex to $X$.

###### Proposition

For every $X\in \mathrm{Top}$ there is a weak homotopy equivalence

$\mid \underline{\mathrm{Sing}}\left(X\right)\mid \to X\phantom{\rule{thinmathspace}{0ex}}.${|\underline{Sing}(X)|} \to X \,.

This appears as (Seymour, prop. 3.1).

Ordinary geometric realization has the following two disadvantages:

###### Proposition
• If ${X}_{•}$ has in each degree the homotopy type of a CW-complex, its realization $\mid {X}_{•}\mid$ in general need not.

• If a morphism $f:{X}_{•}\to {Y}_{•}$ is degreewise a homotopy equivalence, its geometric realization $\mid f\mid$ need not be a homotopy equivalence.

See (Segal74, appendix A)

This is different for the fat geometric realization.

###### Proposition
• If ${X}_{•}$ is degreewise of the homotopy type of a CW-complex (i.e. is degreewise m-cofibrant), then so is $\parallel {X}_{•}\parallel$.

• If $f:{X}_{•}\to {Y}_{•}$ is degreewise a homotopy equivalence, then also $\parallel f\parallel$ is a homotopy equivalence.

This appears as (Segal74, prop. A.1).

### Relation between fat and ordinary geometric realization

###### Proposition

If the simplicial topological space ${X}_{•}$ is good then the natural morphism from its fat geometric realization to its ordinary geometric realization is a homotopy equivalence

$\parallel {X}_{•}\parallel \stackrel{\simeq }{\to }\mid {X}_{•}\mid \phantom{\rule{thinmathspace}{0ex}}.${\Vert X_\bullet \Vert} \stackrel{\simeq}{\to} {|X_\bullet|} \,.

A direct proof of this (not using that good implies proper) appears as (Segal74, prop. A.1 (iv)) and a more detailed proof has been given by Tammo tom Dieck.

### Compatibility with limits

We discuss how geometric realization interacts with limits of simplicial topological spaces.

#### Ordinary geometric realization

###### Proposition

Geometric realization preserves pullbacks: for ${X}_{•}\to {Y}_{•}←{Z}_{•}$ a diagram in ${\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}$ there are natural homeomorphisms

$\mid {X}_{•}\mid \phantom{\rule{thinmathspace}{0ex}}{×}_{\mid {Y}_{•}\mid }\phantom{\rule{thinmathspace}{0ex}}\mid {Z}_{•}\mid \simeq \mid {X}_{•}\phantom{\rule{thinmathspace}{0ex}}{×}_{{Y}_{•}}\phantom{\rule{thinmathspace}{0ex}}{Z}_{•}\mid \phantom{\rule{thinmathspace}{0ex}}.${|X_\bullet|} \,\times_{|Y_\bullet|}\, {|Z_\bullet|} \simeq {|X_\bullet \,\times_{Y_\bullet}\, Z_\bullet|} \,.

This appears for instance as (May, corollary 11.6). See also the proof that geometric realization of simplicial sets preserves pullbacks, at geometric realization.

It is essential here that we are working in a category $\mathrm{Top}$ such as compactly generated spaces or k-spaces: in the category of all topological spaces this would not be true. It works in these cases because product and/or quotient topologies in these categories are slightly different from in the category of all topological spaces.

#### Fat geometric realization

The operation of fat geometric realization does not preserve fiber products on the nose, in general, but it does preserve all finite limits up to homotopy.

Write $\parallel *\parallel$ for the fat geometric realization of the point. Notice that due to the identification of $\mathrm{sTop}$ with its overcategory over the point (the simplicial topological space constant on the point), $\mathrm{sTop}\simeq \mathrm{sTop}/*$, we may regard fat geometric gealization as a functor with values in the overcategory $\mathrm{Top}/\parallel *\parallel$ over the fat geometric realization of the point.

###### Proposition

The functor

$\parallel -\parallel :{\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}\to \mathrm{Top}/\parallel *\parallel${\Vert - \Vert} \colon Top^{\Delta^{op}} \to Top/{\Vert*\Vert}

preserves all finite limits.

See (GepnerHenriques, remark 2.23).

### Relation to the homotopy colimit

Recall that a simplicial space is proper if it is Reedy cofibrant relative to the Strøm model structure on $\mathrm{Top}$, in which the weak equivalences are the honest homotopy equivalences. Nevertheless, in certain cases geometric realisation computes the homotopy colimit of the diagram ${X}_{•}:{\Delta }^{\mathrm{op}}\to \mathrm{Top}$ given by the simplicial space, with respect to the standard (Quillen) model structure on topological spaces, in which the weak equivalences are the weak homotopy equivalences.

###### Lemma

If ${X}_{•}\to {Y}_{•}$ is an objectwise weak homotopy equivalence between proper simplicial spaces, then the induced map $\mid {X}_{•}\mid \to \mid {Y}_{•}\mid$ is a weak homotopy equivalence.

###### Proof

The following proof is essentially from (May74, A.4); see also (Dugger, prop. 17.4, example 18.2). It relies on two facts relating Hurewicz cofibrations to weak homotopy equivalences:

1. Pushouts along Hurewicz cofibrations preserve weak homotopy equivalences, and

2. Colimits of sequences of Hurewicz cofibrations preserve weak homotopy equivalences.

Let ${i}_{n}:{\Delta }_{\le n}↪\Delta$ denote the inclusion of the objects $\le n$, and write ${\mid {X}_{•}\mid }_{n}={i}_{n}^{*}\Delta {\otimes }_{{\Delta }_{\le n}}{i}_{n}^{*}{X}_{•}$. Writing ${L}_{n}X$ for the $n$th latching object (the subspace of degeneracies in ${X}_{n}$), we have pushouts

$\begin{array}{ccc}\left({L}_{n}X×{\Delta }^{n}\right){\bigsqcup }_{{L}_{n}X×\partial {\Delta }^{n}}\left({X}_{n}×\partial {\Delta }^{n}\right)& \to & {\mid {X}_{•}\mid }_{n-1}\\ ↓& & ↓\\ {X}_{n}×{\Delta }^{n}& \to & {\mid {X}_{•}\mid }_{n}\end{array}$\array{ (L_n X \times \Delta^n) \sqcup_{L_n X \times \partial\Delta^n} (X_n \times \partial\Delta^n) & \to & {|X_\bullet|}_{n-1}\\ \downarrow & & \downarrow\\ X_n \times \Delta^n & \to & {|X_\bullet|}_n }

Since $X$ is proper, ${L}_{n}X\to {X}_{n}$ is a cofibration, and of course $\partial {\Delta }^{n}\to {\Delta }^{n}$ is a cofibration. Thus, by the pushout-product axiom for the Strøm model structure, the left-hand vertical map is a cofibration; hence so is the right-hand vertical map.

Now $\mid {X}_{•}\mid$ is the colimit of the sequence of cofibrations

${\mid {X}_{•}\mid }_{0}\to {\mid {X}_{•}\mid }_{1}\to {\mid {X}_{•}\mid }_{2}\to \cdots${|X_\bullet|}_0 \to {|X_\bullet|}_1 \to {|X_\bullet|}_2 \to \cdots

and likewise for $\mid {Y}_{•}\mid$. In other words, the geometric realization is filtered by simplicial degree. Thus, by point (2) above, it suffices to show that each map ${\mid {X}_{•}\mid }_{n}\to {\mid {Y}_{•}\mid }_{n}$ is a weak homotopy equivalence.

Since ${\mid {X}_{•}\mid }_{0}={X}_{0}$, this is true for $n=0$. Moreover, by the above pushout square, ${\mid {X}_{•}\mid }_{n}$ is a pushout of ${\mid {X}_{•}\mid }_{n-1}$ along a cofibration. Thus, by point (1) above, since ${X}_{n}×{\Delta }^{n}\to {Y}_{n}×{\Delta }^{n}$ is certainly a weak homotopy equivalence, it will suffice for an induction step to prove that

$\left({L}_{n}X×{\Delta }^{n}\right){\bigsqcup }_{{L}_{n}X×\partial {\Delta }^{n}}\left({X}_{n}×\partial {\Delta }^{n}\right)\to \left({L}_{n}Y×{\Delta }^{n}\right){\bigsqcup }_{{L}_{n}Y×\partial {\Delta }^{n}}\left({Y}_{n}×\partial {\Delta }^{n}\right)$(L_n X \times \Delta^n) \sqcup_{L_n X \times \partial\Delta^n} (X_n \times \partial\Delta^n) \to (L_n Y \times \Delta^n) \sqcup_{L_n Y \times \partial\Delta^n} (Y_n \times \partial\Delta^n)

is a weak homotopy equivalence. However, by definition we have a pushout

$\begin{array}{ccc}{L}_{n}X×\partial {\Delta }^{n}& \to & {X}_{n}×\partial {\Delta }^{n}\\ ↓& & ↓\\ {L}_{n}X×{\Delta }^{n}& \to & \left({L}_{n}X×{\Delta }^{n}\right){\bigsqcup }_{{L}_{n}X×\partial {\Delta }^{n}}\left({X}_{n}×\partial {\Delta }^{n}\right)\end{array}$\array{ L_n X \times \partial\Delta^n & \to & X_n \times \partial\Delta^n \\ \downarrow & & \downarrow\\ L_n X \times \Delta^n & \to & (L_n X \times \Delta^n) \sqcup_{L_n X \times \partial\Delta^n} (X_n \times \partial\Delta^n) }

This is also a pushout along a Hurewicz cofibration, and cartesian product preserves weak homotopy equivalences, so it will suffice to show that ${L}_{n}X\to {L}_{n}Y$ is a weak homotopy equivalence.

Recall that ${L}_{n}X$ can be written as ${colim}^{\left[n\right]\to \left[k\right]}{X}_{\left[k\right]}$, where the colimit is over all codegeneracy maps $\left[n\right]\to \left[k\right]$ in $\Delta$ except the identity $\left[n\right]\to \left[n\right]$. For $0\le m\le n$, write ${L}_{n}^{m}X$ for the corresponding colimit over all codegeneracies which factor through ${\sigma }_{p}:\left[n\right]\to \left[n-1\right]$ for some $0\le p\le m$. Then ${L}_{n}^{0}X={X}_{n-1}$ and ${L}_{n}^{n}X={L}_{n}X$, and for $0 we have a pushout square

$\begin{array}{ccc}{L}_{n-1}^{m-1}X& \to & {L}_{n}^{m-1}X\\ ↓& & ↓\\ {X}_{n-1}& \to & {L}_{n}^{m}X.\end{array}$\array{ L^{m-1}_{n-1} X & \to & L^{m-1}_n X \\ \downarrow & & \downarrow \\ X_{n-1} & \to & L^m_n X. }

We claim that ${L}_{n}^{m-1}X\to {L}_{n}^{m}X$ is a cofibration for all $0\le m\le n$, and we prove it by induction on $n$. For $n=0$ it is obvious. If it holds for $\left(n-1\right)$ (and all $m$ with $0\le m\le n-1$), then by composition and properness of $X$, each map ${L}_{n-1}^{m-1}X\to {X}_{n-1}$ is a cofibration. Hence, by the above pushout square, so is ${L}_{n}^{m-1}X\to {L}_{n}^{m}X$. This proves the claim.

Now, using the above pushout square again and point (1) above, we can prove by induction on $n$, and for fixed $n$, by induction on $m$, that each map ${L}_{n}^{m}X\to {L}_{n}^{m}Y$ is a weak homotopy equivalence. In particular, taking $m=n$, we find that ${L}_{n}X\to {L}_{n}Y$ is a weak homotopy equivalence, as desired.

Recall that one way to compute the homotopy colimit of a diagram $X:{D}^{\mathrm{op}}\to \mathrm{Top}$, with respect to the standard (Quillen) model structure, is as the tensor product

$\mathrm{hocolim}X≔N\left(D/-\right){\otimes }_{D}QX,$hocolim X \coloneqq N(D/ -) \otimes_D Q X,

where $\left(D/-\right):D\to \mathrm{Cat}$ sends each object of $D$ to its overcategory, $N$ denotes the nerve of a small category, and $Q$ denotes a functorial cofibrant replacement in the Quillen model structure (e.g. CW replacement). When $D=\Delta$, there is a canonically defined map $N\left(\Delta /-\right)\to \Delta$ (where the second $\Delta$ denotes the canonical cosimplicial simplicial set) called the Bousfield-Kan map. This map induces, for each simplicial space $X$, a map

$N\left(D/-\right){\otimes }_{D}{X}_{•}\to \Delta {\otimes }_{\Delta }{X}_{•}=\mid {X}_{•}\mid$N(D/ -) \otimes_D X_\bullet \to \Delta \otimes_{\Delta} X_\bullet = {|X_\bullet|}

which is also called the Bousfield-Kan map.

Since the Strøm model structure is a simplicial model category, standard arguments involving Reedy model structures imply that the Bousfield-Kan map is a Strøm weak equivalence (i.e. a homotopy equivalence) whenever $X$ is Strøm Reedy cofibrant (i.e. proper). Thus we have:

###### Proposition

Let ${X}_{•}$ be a proper simplicial space. Then the composite

$hocolim{X}_{•}=N\left(D/-\right){\otimes }_{D}Q{X}_{•}\stackrel{\mathrm{Bousfield}-\mathrm{Kan}}{\to }\mid Q{X}_{•}\mid ⟶\mid {X}_{•}\mid$\hocolim X_\bullet = N(D/ -) \otimes_D Q X_\bullet \xrightarrow{Bousfield-Kan} {|Q X_\bullet|} \longrightarrow {|X_\bullet|}

is a weak homotopy equivalence.

###### Proof

Since the definition of $hocolim$ doesn’t depend on the choice of an objectwise-cofibrant replacement of $X$, we may as well take $Q$ to be, instead of the composite with a functorial cofibrant replacement in ${\mathrm{Top}}_{\mathrm{Quillen}}$, rather a cofibrant replacement in the Reedy model structure on ${\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}$ with respect to the Quillen model structure on $\mathrm{Top}$. (Any Reedy cofibrant diagram is in particular objectwise cofibrant.) Then $Q{X}_{•}$ is Quillen-Reedy cofibrant, hence also proper, and so the Bousfield-Kan map is a homotopy equivalence. On the other hand, $Q{X}_{•}\to {X}_{•}$ is a levelwise weak homotopy equivalence, while $Q{X}_{•}$ and ${X}_{•}$ are proper, so by Lemma 2 its realization is a weak homotopy equivalence.

By naturality, the above composite is also equal to the composite

$hocolim{X}_{•}=N\left(D/-\right){\otimes }_{D}Q{X}_{•}\to N\left(D/-\right){\otimes }_{D}{X}_{•}\stackrel{\mathrm{Bousfield}-\mathrm{Kan}}{\to }\mid {X}_{•}\mid ;$\hocolim X_\bullet = N(D/ -) \otimes_D Q X_\bullet \to N(D/ -) \otimes_D X_\bullet \xrightarrow{Bousfield-Kan} {|X_\bullet|};

hence this composite is also a weak homotopy equivalence.

## Examples and Applications

### Topological principal $\infty$-bundles

We discuss aspects of principal ∞-bundles equipped with topological cohesion and their geometric realization to principal bundles in Top.

For $X,Y\in \mathrm{sTop}$, write

$\mathrm{sTop}\left(X,Y\right)≔{\int }_{\left[k\right]\in \Delta }\left[{X}_{k},{Y}_{k}\right]\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\in \mathrm{Top}$sTop(X,Y) \coloneqq \int_{[k] \in \Delta} [X_k, Y_k] \;\; \in Top

for the Top-hom-object, where in the integrand of the end $\left[-,-\right]:{\mathrm{Top}}^{\mathrm{op}}×{\mathrm{Top}}^{\mathrm{op}}\to \mathrm{Top}$ is the internal hom of topological spaces.

###### Definition

We say a morphism $f:X\to Y$ of simplicial topological spaces is a global Kan fibration if for all $n\in ℕ$ and $0\le i\le n$ the canonical morphism

${X}_{n}\to {Y}_{n}\phantom{\rule{thickmathspace}{0ex}}{×}_{\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},Y\right)}\phantom{\rule{thickmathspace}{0ex}}\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},X\right)$X_n \to Y_n \;\times_{sTop(\Lambda[n]_i, Y)}\; sTop(\Lambda[n]_i, X)

in Top has a section, where $\Lambda \left[n{\right]}_{i}\in$ sSet $↪{\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}$ is the $i$th $n$-horn regarded as a discrete simplicial topological space.

We say a simplicial topological space ${X}_{•}\in {\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}$ is (global) Kan simplicial space if the unique morphism ${X}_{•}\to *$ is a global Kan fibration, hence if for all $n\in ℕ$ and all $0\le i\le n$ the canonical continuous function

${X}_{n}\to \mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},X\right)$X_n \to sTop(\Lambda[n]_i, X)

into the topological space of $i$th $n$-horns admits a section (in Top, hence a global, continuous section).

###### Remark

This global notion of topological Kan fibration is considered in (BrownSzczarba, def. 2.1, def. 6.1). In fact there a stronger condition is imposed: a Kan complex in Set automatically has the lifting property not only against all full horn inclusions but also against sub-horns; and in (BrownSzczarba) all these fillers are required to be given by global sections. This ensures that with $X$ globally Kan also the internal hom $\left[Y,X\right]\in \mathrm{sTop}$ is globally Kan, for any simplicial topological space $Y$. This is more than we need and want to impose here. For our purposes it is sufficient to observe that if $f$ is globally Kan in the sense of (BrownSzczarba, def. 6.1), then it is so also in the above sense.

Recall from the discussion at universal principal ∞-bundle that for $G$ a simplicial topological group the universal simplicial principal bundle $EG\to BG$ is presented by the morphism of simplicial topological spaces traditionally denoted $WG\to \overline{W}G$.

###### Proposition

Let $G$ be a simplicial topological group. Then

1. $G$ is a globally Kan simplicial topological space;

2. $\overline{W}G$ is a globally Kan simplicial topological space;

3. $WG\to \overline{W}G$ is a global Kan fibration.

###### Proof

The first statement appears as (BrownSzczarba, theorem 3.8), the second is noted in (RobertsStevenson), the third appears as (BrownSzczarba, lemma 6.7).

###### Proposition

If $G$ is a well-pointed simplicial topological group then both $WG$ and $\overline{W}G$ are good simplicial topological space.

For $\overline{W}G$ this is (RobertsStevenson, prop. 19). For $WG$ this follows with (RobertsStevenson, lemma 10, lemma 11) which says that $WG={\mathrm{Dec}}_{0}\overline{W}G$ and the observations in the proof of (RobertsStevenson, prop. 16) that ${\mathrm{Dec}}_{0}X$ is good if $X$ is.

###### Proposition

For $G$ a well-pointed simplicial topological group, the geometric realization of the universal simplicial principal bundle $WG\to \overline{W}G$

$\mid WG\mid \to \mid \overline{W}G\mid${\vert W G \vert} \to {\vert \bar W G \vert}

is a fibration resolution in ${\mathrm{Top}}_{\mathrm{Quillen}}$ of the point inclusion $*\to B\mid G\mid$ into the classifying space of the geometric realization of $G$.

This is (RobertsStevenson, prop. 14).

###### Proposition

Let ${X}_{•}$ be a good simplicial topological space and $G$ a well-pointed simplicial topological group. Then for every morphism

$\tau :X\to \overline{W}G$\tau \colon X \to \bar W G

the corresponding topological simplicial principal bundle $P$ over $X$ is itself a good simplicial topological space.

###### Proof

The bundle is the pullback $P=X{×}_{\overline{W}G}WG$ in $\mathrm{sTop}$

$\begin{array}{ccc}P& \to & \overline{W}G\\ ↓& & ↓\\ X& \stackrel{\tau }{\to }& \overline{W}G\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ P &\to& \bar W G \\ \downarrow && \downarrow \\ X &\stackrel{\tau}{\to}& \bar W G } \,.

By assumption on $X$ and $G$ and using prop. 12 we have that $X$, $\overline{W}G$ and $WG$ are all good simplicial spaces.

This means that the degeneracy maps of ${P}_{•}$ are induced degreewise by morphisms between pullbacks in Top that are degreewise closed cofibrations, where one of the morphisms in each pullback is a fibration. By the properties discussed at closed cofibration, this implies that also these degeneracy maps of ${P}_{•}$ are closed cofibrations.

Let for the following ${\mathrm{Top}}_{s}↪\mathrm{Top}$ be any small full subcategory.

###### Definition

Under the degreewise Yoneda embedding ${\mathrm{sTop}}_{s}↪\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}\right]$ simplicial topological spaces embed into the category of simplicial presheaves on ${\mathrm{Top}}_{s}$.

We equip this with the projective model structure on simplicial presheaves $\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$, and we speak of homotopy limits in $\mathrm{sTop}$ under this embedding.

###### Proposition

Under this embedding a global Kan fibration $f:X\to Y$ in ${\mathrm{sTop}}_{s}$ maps to a fibration in $\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$.

###### Proof

By definition, a morphism $f:X\to Y$ in $\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$ is a fibration if for all $U\in \mathrm{Top}$ and all $n\in ℕ$ and $0\le i\le n$ diagrams of the form

$\begin{array}{ccc}\Lambda \left[n{\right]}_{i}\cdot U& \to & X\\ ↓& & {↓}^{f}\\ \Delta \left[n\right]\cdot U& \to & Y\end{array}$\array{ \Lambda[n]_i \cdot U &\to& X \\ \downarrow && \downarrow^{\mathrlap{f}} \\ \Delta[n] \cdot U &\to& Y }

have a lift. This is equivalent to saying that the function

$\mathrm{Hom}\left(\Delta \left[n\right]\cdot U,X\right)\to \mathrm{Hom}\left(\Delta \left[n\right]\cdot U,Y\right){×}_{\mathrm{Hom}\left(\Lambda \left[n{\right]}_{i}\cdot U,Y\right)}\mathrm{Hom}\left(\Lambda \left[n{\right]}_{i}\cdot U,X\right)$Hom(\Delta[n]\cdot U, X) \to Hom(\Delta[n]\cdot U,Y) \times_{Hom(\Lambda[n]_i \cdot U, Y)} Hom(\Lambda[n]_i \cdot U, X)

is surjective. Notice that we have

$\begin{array}{rl}{\mathrm{Hom}}_{\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}\right]}\left(\Delta \left[n\right]\cdot U,X\right)& ={\mathrm{Hom}}_{\mathrm{sTop}}\left(\Delta \left[n\right]\cdot U,X\right)\\ & ={\int }_{\left[k\right]\in \Delta }{\mathrm{Hom}}_{\mathrm{Top}}\left(\Delta \left[n{\right]}_{k}×U,{X}_{k}\right)\\ & ={\int }_{\left[k\right]\in \Delta }{\mathrm{Hom}}_{\mathrm{Top}}\left(U,\left[\Delta \left[n{\right]}_{k},{X}_{k}\right]\right)\\ & ={\mathrm{Hom}}_{\mathrm{Top}}\left(U,{\int }_{\left[k\right]\in \Delta }\left[\Delta \left[n{\right]}_{k},{X}_{k}\right]\right)\\ & ={\mathrm{Hom}}_{\mathrm{Top}}\left(U,\mathrm{sTop}\left(\Delta \left[n\right],X\right)\right)\\ & ={\mathrm{Hom}}_{\mathrm{Top}}\left(U,{X}_{n}\right)\end{array}$\begin{aligned} Hom_{[Top_s^{op}, sSet]}(\Delta[n]\cdot U, X) & = Hom_{sTop}(\Delta[n]\cdot U, X) \\ & = \int_{[k] \in \Delta} Hom_{Top}( \Delta[n]_k \times U, X_k) \\ & = \int_{[k] \in \Delta} Hom_{Top}(U, [\Delta[n]_k, X_k]) \\ & = Hom_{Top}(U, \int_{[k] \in \Delta} [\Delta[n]_k, X_k]) \\ & = Hom_{Top}(U, sTop(\Delta[n], X)) \\ & = Hom_{Top}(U, X_n) \end{aligned}

and analogously for the other factors in the above morphism. Therefore the lifting problem equivalently says that the function

${\mathrm{Hom}}_{\mathrm{Top}}\left(U,\phantom{\rule{thickmathspace}{0ex}}{X}_{n}\to {Y}_{n}{×}_{\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},Y\right)}\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},X\right)\phantom{\rule{thickmathspace}{0ex}}\right)$Hom_{Top}(U, \; X_n \to Y_n \times_{sTop(\Lambda[n]_i, Y)} sTop(\Lambda[n]_i,X) \;)

is surjective. But by the assumption that $f:X\to Y$ is a global Kan fibration of simplicial topological spaces, def. 4, we have a section $\sigma :{Y}_{n}{×}_{\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i}\right),Y}\mathrm{sTop}\left(\Lambda \left[n{\right]}_{i},X\right)\to {X}_{n}$. Therefore ${\mathrm{Hom}}_{\mathrm{Top}}\left(U,\sigma \right)$ is a section of our function.

###### Proposition

The homotopy colimit operation

$\mathrm{sTop}↪\left[{\mathrm{Top}}_{s}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}\stackrel{\mathrm{hocolim}}{\to }{\mathrm{Top}}_{\mathrm{Quillen}}$sTop \hookrightarrow [Top_s^{op}, sSet]_{proj} \stackrel{hocolim}{\to} Top_{Quillen}

preserves homotopy fibers of morphisms $\tau :X\to \overline{W}G$ with $X$ good and globally Kan and $G$ well-pointed.

###### Proof

By prop. 11 and prop. 15 we have that $WG\to \overline{W}G$ is a fibration resolution of the point inclusion $*\to \overline{W}G$ in $\left[{\mathrm{Top}}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$. By the general discussion at homotopy limit this means that the homotopy fiber of a morphism $\tau :X\to \overline{W}G$ is computed as the ordinary pullback $P$ in

$\begin{array}{ccc}P& \to & WG\\ ↓& & ↓\\ X& \stackrel{\tau }{\to }& \overline{W}G\end{array}$\array{ P &\to& W G \\ \downarrow && \downarrow \\ X &\stackrel{\tau}{\to}& \bar W G }

(since all objects $X$, $\overline{W}G$ and $WG$ are fibrant and at least one of the two morphisms in the pullback diagram is a fibration) and hence

$\mathrm{hofib}\left(\tau \right)\simeq P\phantom{\rule{thinmathspace}{0ex}}.$hofib(\tau) \simeq P \,.

By prop. 11 and prop. 14 it follows that all objects here are good simplicial topological spaces. Therefore by prop. 10 we have

$\mathrm{hocolim}{P}_{•}\simeq \mid {P}_{•}\mid$hocolim P_\bullet \simeq {|P_\bullet|}

in Ho(Top). By prop. 8 we have that

$\cdots =\mid {X}_{•}\mid {×}_{\mid \overline{W}G\mid }\mid WG\mid \phantom{\rule{thinmathspace}{0ex}}.$\cdots = {|X_\bullet|} \times_{|\bar W G|} {|W G|} \,.

But prop. 13 says that this is again the presentation of a homotopy pullback/homotopy fiber by an ordinary pullback

$\begin{array}{ccc}\mid P\mid & \to & \mid WG\mid \\ ↓& & ↓\\ \mid X\mid & \stackrel{\tau }{\to }& \mid \overline{W}G\mid \end{array}\phantom{\rule{thinmathspace}{0ex}},$\array{ {|P|} &\to& {|W G|} \\ \downarrow && \downarrow \\ {|X|} &\stackrel{\tau}{\to}& {|\bar W G|} } \,,

because $\mid WG\mid \to \mid \overline{W}G\mid$ is again a fibration resolution of the point inclusion. Therefore

$\mathrm{hocolim}{P}_{•}\simeq \mathrm{hofib}\left(\mid \tau \mid \right)\phantom{\rule{thinmathspace}{0ex}}.$hocolim P_\bullet \simeq hofib( {|\tau|} ) \,.

Finally by prop. 10 and using the assumption that $X$ and $\overline{W}G$ are both good, this is

$\cdots \simeq \mathrm{hofib}\left(\mathrm{hocolim}\tau \right)\phantom{\rule{thinmathspace}{0ex}}.$\cdots \simeq hofib (hocolim \tau) \,.

In total we have shown

$\mathrm{hocolim}\left(\mathrm{hofib}\tau \right)\simeq \mathrm{hofib}\left(\mathrm{hocolim}\tau \right)\phantom{\rule{thinmathspace}{0ex}}.$hocolim (hofib \tau) \simeq hofib (hocolim \tau) \,.

### Classifying spaces

For $G$ a topological group, write $BG$ for its delooping topological groupoid: the topological groupoid with a single object and ${\mathrm{Mor}}_{BG}\left(*,*\right)≔G$, with composition given by the product on $G$.

The nerve $NBG$ of this topological groupoid is naturally a simplicial topological space, with

$NBG:\left[n\right]↦{G}^{{×}_{n}}\phantom{\rule{thinmathspace}{0ex}}.$N \mathbf{B}G \colon [n] \mapsto G^{\times_n} \,.
###### Proposition

The geometric realization of $NBG$ is a model for the classifying space $BG$ of $G$-principal bundles

$\mid NBG\mid \simeq BG\phantom{\rule{thinmathspace}{0ex}}.${|N \mathbf{B}G|} \simeq B G \,.

An early reference for this classical fact is (Segal68).

###### Corollary

Let $G$ be a well-pointed topological group, $BG$ its classifying space and $\Omega BG$ the loop space of the classifying space.

There is a weak homotopy equivalence

$\Omega BG\stackrel{\simeq }{\to }G\phantom{\rule{thinmathspace}{0ex}}.$\Omega B G \stackrel{\simeq}{\to} G \,.
###### Proof

By prop. 17 we have that $BG\simeq \mid BG\mid$ (we suppress the nerve operation notationally, which injects groupoids into ∞-groupoids).

By standard facts about the $\overline{W}$-functor (see simplicial principal bundle) we have a pullback square of simplicial topological spaces

$\begin{array}{ccc}G& \to & WG\\ ↓& & ↓\\ *& \to & \overline{W}G\end{array}$\array{ G &\to& W G \\ \downarrow && \downarrow \\ * &\to& \bar W G }

exhibiting the homotopy pullback

$\begin{array}{ccc}G& \to & *\\ ↓& {⇙}_{\simeq }& ↓\\ *& \to & BG\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ G &\to& * \\ \downarrow &\swArrow_{\simeq}& \downarrow \\ * &\to& \mathbf{B}G } \,.

Under geoemtric realization this maps to

$\begin{array}{ccc}G& \to & *\\ ↓& {⇙}_{\simeq }& ↓\\ *& \to & BG\end{array}$\array{ G &\to& * \\ \downarrow &\swArrow_{\simeq}& \downarrow \\ * &\to& B G }

in Top. By prop 16 this is still a homotopy pullback, and hence exhibits $G$ as the loop space of $BG$.

### Cech nerves

###### Proposition

Let $X,Y$ be topological spaces and $\pi :Y\to X$ a continuous function that admits local sections. Write $C\left(\pi \right)\in \mathrm{sTop}$ for the Cech nerve.

Then the canonical map

$\mid C\left(\pi \right)\mid \to X${|C(\pi)|} \to X

from the geometric realization of $X$ back to $X$ is a weak homotopy equivalence. If $X$ is a paracompact topological space then it is even a homotopy equivalence.

For paracompact $X$ this goes back to (Segal68). The general case is discussed in (DuggerIsaksen). A generalization to parameterized spaces is in (RobertsStevenson, lemma 22).

## References

The first occurence of the definition of geometric realization of simplicial topological spaces seems to be

• Graeme Segal, Classifying spaces and spectral sequences Publications Mathématiques de l’IHÉS, 34 (1968), p. 105-112 (numdam)

but the construction was implicit in earlier discussion of classifying spaces. The observation that this is a coend was noted in

• Saunders MacLane, The Milgram bar construction as a tensor product of functors SLNM Vol. 168 (1970)

The definition of good simplicial topological spaces goes back to

• Graeme Segal, Configuration-Spaces and Iterated Loop-Spaces , Inventiones math. 21,213-221 (1973)

An original reference on geometric realization of simplicial topological spaces is is appendix A of

A standard textbook reference is chapter 11 of

A proof that good simplicial spaces are proper is implicit in the proof of lemma A.5 in (Segal74). Explicitly it appears in

• L. Gaunce Lewis Jr., When is the natural map $X\to \Omega \Sigma X$ a cofibration? , Trans. Amer. Math. Soc. 273 (1982) no. 1, 147–155 (JSTOR)

A generalization of the statement that good implies proper to other topological concrete categories and a discussion of the geometric realization of $WG\to \overline{W}G$ for $G$ a simplicial topological group is in

Comments on the relation between properness and cofibrancy in the Reedy model structure on $\left[{\Delta }^{\mathrm{op}},\mathrm{Set}\right]$ are made in

The relation between (fat) geometric realization and homotopy colimits is considered as prop. 17.5 and example 18.2 of

The proof that geometric realization of proper simplicial spaces preserves weak equivalences is from

• Peter May, ${E}_{\infty }$-spaces, group completions, and permutative categories. London Math. Soc. Lecture Notes No. 11, 1974, 61-93.

A definition of the Bousfield-Kan map, and the Reedy model category theory necessary to show that it is a weak equivalence, can be found in

• Hirschhorn, Model categories and their localizations, AMS Mathematical Surveys and Monographs No. 99, 2003

The (fat) geometric realization of (nerves of) topological groupoids is discussed in section 2.3 of

Globally Kan simplicial spaces are considered in

• E. H. Brown and R. H. Szczarba, Continuous cohomology and real homotopy type , Trans. Amer. Math. Soc. 311 (1989), no. 1, 57 (pdf)

The right adjoint to geometric realization of simplicial topological spaces is discussed in

• R. M. Seymour, Kan fibrations in the category of simplicial spaces Fund. Math., 106(2):141-152, 1980.

Geometric realization of general Cech nerves is discussed in

• Dan Dugger, D. C. Isaksen, Topological hypercovers and ${𝔸}^{1}$- realizations, Math. Z. 246 (2004) no. 4

The behaviour of fibrations under geometric realization and the preservation of homotopy pullbacks under geometric realization is discussed in

• D. Anderson, Fibrations and geometric realization , Bull. Amer. Math. Soc. Volume 84, Number 5 (1978), 765-788. (ProjEuclid)

## Refereeing

This entry is under review. See geometric realization of simplicial topological spaces at nLab (reviewed).

Revised on March 15, 2012 14:26:16 by Urs Schreiber (82.172.178.200)