Lemma 30.17.3. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible sheaf on $X$. Let $s \in \Gamma (X, \mathcal{L})$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. If $X$ is quasi-compact and quasi-separated, the canonical map
which maps $\xi /s^ n$ to $s^{-n}\xi $ is an isomorphism.
Proof. Note that for $p = 0$ this is Properties, Lemma 28.17.2. We will prove the statement using the induction principle (Lemma 30.4.1) where for $U \subset X$ quasi-compact open we let $P(U)$ be the property: for all $p \geq 0$ the map
is an isomorphism.
If $U$ is affine, then both sides of the arrow displayed above are zero for $p > 0$ by Lemma 30.2.2 and Properties, Lemma 28.26.4 and the statement is true. If $P$ is true for $U$, $V$, and $U \cap V$, then we can use the Mayer-Vietoris sequences (Cohomology, Lemma 20.8.2) to obtain a map of long exact sequences
(only a snippet shown). Observe that $U_ s \cap V_ s = (U \cap V)_ s$ and that $U_ s \cup V_ s = (U \cup V)_ s$. Thus the left and right vertical maps are isomorphisms (as well as one more to the right and one more to the left which are not shown in the diagram). We conclude that $P(U \cup V)$ holds by the 5-lemma (Homology, Lemma 12.5.20). This finishes the proof. $\square$
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 (0)