The Stacks project

Lemma 48.30.1. Let $(K_ n)$ be an inverse system as above and denote $K \in D^ b_{\textit{Coh}}(\mathcal{O}_ U)$ the value of the constant system $(K_ n|_ U)$. Let $L$ be an object of $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$. Then $\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _ X(K_ n, L) = \mathop{\mathrm{Hom}}\nolimits _ U(K, L|_ U)$.

Proof. Let $L \to M \to N \to L[1]$ be a distinguished triangle in $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$. Then we obtain a commutative diagram

\[ \xymatrix{ \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _ X(K_ n, L) \ar[r] \ar[d] & \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _ X(K_ n, M) \ar[r] \ar[d] & \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _ X(K_ n, N) \ar[d] \\ \mathop{\mathrm{Hom}}\nolimits _ U(K, L|_ U) \ar[r] & \mathop{\mathrm{Hom}}\nolimits _ U(K, M|_ U) \ar[r] & \mathop{\mathrm{Hom}}\nolimits _ U(K, N|_ U) } \]

whose rows (which are long exact; not just 3 terms) are exact by Derived Categories, Lemma 13.4.2 and Algebra, Lemma 10.8.8. Hence if the statement of the lemma holds for $L$ and $N$, then it holds for $M$. Thus, using the distinguished triangles for the canonical truncations of $L$ (see Derived Categories, Remark 13.12.4) we reduce to the case that $L$ has only one nonzero cohomology sheaf.

Choose $\mathcal{F}^\bullet $ and $\mathcal{I} \subset \mathcal{O}_ X$ such that $K_ n = \mathcal{I}^ n\mathcal{F}^\bullet $ as above. Using “stupid” truncations we obtain compatible termwise split short exact sequences of complexes

\[ 0 \to \sigma _{\geq a + 1} \mathcal{I}^ n\mathcal{F}^\bullet \to \mathcal{I}^ n\mathcal{F}^\bullet \to \sigma _{\leq a} \mathcal{I}^ n\mathcal{F}^\bullet \to 0 \]

which in turn correspond to compatible systems of distinguished triangles in $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$. Arguing as above we reduce to the case where $\mathcal{F}^\bullet $ has only one nonzero term. This reduces us to the case discussed in the next paragraph.

Given a coherent $\mathcal{O}_ X$-module $\mathcal{F}$ and a coherent $\mathcal{O}_ X$-module $\mathcal{G}$ we have to show that the canonical map

\[ \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ n\mathcal{F}, \mathcal{G}) \longrightarrow \mathop{\mathrm{Ext}}\nolimits ^ i_ U(\mathcal{F}|_ U, \mathcal{G}|_ U) \]

is an isomorphism for all $i \geq 0$. For $i = 0$ this is Cohomology of Schemes, Lemma 30.10.4. Assume $i > 0$.

Injectivity. Let $\xi \in \mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ n\mathcal{F}, \mathcal{G})$ be an element whose restriction to $U$ is zero. We have to show there exists an $m \geq n$ such that the restriction of $\xi $ to $\mathcal{I}^ m\mathcal{F} = \mathcal{I}^{m - n}\mathcal{I}^ n\mathcal{F}$ is zero. After replacing $\mathcal{F}$ by $\mathcal{I}^ n\mathcal{F}$ we may assume $n = 0$, i.e., we have $\xi \in \mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{F}, \mathcal{G})$ whose restriction to $U$ is zero. By Derived Categories of Schemes, Proposition 36.10.2 we have $D^ b_{\textit{Coh}}(\mathcal{O}_ X) = D^ b(\textit{Coh}(\mathcal{O}_ X))$. Hence we can compute the $\mathop{\mathrm{Ext}}\nolimits $ group in the abelian category of coherent $\mathcal{O}_ X$-modules. This implies there exists an surjection $\alpha : \mathcal{F}'' \to \mathcal{F}$ such that $\xi \circ \alpha = 0$ (this is where we use that $i > 0$). Set $\mathcal{F}' = \mathop{\mathrm{Ker}}(\alpha )$ so that we have a short exact sequence

\[ 0 \to \mathcal{F}' \to \mathcal{F}'' \to \mathcal{F} \to 0 \]

It follows that $\xi $ is the image of an element $\xi ' \in \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ X(\mathcal{F}', \mathcal{G})$ whose restriction to $U$ is in the image of $\mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}''|_ U, \mathcal{G}|_ U) \to \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}'|_ U, \mathcal{G}|_ U)$. By Artin-Rees the inverse systems $(\mathcal{I}^ n\mathcal{F}')$ and $(\mathcal{I}^ n \mathcal{F}'' \cap \mathcal{F}')$ are pro-isomorphic, see Cohomology of Schemes, Lemma 30.10.3. Since we have the compatible system of short exact sequences

\[ 0 \to \mathcal{F}' \cap \mathcal{I}^ n\mathcal{F}'' \to \mathcal{I}^ n\mathcal{F}'' \to \mathcal{I}^ n\mathcal{F} \to 0 \]

we obtain a commutativew diagram

\[ \xymatrix{ \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ X(\mathcal{I}^ n\mathcal{F}'', \mathcal{G}) \ar[r] \ar[d] & \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ X(\mathcal{F}' \cap \mathcal{I}^ n\mathcal{F}'', \mathcal{G}) \ar[r] \ar[d] & \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ n\mathcal{F}, \mathcal{G}) \ar[d] \\ \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}''|_ U, \mathcal{G}|_ U) \ar[r] & \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}'|_ U, \mathcal{G}|_ U) \ar[r] & \mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}|_ U, \mathcal{G}|_ U) } \]

with exact rows. By induction on $i$ and the comment on inverse systems above we find that the left two vertical arrows are isomorphisms. Now $\xi $ gives an element in the top right group which is the image of $\xi '$ in the middle top group, which in turn maps to an element of the bottom middle group coming from some element in the left bottom group. We conclude that $\xi $ maps to zero in $\mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ n\mathcal{F}, \mathcal{G})$ for some $n$ as desired.

Surjectivity. Let $\xi \in \mathop{\mathrm{Ext}}\nolimits ^ i_ U(\mathcal{F}|_ U, \mathcal{G}|_ U)$. Arguing as above using that $i > 0$ we can find an surjection $\mathcal{H} \to \mathcal{F}|_ U$ of coherent $\mathcal{O}_ U$-modules such that $\xi $ maps to zero in $\mathop{\mathrm{Ext}}\nolimits ^ i_ U(\mathcal{H}, \mathcal{G}|_ U)$. Then we can find a map $\varphi : \mathcal{F}'' \to \mathcal{F}$ of coherent $\mathcal{O}_ X$-modules whose restriction to $U$ is $\mathcal{H} \to \mathcal{F}|_ U$, see Properties, Lemma 28.22.4. Observe that the lemma doesn't guarantee $\varphi $ is surjective but this won't matter (it is possible to pick a surjective $\varphi $ with a little bit of additional work). Denote $\mathcal{F}' = \mathop{\mathrm{Ker}}(\varphi )$. The short exact sequence

\[ 0 \to \mathcal{F}'|_ U \to \mathcal{F}''|_ U \to \mathcal{F}|_ U \to 0 \]

shows that $\xi $ is the image of $\xi '$ in $\mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ U(\mathcal{F}'|_ U, \mathcal{G}|_ U)$. By induction on $i$ we can find an $n$ such that $\xi '$ is the image of some $\xi '_ n$ in $\mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ X(\mathcal{I}^ n\mathcal{F}', \mathcal{G})$. By Artin-Rees we can find an $m \geq n$ such that $\mathcal{F}' \cap \mathcal{I}^ m\mathcal{F}'' \subset \mathcal{I}^ n\mathcal{F}'$. Using the short exact sequence

\[ 0 \to \mathcal{F}' \cap \mathcal{I}^ m\mathcal{F}'' \to \mathcal{I}^ m\mathcal{F}'' \to \mathcal{I}^ m\mathop{\mathrm{Im}}(\varphi ) \to 0 \]

the image of $\xi '_ n$ in $\mathop{\mathrm{Ext}}\nolimits ^{i - 1}_ X(\mathcal{F}' \cap \mathcal{I}^ m\mathcal{F}'', \mathcal{G})$ maps by the boundary map to an element $\xi _ m$ of $\mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ m\mathop{\mathrm{Im}}(\varphi ), \mathcal{G})$ which maps to $\xi $. Since $\mathop{\mathrm{Im}}(\varphi )$ and $\mathcal{F}$ agree over $U$ we see that $\mathcal{F}/\mathcal{I}^ m\mathop{\mathrm{Im}}(\varphi )$ is supported on $X \setminus U$. Hence there exists an $l \geq m$ such that $\mathcal{I}^ l\mathcal{F} \subset \mathcal{I}^ m\mathop{\mathrm{Im}}(\varphi )$, see Cohomology of Schemes, Lemma 30.10.2. Taking the image of $\xi _ m$ in $\mathop{\mathrm{Ext}}\nolimits ^ i_ X(\mathcal{I}^ l\mathcal{F}, \mathcal{G})$ we win. $\square$

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