Extended \'etale homotopy groups from profinite Galois categories

TL;DR

This paper introduces a method to reconstruct extended étale homotopy groups of coherent schemes using their profinite Galois categories, linking spectral topos theory with algebraic geometry.

Contribution

It establishes a connection between protruncated shapes of spectral ∞-topoi and profinite stratified shapes, enabling the reconstruction of non-profinite étale homotopy groups.

Findings

Protruncated shape is a delocalization of profinite stratified shape.

Extended étale homotopy groups can be reconstructed from profinite Galois categories.

Provides a new perspective linking spectral topos theory with algebraic geometry.

Abstract

In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended \'etale homotopy groups (i.e., the non-profinitely complete \'etale homotopy groups) of a coherent scheme from its profinite Galois category.

Equations

$${}_X:{\Pi }^{\text{eˊt}}(X)\to H(\mathrm{Gal}(X))to0.0pt.\text{hss}$$

$${}_n^{\text{eˊt}}(X,x)\text{similarrightarrow}{}_n(H(\mathrm{Gal}(X)),x)to0.0pt,\text{hss}$$

$$C=\mathrm{Spec}(\text{mathbfit}C[x,y]/(y^2-x^2(x+1))$$

$$(\text{mathbfit}C[u,v]/(uv){)}_{(u,v)}to0.0pt.\text{hss}$$

$$\widetilde{(-)}:\mathrm{Pro}(\text{Str})\text{similarrightarrow}{\text{StrTop}}^{\text{spec}}$$

$$\mathrm{Pro}(\text{Str})$$

$$H$$

$${}_C:\Pi (\tilde{C})\to H(C)$$

$${}_{<\infty }{}_C:{}_{<\infty }\Pi (\tilde{C})\to {}_{<\infty }H(C)$$

$${}_{<\infty }\Pi :{\text{Top}}^{\text{bc}}\to \mathrm{Pro}({\text{Spc}}_{<\infty })$$

$$\Pi (\mathrm{Fun}(C,\text{Spc}))={\Gamma }_{!}(1_{\mathrm{Fun}(C,\text{Spc})})={\mathrm{colim}}_C{1}_{\text{Spc}}\simeq H(C)to0.0pt.\text{hss}$$

$$\mathrm{Fun}(-,\text{Spc})$$

$${}_{<\infty }\Pi (\text{mathbfit}{X}^{\text{hyp}})\text{similarrightarrow}{}_{<\infty }\Pi (\text{mathbfit}X)$$

$$C$$

$${}_{<\infty }:C\to \mathrm{Pro}(C_{<\infty })$$

$${}_{<\infty }\Pi :{\text{Top}}^{\text{bc}}\to \mathrm{Pro}({\text{Spc}}_{<\infty })$$

$${}_{i,\ast }:{\lim }_{j\in I}\text{mathbfit}{X}_j\to \text{mathbfit}{X}_i$$

$$\underset{i\in I^{\text{op}}}{\mathrm{colim}}{\Gamma }_{i,\ast }{\Gamma }_i\to \Gamma \Gamma$$

$$\underset{i\in I^{\text{op}}}{\mathrm{colim}}{f}_{i,\ast }{f}_i\to {}_{1,\ast }{}_1$$

$$\underset{i\in I^{\text{op}}}{\mathrm{colim}}{\Gamma }_{i,\ast }{\Gamma }_i(K)$$

$$\text{similarrightarrow}{\Gamma }_{1,\ast }\left(\underset{i\in I^{\text{op}}}{\mathrm{colim}}{f}_{i,\ast }{f}_i{\Gamma }_1(K)\right)$$

$$\simeq {\Gamma }_{1,\ast }\text{smwhtcircle}\left(\underset{i\in I^{\text{op}}}{\mathrm{colim}}{f}_{i,\ast }{f}_i\right)\text{smwhtcircle}{\Gamma }_1(K)$$

$$\text{similarrightarrow}{\Gamma }_{1,\ast }\text{smwhtcircle}{}_{1,\ast }{}_1\text{smwhtcircle}{\Gamma }_1(K)$$

$$\simeq \Gamma \Gamma (K)to0.0pt.\text{hss}\text{qed}$$

$$\widetilde{(-)}:\mathrm{Pro}(\text{Str})\text{similarrightarrow}{\text{StrTop}}^{\text{spec}}$$

$${\text{StrTop}}^{\text{spec}}$$

$${}_C:\Pi (\tilde{C})\to H(C)$$

$${}_{<\infty }{}_C:{}_{<\infty }\Pi (\tilde{C})\to {}_{<\infty }H(C)$$

Full text

1. Introduction

2. 1 Preliminaries on shapes & protruncated spaces

3. Review of shape theory

4. Protruncated objects

5. 2 Limits & the protruncated shape

6. Proof of the Main Theorem

7. References

Introduction

Let $X$ be a coherent (i.e., quasicompact quasiseparated) scheme. In recent work with Clark Barwick and Saul Glasman [6], we constructed a delocalization of the profinite completion of the Artin–Mazur–Friedlander étale homotopy type of $X$ \citesMR0245577MR676809. We call this delocalization the profinite Galois category $\operatorname{Gal}(X)$ of $X$. The profinite Galois category $\operatorname{Gal}(X)$ is pro-object in finite categories, or, equivalently, a category object in profinite topological spaces \citesBarwick:galperf[p. 5 & Construction 13.5]exodromy. The underling category of $\operatorname{Gal}(X)$ has objects geometric points of $X$ and morphisms specalizations in the étale topology (i.e., is the category of points of the étale topos of $X$). Concretely, given geometric points ${x}\rightarrow{X}$ and ${y}\rightarrow{X}$, a morphism ${x}\rightarrow{y}$ in $\operatorname{Gal}(X)$ is a lift ${y}\rightarrow{X_{(x)}}$ of the geometric point ${y}\rightarrow{X}$ to the strict localization $X_{(x)}$ of $X$ at $x$. The topology on $\operatorname{Gal}(X)$ globalizes the profinite topology on the absolute Galois group $\operatorname{Gal}(\kappa(x_{0})^{\textit{sep}}/\kappa(x_{0}))$ of the residue field $\kappa(x_{0})$ at each point $x_{0}\in X$.

From the profinite category $\operatorname{Gal}(X)$ we can extract a prospace $H(\operatorname{Gal}(X))$ by formally inverting all morphisms. Our delocalization result [6, Examples 11.6 & 13.6] says that $H(\operatorname{Gal}(X))$ and the étale homotopy type of $X$ become (canonically) equivalent after profinite completion. In this note we provide a stronger relationship between the prospace $H(\operatorname{Gal}(X))$ and the étale homotopy type: they agree up to protruncation. Morphisms in the -category $\operatorname{Pro}(\textbf{{Spc}})$ of prospaces that induce equivalences after protruncation are precisely those morphisms that become -isomorphisms in the category $\operatorname{Pro}(h\textbf{{Spc}})$, in the terminology of Artin–Mazur [4, Definition 4.2].

A Theorem**.**

Let $X$ be a coherent scheme and write $\mathit{\Pi}^{\textit{ét}}(X)\in\operatorname{Pro}(\textbf{{Spc}})$ for the étale homotopy type of $X$. Then there is a natural natural map of prospaces

[TABLE]

Moreover, X induces an equivalence on protruncations. As a consequence:

• –

For each integer $n\geq 1$ and geometric point ${x}\rightarrow{X}$, we have canonical isomorphisms of progroups

[TABLE]

where ${}_{n}^{\textit{ét}}(X,x)$ is the $n$th homotopy progroup of the étale homotopy type of $X$.

• –

*For any ring $R$, there is an equivalence of *-categories between local systems of $R$-modules on $X$ that are uniformly bounded both below and above and continuous functors ${\operatorname{Gal}(X)}\rightarrow{D^{b}(R)}$ that carry every morphism to an equivalence.

The progroups ${}_{n}^{\textit{ét}}(X,x)$ are what we call the extended étale homotopy groups of $X$. Note that the progroup ${}_{1}^{\textit{ét}}(X,x)$ is the groupe fondamentale élargi of [12, Exposé X, §6]; the usual étale fundamenal group of [11, Exposé V, §7] is the profinite completion of ${}_{1}^{\textit{ét}}(X,x)$.

While the protruncated étale homotopy type of a connected Noetherian geometrically unibranch scheme is already profinite \cites[Theorem 11.1]MR0245577[Theorem 7.3]MR676809[Theorem 3.6.5]DAGXIII, in general Theorem A provides more refined information about the étale homotopy type, as illustrated in the following example.

B Example**.**

Consider the nodal cubic curve

[TABLE]

over the complex numbers. The Riemann Existence Theorem \cites[Theorem 12.9]MR0245577[Proposition 4.12]Carchedi:higheretale[Theorem 8.6]MR676809 implies that the profinite completion of the étale homotopy type of $C$ is equivalent to the profinite completion of the circle $S^{1}$. It is well-known that, in fact, the protruncation of the étale homotopy type of $C$ is $S^{1}$; Theorem A provides an easy ‘categorical’ explanation of this fact.

There is a continuous functor from $\operatorname{Gal}(C)$ to the poset category $\{0<1\}$ given by sending the node point to [math] and every other geometric point to $1$. The local ring $O_{C,(x,y)}$ at the node point has two prime ideals and the strict Henselization of $O_{C,(x,y)}$ is isomorphic to the strict Henselization of

[TABLE]

Using this one sees that there are two lifts of the generic geometric point of $C$ to the strict localization of $C$ at the node. Hence the continuous functor ${\operatorname{Gal}(C)}\rightarrow{\{0<1\}}$ factors through the category $D$ with two objects [math] and $1$ and two distinct morphisms ${0}\rightrightarrows{1}$. Moreover, the functor ${\operatorname{Gal}(C)}\rightarrow{D}$ induces an equivalence on underlying homotopy types: the prospace $H(\operatorname{Gal}(C))$ is equivalent to $H(D)\simeq S^{1}$. Theorem A now shows that the protruncation of the étale homotopy type of the nodal cubic is $S^{1}$.

We relate the étale homotopy type and profinite Galois category of a coherent scheme by situating the problem in a more general context. In [6] we provided an equivalence of -categories

[TABLE]

between the -category of profinite stratified spaces (on the left) and the -category of spectral stratified -topoi (on the right) [6, Theorem 10.10]. The primary example of a spectral stratified -topos is the étale -topos $X_{\textit{ét}}$ of a coherent scheme $X$ with its natural stratification by the Zariski space of $X$ [6, Example 10.6]. The corresponding profinite stratified space is the profinite Galois category $\operatorname{Gal}(X)$ [6, Construction 13.5].

The equivalence $\operatorname{Pro}(\textbf{{Str}})\simeq\textbf{{StrTop}}^{\textit{spec}}$ provides a way to reconstruct the prospace given by the shape of the étale -topos of a coherent scheme $X$111This is, up to protruncation, the Artin–Mazur–Friedlander étale homotopy type of $X$; see [10, §5], which we recall in Examples 1.6 and 1.9. from its profinite Galois category $\operatorname{Gal}(X)$, via the composite

[TABLE]

where the middle functor functor forgets the stratification, and is the shape (see 1.3). There’s another functor $H\colon{\operatorname{Pro}(\textbf{{Str}})}\rightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ that doesn’t require the use of -topoi, namely, the extension to pro-objects of the composite

[TABLE]

where the first functor forgets the stratification and the second functor sends an -category $C$ to the homotopy type $H(C)$ obtained by inverting every morphism in $C$. It follows formally that these two functors agree on Str. Moreover, as the extension to pro-objects of a functor Str****Spc, the functor $H\colon{\operatorname{Pro}(\textbf{{Str}})}\rightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ preserves inverse limits. Thus we have a map

[TABLE]

natural in $C\in\operatorname{Pro}(\textbf{{Str}})$. In this note we prove that this map is an equivalence after protruncation:

C Theorem** (Theorem 2.5).**

Let $\textbf{{Spc}}_{<\infty}\subset\textbf{{Spc}}$ denote the -category of truncated spaces, and write ${}_{<\infty}\colon{\operatorname{Pro}(\textbf{{Spc}})}\rightarrow{\operatorname{Pro}(\textbf{{Spc}}_{<\infty})}$ for the left adjoint to the inclusion. For any profinite stratified space $C$, the natural map

[TABLE]

of protruncated spaces is an equivalence.

In light of [6, Construction 13.5], Theorem A is immediate from Theorem C.

Since the functor $H$ and the shape agree on Str and both $H$ and < preserve inverse limits, by the universal property of the -category of pro-objects, Theorem C follows once we know that the the protruncated shape < preserves inverse limits. The forgetful functor ${\textbf{{StrTop}}^{\textit{spec}}}\rightarrow{\textbf{{Top}}}$ factors through the subcategory $\textbf{{Top}}^{\textit{bc}}\subset\textbf{{Top}}$ of bounded coherent -topoi and coherent geometric morphisms. Theorem C thus reduces to the following fact.

D Theorem** (Proposition 2.2).**

The protruncated shape

[TABLE]

preserves inverse limits.

In §​ 1 we review the necessary background on pro-objects and shape theory. The familiar reader should skip straight to §​ 2 where we prove Theorems C and D.

Acknowledgments**.**

We thank Clark Barwick for his guidance and sharing his many insights about this material. We also gratefully acknowledge support from both the mit Dean of Science Fellowship and nsf Graduate Research Fellowship.

1 Preliminaries on shapes & protruncated spaces

In this section we review -categories of pro-objects and shape theory for -topoi. We then record some facts about protruncations that we’ll need.

Review of shape theory

1.1**.**

We say that a small -category $I$ is inverse if the opposite -category $I^{\textit{op}}$ is filtered. An inverse system in an -category $C$ is a functor ${I}\rightarrow{C}$, where $I$ is an inverse -category. An inverse limit is a limit of an inverse system.

Let $C$ be an -category. We write $\operatorname{Pro}(C)$ for the -category of pro-objects in $C$ obtained by freely adjoining inverse limits to $C$, and $j\colon{C}\rightarrow{\operatorname{Pro}(C)}$ for the Yoneda embedding. We say that a pro-object $X\in\operatorname{Pro}(C)$ is constant if $X$ lies in the essential image of $j\colon{C}\rightarrow{\operatorname{Pro}(C)}$. If $X\colon{I}\rightarrow{C}$ is an inverse system, we write $\{X_{i}\}_{i\in I}\coloneq\lim_{i\in I}j(X_{i})$ for the pro-object it defines.

If $C$ is accessible and admits finite limits, then $\operatorname{Pro}(C)$ is equivalent to the full subcategory of $\operatorname{Fun}(C,\textbf{{Spc}})^{\textit{op}}$ spanned by the left exact accessible functors [3, Proposition A.8.1.6]. Let $f\colon{C}\rightarrow{D}$ be a left exact accessible functor between accessible -categories which admit small limits. Then the functor $f\colon{\operatorname{Pro}(C)}\rightarrow{\operatorname{Pro}(D)}$ admits a left adjoint $L\colon{\operatorname{Pro}(D)}\rightarrow{\operatorname{Pro}(C)}$ [3, Example A.8.1.8]. We refer to $L\smwhtcircle j\colon{D}\rightarrow{\operatorname{Pro}(C)}$ as the pro-left adjoint of $f$.

1.2 Notation**.**

We write Cat for the -category of -categories and Spc****Cat for the full subcategory spanned by the -groupoids, i.e., the -category of spaces.

We write Top****Cat for the -category of -topoi and geometric morphisms. For any -topos $\mathbfit{X}$, we write $\mathit{\Gamma}_{\mathbfit{X},\ast}$ or for the global sections geometric morphism, which is the essentially unique geometric morphism ${\mathbfit{X}}\rightarrow{\textbf{{Spc}}}$.

1.3 Definition**.**

The shape $\mathit{\Pi}\colon{\textbf{{Top}}}\rightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ is the left adjoint to the extension to pro-objects of the fully faithful functor Spc****Top given by ${K}\mapsto{\operatorname{Fun}(K,\textbf{{Spc}})}$ [3, §E.2.2]. The shape admits two other very useful descriptions:

• –

Let $\mathbfit{X}$ be an -topos, and write $\mathit{\Gamma}_{!}\colon{\mathbfit{X}}\rightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ for the pro-left adjoint of $\mathit{\Gamma}\colon{\textbf{{Spc}}}\rightarrow{\mathbfit{X}}$. The shape of $\mathbfit{X}$ is equivalent to the prospace $\mathit{\Gamma}_{!}(1)$, where $1\in\mathbfit{X}$ denotes the terminal object \cites[Remark A.1.10]HA[§2]MR3763287.

• –

As a left exact accessible functor Spc****Spc, the prospace $\mathit{\Pi}(\mathbfit{X})$ is the composite \cites[§7.1.6]HTT[§2]MR3763287.

1.4 Notation**.**

We write $H\colon{\textbf{{Cat}}}\rightarrow{\textbf{{Spc}}}$ for the left adjoint to the inclusion. The -groupoid $H(C)$ is given by the colimit $H(C)\simeq\operatorname*{colim}_{C}1_{\textbf{{Spc}}}$ of the constant diagram ${C}\rightarrow{\textbf{{Spc}}}$ at the terminal object $1_{\textbf{{Spc}}}\in\textbf{{Spc}}$.

1.5 Example**.**

If $C$ is a small -category, then $\mathit{\Gamma}\colon{\textbf{{Spc}}}\rightarrow{\operatorname{Fun}(C,\textbf{{Spc}})}$ admits a genuine left adjoint $\mathit{\Gamma}_{!}\colon{\operatorname{Fun}(C,\textbf{{Spc}})}\rightarrow{\textbf{{Spc}}}$ given by taking the colimit of a diagram ${C}\rightarrow{\textbf{{Spc}}}$. The shape of the -topos $\operatorname{Fun}(C,\textbf{{Spc}})$ is thus given by the colimit of the constant diagram at the terminal object of Spc:

[TABLE]

Moreover, the functor $H\colon{\textbf{{Cat}}}\rightarrow{\textbf{{Spc}}}$ is equivalent to the composite

[TABLE]

1.6 Example** ([10, Corollary 5.6]).**

If $X$ is a locally Noetherian scheme, then the Artin–Mazur–Friedlander étale homotopy type of $X$ corepresents the shape of the hypercomplete222See [1, §6.5.2] for a treatment of hypercomplete -topoi. étale -topos $X_{\textit{ét}}^{\textit{hyp}}$ of $X$.

The shape of the étale -topos $X_{\textit{ét}}$ of $X$ agrees with the Artin–Mazur-Friedlander étale homotopy type up to protruncation (Example 1.9), to which we now turn.

Protruncated objects

In this subsection, we recall some facts about protruncated objects and record an interesting observation (Lemma 1.11) that we couldn’t locate in the literature.

1.7 Notation**.**

Let $C$ be a presentable -category. For each integer $n\geq-2$, write $C_{\leq n}\subset C$ for the full subcategory spanned by the $n$-truncated objects, and ${}_{\leq n}\colon{C}\rightarrow{C_{\leq n}}$ for the $n$-truncation functor, which is left adjoint to the inclusion $C_{\leq n}\subset C$ [1, Proposition 5.5.6.18]. Write $C_{<\infty}\subset C$ for the full subcategory spanned by those objects which are $n$-truncated for some integer $n\geq-2$.

The pro-$n$-truncation functor ${}_{\leq n}\colon{\operatorname{Pro}(C)}\rightarrow{\operatorname{Pro}(C_{\leq n})}$ is the extension of the $n$-truncation functor ${}_{\leq n}\colon{C}\rightarrow{C_{\leq n}}$ to pro-objects.

1.8**.**

Let $C$ be a presentable -category. Then the extension to pro-objects of the functor ${C}\rightarrow{\operatorname{Pro}(C_{<\infty})}$ given by sending an object $X\in C$ to the inverse system given by its Postnikov tower $\{{}_{\leq n}(X)\}_{n\geq-2}$ is left adjoint to the inclusion ${\operatorname{Pro}(C_{<\infty})}\hookrightarrow{\operatorname{Pro}(C)}$. We call this left adjoint ${}_{<\infty}\colon{\operatorname{Pro}(C)}\rightarrow{\operatorname{Pro}(C_{<\infty})}$ protruncation.

A morphism of pro-objects $f\colon{X}\rightarrow{Y}$, regarded as left exact accessible functors ${C}\rightarrow{\textbf{{Spc}}}$, is an equivalence after protuncation if and only if for every truncated object $K\in C_{<\infty}$, the induced morphism $f(K)\colon{X(K)}\rightarrow{Y(K)}$ is an equivalence.

1.9 Example**.**

Since truncated objects are hypercomplete, for any -topos $\mathbfit{X}$, the inclusion ${\mathbfit{X}^{\textit{hyp}}}\hookrightarrow{\mathbfit{X}}$ of the -topos of hypercomplete objects of $\mathbfit{X}$ induces an equivalence

[TABLE]

on protruncated shapes. In light of Example 1.6, the shape of the étale -topos of a locally Noetherian scheme $X$ agrees with the Artin–Mazur–Friedlander étale homotopy type of $X$ after protruncation.

For an arbitrary scheme $X$, we simply refer to the shape $\mathit{\Pi}(X_{\textit{ét}})$ of the étale -topos $X_{\textit{ét}}$ of $X$ as the étale homotopy type of $X$.

1.10**.**

Let $C$ be a presentable -category. The essentially unique functor ${\operatorname{Pro}(C)}\rightarrow{C}$ that perserves inverse limits and restricts to the identity ${C}\rightarrow{C}$ is right adjoint to the Yoneda embedding $j\colon{C}\hookrightarrow{\operatorname{Pro}(C)}$ [3, Example A.8.1.7]. Hence we have adjunctions

[TABLE]

If Postnikov towers converge in $C$, i.e., $C$ is a Postnikov complete presentable -category [3, Definition A.7.2.1], then the composite right adjoint is also fully faithful:

1.11 Lemma**.**

Let $C$ be a Postnikov complete presentable -category (e.g., a Postnikov complete -topos). Then the protruncation functor

[TABLE]

is fully faithful. Moreover, the essential image of ${}_{<\infty}\colon{C}\hookrightarrow{\operatorname{Pro}(C_{<\infty})}$ is the full subcategory spanned by those protruncated objects $X$ such that for each integer $n\geq-2$, the pro-$n$-truncation ${}_{\leq n}(X)\in\operatorname{Pro}(C_{\leq n})$ is a constant pro-object.

1.12**.**

Composing the fully faithful functor ${}_{<\infty}\colon{\textbf{{Spc}}}\hookrightarrow{\operatorname{Pro}(\textbf{{Spc}}_{<\infty})}$ with the inclusion ${\operatorname{Pro}(\textbf{{Spc}}_{<\infty})}\hookrightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ gives another embedding of spaces into prospaces: for a space $K$, the natural morphism of prospaces ${j(K)}\rightarrow{{}_{<\infty}(K)}$ is an equivalence if and only if $K$ is truncated. Unlike the Yoneda embedding, the functor ${}_{<\infty}\colon{\textbf{{Spc}}}\hookrightarrow{\operatorname{Pro}(\textbf{{Spc}})}$ is neither a left nor a right adjoint.

2 Limits & the protruncated shape

The shape does not preseve inverse limits, even of bounded coherent -topoi. In this section we prove that, nevertheless, the protruncated shape preserves inverse limits of bounded coherent -topoi. Our main theorem (Theorem 2.5) is an easy consequence.

2.1 Notation**.**

Write $\textbf{{Top}}^{\textit{bc}}\subset\textbf{{Top}}$ for the subcategory of bounded coherent -topoi and coherent geometric morphisms \cites[Definitions A.2.0.12 & A.7.1.2]SAG[Definition 5.28]exodromy.

2.2 Proposition**.**

The protruncated shape

[TABLE]

preserves inverse limits.

Proof.

Let $\mathbfit{X}\colon{I}\rightarrow{\textbf{{Top}}^{\textit{bc}}}$ be an inverse system of bounded coherent -topoi and coherent geometric morphisms. For each $i\in I$, the forgetful functor ${I_{/i}}\rightarrow{I}$ is limit-cofinal [1, Example 5.4.5.9 & Lemma 5.4.5.12], so we may without loss of generality assume that $I$ admits a terminal object $1$. For each $i\in I$, write

[TABLE]

for the projection, $\mathit{\Gamma}_{i,\ast}\coloneq\mathit{\Gamma}_{\mathbfit{X}_{i},\ast}$, and $f_{i,\ast}\colon{\mathbfit{X}_{i}}\rightarrow{\mathbfit{X}_{1}}$ for the geometric morphism induced by the essentially unique morphism ${i}\rightarrow{1}$ in $I$. Write $\mathit{\Gamma}\colon{\lim_{j\in I}\mathbfit{X}_{j}}\rightarrow{\textbf{{Spc}}}$ for the global sections geometric morphism.

We want to show that the natural morphism

[TABLE]

in $\operatorname{Fun}(\textbf{{Spc}},\textbf{{Spc}})$ is an equivalence when restricted to truncated spaces 1.8. By [6, Lemma 8.11] the natural morphism

[TABLE]

is an equivalence in $\operatorname{Fun}(\mathbfit{X}_{1},\mathbfit{X}_{1})$. Since $\mathbfit{X}_{1}$ is bounded coherent, the global sections functor $\mathit{\Gamma}_{1,\ast}\colon{\mathbfit{X}_{1}}\rightarrow{\textbf{{Spc}}}$ preserves filtered colimits of uniformly truncated objects \cites[Proposition A.2.3.1]SAG[Corollary 5.55]exodromy. Thus for any truncated space $K$ we see that

[TABLE]

Proof of the Main Theorem

We now prove the main result of this note. Recall that we write

[TABLE]

for the equivalence of -categories of [6, Theorem 10.10].

2.3 Lemma**.**

The square

[TABLE]

commutes.

Proof.

By the definition of the equivalence ${\operatorname{Pro}(\textbf{{Str}})}\similarrightarrow{\textbf{{StrTop}}^{\textit{spec}}}$ of [6, Theorem 10.10], the following square commutes

[TABLE]

where the vertical functors forget stratifications. Combining this with Example 1.5 proves the claim. ∎

2.4**.**

Since the extension of $H\colon{\textbf{{Str}}}\rightarrow{\textbf{{Spc}}}$ to pro-objects preserves inverse limits, Lemma 2.3 shows that we have a morphism of prospaces

[TABLE]

natural in $C\in\operatorname{Pro}(\textbf{{Str}})$.

2.5 Theorem**.**

For any profinite stratified space $C$, the natural map

[TABLE]

of protruncated spaces is an equivalence.

Proof.

Since the forgetful functor ${\textbf{{StrTop}}^{\textit{spec}}}\rightarrow{\textbf{{Top}}^{\textit{bc}}}$ preserves inverse limits, Proposition 2.2 implies that the protruncated shape ${}_{<\infty}\mathit{\Pi}\colon{\textbf{{StrTop}}^{\textit{spec}}}\rightarrow{\operatorname{Pro}(\textbf{{Spc}}_{<\infty})}$ preserves inverse limits. Both < and $H$ preserve inverse limits, hence their composite ${}_{<\infty}H\colon{\operatorname{Pro}(\textbf{{Str}})}\rightarrow{\operatorname{Pro}(\textbf{{Spc}}_{<\infty})}$ preserves inverse limits. The claim now follows from the fact that C is an equivalence for $C\in\textbf{{Str}}$ (Lemma 2.3) and the universal property of the -category $\operatorname{Pro}(\textbf{{Str}})$ of profinite stratified spaces. ∎

2.6**.**

Note that Theorem A from the introduction is immediate from Theorem 2.5, [6, Construction 13.5], and the definition of the étale homotopy type in terms of shape theory (Examples 1.6 and 1.9).