The Stacks project

Lemma 34.13.3. Let $S$, $\mathcal{C}$, $F$ satisfy conditions (1), (2), (a), and (b) of Lemma 34.13.1 and denote $F' : (\mathit{Sch}/S)^{opp} \to \textit{Sets}$ the unique extension constructed in the lemma. Let $\tau \in \{ Zariski, {\acute{e}tale}, smooth, syntomic, fppf\} $. Assume

  1. for any standard $\tau $-covering $\{ V_ i \to V\} _{i = 1, \ldots , n}$ of affines in $\mathit{Sch}/S$ such that $V \to S$ factors through an affine open $U \subset S$ and $V \to U$ is of finite presentation, the sheaf condition hold for $F$ and $\{ V_ i \to V\} _{i = 1, \ldots , n}$1.

Then $F'$ satisfies the sheaf condition for all $\tau $-coverings.

Proof. Let $X$ be a scheme over $S$ and let $\{ X_ i \to X\} _{i \in I}$ be a $\tau $-covering. Let $s_ i \in F'(X_ i)$ be elements such that $s_ i$ and $s_ j$ map to the same element of $F'(X_ i \times _ X X_ j)$ for all $i, j \in I$. We have to show that there is a unique element $s \in F'(X)$ restricting to $s_ i \in F'(X_ i)$ for all $i \in I$.

Special case: $X$ is an affine such that the structure morphism maps into an affine open $U$ of $S$ and the covering $\{ X_ i \to X\} _{i \in I}$ is a standard $\tau $-covering. In this case we can write

\[ X = \mathop{\mathrm{lim}}\nolimits V_ k \]

as a cofiltered limit with $V_ k \to U$ of finite presentation and $V_ k$ affine. See Algebra, Lemma 10.127.2. By Lemma 34.13.2 there exists a $k$ and a standard $\tau $-covering $\{ V_{k, i} \to V_ k\} _{i \in I}$ whose base change to $X$ is the given covering. For $k' \geq k$ denote $\{ V_{k', i} \to V_{k'}\} _{i \in I}$ the base change to $V_{k'}$ of our covering. Then we see that

\begin{align*} F'(X) & = \mathop{\mathrm{colim}}\nolimits _{k' \geq k} F(V_ k) \\ & = \mathop{\mathrm{colim}}\nolimits _{k' \geq k} \text{Equalizer}( \xymatrix{ \prod F(V_{k', i}) \ar@<1ex>[r] \ar@<-1ex>[r] & \prod F(V_{k', i} \times _{V_{k'}} V_{k', j}) } \\ & = \text{Equalizer}( \xymatrix{ \mathop{\mathrm{colim}}\nolimits _{k' \geq k} \prod F(V_{k', i}) \ar@<1ex>[r] \ar@<-1ex>[r] & \mathop{\mathrm{colim}}\nolimits _{k' \geq k} \prod F(V_{k', i} \times _{V_{k'}} V_{k', j}) } \\ & = \text{Equalizer}( \xymatrix{ \prod F'(X_ i) \ar@<1ex>[r] \ar@<-1ex>[r] & \prod F'(X_ i \times _ X X_ j) } \end{align*}

The first equality holds by construction of $F'$. The second holds by assumption (c). The third holds because filtered colimits are exact. The fourth again holds by construction of $F'$. In this way we find that the sheaf property holds for $F'$ with respect to $\{ X_ i \to X\} _{i \in I}$.

General case. Choose an affine open covering $X = \bigcup U_ k$ such that each $U_ k$ maps into an affine open of $S$. For every $k$ we may choose a standard $\tau $-covering $\{ V_{k, j} \to U_ k\} _{j = 1, \ldots , m_ k}$ which refines $\{ X_ i \times _ X U_ k \to U_ k\} _{i \in I}$. For each $j \in \{ 1, \ldots , m_ k\} $ choose an index $i_{k, j} \in I$ and a morphism $g_{k, j} : V_{k, j} \to X_{i_{k, j}}$ over $X$. Let $s_{k, j}$ be the element of $F'(V_{k, j})$ we get by restricting $s_{i_{k, j}}$ via $g_{k, j}$. Observe that $s_{k, j}$ and $s_{k', j'}$ restrict to the same element of $F'(V_{k, j} \times _ X V_{k', j'})$ for all $k$ and $k'$ and all $j \in \{ 1, \ldots , m_ k\} $ and $j' \in \{ 1, \ldots , m_{k'}\} $; verification omitted. In particular, by the result of the previous paragraph there is a unique element $s_ k \in F'(U_ k)$ restricting to $s_{k, j}$ for all $j$. With this notation we are ready to finish the proof.

Proof of uniqueness of $s$: this is true because $F'$ satisfies the sheaf property for Zariski coverings and $s|_{U_ k}$ must be equal to $s_ k$ because both restrict to $s_{k, j}$ for all $j$. This uniqueness then shows that $s_ k$ and $s_{k'}$ must restrict to the same section of $F'$ over (the non-affine scheme) $U_ k \cap U_{k'}$ because these sections restrict to the same section over the $\tau $-covering $\{ V_{k, j} \times _ X V_{k', j'} \to U_ k \cap U_{k'}\} $. Thus by the sheaf property for Zariski coverings, there is a unique section $s$ of $F'$ over $X$ whose restriction to $U_ k$ is $s_ k$. We omit the verification (similar to the above) that $s$ restricts to $s_ i$ over $X_ i$. $\square$

[1] This makes sense as $V$, $V_ i$, and $V_ i \times _ V V_ j$ are isomorphic to objects of $\mathcal{C}$ by (2).

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 0GDW. Beware of the difference between the letter 'O' and the digit '0'.