Lemma 48.33.3 (0G5C)—The Stacks project

Lemma 48.33.3. Let $X$ be a proper scheme over a field $k$ . Let $K \in D^ b_{\textit{Coh}}(\mathcal{O}_ X)$ with $H^ i(K) = 0$ for $i < 0$ . Set $\mathcal{F} = H^0(K)$ . Let $Z \subset X$ be closed with complement $U = X \setminus U$ . Then

$H^0_ c(U, K|_ U) \subset H^0(X, \mathcal{F})$

is given by those global sections of $\mathcal{F}$ which vanish in an open neighbourhood of $Z$ .

Proof. Consider the map $H^0_ c(U, K|_ U) \to H^0_ X(X, K) = H^0(X, K) = H^0(X, \mathcal{F})$ of Remark 48.32.7. To study this we represent $K$ by a bounded complex $\mathcal{F}^\bullet$ with $\mathcal{F}^ i = 0$ for $i < 0$ . Then we have by definition

$H^0_ c(U, K|_ U) = \mathop{\mathrm{lim}}\nolimits H^0(X, \mathcal{I}^ n\mathcal{F}^\bullet ) = \mathop{\mathrm{lim}}\nolimits \mathop{\mathrm{Ker}}( H^0(X, \mathcal{I}^ n\mathcal{F}^0) \to H^0(X, \mathcal{I}^ n\mathcal{F}^1))$

By Artin-Rees (Cohomology of Schemes, Lemma 30.10.3) this is the same as $\mathop{\mathrm{lim}}\nolimits H^0(X, \mathcal{I}^ n\mathcal{F})$ . Thus the arrow $H^0_ c(U, K|_ U) \to H^0(X, \mathcal{F})$ is injective and the image consists of those global sections of $\mathcal{F}$ which are contained in the subsheaf $\mathcal{I}^ n\mathcal{F}$ for any $n$ . The characterization of these as the sections which vanish in a neighbourhood of $Z$ comes from Krull's intersection theorem (Algebra, Lemma 10.51.4) by looking at stalks of $\mathcal{F}$ . See discussion in Algebra, Remark 10.51.6 for the case of functions. $\square$

The Stacks project

Comments (0)

Post a comment