structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
A Euclidean-topological $\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 $\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 $\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 $ETop\infty Grpd$ classified by its internal cohomology.
Let CartSp${}_{top}$ be the site whose underlying category has as objects the Cartesian spaces $\mathbb{R}^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.
Define
to be the (∞,1)-category of (∞,1)-sheaves on $CartSp_{top}$.
The (∞,1)-topos $ETop \infty Grpf$ is a cohesive (∞,1)-topos.
The site CartSp${}_{top}$ an ∞-cohesive site. See there for details.
For completeness we record general properties of cohesive (∞,1)-toposes implied by this.
$ETop\infty Grpd$ is
of cohomological dimension 0;
of homotopy dimension 0;
of the shape of an (∞,1)-topos of the point.
We say that $ETop \infty Grpd$ defines Euclidean-topological cohesion. An object in $ETop \infty Grpd$ we call a Euclidean-topological $\infty$-groupoid.
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
with the hypercompletion of the (∞,1)-category of (∞,1)-sheaves on TopMfd.
Since every topological manifold admits an open cover by open balls homeomorphic to a Cartesian space it follows that CartSp${}_{top}$ is a dense sub-site of $TopMfd$. Accordingly the categories of sheaves are equivalent
By the discussion at model structure on simplicial sheaves it follows that the hypercomplete (∞,1)-toposes over these sites are equivalent
But by the above proposition we have that before hypercompletion $Sh_{(\infty,1)}(CartSp_{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, $Sh_{(\infty,1)}(CartSp_{top}) \simeq \hat Sh_{(\infty,1)}(CartSp_{top})$.
Write $Top_1$ for the 1-category of Hausdorff topological spaces and continuous maps. There is a canonical functor
given by sending a topological space $X$ to the 0-truncated (∞,1)-sheaf (= sheaf) on CartSp${}_{top}$ externally represented by $X$ under the embedding $CartSp_{top} \hookrightarrow Top$:
The functor $j$ exhibits TopMfd as a full sub-(∞,1)-category of $ETop\infty Grpd$
With the above proposition this follows directly by the (∞,1)-Yoneda lemma.
We dicuss some aspects of the presentation of $ETop \infty Grpd$ by model category structures.
Let $[CartSp_{top}^{op}, sSet]_{proj,loc}$ be the Cech-local projective model structure on simplicial presheaves. This is a presentation of $ETop \infty Grpd$
Also the model structure on simplicial sheaves sSh(CartSp_{{top})_{loc}
is a presentation
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 $ETop\infty Grpd$ already is hypercomplete.
Moreover:
$ETop\infty 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).
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 $CartSp_{top}$ has more fibrant objects and hence fewer cofibrant objects, while the model structure over $Mfd$ has more cofibrant objects and fewer fibrant objects. More specifically:
Let $X \in [Mfd^{op}, sSet]$ be an object that is globally fibrant , separated and locally trivial, meaning that
$X(U)$ is an inhabited Kan complex for all $U \in Mfd$;
for every covering $\{U_i \to U\}$ in Mfd the descent comparison morphism $X(U) \to [Mfd^{op}, sSet](C(\{U_i\}), X)$ is a full and faithful (∞,1)-functor;
for contractible $U$ we have $\pi_0[Mfd^{op}, sSet](C(\{U_i\}), X) \simeq *$.
Then the restriction of $X$ along $CartSp_{top} \hookrightarrow Mfd$ is a fibrant object in the local model structure $[CartSp_{top}^{op}, sSet]_{proj,loc}$.
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.
Let $G$ be a topological group, regarded as the presheaf over Mfd that it represents. Write $\bar W G$ (see the notation at simplicial group) for the simplicial presheaf on $Mfd$ given by the nerve of the topological groupoid $(G \stackrel{\to}{\to} *)$. (This is a presentation of the delooping of the 0-truncated ∞-group $G \in ETop\infty Grpd$, see the discussion below. )
The fibrant resolution of $\bar W G$ in $[Mfd^{op}, sSet]_{proj,loc}$ is (the rectification of) its stackification: the stack $G Bund$ of topological $G$-principal bundles. But the canonical morphism
is a full and faithful functor (over each object $U \in Mfd$): it includes the single object of $\bar W G$ as the trivial $G$-principal bundle. The automorphism of the single object in $\bar 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 $\bar 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 Bund(\mathbb{R}^n) \simeq *$.
Therefore $\bar W G$, when restricted $CartSp_{top}$, does become a fibrant object in $[CartSp_{top}^{op}, sSet]_{proj,loc}$.
On the other hand, let $X \in 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 $[Mfd^{op}, sSet]_{proj,loc}$. However, it fails to be cofibrant in $[CartSp_{top}^{op}, sSet]_{proj,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
in $ETop\infty Grpd$ on $X$ with coefficients in $G$, as
$\cdots \simeq \pi_0 [Mfd^{op}, sSet](X, G Bund) \simeq \pi_0 G Bund(X)$;
$\cdots \simeq \pi_0 [CartSp_{top}^{op}, sSet](C(\{U_i\}), \bar W G) \simeq H^1_{Ch}(X,G)$.
In the first case we need to construct the fibrant replacement $G 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.
We discuss what some of the general abstract Structures in a cohesive (∞,1)-topos look like in the model $ETop \infty Grpd$.
As usual, write
for the defining quadruple of adjoint (∞,1)-functors that refine the global section (∞,1)-geometric morphism to ∞Grpd.
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 $ETop\infty Grpd$ among these are the simplicial topological groups. See there for more details.
We discuss the realization of the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos in $ETop \inft Grpd$.
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 \infty Grpd$ is equivalent to the standard fundamental ∞-groupoid of a topological space that is presented by the singular simplicial complex $Sing X$
Equivalently, under geometric realization $\mathbb{L}|-| : \infty Grpd \to Top$ we have that there is a weak homotopy equivalence
By the discussion at ∞-cohesive site we have an equivalence $\Pi(-) \simeq \mathbb{L} \lim_\to$ to the derived functor of the sSet-colimit functor $\lim_\to : [CartSp^{op}, sSet]_{proj,loc} \to sSet_{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 [CartSp^{op}, 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
is a cofibrant resolution of $X$ in $[CartSp^{op}, sSet]_{proj,loc}$. Accordingly we have
Using the equivalence of categories $[CartSp^{op}, sSet] \simeq [\Delta^{op}, [CartSp^{op}, 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.
We may regard Top itself as a cohesive (∞,1)-topos. $(\Pi_{Top}\dashv Disc_{Top} \dashv \Gamma_{Top} \dashv coDisc_{Top}) Top \stackrel{\simeq}{\to} \infty 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
Let $X_\bullet$ be a good simplicial topological space that is degreewise paracompact and degreewise admits a good open cover, regarded naturally as an object $X_\bullet \in Top^{\Delta^{op}} \to ETop \infty Grpd$.
We have that the intrinsic $\Pi(X_\bullet) \in \infty Grpd$ coincides under geometric realization $\mathbb{L}|-| : \infty Grpd \stackrel{\simeq}{\to} Top$ with the ordinary geometric realization of simplicial topological spaces $|X_\bullet|_{Top^{\Delta^{op}}}$
Write $Q$ for Dugger’s cofibrant replacement functor on $[CartSp^{op}, sSet]_{proj,loc}$ (discussed at model structure on simplicial presheaves). On a simplicially constant simplicial presheaf $X$ it is given by
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_\bullet$ it is given by
which is the simplicial presheaf that over any $\mathbb{R}^n \in 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} CartSp_{top}(\mathbb{R}^n,U_0)$.
Since coends are special colimits, the colimit functor itself commutes with them and we find
By the discussion at Reedy model structure this coend is a homotopy colimit over the simplicial diagram $\lim_\to Q X_\bullet : \Delta \to sSet_{Quillen}$
By the above proposition we have for each $k \in \mathbb{N}$ weak equivalences $\lim_\to Q X_k \simeq (\mathbb{L} \lim_\to) X_k \simeq Sing X_k$, so that
By the discussion at geometric realization of simplicial topological spaces, this maps to the homotopy colimit of the simplicial topological space $X_\bullet$, which is just its geometric realizaiton if it is proper.
We discuss the notion of geometric path ∞-groupoids realized in $ETop\infty Grpd$.
In the above constructions of $\Pi(X)$ the actual paths are not explicit. We discuss here presentations of $\mathbf{\Pi}(X)$ in terms of actual paths.
By prop. 1 we have
Let $X$ be a a paracompact topological space, regarded as an object of $ETop\infty Grpd$. Then $\mathbf{\Pi}(X)$ is presented by the constant simplicial presheaf
Possibly more natural would seem to look at the topological Kan complex that remembers the topology on the spaces of paths:
For $X$ a paracompact topological space, define the simplicial presheaf
Also $\mathbf{Sing} X$ is a presentation of $\mathbf{\Pi}(X)$
For each fixed $U \in CartSp$ the inclusion of simplicial sets
is a weak homotopy equivalence, since $U \in CartSp$ is contractible.
Therefore the inclusion of simplicial presheaves
is a weak equivalence in $[CartSp^{op}, sSet]_{proj}$. This implies the claim with prop. 3.
Typically one is interested in mapping out of $\mathbf{\Pi}(X)$. While it is clear that $Disc Sing X$ is cofibrant in $[CartSp^{op}, sSet]_{proj,loc}$, it is harder to determine the necessary resolutions of $\mathbf{Sing}X$.
We dicuss aspects of the intrinsic cohomology of $E Top \infty Grpd$ and of the principal ∞-bundles that it classifies.
Let $A \in$ ∞Grpd be any discrete ∞-groupoid. Write $|A| \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 |A|$
We say $Top(X,|A|)$ itself is the cocycle ∞-groupoid for $A$-valued nonabelian cohomology on $X$.
Similarly, for $X, \mathbf{A} \in ETop \infty Grpd$ two e-topological $\infty$-groupoids, write
for the intrinsic cohomology of $ETop \infty Grpd$ on $X$ with coefficients in $\mathbf{A}$.
Let $A \in$ ∞Grpd, write $Disc A \in ETop \infty Grpd$ for the corresponding discrete topological ∞-groupoid. Let $X \in Top_1 \stackrel{i}{\hookrightarrow} ETop \infty Grpd$ be a paracompact topological space regarded as a 0-truncated Euclidean-topological $\infty$-groupoid.
We have an isomorphism of cohomology sets
and in fact an equivalence of cocycle ∞-groupoids
By the $(\Pi \dashv Disc)$-adjunction of the locally ∞-connected (∞,1)-topos $ETop \infty Grpd$ we have
From this the claim follows by the above proposition.
Let $G$ be a well-pointed simplicial topological group degreewise in TopMfd. Then the $(\infty,1)$-functor $\Pi : \mathrm{ETop}\infty\mathrm{Grpd} \to \infty \mathrm{Grpd}$ preserves homotopy fibers of all morphisms of the form $X \to \mathbf{B}G$ that are presented in $[\mathrm{CartSp}_{\mathrm{top}}^{\mathrm{op}}, \mathrm{sSet}]_{proj}$ by morphism of the form $X \to \bar W G$ with $X$ fibrant.
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 $Q X \stackrel{\simeq}{\to} X$ for the global cofibrant resolution given by $Q X : [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
By the discussion at geometric realization of simplicial topological spaces we have that the rightmost vertical morphism is a fibration in $[CartSp_{top}^{op}, sSet]_{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 \bar W G$. Hence so is $P'$, 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 $|-|$. By the discussion of realization of simplicial principal bundles there, we have a pullback in $\mathrm{Top}_{\mathrm{Quillen}}$
which exhibits $|P|$ as the homotopy fiber of $|Q X| \to |\bar W G|$. But this is a model for $|\Pi(X \to \bar W G)|$.
See twisted bundle .
We discuss geometric Whitehead towers in $ETop\infty Grpd$.
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 $|\Pi(-)|$ of its geometric Whitehead tower $X^{\mathbf{(\infty)}} \to \cdots X^{\mathbf{(2)}} \to X^{\mathbf{(1)}} \to X^{\mathbf{(0)}} = X$ in $ETop \infty Grpd$:
By the general discussion at Whitehead tower in an (∞,1)-topos the geometric Whitehead tower is characterized for each $n$ by the fiber sequence
By the above proposition on the fundamental ∞-groupoid we have that $\mathbf{\Pi}_n(X) \simeq Disc Sing X$. Since $Disc$ is right adjoint and hence preserves homotopy fibers this implies that $\mathbf{B} \mathbf{\pi}_n(X) \simeq \mathbf{B}^n 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 $|\Pi(-)|$ the space $X^{\mathbf{(n)}}$ maps to the homotopy fiber of $|\Pi(X^{\mathbf{(n-1)}})| \to B^n |Disc \pi_n(X)| = B^n \pi_n(X)$.
By induction over $n$ this implies the claim.
Let $C$ be an ∞-connected site. We give an explicit presentation of the constant path inclusion $X \to \mathbf{\Pi}(X)$ in the locally ∞-connected (∞,1)-topos over $C$ such that the component maps are cofibrations.
The projective model structure on simplicial presheaves $[C^{op}, sSet]_{proj}$ has a set of generating cofibrations
See model structure on functors for details.
Write
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
Let
be the Yoneda extension (left Kan extension through the Yoneda embedding) of this functor to all of $[C^{op}, sSet]$.
For $U \in C$ the simplicial presheaf $\mathbf{Sing}U$ is a resolution of the (nerve of the) fundamental groupoid $\Pi_1(U)$:
the non-degenerate components of $\mathbf{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
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 $\mathbf{Sing}U$ indeed is an $\infty$-groupoid of paths in $U$.
The functor $\mathbf{Sing}$ is the left adjoint of a Quillen adjunction
Its left derived functor is equivalent to the intrinsic fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos
and the constant path inclusion $Id \to \Pi$ is presented by the canonical natural transformation $Id \to \mathbf{Sing}$.
On an arbitrary simplicial presheaf $X$ the functor $\mathbf{Sing}$ is given by the coend
By construction this preserves all colimits. Hence by the adjoint functor theorem (using that domain and codomain are presheaf categories) we have that $\mathbf{Sing}$ is a left adjoint. Explicitly, the right adjoint is given by
We check that $\mathbf{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 examples-section there for details)
Since every representable $U$ is cofibrant in $[C^{op}, sSet]_{proj}$ and since $U \to \mathbf{Sing}U$ is a cofibration by the small object argument, we have that $\mathbf{Sing}U$ is cofibrant in $[C^{op}, sSet]_{proj}$ for all $U$. This means that also $\mathbf{Sing}(-)$ is cofibrant in $[C, [C^{op}, sSet]_{pro}]_{inj}$. Since $\int^C (-) \cdot (-)$ is a left Quillen bifunctor it follows that $\int^C (-)\cdot \mathbf{Sing}$ is a left Quillen functor. Hence it preserves cofibrations and acyclic cofibrations.
This establishes that $\mathbf{Sing}$ is a left simplicial Quillen functor on $[C^{op}, sSet]_{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 $\mathbf{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
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 $\mathbf{\Delta} : \Delta \to sSet$, we get the morphisms
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 $\mathbf{Sing}$ sends these morphisms to weak equivalences in $[C^{op}, sSet]_{proj}$.
Since $\mathbf{Sing}$ commutes with all colimits and hence coends the result of applying it to this morphism is
Since the fat simplex is cofibrant in $[\Delta, sSet_{Quillen}]_{proj}$ and since the above is an evaluation of the left Quillen bifunctor
the functor $\int^\Delta \mathbf{\Delta} \cdot (-)$ is left Quillen and hence preserves weak equivalences between cofibrant objects (by the factorization lemma), such as the morphisms $\mathbf{Sing}U \stackrel{\simeq}{\to} *$. Therefore we have a commuting diagram
with weak equivalences in $[C^{op}, sSet]_{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 $\mathbf{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 $\mathbf{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 $\mathbf{Sing} U \simeq *$ does coindice with $\Pi(U) \simeq *$, hence both (∞,1)-functors are equivalent.
For all cofibrant $X \in [C^{op}, sSet]_{proj,loc}$, the de Rham coefficient object $\mathbf{\Pi}_{dR} X$ is presented by the ordinary pushout
in $[C^{op}, sSet]$.
By definition we have that $\mathbf{\Pi}_{dR}$ is the (∞,1)-pushout $\mathbf{\Pi}(X) \coprod_X *$ in $Sh_{(\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.
We discuss that thehomotopy localization of topological $\infty$-groupoids reproduces Top $\simeq$ ∞Grpd, following (Dugger).
A central result about the (∞,1)-topos $Sh_{(\infty,1)}(Top)$ of ∞-stacks on Top is that the homotopy localization is equivalent to Top itself
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.
Let $SPSh(Diff)^{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 $SPSh(Diff)^{loc}_I$ be furthermore the left Bousfield localization at the set of projection morphisms out of products of the form $X \times \mathbb{R} \to X$ for all $X \in Diff$. The $\infty$-stacks that are local objects with respect to these morphisms are the homotopy invariant $\infty$-stacks, so this localization models the (∞,1)-topos of homotopy invariant $\infty$-stacks on $Diff$.
There is a adjunction
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.
This adjunction $(L \dashv R)$ is a Quillen equivalence with respect to the standard model structure on simplicial sets on the left and the above model structure $SPSh(Diff)_{loc}^I$ on the right.
Euclidean-topological ∞-groupoid
Section 3.2 in
Some discussion of the $(\infty,1)$-category of $(\infty,1)$-sheaves on the category of manifolds and its restriction to open balls and a discussion of its homotopy localization is in:
Discussion of geometric realization of simplicial topological principal bundles and of their classifying spaces is in