The Stacks project

61.19 Comparison with the étale site

Let $X$ be a scheme. With suitable choices of sites1 the functor $u : X_{\acute{e}tale}\to X_{pro\text{-}\acute{e}tale}$ sending $U/X$ to $U/X$ defines a morphism of sites

\[ \epsilon : X_{pro\text{-}\acute{e}tale}\longrightarrow X_{\acute{e}tale} \]

This follows from Sites, Proposition 7.14.7.

Lemma 61.19.1. With notation as above. Let $\mathcal{F}$ be a sheaf on $X_{\acute{e}tale}$. The rule

\[ X_{pro\text{-}\acute{e}tale}\longrightarrow \textit{Sets},\quad (f : Y \to X) \longmapsto \Gamma (Y_{\acute{e}tale}, f_{\acute{e}tale}^{-1}\mathcal{F}) \]

is a sheaf and is equal to $\epsilon ^{-1}\mathcal{F}$. Here $f_{\acute{e}tale}: Y_{\acute{e}tale}\to X_{\acute{e}tale}$ is the morphism of small étale sites constructed in Étale Cohomology, Section 59.34.

Proof. By Lemma 61.12.2 any pro-étale covering is an fpqc covering. Hence the formula defines a sheaf on $X_{pro\text{-}\acute{e}tale}$ by Étale Cohomology, Lemma 59.39.2. Let $a : \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits (X_{pro\text{-}\acute{e}tale})$ be the functor sending $\mathcal{F}$ to the sheaf given by the formula in the lemma. To show that $a = \epsilon ^{-1}$ it suffices to show that $a$ is a left adjoint to $\epsilon _*$.

Let $\mathcal{G}$ be an object of $\mathop{\mathit{Sh}}\nolimits (X_{pro\text{-}\acute{e}tale})$. Recall that $\epsilon _*\mathcal{G}$ is simply given by the restriction of $\mathcal{G}$ to the full subcategory $X_{\acute{e}tale}$. Let $f : Y \to X$ be an object of $X_{pro\text{-}\acute{e}tale}$. We view $Y_{\acute{e}tale}$ as a subcategory of $X_{pro\text{-}\acute{e}tale}$. The restriction maps of the sheaf $\mathcal{G}$ define a map

\[ \epsilon _*\mathcal{G} = \mathcal{G}|_{X_{\acute{e}tale}} \longrightarrow f_{{\acute{e}tale}, *}(\mathcal{G}|_{Y_{\acute{e}tale}}) \]

Namely, for $U$ in $X_{\acute{e}tale}$ the value of $f_{{\acute{e}tale}, *}(\mathcal{G}|_{Y_{\acute{e}tale}})$ on $U$ is $\mathcal{G}(Y \times _ X U)$ and there is a restriction map $\mathcal{G}(U) \to \mathcal{G}(Y \times _ X U)$. By adjunction this determines a map

\[ f_{\acute{e}tale}^{-1}(\epsilon _*\mathcal{G}) \to \mathcal{G}|_{Y_{\acute{e}tale}} \]

Putting these together for all $f : Y \to X$ in $X_{pro\text{-}\acute{e}tale}$ we obtain a canonical map $a(\epsilon _*\mathcal{G}) \to \mathcal{G}$.

Let $\mathcal{F}$ be an object of $\mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$. It is immediately clear that $\mathcal{F} = \epsilon _*a(\mathcal{F})$.

We claim the maps $\mathcal{F} \to \epsilon _*a(\mathcal{F})$ and $a(\epsilon _*\mathcal{G}) \to \mathcal{G}$ are the unit and counit of the adjunction (see Categories, Section 4.24). To see this it suffices to show that the corresponding maps

\[ \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (X_{pro\text{-}\acute{e}tale})}(a(\mathcal{F}), \mathcal{G}) \to \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})}(\mathcal{F}, \epsilon ^{-1}\mathcal{G}) \]

and

\[ \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})}(\mathcal{F}, \epsilon ^{-1}\mathcal{G}) \to \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (X_{pro\text{-}\acute{e}tale})}(a(\mathcal{F}), \mathcal{G}) \]

are mutually inverse. We omit the detailed verification. $\square$

Lemma 61.19.2. Let $X$ be a scheme. For every sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ the adjunction map $\mathcal{F} \to \epsilon _*\epsilon ^{-1}\mathcal{F}$ is an isomorphism, i.e., $\epsilon ^{-1}\mathcal{F}(U) = \mathcal{F}(U)$ for $U$ in $X_{\acute{e}tale}$.

Proof. Follows immediately from the description of $\epsilon ^{-1}$ in Lemma 61.19.1. $\square$

Lemma 61.19.3. Let $X$ be a scheme. Let $Y = \mathop{\mathrm{lim}}\nolimits Y_ i$ be the limit of a directed inverse system of quasi-compact and quasi-separated objects of $X_{pro\text{-}\acute{e}tale}$ with affine transition morphisms. For any sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ we have

\[ \epsilon ^{-1}\mathcal{F}(Y) = \mathop{\mathrm{colim}}\nolimits \epsilon ^{-1}\mathcal{F}(Y_ i) \]

Moreover, if $Y_ i$ is in $X_{\acute{e}tale}$ we have $\epsilon ^{-1}\mathcal{F}(Y) = \mathop{\mathrm{colim}}\nolimits \mathcal{F}(Y_ i)$.

Proof. By the description of $\epsilon ^{-1}\mathcal{F}$ in Lemma 61.19.1, the displayed formula is a special case of Étale Cohomology, Theorem 59.51.3. (When $X$, $Y$, and the $Y_ i$ are all affine, see the easier to parse Étale Cohomology, Lemma 59.51.5.) The final statement follows immediately from this and Lemma 61.19.2. $\square$

Lemma 61.19.4. Let $X$ be an affine scheme. For injective abelian sheaf $\mathcal{I}$ on $X_{\acute{e}tale}$ we have $H^ p(X_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}\mathcal{I}) = 0$ for $p > 0$.

Proof. We are going to use Cohomology on Sites, Lemma 21.10.9 to prove this. Let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (X_{pro\text{-}\acute{e}tale})$ be the set of affine objects $U$ of $X_{pro\text{-}\acute{e}tale}$ such that $\mathcal{O}(X) \to \mathcal{O}(U)$ is ind-étale. Let $\text{Cov}$ be the set of pro-étale coverings $\{ U_ i \to U\} _{i = 1, \ldots , n}$ with $U \in \mathcal{B}$ such that $\mathcal{O}(U) \to \mathcal{O}(U_ i)$ is ind-étale for $i = 1, \ldots , n$. Properties (1) and (2) of Cohomology on Sites, Lemma 21.10.9 hold for $\mathcal{B}$ and $\text{Cov}$ by Lemmas 61.7.3, 61.7.2, and 61.12.5 and Proposition 61.9.1.

To check condition (3) suppose that $\mathcal{U} = \{ U_ i \to U\} _{i = 1, \ldots , n}$ is an element of $\text{Cov}$. We have to show that the higher Cech cohomology groups of $\epsilon ^{-1}\mathcal{I}$ with respect to $\mathcal{U}$ are zero. First we write $U_ i = \mathop{\mathrm{lim}}\nolimits _{a \in A_ i} U_{i, a}$ as a directed inverse limit with $U_{i, a} \to U$ étale and $U_{i, a}$ affine. We think of $A_1 \times \ldots \times A_ n$ as a direct set with ordering $(a_1, \ldots , a_ n) \geq (a_1', \ldots , a_ n')$ if and only if $a_ i \geq a_ i'$ for $i = 1, \ldots , n$. Observe that $\mathcal{U}_{(a_1, \ldots , a_ n)} = \{ U_{i, a_ i} \to U\} _{i = 1, \ldots , n}$ is an étale covering for all $a_1, \ldots , a_ n \in A_1 \times \ldots \times A_ n$. Observe that

\[ U_{i_0} \times _ U U_{i_1} \times _ U \ldots \times _ U U_{i_ p} = \mathop{\mathrm{lim}}\nolimits _{(a_1, \ldots , a_ n) \in A_1 \times \ldots \times A_ n} U_{i_0, a_{i_0}} \times _ U U_{i_1, a_{i_1}} \times _ U \ldots \times _ U U_{i_ p, a_{i_ p}} \]

for all $i_0, \ldots , i_ p \in \{ 1, \ldots , n\} $ because limits commute with fibred products. Hence by Lemma 61.19.3 and exactness of filtered colimits we have

\[ \check{H}^ p(\mathcal{U}, \epsilon ^{-1}\mathcal{I}) = \mathop{\mathrm{colim}}\nolimits \check{H}^ p(\mathcal{U}_{(a_1, \ldots , a_ n)}, \epsilon ^{-1}\mathcal{I}) \]

Thus it suffices to prove the vanishing for étale coverings of $U$!

Let $\mathcal{U} = \{ U_ i \to U\} _{i = 1, \ldots , n}$ be an étale covering with $U_ i$ affine. Write $U = \mathop{\mathrm{lim}}\nolimits _{b \in B} U_ b$ as a directed inverse limit with $U_ b$ affine and $U_ b \to X$ étale. By Limits, Lemmas 32.10.1, 32.4.13, and 32.8.10 we can choose a $b_0 \in B$ such that for $i = 1, \ldots , n$ there is an étale morphism $U_{i, b_0} \to U_{b_0}$ of affines such that $U_ i = U \times _{U_{b_0}} U_{i, b_0}$. Set $U_{i, b} = U_ b \times _{U_{b_0}} U_{i, b_0}$ for $b \geq b_0$. For $b$ large enough the family $\mathcal{U}_ b = \{ U_{i, b} \to U_ b\} _{i = 1, \ldots , n}$ is an étale covering, see Limits, Lemma 32.8.15. Exactly as before we find that

\[ \check{H}^ p(\mathcal{U}, \epsilon ^{-1}\mathcal{I}) = \mathop{\mathrm{colim}}\nolimits \check{H}^ p(\mathcal{U}_ b, \epsilon ^{-1}\mathcal{I}) = \mathop{\mathrm{colim}}\nolimits \check{H}^ p(\mathcal{U}_ b, \mathcal{I}) \]

the final equality by Lemma 61.19.2. Since each of the Čech complexes on the right hand side is acyclic in positive degrees (Cohomology on Sites, Lemma 21.10.2) it follows that the one on the left is too. This proves condition (3) of Cohomology on Sites, Lemma 21.10.9. Since $X \in \mathcal{B}$ the lemma follows. $\square$

Lemma 61.19.5. Let $X$ be a scheme.

  1. For an abelian sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ we have $R\epsilon _*(\epsilon ^{-1}\mathcal{F}) = \mathcal{F}$.

  2. For $K \in D^+(X_{\acute{e}tale})$ the map $K \to R\epsilon _*\epsilon ^{-1}K$ is an isomorphism.

Proof. Let $\mathcal{I}$ be an injective abelian sheaf on $X_{\acute{e}tale}$. Recall that $R^ q\epsilon _*(\epsilon ^{-1}\mathcal{I})$ is the sheaf associated to $U \mapsto H^ q(U_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}\mathcal{I})$, see Cohomology on Sites, Lemma 21.7.4. By Lemma 61.19.4 we see that this is zero for $q > 0$ and $U$ affine and étale over $X$. Since every object of $X_{\acute{e}tale}$ has a covering by affine objects, it follows that $R^ q\epsilon _*(\epsilon ^{-1}\mathcal{I}) = 0$ for $q > 0$.

Let $K \in D^+(X_{\acute{e}tale})$. Choose a bounded below complex $\mathcal{I}^\bullet $ of injective abelian sheaves on $X_{\acute{e}tale}$ representing $K$. Then $\epsilon ^{-1}K$ is represented by $\epsilon ^{-1}\mathcal{I}^\bullet $. By Leray's acyclicity lemma (Derived Categories, Lemma 13.16.7) we see that $R\epsilon _*\epsilon ^{-1}K$ is represented by $\epsilon _*\epsilon ^{-1}\mathcal{I}^\bullet $. By Lemma 61.19.2 we conclude that $R\epsilon _*\epsilon ^{-1}\mathcal{I}^\bullet = \mathcal{I}^\bullet $ and the proof of (2) is complete. Part (1) is a special case of (2). $\square$

Lemma 61.19.6. Let $X$ be a scheme.

  1. For an abelian sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ we have

    \[ H^ i(X_{\acute{e}tale}, \mathcal{F}) = H^ i(X_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}\mathcal{F}) \]

    for all $i$.

  2. For $K \in D^+(X_{\acute{e}tale})$ we have

    \[ R\Gamma (X_{\acute{e}tale}, K) = R\Gamma (X_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}K) \]

Proof. Immediate consequence of Lemma 61.19.5 and the Leray spectral sequence (Cohomology on Sites, Lemma 21.14.6). $\square$

Lemma 61.19.7. Let $X$ be a scheme. Let $\mathcal{G}$ be a sheaf of (possibly noncommutative) groups on $X_{\acute{e}tale}$. We have

\[ H^1(X_{\acute{e}tale}, \mathcal{G}) = H^1(X_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}\mathcal{G}) \]

where $H^1$ is defined as the set of isomorphism classes of torsors (see Cohomology on Sites, Section 21.4).

Proof. Since the functor $\epsilon ^{-1}$ is fully faithful by Lemma 61.19.2 it is clear that the map $H^1(X_{\acute{e}tale}, \mathcal{G}) \to H^1(X_{pro\text{-}\acute{e}tale}, \epsilon ^{-1}\mathcal{G})$ is injective. To show surjectivity it suffices to show that any $\epsilon ^{-1}\mathcal{G}$-torsor $\mathcal{F}$ is étale locally trivial. To do this we may assume that $X$ is affine. Thus we reduce to proving surjectivity for $X$ affine.

Choose a covering $\{ U \to X\} $ with (a) $U$ affine, (b) $\mathcal{O}(X) \to \mathcal{O}(U)$ ind-étale, and (c) $\mathcal{F}(U)$ nonempty. We can do this by Proposition 61.9.1 and the fact that standard pro-étale coverings of $X$ are cofinal among all pro-étale coverings of $X$ (Lemma 61.12.5). Write $U = \mathop{\mathrm{lim}}\nolimits U_ i$ as a limit of affine schemes étale over $X$. Pick $s \in \mathcal{F}(U)$. Let $g \in \epsilon ^{-1}\mathcal{G}(U \times _ X U)$ be the unique section such that $g \cdot \text{pr}_1^*s = \text{pr}_2^*s$ in $\mathcal{F}(U \times _ X U)$. Then $g$ satisfies the cocycle condition

\[ \text{pr}_{12}^*g \cdot \text{pr}_{23}^*g = \text{pr}_{13}^*g \]

in $\epsilon ^{-1}\mathcal{G}(U \times _ X U \times _ X U)$. By Lemma 61.19.3 we have

\[ \epsilon ^{-1}\mathcal{G}(U \times _ X U) = \mathop{\mathrm{colim}}\nolimits \mathcal{G}(U_ i \times _ X U_ i) \]

and

\[ \epsilon ^{-1}\mathcal{G}(U \times _ X U \times _ X U) = \mathop{\mathrm{colim}}\nolimits \mathcal{G}(U_ i \times _ X U_ i \times _ X U_ i) \]

hence we can find an $i$ and an element $g_ i \in \mathcal{G}(U_ i \times _ X U_ i)$ mapping to $g$ satisfying the cocycle condition. The cocycle $g_ i$ then defines a torsor for $\mathcal{G}$ on $X_{\acute{e}tale}$ whose pullback is isomorphic to $\mathcal{F}$ by construction. Some details omitted (namely, the relationship between torsors and 1-cocycles which should be added to the chapter on cohomology on sites). $\square$

Lemma 61.19.8. Let $X$ be a scheme. Let $\Lambda $ be a ring.

  1. The essential image of the fully faithful functor $\epsilon ^{-1} : \textit{Mod}(X_{\acute{e}tale}, \Lambda ) \to \textit{Mod}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ is a weak Serre subcategory $\mathcal{C}$.

  2. The functor $\epsilon ^{-1}$ defines an equivalence of categories of $D^+(X_{\acute{e}tale}, \Lambda )$ with $D^+_\mathcal {C}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ with question inverse given by $R\epsilon _*$.

Proof. To prove (1) we will prove conditions (1) – (4) of Homology, Lemma 12.10.3. Since $\epsilon ^{-1}$ is fully faithful (Lemma 61.19.2) and exact, everything is clear except for condition (4). However, if

\[ 0 \to \epsilon ^{-1}\mathcal{F}_1 \to \mathcal{G} \to \epsilon ^{-1}\mathcal{F}_2 \to 0 \]

is a short exact sequence of sheaves of $\Lambda $-modules on $X_{pro\text{-}\acute{e}tale}$, then we get

\[ 0 \to \epsilon _*\epsilon ^{-1}\mathcal{F}_1 \to \epsilon _*\mathcal{G} \to \epsilon _*\epsilon ^{-1}\mathcal{F}_2 \to R^1\epsilon _*\epsilon ^{-1}\mathcal{F}_1 \]

which by Lemma 61.19.5 is the same as a short exact sequence

\[ 0 \to \mathcal{F}_1 \to \epsilon _*\mathcal{G} \to \mathcal{F}_2 \to 0 \]

Pulling pack we find that $\mathcal{G} = \epsilon ^{-1}\epsilon _*\mathcal{G}$. This proves (1).

Part (2) follows from part (1) and Cohomology on Sites, Lemma 21.27.5. $\square$

Let $\Lambda $ be a ring. In Modules on Sites, Section 18.43 we have defined the notion of a locally constant sheaf of $\Lambda $-modules on a site. If $M$ is a $\Lambda $-module, then $\underline{M}$ is of finite presentation as a sheaf of $\underline{\Lambda }$-modules if and only if $M$ is a finitely presented $\Lambda $-module, see Modules on Sites, Lemma 18.42.5.

Lemma 61.19.9. Let $X$ be a scheme. Let $\Lambda $ be a ring. The functor $\epsilon ^{-1}$ defines an equivalence of categories

\[ \left\{ \begin{matrix} \text{locally constant sheaves} \\ \text{of }\Lambda \text{-modules on }X_{\acute{e}tale} \\ \text{of finite presentation} \end{matrix} \right\} \longleftrightarrow \left\{ \begin{matrix} \text{locally constant sheaves} \\ \text{of }\Lambda \text{-modules on }X_{pro\text{-}\acute{e}tale} \\ \text{of finite presentation} \end{matrix} \right\} \]

Proof. Let $\mathcal{F}$ be a locally constant sheaf of $\Lambda $-modules on $X_{pro\text{-}\acute{e}tale}$ of finite presentation. Choose a pro-étale covering $\{ U_ i \to X\} $ such that $\mathcal{F}|_{U_ i}$ is constant, say $\mathcal{F}|_{U_ i} \cong \underline{M_ i}_{U_ i}$. Observe that $U_ i \times _ X U_ j$ is empty if $M_ i$ is not isomorphic to $M_ j$. For each $\Lambda $-module $M$ let $I_ M = \{ i \in I \mid M_ i \cong M\} $. As pro-étale coverings are fpqc coverings and by Descent, Lemma 35.12.6 we see that $U_ M = \bigcup _{i \in I_ M} \mathop{\mathrm{Im}}(U_ i \to X)$ is an open subset of $X$. Then $X = \coprod U_ M$ is a disjoint open covering of $X$. We may replace $X$ by $U_ M$ for some $M$ and assume that $M_ i = M$ for all $i$.

Consider the sheaf $\mathcal{I} = \mathit{Isom}(\underline{M}, \mathcal{F})$. This sheaf is a torsor for $\mathcal{G} = \mathit{Isom}(\underline{M}, \underline{M})$. By Modules on Sites, Lemma 18.43.4 we have $\mathcal{G} = \underline{G}$ where $G = \mathit{Isom}_\Lambda (M, M)$. Since torsors for the étale topology and the pro-étale topology agree by Lemma 61.19.7 it follows that $\mathcal{I}$ has sections étale locally on $X$. Thus $\mathcal{F}$ is étale locally a constant sheaf which is what we had to show. $\square$

Lemma 61.19.10. Let $X$ be a scheme. Let $\Lambda $ be a Noetherian ring. Let $D_{flc}(X_{\acute{e}tale}, \Lambda )$, resp. $D_{flc}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ be the full subcategory of $D(X_{\acute{e}tale}, \Lambda )$, resp. $D(X_{pro\text{-}\acute{e}tale}, \Lambda )$ consisting of those complexes whose cohomology sheaves are locally constant sheaves of $\Lambda $-modules of finite type. Then

\[ \epsilon ^{-1} : D_{flc}^+(X_{\acute{e}tale}, \Lambda ) \longrightarrow D_{flc}^+(X_{pro\text{-}\acute{e}tale}, \Lambda ) \]

is an equivalence of categories.

Proof. The categories $D_{flc}(X_{\acute{e}tale}, \Lambda )$ and $D_{flc}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ are strictly full, saturated, triangulated subcategories of $D(X_{\acute{e}tale}, \Lambda )$ and $D(X_{pro\text{-}\acute{e}tale}, \Lambda )$ by Modules on Sites, Lemma 18.43.5 and Derived Categories, Section 13.17. The statement of the lemma follows by combining Lemmas 61.19.8 and 61.19.9. $\square$

Lemma 61.19.11. Let $X$ be a scheme. Let $\Lambda $ be a Noetherian ring. Let $K$ be an object of $D(X_{pro\text{-}\acute{e}tale}, \Lambda )$. Set $K_ n = K \otimes _\Lambda ^\mathbf {L} \underline{\Lambda /I^ n}$. If $K_1$ is

  1. in the essential image of $\epsilon ^{-1} :D(X_{\acute{e}tale}, \Lambda /I) \to D(X_{pro\text{-}\acute{e}tale}, \Lambda /I)$, and

  2. has tor amplitude in $[a,\infty )$ for some $a \in \mathbf{Z}$,

then (1) and (2) hold for $K_ n$ as an object of $D(X_{pro\text{-}\acute{e}tale}, \Lambda /I^ n)$.

Proof. Assertion (2) for $K_ n$ follows from the more general Cohomology on Sites, Lemma 21.44.9. Assertion (1) for $K_ n$ follows by induction on $n$ from the distinguished triangles

\[ K \otimes _\Lambda ^\mathbf {L} \underline{I^ n/I^{n + 1}} \to K_{n + 1} \to K_ n \to K \otimes _\Lambda ^\mathbf {L} \underline{I^ n/I^{n + 1}}[1] \]

and the isomorphism

\[ K \otimes _\Lambda ^\mathbf {L} \underline{I^ n/I^{n + 1}} = K_1 \otimes _{\Lambda /I}^\mathbf {L} \underline{I^ n/I^{n + 1}} \]

and the fact proven in Lemma 61.19.8 that the essential image of $\epsilon ^{-1}$ is a triangulated subcategory of $D^+(X_{pro\text{-}\acute{e}tale}, \Lambda /I^ n)$. $\square$

Example 61.19.12. Let $X$ be a scheme. Let $A$ be an abelian group. Denote $fun(-, A)$ the sheaf on $X_{pro\text{-}\acute{e}tale}$ which maps $U$ to the set of all maps $U \to A$ (of sets of points). Consider the sequence of sheaves

\[ 0 \to \underline{A} \to fun(-, A) \to \mathcal{F} \to 0 \]

on $X_{pro\text{-}\acute{e}tale}$. Since the constant sheaf is the pullback from the final topos we see that $\underline{A} = \epsilon ^{-1}\underline{A}$. However, if $A$ has more than one element, then neither $fun(-, A)$ nor $\mathcal{F}$ are pulled back from the étale site of $X$. To work out the values of $\mathcal{F}$ in some cases, assume that all points of $X$ are closed with separably closed residue fields and $U$ is affine. Then all points of $U$ are closed with separably closed residue fields and we have

\[ H^1_{pro\text{-}\acute{e}tale}(U, \underline{A}) = H^1_{\acute{e}tale}(U, \underline{A}) = 0 \]

by Lemma 61.19.6 and Étale Cohomology, Lemma 59.80.3. Hence in this case we have

\[ \mathcal{F}(U) = fun(U, A)/\underline{A}(U) \]

[1] Choose a big pro-étale site $\mathit{Sch}_{pro\text{-}\acute{e}tale}$ containing $X$ as in Definition 61.12.7. Then let $\mathit{Sch}_{\acute{e}tale}$ be the site having the same underlying category as $\mathit{Sch}_{pro\text{-}\acute{e}tale}$ but whose coverings are exactly those pro-étale coverings which are also étale coverings. With these choices let $X_{\acute{e}tale}$ and $X_{pro\text{-}\acute{e}tale}$ be the subcategories defined in Definition 61.12.8 and Topologies, Definition 34.4.8. Compare with Topologies, Remark 34.11.1.

Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 099R. Beware of the difference between the letter 'O' and the digit '0'.