Lemma 85.2.1. Let $X$ be a simplicial space. Then $X_{Zar}$ as defined above is a site.
85.2 Simplicial topological spaces
A simplicial space is a simplicial object in the category of topological spaces where morphisms are continuous maps of topological spaces. (We will use “simplicial algebraic space” to refer to simplicial objects in the category of algebraic spaces.) We may picture a simplicial space $X$ as follows
\[ \xymatrix{ X_2 \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & X_1 \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & X_0 \ar@<0ex>[l] } \]
Here there are two morphisms $d^1_0, d^1_1 : X_1 \to X_0$ and a single morphism $s^0_0 : X_0 \to X_1$, etc. It is important to keep in mind that $d^ n_ i : X_ n \to X_{n - 1}$ should be thought of as a “projection forgetting the $i$th coordinate” and $s^ n_ j : X_ n \to X_{n + 1}$ as the diagonal map repeating the $j$th coordinate.
Let $X$ be a simplicial space. We associate a site $X_{Zar}$1 to $X$ as follows.
An object of $X_{Zar}$ is an open $U$ of $X_ n$ for some $n$,
a morphism $U \to V$ of $X_{Zar}$ is given by a $\varphi : [m] \to [n]$ where $n, m$ are such that $U \subset X_ n$, $V \subset X_ m$ and $\varphi $ is such that $X(\varphi )(U) \subset V$, and
a covering $\{ U_ i \to U\} $ in $X_{Zar}$ means that $U, U_ i \subset X_ n$ are open, the maps $U_ i \to U$ are given by $\text{id} : [n] \to [n]$, and $U = \bigcup U_ i$.
Note that in particular, if $U \to V$ is a morphism of $X_{Zar}$ given by $\varphi $, then $X(\varphi ) : X_ n \to X_ m$ does in fact induce a continuous map $U \to V$ of topological spaces.
It is clear that the above is a special case of a construction that associates to any diagram of topological spaces a site. We formulate the obligatory lemma.
Proof. Omitted. $\square$
Let $X$ be a simplicial space. Let $\mathcal{F}$ be a sheaf on $X_{Zar}$. It is clear from the definition of coverings, that the restriction of $\mathcal{F}$ to the opens of $X_ n$ defines a sheaf $\mathcal{F}_ n$ on the topological space $X_ n$. For every $\varphi : [m] \to [n]$ the restriction maps of $\mathcal{F}$ for pairs $U \subset X_ n$, $V \subset X_ m$ with $X(\varphi )(U) \subset V$, define an $X(\varphi )$-map $\mathcal{F}(\varphi ) : \mathcal{F}_ m \to \mathcal{F}_ n$, see Sheaves, Definition 6.21.7. Moreover, given $\varphi : [m] \to [n]$ and $\psi : [l] \to [m]$ we have
\[ \mathcal{F}(\varphi ) \circ \mathcal{F}(\psi ) = \mathcal{F}(\varphi \circ \psi ) \]
(LHS uses composition of $f$-maps, see Sheaves, Definition 6.21.9). Clearly, the converse is true as well: if we have a system $(\{ \mathcal{F}_ n\} _{n \geq 0}, \{ \mathcal{F}(\varphi )\} _{\varphi \in \text{Arrows}(\Delta )})$ as above, satisfying the displayed equalities, then we obtain a sheaf on $X_{Zar}$.
Lemma 85.2.2. Let $X$ be a simplicial space. There is an equivalence of categories between
$\mathop{\mathit{Sh}}\nolimits (X_{Zar})$, and
category of systems $(\mathcal{F}_ n, \mathcal{F}(\varphi ))$ described above.
Proof. See discussion above. $\square$
Lemma 85.2.3. Let $f : Y \to X$ be a morphism of simplicial spaces. Then the functor $u : X_{Zar} \to Y_{Zar}$ which associates to the open $U \subset X_ n$ the open $f_ n^{-1}(U) \subset Y_ n$ defines a morphism of sites $f_{Zar} : Y_{Zar} \to X_{Zar}$.
Proof. It is clear that $u$ is a continuous functor. Hence we obtain functors $f_{Zar, *} = u^ s$ and $f_{Zar}^{-1} = u_ s$, see Sites, Section 7.14. To see that we obtain a morphism of sites we have to show that $u_ s$ is exact. We will use Sites, Lemma 7.14.6 to see this. Let $V \subset Y_ n$ be an open subset. The category $\mathcal{I}_ V^ u$ (see Sites, Section 7.5) consists of pairs $(U, \varphi )$ where $\varphi : [m] \to [n]$ and $U \subset X_ m$ open such that $Y(\varphi )(V) \subset f_ m^{-1}(U)$. Moreover, a morphism $(U, \varphi ) \to (U', \varphi ')$ is given by a $\psi : [m'] \to [m]$ such that $X(\psi )(U) \subset U'$ and $\varphi \circ \psi = \varphi '$. It is our task to show that $\mathcal{I}_ V^ u$ is cofiltered.
We verify the conditions of Categories, Definition 4.20.1. Condition (1) holds because $(X_ n, \text{id}_{[n]})$ is an object. Let $(U, \varphi )$ be an object. The condition $Y(\varphi )(V) \subset f_ m^{-1}(U)$ is equivalent to $V \subset f_ n^{-1}(X(\varphi )^{-1}(U))$. Hence we obtain a morphism $(X(\varphi )^{-1}(U), \text{id}_{[n]}) \to (U, \varphi )$ given by setting $\psi = \varphi $. Moreover, given a pair of objects of the form $(U, \text{id}_{[n]})$ and $(U', \text{id}_{[n]})$ we see there exists an object, namely $(U \cap U', \text{id}_{[n]})$, which maps to both of them. Thus condition (2) holds. To verify condition (3) suppose given two morphisms $a, a': (U, \varphi ) \to (U', \varphi ')$ given by $\psi , \psi ' : [m'] \to [m]$. Then precomposing with the morphism $(X(\varphi )^{-1}(U), \text{id}_{[n]}) \to (U, \varphi )$ given by $\varphi $ equalizes $a, a'$ because $\varphi \circ \psi = \varphi ' = \varphi \circ \psi '$. This finishes the proof. $\square$
Lemma 85.2.4. Let $f : Y \to X$ be a morphism of simplicial spaces. In terms of the description of sheaves in Lemma 85.2.2 the morphism $f_{Zar}$ of Lemma 85.2.3 can be described as follows.
If $\mathcal{G}$ is a sheaf on $Y$, then $(f_{Zar, *}\mathcal{G})_ n = f_{n, *}\mathcal{G}_ n$.
If $\mathcal{F}$ is a sheaf on $X$, then $(f_{Zar}^{-1}\mathcal{F})_ n = f_ n^{-1}\mathcal{F}_ n$.
Proof. The first part is immediate from the definitions. For the second part, note that in the proof of Lemma 85.2.3 we have shown that for a $V \subset Y_ n$ open the category $(\mathcal{I}_ V^ u)^{opp}$ contains as a cofinal subcategory the category of opens $U \subset X_ n$ with $f_ n^{-1}(U) \supset V$ and morphisms given by inclusions. Hence we see that the restriction of $u_ p\mathcal{F}$ to opens of $Y_ n$ is the presheaf $f_{n, p}\mathcal{F}_ n$ as defined in Sheaves, Lemma 6.21.3. Since $f_{Zar}^{-1}\mathcal{F} = u_ s\mathcal{F}$ is the sheafification of $u_ p\mathcal{F}$ and since sheafification uses only coverings and since coverings in $Y_{Zar}$ use only inclusions between opens on the same $Y_ n$, the result follows from the fact that $f_ n^{-1}\mathcal{F}_ n$ is (correspondingly) the sheafification of $f_{n, p}\mathcal{F}_ n$, see Sheaves, Section 6.21. $\square$
Let $X$ be a topological space. In Sites, Example 7.6.4 we denoted $X_{Zar}$ the site consisting of opens of $X$ with inclusions as morphisms and coverings given by open coverings. We identify the topos $\mathop{\mathit{Sh}}\nolimits (X_{Zar})$ with the category of sheaves on $X$.
Lemma 85.2.5. Let $X$ be a simplicial space. The functor $X_{n, Zar} \to X_{Zar}$, $U \mapsto U$ is continuous and cocontinuous. The associated morphism of topoi $g_ n : \mathop{\mathit{Sh}}\nolimits (X_ n) \to \mathop{\mathit{Sh}}\nolimits (X_{Zar})$ satisfies
$g_ n^{-1}$ associates to the sheaf $\mathcal{F}$ on $X$ the sheaf $\mathcal{F}_ n$ on $X_ n$,
$g_ n^{-1} : \mathop{\mathit{Sh}}\nolimits (X_{Zar}) \to \mathop{\mathit{Sh}}\nolimits (X_ n)$ has a left adjoint $g^{Sh}_{n!}$,
$g^{Sh}_{n!}$ commutes with finite connected limits,
$g_ n^{-1} : \textit{Ab}(X_{Zar}) \to \textit{Ab}(X_ n)$ has a left adjoint $g_{n!}$, and
$g_{n!}$ is exact.
Proof. Besides the properties of our functor mentioned in the statement, the category $X_{n, Zar}$ has fibre products and equalizers and the functor commutes with them (beware that $X_{Zar}$ does not have all fibre products). Hence the lemma follows from the discussion in Sites, Sections 7.20 and 7.21 and Modules on Sites, Section 18.16. More precisely, Sites, Lemmas 7.21.1, 7.21.5, and 7.21.6 and Modules on Sites, Lemmas 18.16.2 and 18.16.3. $\square$
Lemma 85.2.6. Let $X$ be a simplicial space. If $\mathcal{I}$ is an injective abelian sheaf on $X_{Zar}$, then $\mathcal{I}_ n$ is an injective abelian sheaf on $X_ n$.
Proof. This follows from Homology, Lemma 12.29.1 and Lemma 85.2.5. $\square$
Lemma 85.2.7. Let $f : Y \to X$ be a morphism of simplicial spaces. Then is a commutative diagram of topoi.
\[ \xymatrix{ \mathop{\mathit{Sh}}\nolimits (Y_ n) \ar[d] \ar[r]_{f_ n} & \mathop{\mathit{Sh}}\nolimits (X_ n) \ar[d] \\ \mathop{\mathit{Sh}}\nolimits (Y_{Zar}) \ar[r]^{f_{Zar}} & \mathop{\mathit{Sh}}\nolimits (X_{Zar}) } \]
Proof. Direct from the description of pullback functors in Lemmas 85.2.4 and 85.2.5. $\square$
Lemma 85.2.8. Let $Y$ be a simplicial space and let $a : Y \to X$ be an augmentation (Simplicial, Definition 14.20.1). Let $a_ n : Y_ n \to X$ be the corresponding morphisms of topological spaces. There is a canonical morphism of topoi with the following properties:
$a^{-1}\mathcal{F}$ is the sheaf restricting to $a_ n^{-1}\mathcal{F}$ on $Y_ n$,
$a_ m \circ Y(\varphi ) = a_ n$ for all $\varphi : [m] \to [n]$,
$a \circ g_ n = a_ n$ as morphisms of topoi with $g_ n$ as in Lemma 85.2.5,
$a_*\mathcal{G}$ for $\mathcal{G} \in \mathop{\mathit{Sh}}\nolimits (Y_{Zar})$ is the equalizer of the two maps $a_{0, *}\mathcal{G}_0 \to a_{1, *}\mathcal{G}_1$.
\[ a : \mathop{\mathit{Sh}}\nolimits (Y_{Zar}) \to \mathop{\mathit{Sh}}\nolimits (X) \]
Proof. Part (2) holds for augmentations of simplicial objects in any category. Thus $Y(\varphi )^{-1} a_ m^{-1} \mathcal{F} = a_ n^{-1}\mathcal{F}$ which defines an $Y(\varphi )$-map from $a_ m^{-1}\mathcal{F}$ to $a_ n^{-1}\mathcal{F}$. Thus we can use (1) as the definition of $a^{-1}\mathcal{F}$ (using Lemma 85.2.2) and (4) as the definition of $a_*$. If this defines a morphism of topoi then part (3) follows because we'll have $g_ n^{-1} \circ a^{-1} = a_ n^{-1}$ by construction. To check $a$ is a morphism of topoi we have to show that $a^{-1}$ is left adjoint to $a_*$ and we have to show that $a^{-1}$ is exact. The last fact is immediate from the exactness of the functors $a_ n^{-1}$.
Let $\mathcal{F}$ be an object of $\mathop{\mathit{Sh}}\nolimits (X)$ and let $\mathcal{G}$ be an object of $\mathop{\mathit{Sh}}\nolimits (Y_{Zar})$. Given $\beta : a^{-1}\mathcal{F} \to \mathcal{G}$ we can look at the components $\beta _ n : a_ n^{-1}\mathcal{F} \to \mathcal{G}_ n$. These maps are adjoint to maps $\beta _ n : \mathcal{F} \to a_{n, *}\mathcal{G}_ n$. Compatibility with the simplicial structure shows that $\beta _0$ maps into $a_*\mathcal{G}$. Conversely, suppose given a map $\alpha : \mathcal{F} \to a_*\mathcal{G}$. For any $n$ choose a $\varphi : [0] \to [n]$. Then we can look at the composition
\[ \mathcal{F} \xrightarrow {\alpha } a_*\mathcal{G} \to a_{0, *}\mathcal{G}_0 \xrightarrow {\mathcal{G}(\varphi )} a_{n, *}\mathcal{G}_ n \]
These are adjoint to maps $a_ n^{-1}\mathcal{F} \to \mathcal{G}_ n$ which define a morphism of sheaves $a^{-1}\mathcal{F} \to \mathcal{G}$. We omit the proof that the constructions given above define mutually inverse bijections
\[ \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (Y_{Zar})}(a^{-1}\mathcal{F}, \mathcal{G}) = \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (X)}(\mathcal{F}, a_*\mathcal{G}) \]
This finishes the proof. An interesting observation is here that this morphism of topoi does not correspond to any obvious geometric functor between the sites defining the topoi. $\square$
Lemma 85.2.9. Let $X$ be a simplicial topological space. The complex of abelian presheaves on $X_{Zar}$ with boundary $\sum (-1)^ i d^ n_ i$ is a resolution of the constant presheaf $\mathbf{Z}$.
\[ \ldots \to \mathbf{Z}_{X_2} \to \mathbf{Z}_{X_1} \to \mathbf{Z}_{X_0} \]
Proof. Let $U \subset X_ m$ be an object of $X_{Zar}$. Then the value of the complex above on $U$ is the complex of abelian groups
\[ \ldots \to \mathbf{Z}[\mathop{\mathrm{Mor}}\nolimits _\Delta ([2], [m])] \to \mathbf{Z}[\mathop{\mathrm{Mor}}\nolimits _\Delta ([1], [m])] \to \mathbf{Z}[\mathop{\mathrm{Mor}}\nolimits _\Delta ([0], [m])] \]
In other words, this is the complex associated to the free abelian group on the simplicial set $\Delta [m]$, see Simplicial, Example 14.11.2. Since $\Delta [m]$ is homotopy equivalent to $\Delta [0]$, see Simplicial, Example 14.26.7, and since “taking free abelian groups” is a functor, we see that the complex above is homotopy equivalent to the free abelian group on $\Delta [0]$ (Simplicial, Remark 14.26.4 and Lemma 14.27.2). This complex is acyclic in positive degrees and equal to $\mathbf{Z}$ in degree $0$. $\square$
Lemma 85.2.10. Let $X$ be a simplicial topological space. Let $\mathcal{F}$ be an abelian sheaf on $X$. There is a spectral sequence $(E_ r, d_ r)_{r \geq 0}$ with converging to $H^{p + q}(X_{Zar}, \mathcal{F})$. This spectral sequence is functorial in $\mathcal{F}$.
\[ E_1^{p, q} = H^ q(X_ p, \mathcal{F}_ p) \]
Proof. Let $\mathcal{F} \to \mathcal{I}^\bullet $ be an injective resolution. Consider the double complex with terms
\[ A^{p, q} = \mathcal{I}^ q(X_ p) \]
and first differential given by the alternating sum along the maps $d^{p + 1}_ i$-maps $\mathcal{I}_ p^ q \to \mathcal{I}_{p + 1}^ q$, see Lemma 85.2.2. Note that
\[ A^{p, q} = \Gamma (X_ p, \mathcal{I}_ p^ q) = \mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}}(h_{X_ p}, \mathcal{I}^ q) = \mathop{\mathrm{Mor}}\nolimits _{\textit{PAb}}(\mathbf{Z}_{X_ p}, \mathcal{I}^ q) \]
Hence it follows from Lemma 85.2.9 and Cohomology on Sites, Lemma 21.10.1 that the rows of the double complex are exact in positive degrees and evaluate to $\Gamma (X_{Zar}, \mathcal{I}^ q)$ in degree $0$. On the other hand, since restriction is exact (Lemma 85.2.5) the map
\[ \mathcal{F}_ p \to \mathcal{I}_ p^\bullet \]
is a resolution. The sheaves $\mathcal{I}_ p^ q$ are injective abelian sheaves on $X_ p$ (Lemma 85.2.6). Hence the cohomology of the columns computes the groups $H^ q(X_ p, \mathcal{F}_ p)$. We conclude by applying Homology, Lemmas 12.25.3 and 12.25.4. $\square$
Lemma 85.2.11. Let $X$ be a simplicial space and let $a : X \to Y$ be an augmentation. Let $\mathcal{F}$ be an abelian sheaf on $X_{Zar}$. Then $R^ na_*\mathcal{F}$ is the sheaf associated to the presheaf
\[ V \longmapsto H^ n((X \times _ Y V)_{Zar}, \mathcal{F}|_{(X \times _ Y V)_{Zar}}) \]
Proof. This is the analogue of Cohomology, Lemma 20.7.3 or of Cohomology on Sites, Lemma 21.7.4 and we strongly encourge the reader to skip the proof. Choosing an injective resolution of $\mathcal{F}$ on $X_{Zar}$ and using the definitions we see that it suffices to show: (1) the restriction of an injective abelian sheaf on $X_{Zar}$ to $(X \times _ Y V)_{Zar}$ is an injective abelian sheaf and (2) $a_*\mathcal{F}$ is equal to the rule
\[ V \longmapsto H^0((X \times _ Y V)_{Zar}, \mathcal{F}|_{(X \times _ Y V)_{Zar}}) \]
Part (2) follows from the following facts
$a_*\mathcal{F}$ is the equalizer of the two maps $a_{0, *}\mathcal{F}_0 \to a_{1, *}\mathcal{F}_1$ by Lemma 85.2.8,
$a_{0, *}\mathcal{F}_0(V) = H^0(a_0^{-1}(V), \mathcal{F}_0)$ and $a_{1, *}\mathcal{F}_1(V) = H^0(a_1^{-1}(V), \mathcal{F}_1)$,
$X_0 \times _ Y V = a_0^{-1}(V)$ and $X_1 \times _ Y V = a_1^{-1}(V)$,
$H^0((X \times _ Y V)_{Zar}, \mathcal{F}|_{(X \times _ Y V)_{Zar}})$ is the equalizer of the two maps $H^0(X_0 \times _ Y V, \mathcal{F}_0) \to H^0(X_1 \times _ Y V, \mathcal{F}_1)$ for example by Lemma 85.2.10.
Part (1) follows after one defines an exact left adjoint $j_! : \textit{Ab}((X \times _ Y V)_{Zar}) \to \textit{Ab}(X_{Zar})$ (extension by zero) to restriction $\textit{Ab}(X_{Zar}) \to \textit{Ab}((X \times _ Y V)_{Zar})$ and using Homology, Lemma 12.29.1. $\square$
Let $X$ be a topological space. Denote $X_\bullet $ the constant simplicial topological space with value $X$. By Lemma 85.2.2 a sheaf on $X_{\bullet , Zar}$ is the same thing as a cosimplicial object in the category of sheaves on $X$.
Lemma 85.2.12. Let $X$ be a topological space. Let $X_\bullet $ be the constant simplicial topological space with value $X$. The functor is continuous and cocontinuous and defines a morphism of topoi $g : \mathop{\mathit{Sh}}\nolimits (X_{\bullet , Zar}) \to \mathop{\mathit{Sh}}\nolimits (X)$ as well as a left adjoint $g_!$ to $g^{-1}$. We have
$g^{-1}$ associates to a sheaf on $X$ the constant cosimplicial sheaf on $X$,
$g_!$ associates to a sheaf $\mathcal{F}$ on $X_{\bullet , Zar}$ the sheaf $\mathcal{F}_0$, and
$g_*$ associates to a sheaf $\mathcal{F}$ on $X_{\bullet , Zar}$ the equalizer of the two maps $\mathcal{F}_0 \to \mathcal{F}_1$.
\[ X_{\bullet , Zar} \longrightarrow X_{Zar},\quad U \longmapsto U \]
Proof. The statements about the functor are straightforward to verify. The existence of $g$ and $g_!$ follow from Sites, Lemmas 7.21.1 and 7.21.5. The description of $g^{-1}$ is immediate from Sites, Lemma 7.21.5. The description of $g_*$ and $g_!$ follows as the functors given are right and left adjoint to $g^{-1}$. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #2031 by Dragos on
Comment #2070 by Johan on