nLab
Euclidean-topological infinity-groupoid

Idea

A Euclidean-topological $\mathrm{\infty }$-groupoid is an ∞-groupoid equipped with cohesion in the form of Euclidean topology.

Examples of 1-truncated type are topological groupoids/topological stacks whose topologies are detectable by maps out of Euclidean topologies, for instance internal groupoids in topological manifolds.

More generally, every simplicial topological space whose topology is degreewise detectable by Euclidean topologies canonically identifies with a Euclidean-topological $\mathrm{\infty }$-groupoid. Various constructions with simplicial toppological spaces find their natural home in this (∞,1)-topos. For instance

• geometric realization of simplicial topological manifolds is equivalently the image $\Pi (X)$ of the corresponding Euclidean-topological $\mathrm{\infty }$-groupoid $X$ under the canonical fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos.

• topological simplicial principal bundles over topological simplicial groups are the corresponding principal ∞-bundles in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ classified by its internal cohomology.

Definition

Definition

Let CartSp${}_{\mathrm{top}}$ be the site whose underlying category has as objects the Cartesian spaces ${ℝ}^n$, $n\in \mathbb{N}$ equipped with the Euclidean topology and as morphisms the continuous maps between them; and whose coverage is given by good open covers.

Definition

Define

$$\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}:=(\mathrm{\infty },1)\mathrm{Sh}({\mathrm{CartSp}}_{\mathrm{top}})$$ETop \infty Grpd := (\infty,1)Sh(CartSp_{top})

to be the (∞,1)-category of (∞,1)-sheaves on ${\mathrm{CartSp}}_{\mathrm{top}}$.

Properties

General

Proposition

The (∞,1)-topos $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpf}$ is a cohesive (∞,1)-topos.

Proof

The site CartSp${}_{\mathrm{top}}$ an ∞-cohesive site. See there for details.

For completeness we record general properties of cohesive (∞,1)-toposes implied by this.

Corollary

$\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ is

• hypercomplete;

• of cohomological dimension 0;

• of homotopy dimension 0;

• of the shape of an (∞,1)-topos of the point.

Definition

We say that $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ defines Euclidean-topological cohesion. An object in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ we call a Euclidean-topological $\mathrm{\infty }$-groupoid.

Proposition

Write TopMfd for the category of topological manifolds. This becomes a large site with the open cover coverage. We have an equivalence of (∞,1)-categories

$$\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}\simeq {\widehat{\mathrm{Sh}}}_{(\mathrm{\infty },1)}(\mathrm{TopMfd})$$ETop\infty Grpd \simeq \hat Sh_{(\infty,1)}(TopMfd)

with the hypercompletion of the (∞,1)-category of (∞,1)-sheaves on TopMfd.

Proof

Since every topological manifold admits an open cover by open balls homeomorphic to a Cartesian space it follows that CartSp${}_{\mathrm{top}}$ is a dense sub-site of $\mathrm{TopMfd}$. Accordingly the categories of sheaves are equivalent

$$\mathrm{Sh}({\mathrm{CartSp}}_{\mathrm{top}})\simeq \mathrm{Sh}(\mathrm{TopMfd}).$$Sh(CartSp_{top}) \simeq Sh(TopMfd) \,.

By the discussion at model structure on simplicial sheaves it follows that the hypercomplete (∞,1)-toposes over these sites are equivalent

$${\widehat{\mathrm{Sh}}}_{(\mathrm{\infty },1)}({\mathrm{CartSp}}_{\mathrm{top}})\simeq {\widehat{\mathrm{Sh}}}_{(\mathrm{\infty },1)}(\mathrm{TopMfd}).$$\hat Sh_{(\infty,1)}(CartSp_{top}) \simeq \hat Sh_{(\infty,1)}(TopMfd) \,.

But by the above proposition we have that before hypercompletion ${\mathrm{Sh}}_{(\mathrm{\infty },1)}({\mathrm{CartSp}}_{\mathrm{top}})$ is cohesive. This means that it is in particular a local (∞,1)-topos. By the discussion there, this means that it already coincides with its hypercompletion, ${\mathrm{Sh}}_{(\mathrm{\infty },1)}({\mathrm{CartSp}}_{\mathrm{top}})\simeq {\widehat{\mathrm{Sh}}}_{(\mathrm{\infty },1)}({\mathrm{CartSp}}_{\mathrm{top}})$.

Definition

Write ${\mathrm{Top}}_1$ for the 1-category of Hausdorff topological spaces and continuous maps. There is a canonical functor

$$j:{\mathrm{Top}}_1\to {\tau }_{\le 0}\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}\hookrightarrow \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$$j : Top_1 \to \tau_{\leq 0}ETop\infty Grpd \hookrightarrow ETop\infty Grpd

given by sending a topological space $X$ to the 0-truncated (∞,1)-sheaf (= sheaf) on CartSp${}_{\mathrm{top}}$ externally represented by $X$ under the embedding ${\mathrm{CartSp}}_{\mathrm{top}}\hookrightarrow \mathrm{Top}$:

$$j(X):(U\in {\mathrm{CartSp}}_{\mathrm{top}})\mapsto {\mathrm{Hom}}_{\mathrm{Top}}(U,X)\in \mathrm{Set}\hookrightarrow \mathrm{\infty }\mathrm{Grpd}.$$j(X) : (U \in CartSp_{top}) \mapsto Hom_{Top}(U,X) \in Set \hookrightarrow \infty Grpd \,.

Proposition

The functor $j$ exhibits TopMfd as a full sub-(∞,1)-category of $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$

$$\mathrm{TopMfd}\hookrightarrow \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}.$$TopMfd \hookrightarrow ETop\infty Grpd \,.

Proof

With the above proposition this follows directly by the (∞,1)-Yoneda lemma.

Model category presentation

We dicuss some aspects of the presentation of $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ by model category structures.

Proposition

Let $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ be the Cech-local projective model structure on simplicial presheaves. This is a presentation of $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$

$$([{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}{)}^{\circ }\simeq \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}.$$([CartSp_{top}^{op}, sSet]_{proj,loc})^\circ \simeq ETop \infty Grpd \,.

Also the model structure on simplicial sheaves sSh(CartSp_{{top})_{loc} is a presentation

$$(\mathrm{sSh}({\mathrm{CartSp}}_{\mathrm{top}}{)}_{\mathrm{loc}}{)}^{\circ }\simeq \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}.$$(sSh(CartSp_{top})_{loc})^\circ \simeq ETop \infty Grpd \,.

Proof

The first statement is a special case of the general discussion at model structure on simplicial presheaves. Similarly, by the general discussion at model structure on simplicial sheaves we have that this presents the hypercompletion of the (∞,1)-category of (∞,1)-sheaves. But by the above $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ already is hypercomplete.

Moreover:

Proposition

$\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ is also the hypercompletion of the (∞,1)-topos presented by the local model structure on simplicial presheaves over all of Mfd (or over any small dense sub-site such as for instance the full sub-category of manifolds bounded in size by some regular cardinal).

$$\hat{}([{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}{)}^{\circ }\simeq \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}.$$\hat{}([Mfd^{op}, sSet]_{proj,loc})^\circ \simeq ETop \infty Grpd \,.

Proof

By the above proposition.

While the model structures on simplicial presheaves over both sites present the same (∞,1)-category, they lend themselves to different computations:

the model structure over ${\mathrm{CartSp}}_{\mathrm{top}}$ has more fibrant objects and hence fewer cofibrant objects, while the model structure over $\mathrm{Mfd}$ has more cofibrant objects and fewer fibrant objects. More specifically:

Proposition

Let $X\in [{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}]$ be an object that is globally fibrant , separated and locally trivial, meaning that

1. $X(U)$ is an inhabited Kan complex for all $U\in \mathrm{Mfd}$;

2. for every covering $\{U_i\to U\}$ in Mfd the descent comparison morphism $X(U)\to [{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}](C(\{U_i\}),X)$ is a full and faithful (∞,1)-functor;

3. for contractible $U$ we have ${\pi }_0[{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}](C(\{U_i\}),X)\simeq *$.

Then the restriction of $X$ along ${\mathrm{CartSp}}_{\mathrm{top}}\hookrightarrow \mathrm{Mfd}$ is a fibrant object in the local model structure $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$.

Proof

The fibrant objects in the local model structure are precisely those that are Kan complexes over every object and for which the descent morphism is an equivalence for all covers.

The first condition is given by the first assumption. The second and third assumptions imply the second condition over contractible manifolds, such as the Cartesian spaces.

Example

Let $G$ be a topological group, regarded as the presheaf over Mfd that it represents. Write $\overline{W}G$ (see the notation at simplicial group) for the simplicial presheaf on $\mathrm{Mfd}$ given by the nerve of the topological groupoid $(G\overrightarrow{\to }*)$. (This is a presentation of the delooping of the 0-truncated ∞-group $G\in \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$, see the discussion below. )

The fibrant resolution of $\overline{W}G$ in $[{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ is (the rectification of) its stackification: the stack $G\mathrm{Bund}$ of topological $G$-principal bundles. But the canonical morphism

$$\overline{W}G\to G\mathrm{Bund}$$\bar W G \to G Bund

is a full and faithful functor (over each object $U\in \mathrm{Mfd}$): it includes the single object of $\overline{W}G$ as the trivial $G$-principal bundle. The automorphism of the single object in $\overline{W}G$ over $U$ are $G$-valued continuous functions on $U$, which are precisely the automorphisms of the trivial $G$-bundle. Therefore this inclusion is full and faithful, the presheaf $\overline{W}G$ is a separated prestack.

Moreover, it is locally trivial: every Cech cocycle for a $G$-bundle over a Cartesian space is equivalent to the trivial one. Equivalently, also ${\pi }_{0}G\mathrm{Bund}({ℝ}^n)\simeq *$.

Therefore $\overline{W}G$, when restricted ${\mathrm{CartSp}}_{\mathrm{top}}$, does become a fibrant object in $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$.

On the other hand, let $X\in \mathrm{Mfd}$ be any non-contractible manifold. Since in the projective model structure on simplicial presheaves every representable is cofibrant, this is a cofibrant object in $[{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$. However, it fails to be cofibrant in $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$. Instead, there a cofibrant replacement is given by the Cech nerve $C(\{U_i\})$ of any good open cover $\{U_i\to X\}$.

This yields two different ways to compute the first nonabelian cohomology

$$H_{\mathrm{ETop}}^1(X,G):={\pi }_0\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}(X,BG)$$H^1_{ETop}(X,G) := \pi_0 ETop\infty Grpd (X, \mathbf{B}G)

in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ on $X$ with coefficients in $G$, as

1. $\cdots \simeq {\pi }_0[{\mathrm{Mfd}}^{\mathrm{op}},\mathrm{sSet}](X,G\mathrm{Bund})\simeq {\pi }_{0}G\mathrm{Bund}(X)$;

2. $\cdots \simeq {\pi }_0[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}](C(\{U_i\}),\overline{W}G)\simeq H_{\mathrm{Ch}}^1(X,G)$.

In the first case we need to construct the fibrant replacement $G\mathrm{Bund}$. This amounts to computing $G$-cocycles = $G$-bundles over all manifolds and then evaluate on the given one, $X$, by the 2-Yoneda lemma.

In the second case however we cofibrantly replace $X$ by a good open cover, and then find the Cech cocycles with coefficients in $G$ on that.

For ordinary $G$-bundles the difference between the two computations may be irrelevant in practice, because ordinary $G$-bundles are very well understood. However for more general coefficient objects, for instance general topological simplicial groups $G$, the first approach requires to find the full ∞-stackification to the ∞-stack of all principal ∞-bundles, while the second approach requires only to compute specific coycles over one specific base object. In practice the latter is often all that one needs.

Structures in the cohesive $(\mathrm{\infty },1)$-topos $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$

We discuss what some of the general abstract Structures in a cohesive (∞,1)-topos look like in the model $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$.

As usual, write

$$(\Pi ⊣\mathrm{Disc}⊣\Gamma ⊣\mathrm{coDisc}):\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}\stackrel{\stackrel{\Pi }{\to }}{\stackrel{\stackrel{\mathrm{Disc}}{\leftarrow }}{\stackrel{\stackrel{\Gamma }{\to }}{\underset{\mathrm{coDisc}}{\leftarrow }}}}\mathrm{\infty }\mathrm{Grpd}$$(\Pi \dashv Disc \dashv \Gamma \dashv coDisc) : ETop \infty Grpd \stackrel{\overset{\Pi}{\to}}{\stackrel{\overset{Disc}{\leftarrow}}{\stackrel{\overset{\Gamma}{\to}}{\underset{coDisc}{\leftarrow}}}} \infty Grpd

for the defining quadruple of adjoint (∞,1)-functors that refine the global section (∞,1)-geometric morphism to ∞Grpd.

Cohesive $\mathrm{\infty }$-groups

By the general properties of cohesive (∞,1)-toposes with an ∞-cohesive site of definition, every ∞-group object is presented by a presheaf of simplicial groups. For $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ among these are the simplicial topological groups. See there for more details.

Geometric homotopy and Galois theory

We discuss the realization of the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos in $\mathrm{ETop}inft\mathrm{Grpd}$.

Proposition

Let $X$ be a paracompact topological space such that that $X$ admits a good open cover by open balls (for instance a paracompact manifold).

Then $\Pi (X):=\Pi (i(X))\in \mathrm{\infty }\mathrm{Grpd}$ is equivalent to the standard fundamental ∞-groupoid of a topological space that is presented by the singular simplicial complex $\mathrm{Sing}X$

$$\Pi (X)\simeq \mathrm{Sing}X.$$\Pi(X) \simeq Sing X \,.

Equivalently, under geometric realization $𝕃\mid -\mid :\mathrm{\infty }\mathrm{Grpd}\to \mathrm{Top}$ we have that there is a weak homotopy equivalence

$$X\simeq \mid \Pi (X)\mid .$$X \simeq |\Pi(X)| \,.

Proof

By the discussion at ∞-cohesive site we have an equivalence $\Pi (-)\simeq 𝕃{\lim }_{\to }$ to the derived functor of the sSet-colimit functor ${\lim }_{\to }:[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}\to {\mathrm{sSet}}_{\mathrm{Quillen}}$.

To compute this derived functor, let $\{U_i\to X\}$ be a good open cover by open balls, hence homeomorphically by Cartesian space. By goodness of the cover the Cech nerve $C({\coprod }_i{U}_i\to X)\in [{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}]$ is degreewise a coproduct of representables, hence a split hypercover. By the discussion at model structure on simplicial presheaves we have that in this case the canonical morphism

$$C(\coprod _i{U}_i\to X)\to X$$C(\coprod_i U_i \to X) \to X

is a cofibrant resolution of $X$ in $[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$. Accordingly we have

$$\Pi (X)\simeq (𝕃\underrightarrow{\lim })(X)\simeq \underrightarrow{\lim }C(\coprod _i{U}_i\to X).$$\Pi(X) \simeq (\mathbb{L} \lim_\to) (X) \simeq \lim_\to C(\coprod_i U_i \to X) \,.

Using the equivalence of categories $[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}]\simeq [{\Delta }^{\mathrm{op}},[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{Set}]]$ and that colimits in presheaf categories are computed objectwise and finally using that the colimit of a representable functor is the point (an incarnation of the Yoneda lemma) we have that $\Pi (X)$ is presented by the Kan complex that is obtained by contracting in the Cech nerve $C({\coprod }_i{U}_i)$ each open subset to a point.

The classical nerve theorem asserts that this implies the claim.

Remark

We may regard Top itself as a cohesive (∞,1)-topos. $({\Pi }_{\mathrm{Top}}⊣{\mathrm{Disc}}_{\mathrm{Top}}⊣{\Gamma }_{\mathrm{Top}}⊣{\mathrm{coDisc}}_{\mathrm{Top}})\mathrm{Top}\stackrel{\simeq }{\to }\mathrm{\infty }\mathrm{Grpd}$. This is discussed at discrete ∞-groupoid.

Using this the above proposition may be stated as saying that for $X$ a paracompact topological space that admits a good open cover we have

$${\Pi }_{\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}}(X)\simeq {\Pi }_{\mathrm{Top}}(X).$$\Pi_{ETop\infty Grpd}(X) \simeq \Pi_{Top}(X) \,.

Proposition

Let $X_{•}$ be a good simplicial topological space that is degreewise paracompact and degreewise admits a good open cover, regarded naturally as an object $X_{•}\in {\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}\to \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$.

We have that the intrinsic $\Pi (X_{•})\in \mathrm{\infty }\mathrm{Grpd}$ coincides under geometric realization $𝕃\mid -\mid :\mathrm{\infty }\mathrm{Grpd}\stackrel{\simeq }{\to }\mathrm{Top}$ with the ordinary geometric realization of simplicial topological spaces $\mid X_{•}{\mid }_{{\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}}$

$$\mid \Pi (X_{•})\mid \simeq \mid X_{•}{\mid }_{{\mathrm{Top}}^{{\Delta }^{\mathrm{op}}}}.$$|\Pi(X_\bullet)| \simeq |X_\bullet|_{Top^{\Delta^{op}}} \,.

Proof

Write $Q$ for Dugger’s cofibrant replacement functor on $[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ (discussed at model structure on simplicial presheaves). On a simplicially constant simplicial presheaf $X$ it is given by

$$QX:={\int }^{[n]\in \Delta }\Delta [n]\cdot \left(\coprod _{U_0\to \cdots \to U_n\to X}{U}_0\right),$$Q X := \int^{[n] \in \Delta} \Delta[n] \cdot \left( \coprod_{U_0 \to \cdots \to U_n \to X} U_0 \right) \,,

where the coproduct in the integrand of the coend is over all sequences of morphisms from representables $U_i$ to $X$ as indicated. On a general simplicial presheaf $X_{•}$ it is given by

$$Q{X}_{•}:={\int }^{[k]\in \Delta }\Delta [k]\cdot Q{X}_k,$$Q X_\bullet := \int^{[k] \in \Delta} \Delta[k] \cdot Q X_k \,,

which is the simplicial presheaf that over any ${ℝ}^n\in \mathrm{CartSp}$ takes as value the diagonal of the bisimplicial set whose $(n,r)$-entry is ${\coprod }_{U_0\to \cdots \to U_n\to X_k}{\mathrm{CartSp}}_{\mathrm{top}}({ℝ}^n,U_0)$.

Since coends are special colimits, the colimit functor itself commutes with them and we find

$$\begin{array}{rl}\Pi (X_{•})& \simeq (𝕃\underrightarrow{\lim })X_{•}\\ & \simeq \underrightarrow{\lim }Q{X}_{•}\\ & \simeq {\int }^{[n]\in \Delta }\Delta [k]\cdot \underrightarrow{\lim }(Q{X}_k).\end{array}$$\begin{aligned} \Pi(X_\bullet) & \simeq (\mathbb{L} \lim_\to) X_\bullet \\ & \simeq \lim_\to Q X_\bullet \\ & \simeq \int^{[n] \in \Delta} \Delta[k] \cdot \lim_\to (Q X_k) \,. \end{aligned}

By the discussion at Reedy model structure this coend is a homotopy colimit over the simplicial diagram ${\lim }_{\to }Q{X}_{•}:\Delta \to {\mathrm{sSet}}_{\mathrm{Quillen}}$

$$\cdots \simeq {\mathrm{hocolim}}_{\Delta }\underrightarrow{\lim }Q{X}_{•}.$$\cdots \simeq hocolim_\Delta \lim_\to Q X_\bullet \,.

By the above proposition we have for each $k\in \mathbb{N}$ weak equivalences ${\lim }_{\to }Q{X}_k\simeq (𝕃{\lim }_{\to })X_k\simeq \mathrm{Sing}{X}_k$, so that

$$\begin{array}{rl}\cdots & \simeq {\mathrm{hocolim}}_{\Delta }\mathrm{Sing}{X}_k\\ & \simeq {\int }^{[k]\in \Delta }\Delta [k]\cdot \mathrm{Sing}{X}_k\\ & \simeq \mathrm{diag}\mathrm{Sing}(X_{•}{)}_{•}\end{array}.$$\begin{aligned} \cdots &\simeq hocolim_\Delta Sing X_k \\ & \simeq \int^{[k] \in \Delta} \Delta[k] \cdot Sing X_k \\ & \simeq diag Sing(X_\bullet)_\bullet \end{aligned} \,.

By the discussion at geometric realization of simplicial topological spaces, this maps to the homotopy colimit of the simplicial topological space $X_{•}$, which is just its geometric realizaiton if it is proper.

Paths and geometric Postnikov towers

We discuss the notion of geometric path ∞-groupoids realized in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$.

In the above constructions of $\Pi (X)$ the actual paths are not explicit. We discuss here presentations of $\Pi (X)$ in terms of actual paths.

By prop. 1 we have

Proposition

Let $X$ be a a paracompact topological space, regarded as an object of $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$. Then $\Pi (X)$ is presented by the constant simplicial presheaf

$$\mathrm{Disc}\mathrm{Sing}(X):(U,[k])\mapsto {\mathrm{Hom}}_{\mathrm{Top}}({\Delta }^k,X).$$Disc Sing(X) \,:\, (U,[k]) \mapsto Hom_{Top}(\Delta^k, X) \,.

Possibly more natural would seem to look at the topological Kan complex that remembers the topology on the spaces of paths:

Definition

For $X$ a paracompact topological space, define the simplicial presheaf

$$\mathrm{Sing}X:(U,[k])\mapsto {\mathrm{Hom}}_{\mathrm{Top}}(U\times {\Delta }^k,X).$$\mathbf{Sing} X : (U,[k]) \mapsto Hom_{Top}(U \times \Delta^k, X) \,.

Observation

Also $\mathrm{Sing}X$ is a presentation of $\Pi (X)$

Proof

For each fixed $U\in \mathrm{CartSp}$ the inclusion of simplicial sets

$$\mathrm{Sing}X\to \mathrm{Sing}(X)(U)$$Sing X \to \mathbf{Sing}(X)(U)

is a weak homotopy equivalence, since $U\in \mathrm{CartSp}$ is contractible.

Therefore the inclusion of simplicial presheaves

$$\mathrm{Disc}\mathrm{Sing}X\to \mathrm{Sing}X$$Disc Sing X \to \mathbf{Sing} X

is a weak equivalence in $[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$. This implies the claim with prop. 3.

Remark

Typically one is interested in mapping out of $\Pi (X)$. While it is clear that $\mathrm{Disc}\mathrm{Sing}X$ is cofibrant in $[{\mathrm{CartSp}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$, it is harder to determine the necessary resolutions of $\mathrm{Sing}X$.

Cohomology and principal $\mathrm{\infty }$-bundles

We dicuss aspects of the intrinsic cohomology of $E\mathrm{Top}\mathrm{\infty }\mathrm{Grpd}$ and of the principal ∞-bundles that it classifies.

Definition

Let $A\in$ ∞Grpd be any discrete ∞-groupoid. Write $\mid A\mid \in$ Top for its geometric realization. For $X$ any topological space, the nonabelian cohomology of $X$ with coefficients in $A$ is the set of homotopy classes of maps $X\to \mid A\mid$

$$H_{\mathrm{Top}}(X,A):={\pi }_0\mathrm{Top}(X,\mid A\mid ).$$H_{Top}(X,A) := \pi_0 Top(X,|A|) \,.

We say $\mathrm{Top}(X,\mid A\mid )$ itself is the cocycle ∞-groupoid for $A$-valued nonabelian cohomology on $X$.

Similarly, for $X,A\in \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ two e-topological $\mathrm{\infty }$-groupoids, write

$$H_{\mathrm{ETop}}(X,A):={\pi }_0\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}(X,A)$$H_{ETop}(X,\mathbf{A}) := \pi_0 ETop\infty Grpd(X,\mathbf{A})

for the intrinsic cohomology of $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ on $X$ with coefficients in $A$.

Proposition

Let $A\in$ ∞Grpd, write $\mathrm{Disc}A\in \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ for the corresponding discrete topological ∞-groupoid. Let $X\in {\mathrm{Top}}_1\stackrel{i}{\hookrightarrow }\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ be a paracompact topological space regarded as a 0-truncated Euclidean-topological $\mathrm{\infty }$-groupoid.

We have an isomorphism of cohomology sets

$$H_{\mathrm{Top}}(X,A)\simeq H_{\mathrm{ETop}}(X,\mathrm{Disc}A)$$H_{Top}(X,A) \simeq H_{ETop}(X,Disc A)

and in fact an equivalence of cocycle ∞-groupoids

$$\mathrm{Top}(X,\mid A\mid )\simeq \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}(X,\mathrm{Disc}A).$$Top(X,|A|) \simeq ETop\infty Grpd(X, Disc A) \,.

Proof

By the $(\Pi ⊣\mathrm{Disc})$-adjunction of the locally ∞-connected (∞,1)-topos $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$ we have

$$\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}(X,\mathrm{Disc}A)\simeq \mathrm{\infty }\mathrm{Grpd}(\Pi (X),A)\underset{\simeq }{\overset{\mid -\mid }{\to }}\mathrm{Top}(\mid \Pi X\mid ,\mid A\mid ).$$ETop\infty Grpd(X, Disc A) \simeq \infty Grpd(\Pi(X), A) \underoverset{\simeq}{|-|}{\to} Top(|\Pi X|, |A|) \,.

From this the claim follows by the above proposition.

Proposition

Let $G$ be a well-pointed simplicial topological group degreewise in TopMfd. Then the $(\mathrm{\infty },1)$-functor $\Pi :\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}\to \mathrm{\infty }\mathrm{Grpd}$ preserves homotopy fibers of all morphisms of the form $X\to BG$ that are presented in $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ by morphism of the form $X\to \overline{W}G$ with $X$ fibrant.

Proof

Notice that since (∞,1)-sheafification preserves finite (∞,1)-limits we may indeed discuss the homotopy fiber in the global model structure on simplicial presheaves.

Write $QX\stackrel{\simeq }{\to }X$ for the global cofibrant resolution given by $QX:[n]\mapsto {\coprod }_{\{U_{i_0}\to \cdots \to U_{i_n}\to X_n\}}{U}_{i_0}$, where the $U_{i_k}$ range over ${\mathrm{CartSp}}_{\mathrm{top}}$ . (Discussed at model structure on simplicial presheaves -- cofibrant replacement. ) This has degeneracies splitting off as direct summands, and hence is a good simplicial topological space that is degreewise in TopMfd. Consider then the pasting of two pullback diagrams of simplicial presheaves

$$\begin{array}{ccccc}P\prime & \stackrel{\simeq }{\to }& P& \to & WG\\ \downarrow & & \downarrow & & \downarrow \\ QX& \stackrel{\simeq }{\to }& X& \to & \overline{W}G\end{array}.$$\array{ P' &\stackrel{\simeq}{\to}& P &\to& W G \\ \downarrow && \downarrow && \downarrow \\ Q X &\stackrel{\simeq}{\to}& X &\to & \bar W G } \,.

By the discussion at geometric realization of simplicial topological spaces we have that the rightmost vertical morphism is a fibration in $[{\mathrm{CartSp}}_{\mathrm{top}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$. Since fibrations are stable under pullback, the middle vertical morphism is also a fibration (as is the leftmost one). Since the global model structure is a right proper model category it follows then that also the top left horizontal morphism is a weak

Since the square on the right is a pullback of fibrant objects with one morphism being a fibration, $P$ is a presentation of the homotopy fiber of $X\to \overline{W}G$. Hence so is $P\prime$, which is moreover the pullback of a diagram of good simplicial spaces.

By prop. 2 we have that on the outer diagram $\Pi$ is presented by geometric realization of simplicial topological spaces $\mid -\mid$. By the discussion of realization of simplicial principal bundles there, we have a pullback in ${\mathrm{Top}}_{\mathrm{Quillen}}$

$$\begin{array}{ccc}\mid P\mid & \to & \mid WG\mid \\ \downarrow & & \downarrow \\ \mid QX\mid & \to & \mid \overline{W}G\mid \end{array}$$\array{ {|P|} &\to& {|W G|} \\ \downarrow && \downarrow \\ {|Q X|} & \to & {|\bar W G|} }

which exhibits $\mid P\mid$ as the homotopy fiber of $\mid QX\mid \to \mid \overline{W}G\mid$. But this is a model for $\mid \Pi (X\to \overline{W}G)\mid$.

Twisted cohomology

See twisted bundle .

Universal coverings and geometric Whitehead towers

We discuss geometric Whitehead towers in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$.

Proposition

Let $X$ be a [[pointed object|pointed] paracompact topological space that admits a good open cover. Then its ordinary Whitehead tower $*\to \cdots X^{(2)}\to X^{(1)}\to X^{(0)}=X$ in Top coincides with the image under the intrinsic fundamental ∞-groupoid functor $\mid \Pi (-)\mid$ of its geometric Whitehead tower $X^{(\mathrm{\infty })}\to \cdots X^{(2)}\to X^{(1)}\to X^{(0)}=X$ in $\mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}$:

$$\begin{array}{rl}\mid \Pi (-)\mid & :(X^{(\mathrm{\infty })}\to \cdots X^{(2)}\to X^{(1)}\to X^{(0)}=X)\in \mathrm{ETop}\mathrm{\infty }\mathrm{Grpd}\\ & \mapsto (*\to \cdots X^{(2)}\to X^{(1)}\to X^{(0)}=X)\in \mathrm{Top}\end{array}.$$\begin{aligned} |\Pi(-)| & : (X^{\mathbf{(\infty)}} \to \cdots X^{\mathbf{(2)}} \to X^{\mathbf{(1)}} \to X^{\mathbf{(0)}} = X) \in ETop\infty Grpd \\ & \mapsto (* \to \cdots X^{(2)} \to X^{(1)} \to X^{(0)} = X) \in Top \end{aligned} \,.

Proof

By the general discussion at Whitehead tower in an (∞,1)-topos the geometric Whitehead tower is characterized for each $n$ by the fiber sequence

$$X^{(n)}\to X^{(n-1)}\to B^n{\pi }_n(X)\to {\Pi }_n(X)\to {\Pi }_{(n-1)}(X).$$X^{\mathbf{(n)}} \to X^{\mathbf{(n-1)}} \to \mathbf{B}^n \mathbf{\pi}_n(X) \to \mathbf{\Pi}_n(X) \to \mathbf{\Pi}_{(n-1)}(X) \,.

By the above proposition on the fundamental ∞-groupoid we have that ${\Pi }_n(X)\simeq \mathrm{Disc}\mathrm{Sing}X$. Since $\mathrm{Disc}$ is right adjoint and hence preserves homotopy fibers this implies that $B{\pi }_n(X)\simeq B^n\mathrm{Disc}{\pi }_n(X)$, where ${\pi }_n(X)$ is the ordinary $n$th homotopy group of the pointed topological space $X$.

Then by the above proposition on geometric realization of homotopy fibers we have that under $\mid \Pi (-)\mid$ the space $X^{(n)}$ maps to the homotopy fiber of $\mid \Pi (X^{(n-1)})\mid \to B^n\mid \mathrm{Disc}{\pi }_n(X)\mid =B^n{\pi }_n(X)$.

By induction over $n$ this implies the claim.

Path $\mathrm{\infty }$-groupoid and geometric Postnikov towers

Let $C$ be an ∞-connected site. We give an explicit presentation of the constant path inclusion $X\to \Pi (X)$ in the locally ∞-connected (∞,1)-topos over $C$ such that the component maps are cofibrations.

Remark

The projective model structure on simplicial presheaves $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ has a set of generating cofibrations

$$I=\{U\cdot \partial \Delta [n]\hookrightarrow U\cdot \Delta [n]\mid U\in C,n\in \mathbb{N})\}.$$I = \{ U \cdot \partial \Delta[n] \hookrightarrow U \cdot \Delta[n] | U \in C, n \in \mathbb{N}) \} \,.

See model structure on functors for details.

Definition

Write

$$\mathrm{Sing}:C\to [C^{\mathrm{op}},\mathrm{sSet}]$$\mathbf{Sing} : C \to [C^{op}, sSet]

for the functor given by applying the small object argument to this set $I$ to obtain a functorial factorization of the terminal morphisms $U\to *$ into a cofibration followed by an acyclic fibration

$$U\hookrightarrow \mathrm{Sing}U\stackrel{\simeq }{\to }*.$$U \hookrightarrow \mathbf{Sing} U \stackrel{\simeq}{\to} * \,.

Let

$$\mathrm{Sing}:[C^{\mathrm{op}},\mathrm{sSet}]\to [C^{\mathrm{op}},\mathrm{sSet}]$$\mathbf{Sing} : [C^{op}, sSet] \to [C^{op}, sSet]

be the Yoneda extension (left Kan extension through the Yoneda embedding) of this functor to all of $[C^{\mathrm{op}},\mathrm{sSet}]$.

Remark

For $U\in C$ the simplicial presheaf $\mathrm{Sing}U$ is a resolution of the (nerve of the) fundamental groupoid ${\Pi }_1(U)$:

the non-degenerate components of $\mathrm{Sing}U$ at the first stage of the small object argument are such that a map out of them into a simplicial presheaf $A$ are given by commuting diagrams

$$\begin{array}{ccc}{U}_0\coprod U_0& \stackrel{(s,t)}{\to }& U\\ \downarrow & & \downarrow \\ U_0\times \Delta [1]& \to & A\end{array}.$$\array{ U_0 \coprod U_0 &\stackrel{(s,t)}{\to}& U \\ \downarrow && \downarrow \\ U_0 \times \Delta[1] &\to& A } \,.

This is a $U$-parameterized family of objects of $A$ together with a $U_0$-parameterized family of morphisms of $A$ associated to the pairs of points $(s,t)\in U$, hence to the “straight paths” from $s$ to $t$. At the next stage for every triangle of such straight path a 2-morphism is thrown in, and so on. So $\mathrm{Sing}U$ indeed is an $\mathrm{\infty }$-groupoid of paths in $U$.

Proposition

The functor $\mathrm{Sing}$ is the left adjoint of a Quillen adjunction

$$(\mathrm{Sing}⊣R):[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}\to [C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}.$$(\mathbf{Sing} \dashv R) : [C^{op}, sSet]_{proj, loc} \to [C^{op}, sSet]_{proj, loc} \,.

Its left derived functor is equivalent to the intrinsic fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos

$$𝕃\mathrm{Sing}(-)\simeq \Pi (-)$$\mathbb{L}\mathbf{Sing}(-) \simeq \Pi(-)

and the constant path inclusion $\mathrm{Id}\to \Pi$ is presented by the canonical natural transformation $\mathrm{Id}\to \mathrm{Sing}$.

Proof

On an arbitrary simplicial presheaf $X$ the functor $\mathrm{Sing}$ is given by the coend

$$\mathrm{Sing}:X\mapsto {\int }^{U\in C}X(U)\cdot \mathrm{Sing}U.$$\mathbf{Sing} : X \mapsto \int^{U \in C} X(U) \cdot \mathbf{Sing}U \,.

By construction this preserves all colimits. Hence by the adjoint functor theorem (using that domain and codomain are presheaf categories) we have that $\mathrm{Sing}$ is a left adjoint. Explicitly, the right adjoint is given by

$$RX:U\mapsto [C^{\mathrm{op}},\mathrm{sSet}](\mathrm{Sing}U,X).$$R X : U \mapsto [C^{op}, sSet](\mathbf{Sing}U, X) \,.

We check that $\mathrm{Sing}$ is also a left Quillen functor first for the global projective model structure. For that, notice that the above expression is the evaluation of the left Quillen bifunctor (see the exmaples-section there for details)

$${\int }^C(-)\cdot (-):[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}\times [C,[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}{]}_{\mathrm{inj}}\to [C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}.$$\int^C (-) \cdot (-) : [C^{op}, sSet]_{proj} \times [C, [C^{op}, sSet]_{proj}]_{inj} \to [C^{op}, sSet]_{proj} \,.

Since every representable $U$ is cofibrant in $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ and since $U\to \mathrm{Sing}U$ is a cofibration by the small object argument, we have that $\mathrm{Sing}U$ is cofibrant in $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ for all $U$. This means that also $\mathrm{Sing}(-)$ is cofibrant in $[C,[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{pro}}{]}_{\mathrm{inj}}$. Since ${\int }^C(-)\cdot (-)$ is a left Quillen bifunctor it follows that ${\int }^C(-)\cdot \mathrm{Sing}$ is a left Quillen functor. Hence it preserves cofibrations and acyclic cofibrations.

This establishes that $\mathrm{Sing}$ is a left simplicial Quillen functor on $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$.

Since this is a left proper model category we have by the discussion at simplicial Quillen adjunction that for showing that this does descend to the local model structure it is sufficient to check that the right adjoint preserves local fibrant objects. Which, in turn, is implied if $\mathrm{Sing}$ send covering Cech nerves to weak equivalences.

Let therefore $C({\coprod }_i{U}_i\to U)$ be the Cech nerve of a covering family in the site $C$. We may write this as the coend

$$C(\coprod _i{U}_i)={\int }^{[k]\in \Delta }\Delta [k]\cdot \left(\coprod _{i_0,\cdots ,i_n}{U}_{i_0,\cdots ,i_n}\right),$$C(\coprod_i U_i) = \int^{[k] \in \Delta} \Delta[k] \cdot \left( \coprod_{i_0, \cdots, i_n} U_{i_0, \cdots, i_n} \right) \,,

where by assumption on the ∞-connected site $C$ all the $U_{i_0,\cdots ,i_n}$ are representable. By precomposing the projection $C({\coprod }_i{U}_i)\to X$ with the objectwise Bousfield-Kan map that replaces the simplices with the fat simplex $\Delta :\Delta \to \mathrm{sSet}$, we get the morphisms

$$C(\coprod _i{U}_i)={\int }^{[k]\in \Delta }\Delta [k]\cdot \left(\coprod _{i_0,\cdots ,i_n}{U}_{i_0,\cdots ,i_n}\right)\stackrel{\simeq }{\to }C(\coprod _i{U}_i)\to U.$$C(\coprod_i U_i) = \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \left( \coprod_{i_0, \cdots, i_n} U_{i_0, \cdots, i_n} \right) \stackrel{\simeq}{\to} C(\coprod_i U_i) \to U \,.

Here the first map is an objectwise weak equivalence by Bousfield-Kan (see the examples at Reedy model structure for details). Hence by 2-out-of-3 we may equivalently check that $\mathrm{Sing}$ sends these morphisms to weak equivalences in $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$.

Since $\mathrm{Sing}$ commutes with all colimits and hence coends the result of applying it to this morphism is

$${\int }^{[k]\in \Delta }\Delta [k]\cdot \left(\coprod _{i_0,\cdots ,i_n}\mathrm{Sing}{U}_{i_0,\cdots ,i_n}\right)\to \mathrm{Sing}U.$$\int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \left( \coprod_{i_0, \cdots, i_n} \mathbf{Sing} U_{i_0, \cdots, i_n} \right) \to \mathbf{Sing}U \,.

Since the fat simplex is cofibrant in $[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}$ and since the above is an evaluation of the left Quillen bifunctor

$${\int }^{\Delta }(-)\cdot (-):[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}\times [{\Delta }^{\mathrm{op}},[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}{]}_{\mathrm{inj}}\to [C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$$\int^\Delta (-) \cdot (-) : [\Delta, sSet_{Quillen}]_{proj} \times [\Delta^{op}, [C^{op}, sSet]_{proj}]_{inj} \to [C^{op}, sSet]_{proj}

the functor ${\int }^{\Delta }\Delta \cdot (-)$ is left Quillen and hence preserves weak equivalences between cofibrant objects (by the factorization lemma), such as the morphisms $\mathrm{Sing}U\stackrel{\simeq }{\to }*$. Therefore we have a commuting diagram

$$\begin{array}{ccc}{\int }^{[k]\in \Delta }\Delta [k]\cdot \left(\coprod _{i_0,\cdots ,i_n}\mathrm{Sing}{U}_{i_0,\cdots ,i_n}\right)& \stackrel{\simeq }{\to }& {\int }^{[k]\in \Delta }\Delta [k]\cdot (\coprod _{i_0,\cdots ,i_n}*)\\ \downarrow & & {\downarrow }^{\simeq }\\ \mathrm{Sing}U& \stackrel{\simeq }{\to }& *\end{array},$$\array{ \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \left( \coprod_{i_0, \cdots, i_n} \mathbf{Sing} U_{i_0, \cdots, i_n} \right) &\stackrel{\simeq}{\to}& \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \left( \coprod_{i_0, \cdots, i_n} * \right) \\ \downarrow && \downarrow^{\simeq} \\ \mathbf{Sing}U &\stackrel{\simeq}{\to}& * } \,,

with weak equivalences in $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ as indicated: the top morphism is a weak equivalence by the argument just given, the bottom one by the small object argument-construction of $\mathrm{Sing}$ and the right vertical morphism is a weak equivalence by the assumption on an ∞-connected site. It follows by 2-out-of-3 that also the left vertical morphism is a weak equivalence.

This establishes the fact that $\mathrm{Sing}$ is left Quillen on the local model structure on simplicial presheaves. By the discussion at simplicial Quillen adjunction this implies that its left derived functor is a left adjoint (∞,1)-functor. Hence it preserves (∞,1)-colimits and so is determined on representatives. There $\mathrm{Sing}U\simeq *$ does coindice with $\Pi (U)\simeq *$, hence both (∞,1)-functors are equivalent.

Corollary

For all cofibrant $X\in [C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$, the de Rham coefficient object ${\Pi }_{\mathrm{dR}}X$ is presented by the ordinary pushout

$$\begin{array}{ccc}X& \to & *\\ \downarrow & & \downarrow \\ \mathrm{Sing}X& \to & {\Pi }_{\mathrm{dR}}X\end{array}$$\array{ X &\to& * \\ \downarrow && \downarrow \\ \mathbf{Sing}X &\to& \mathbf{\Pi}_{dR} X }

in $[C^{\mathrm{op}},\mathrm{sSet}]$.

Proof

By definition we have that ${\Pi }_{\mathrm{dR}}$ is the (∞,1)-pushout $\Pi (X){\coprod }_X*$ in ${\mathrm{Sh}}_{(\mathrm{\infty },1)}(C)$. By the above proposition we have a cofibrant presentation of the pushout diagram as indicated (all three objects cofibrant, at least one of the two morphisms a cofibration). By the general discussion at homotopy colimit the ordinary pushout of that diagram does compute the (∞,1)-colimit.

Homotopy localization

We discuss that thehomotopy localization of topological $\mathrm{\infty }$-groupoids reproduces Top $\simeq$ ∞Grpd, following (Dugger).

Idea

A central result about the (∞,1)-topos ${\mathrm{Sh}}_{(\mathrm{\infty },1)}(\mathrm{Top})$ of ∞-stacks on Top is that the homotopy localization is equivalent to Top itself

$${\mathrm{Sh}}_{(\mathrm{\infty },1)}(\mathrm{Top}{)}^I\simeq \mathrm{Top}.$$Sh_{(\infty,1)}(Top)^I \simeq Top \,.

A discussion of this is in (the nice but not quite finished) (Dugger).

In fact, this is true even for Lie ∞-groupoids, i.e. ∞-stacks on Diff: the homotopy invariant ones model plain topological spaces.

This provides a useful resolution of topological spaces that often helps to disentangle the two different roles played by a topological space: on the one hand as a model for an ∞-groupoid, in the other as a locale.

Details

Let $\mathrm{SPSh}(\mathrm{Diff}{)}^{\mathrm{loc}}$ be the local model structure on simplicial presheaves obtained by left Bousfield localization at the Cech nerves of Cech covers with respect to the standard Grothendieck topology on Diff. This is a model for ∞-stacks on Diff.

Let $\mathrm{SPSh}(\mathrm{Diff}{)}_I^{\mathrm{loc}}$ be furthermore the left Bousfield localization at the set of projection morphisms out of products of the form $X\times ℝ\to X$ for all $X\in \mathrm{Diff}$. The $\mathrm{\infty }$-stacks that are local objects with respect to these morphisms are the homotopy invariant $\mathrm{\infty }$-stacks, so this localization models the (∞,1)-topos of homotopy invariant $\mathrm{\infty }$-stacks on $\mathrm{Diff}$.

There is a adjunction

$$L:\mathrm{SSet}\overleftarrow{\to }\mathrm{SPSh}(\mathrm{Diff}):R$$L : SSet \stackrel{\leftarrow}{\to} SPSh(Diff) : R

where $L$ sends a simplicial set to the simplicial presheaf constant on that simplicial set, and where evaluates a simplicial presheaf on the manifold that is the point.

Theorem (Dugger)

This adjunction $(L⊣R)$ is a Quillen equivalence with respect to the standard model structure on simplicial sets on the left and the above model structure $\mathrm{SPSh}(\mathrm{Diff}{)}_{\mathrm{loc}}^I$ on the right.

Related concepts

• cohesive (∞,1)-topos

  • discrete ∞-groupoid

  • Euclidean-topological ∞-groupoid

  • smooth ∞-groupoid

  • synthetic differential ∞-groupoid

  • super ∞-groupoid

  • smooth super ∞-groupoid

  • synthetic differential super ∞-groupoid

References

Section 3.2 in

• Urs Schreiber, differential cohomology in a cohesive topos

Some discussion of the $(\mathrm{\infty },1)$-category of $(\mathrm{\infty },1)$-sheaves on the category of manifolds and its restriction to open balls and a discussion of its homotopy localization is in:

• Dan Dugger, Sheaves and homotopy theory (web, dvi, pdf)

Discussion of geometric realization of simplicial topological principal bundles and of their classifying spaces is in

• David Roberts, Danny Stevenson, Simplicial principal bundle in parameterized spaces (arXiv:1203.2460)

• Danny Stevenson, Classifying theory for simplicial parametrized groups (arXiv:1203.2461)