The Stacks project

27.26 Ample invertible sheaves

Recall from Modules, Lemma 17.22.10 that given an invertible sheaf $\mathcal{L}$ on a locally ringed space $X$, and given a global section $s$ of $\mathcal{L}$ the set $X_ s = \{ x \in X \mid s \not\in \mathfrak m_ x\mathcal{L}_ x\} $ is open. A general remark is that $X_ s \cap X_{s'} = X_{ss'}$, where $ss'$ denote the section $s \otimes s' \in \Gamma (X, \mathcal{L} \otimes \mathcal{L}')$.

reference

Definition 27.26.1. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. We say $\mathcal{L}$ is ample if

  1. $X$ is quasi-compact, and

  2. for every $x \in X$ there exists an $n \geq 1$ and $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $x \in X_ s$ and $X_ s$ is affine.

reference

Lemma 27.26.2. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $n \geq 1$. Then $\mathcal{L}$ is ample if and only if $\mathcal{L}^{\otimes n}$ is ample.

Proof. This follows from the fact that $X_{s^ n} = X_ s$. $\square$

Lemma 27.26.3. Let $X$ be a scheme. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. For any closed subscheme $Z \subset X$ the restriction of $\mathcal{L}$ to $Z$ is ample.

Proof. This is clear since a closed subset of a quasi-compact space is quasi-compact and a closed subscheme of an affine scheme is affine (see Schemes, Lemma 25.8.2). $\square$

Lemma 27.26.4. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $s \in \Gamma (X, \mathcal{L})$. For any affine $U \subset X$ the intersection $U \cap X_ s$ is affine.

Proof. This translates into the following algebra problem. Let $R$ be a ring. Let $N$ be an invertible $R$-module (i.e., locally free of rank 1). Let $s \in N$ be an element. Then $U = \{ \mathfrak p \mid s \not\in \mathfrak p N\} $ is an affine open subset of $\mathop{\mathrm{Spec}}(R)$. This you can see as follows. Think of $s$ as an $R$-module map $R \to N$. This gives rise to $R$-module maps $N^{\otimes k} \to N^{\otimes k + 1}$. Consider

\[ R' = \mathop{\mathrm{colim}}\nolimits _ n N^{\otimes n} \]

with transition maps as above. Define an $R$-algebra structure on $R'$ by the rule $x \cdot y = x \otimes y \in N^{\otimes n + m}$ if $x \in N^{\otimes n}$ and $y \in N^{\otimes m}$. We claim that $\mathop{\mathrm{Spec}}(R') \to \mathop{\mathrm{Spec}}(R)$ is an open immersion with image $U$.

To prove this is a local question on $\mathop{\mathrm{Spec}}(R)$. Let $\mathfrak p \in \mathop{\mathrm{Spec}}(R)$. Pick $f \in R$, $f \not\in \mathfrak p$ such that $N_ f \cong R_ f$ as a module. Replacing $R$ by $R_ f$, $N$ by $N_ f$ and $R'$ by $R'_ f = \mathop{\mathrm{colim}}\nolimits N_ f^{\otimes n}$ we may assume that $N \cong R$. Say $N = R$. In this case $s$ is an element of $R$ and it is easy to see that $R' \cong R_ s$. Thus the lemma follows. $\square$

reference

Lemma 27.26.5. Let $X$ be a scheme. Let $\mathcal{L}$ and $\mathcal{M}$ be invertible $\mathcal{O}_ X$-modules. If

  1. $\mathcal{L}$ is ample, and

  2. the open sets $X_ t$ where $t \in \Gamma (X, \mathcal{M}^{\otimes m})$ for $m > 0$ cover $X$,

then $\mathcal{L} \otimes \mathcal{M}$ is ample.

Proof. We check the conditions of Definition 27.26.1. As $\mathcal{L}$ is ample we see that $X$ is quasi-compact. Let $x \in X$. Choose $n \geq 1$, $m \geq 1$, $s \in \Gamma (X, \mathcal{L}^{\otimes n})$, and $t \in \Gamma (X, \mathcal{M}^{\otimes m})$ such that $x \in X_ s$, $x \in X_ t$ and $X_ s$ is affine. Then $s^ mt^ n \in \Gamma (X, (\mathcal{L} \otimes \mathcal{M})^{\otimes nm})$, $x \in X_{s^ mt^ n}$, and $X_{s^ mt^ n}$ is affine by Lemma 27.26.4. $\square$

Lemma 27.26.6. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Assume the open sets $X_ s$, where $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ and $n \geq 1$, form a basis for the topology on $X$. Then among those opens, the open sets $X_ s$ which are affine form a basis for the topology on $X$.

Proof. Let $x \in X$. Choose an affine open neighbourhood $\mathop{\mathrm{Spec}}(R) = U \subset X$ of $x$. By assumption, there exists a $n \geq 1$ and a $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $X_ s \subset U$. By Lemma 27.26.4 above the intersection $X_ s = U \cap X_ s$ is affine. Since $U$ can be chosen arbitrarily small we win. $\square$

Lemma 27.26.7. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Assume for every point $x$ of $X$ there exists $n \geq 1$ and $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $x \in X_ s$ and $X_ s$ is affine. Then $X$ is separated.

Proof. By assumption we can find a covering of $X$ by affine opens of the form $X_ s$. To show that $X$ is quasi-separated, by Schemes, Lemma 25.21.6 it suffices to show that $X_ s \cap X_{s'}$ is quasi-compact whenever $X_ s$ is affine. This is true by Lemma 27.26.4. Finally, to show that $X$ is separated, we can use the valuative criterion, see Schemes, Lemma 25.22.2.

Thus, let $A$ be a valuation ring with fraction field $K$ and consider two morphisms $f, g : \mathop{\mathrm{Spec}}(A) \to X$ such that the two compositions $\mathop{\mathrm{Spec}}(K) \to \mathop{\mathrm{Spec}}(A) \to X$ agree. Then $f^*\mathcal{L}$ corresponds to an $A$-module $M$ and $g^*\mathcal{L}$ corresponds to an $A$-module $N$ by our classification of quasi-coherent modules over affine schemes (Schemes, Lemma 25.7.4). The $A$-modules $M$ and $N$ are locally free of rank $1$ (Lemma 27.20.1) and as $A$ is local they are free of rank $1$. We are given an isomorphism $N \otimes _ A K \cong M \otimes _ A K$ because $f|_{\mathop{\mathrm{Spec}}(K)} = g|_{\mathop{\mathrm{Spec}}(K)}$. We fix an isomorphism $M \otimes _ A K \cong K \cong N \otimes _ A K$ compatible with the given isomorphism above, so that we may think of $M$ and $N$ as $A$-submodules of $K$ (free of rank $1$ over $A$). Next, choose $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $\mathop{\mathrm{Im}}(f) \subset X_ s$ and such that $X_ s$ is affine. This is possible by assumption and the fact that $A$ is local, so it suffices to look at the image of the closed point of $\mathop{\mathrm{Spec}}(A)$. Then $s$ corresponds to an element $x \in M^{\otimes n}$ and $y \in N^{\otimes n}$ mapping to the same element of $K^{\otimes n}$ and moreover $x \not\in \mathfrak m_ A M^{\otimes n}$ because $f(\mathop{\mathrm{Spec}}(A)) \subset X_ s$. We conclude that $N^{\otimes n} = Ax = Ay \subset M^{\otimes n}$ inside of $K^{\otimes n}$. Thus $N \subset M$. By symmetry we get $M = N$. This in turn implies that $g(\mathop{\mathrm{Spec}}(A)) \subset X_ s$. Then $f = g$ because $X_ s$ is affine and hence separated, thereby finishing the proof. $\square$

Lemma 27.26.8. Let $X$ be a scheme. If there exists an ample invertible sheaf on $X$ then $X$ is separated.

Proof. Follows immediately from Lemma 27.26.7 and Definition 27.26.1. $\square$

Lemma 27.26.9. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Set $S = \Gamma _*(X, \mathcal{L})$ as a graded ring. If every point of $X$ is contained in one of the open subschemes $X_ s$, for some $s \in S_{+}$ homogeneous, then there is a canonical morphism of schemes

\[ f : X \longrightarrow Y = \text{Proj}(S), \]

to the homogeneous spectrum of $S$ (see Constructions, Section 26.8). This morphism has the following properties

  1. $f^{-1}(D_{+}(s)) = X_ s$ for any $s \in S_{+}$ homogeneous,

  2. there are $\mathcal{O}_ X$-module maps $f^*\mathcal{O}_ Y(n) \to \mathcal{L}^{\otimes n}$ compatible with multiplication maps, see Constructions, Equation (26.10.1.1),

  3. the composition $S_ n \to \Gamma (Y, \mathcal{O}_ Y(n)) \to \Gamma (X, \mathcal{L}^{\otimes n})$ is the identity map, and

  4. for every $x \in X$ there is an integer $d \geq 1$ and an open neighbourhood $U \subset X$ of $x$ such that $f^*\mathcal{O}_ Y(dn)|_ U \to \mathcal{L}^{\otimes dn}|_ U$ is an isomorphism for all $n \in \mathbf{Z}$.

Proof. Denote $\psi : S \to \Gamma _*(X, \mathcal{L})$ the identity map. We are going to use the triple $(U(\psi ), r_{\mathcal{L}, \psi }, \theta )$ of Constructions, Lemma 26.14.1. By assumption the open subscheme $U(\psi )$ of equals $X$. Hence $r_{\mathcal{L}, \psi } : U(\psi ) \to Y$ is defined on all of $X$. We set $f = r_{\mathcal{L}, \psi }$. The maps in part (2) are the components of $\theta $. Part (3) follows from condition (2) in the lemma cited above. Part (1) follows from (3) combined with condition (1) in the lemma cited above. Part (4) follows from the last statement in Constructions, Lemma 26.14.1 since the map $\alpha $ mentioned there is an isomorphism. $\square$

Lemma 27.26.10. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Set $S = \Gamma _*(X, \mathcal{L})$. Assume (a) every point of $X$ is contained in one of the open subschemes $X_ s$, for some $s \in S_{+}$ homogeneous, and (b) $X$ is quasi-compact. Then the canonical morphism of schemes $f : X \longrightarrow \text{Proj}(S)$ of Lemma 27.26.9 above is quasi-compact with dense image.

Proof. To prove $f$ is quasi-compact it suffices to show that $f^{-1}(D_{+}(s))$ is quasi-compact for any $s \in S_{+}$ homogeneous. Write $X = \bigcup _{i = 1, \ldots , n} X_ i$ as a finite union of affine opens. By Lemma 27.26.4 each intersection $X_ s \cap X_ i$ is affine. Hence $X_ s = \bigcup _{i = 1, \ldots , n} X_ s \cap X_ i$ is quasi-compact. Assume that the image of $f$ is not dense to get a contradiction. Then, since the opens $D_+(s)$ with $s \in S_+$ homogeneous form a basis for the topology on $\text{Proj}(S)$, we can find such an $s$ with $D_+(s) \not= \emptyset $ and $f(X) \cap D_+(s) = \emptyset $. By Lemma 27.26.9 this means $X_ s = \emptyset $. By Lemma 27.17.2 this means that a power $s^ n$ is the zero section of $\mathcal{L}^{\otimes n\deg (s)}$. This in turn means that $D_+(s) = \emptyset $ which is the desired contradiction. $\square$

Lemma 27.26.11. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Set $S = \Gamma _*(X, \mathcal{L})$. Assume $\mathcal{L}$ is ample. Then the canonical morphism of schemes $f : X \longrightarrow \text{Proj}(S)$ of Lemma 27.26.9 is an open immersion with dense image.

Proof. By Lemma 27.26.7 we see that $X$ is quasi-separated. Choose finitely many $s_1, \ldots , s_ n \in S_{+}$ homogeneous such that $X_{s_ i}$ are affine, and $X = \bigcup X_{s_ i}$. Say $s_ i$ has degree $d_ i$. The inverse image of $D_{+}(s_ i)$ under $f$ is $X_{s_ i}$, see Lemma 27.26.9. By Lemma 27.17.2 the ring map

\[ (S^{(d_ i)})_{(s_ i)} = \Gamma (D_{+}(s_ i), \mathcal{O}_{\text{Proj}(S)}) \longrightarrow \Gamma (X_{s_ i}, \mathcal{O}_ X) \]

is an isomorphism. Hence $f$ induces an isomorphism $X_{s_ i} \to D_{+}(s_ i)$. Thus $f$ is an isomorphism of $X$ onto the open subscheme $\bigcup _{i = 1, \ldots , n} D_{+}(s_ i)$ of $\text{Proj}(S)$. The image is dense by Lemma 27.26.10. $\square$

Lemma 27.26.12. Let $X$ be a scheme. Let $S$ be a graded ring. Assume $X$ is quasi-compact, and assume there exists an open immersion

\[ j : X \longrightarrow Y = \text{Proj}(S). \]

Then $j^*\mathcal{O}_ Y(d)$ is an invertible ample sheaf for some $d > 0$.

Proof. This is Constructions, Lemma 26.10.6. $\square$

Proposition 27.26.13. Let $X$ be a quasi-compact scheme. Let $\mathcal{L}$ be an invertible sheaf on $X$. Set $S = \Gamma _*(X, \mathcal{L})$. The following are equivalent:

  1. $\mathcal{L}$ is ample,

  2. the open sets $X_ s$, with $s \in S_{+}$ homogeneous, cover $X$ and the associated morphism $X \to \text{Proj}(S)$ is an open immersion,

  3. the open sets $X_ s$, with $s \in S_{+}$ homogeneous, form a basis for the topology of $X$,

  4. the open sets $X_ s$, with $s \in S_{+}$ homogeneous, which are affine form a basis for the topology of $X$,

  5. for every quasi-coherent sheaf $\mathcal{F}$ on $X$ the sum of the images of the canonical maps

    \[ \Gamma (X, \mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}) \otimes _{\mathbf{Z}} \mathcal{L}^{\otimes -n} \longrightarrow \mathcal{F} \]

    with $n \geq 1$ equals $\mathcal{F}$,

  6. same property as (5) with $\mathcal{F}$ ranging over all quasi-coherent sheaves of ideals,

  7. $X$ is quasi-separated and for every quasi-coherent sheaf $\mathcal{F}$ of finite type on $X$ there exists an integer $n_0$ such that $\mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}$ is globally generated for all $n \geq n_0$,

  8. $X$ is quasi-separated and for every quasi-coherent sheaf $\mathcal{F}$ of finite type on $X$ there exist integers $n > 0$, $k \geq 0$ such that $\mathcal{F}$ is a quotient of a direct sum of $k$ copies of $\mathcal{L}^{\otimes - n}$, and

  9. same as in (8) with $\mathcal{F}$ ranging over all sheaves of ideals of finite type on $X$.

Proof. Lemma 27.26.11 is (1) $\Rightarrow $ (2). Lemmas 27.26.2 and 27.26.12 provide the implication (1) $\Leftarrow $ (2). The implications (2) $\Rightarrow $ (4) $\Rightarrow $ (3) are clear from Constructions, Section 26.8. Lemma 27.26.6 is (3) $\Rightarrow $ (1). Thus we see that the first 4 conditions are all equivalent.

Assume the equivalent conditions (1) – (4). Note that in particular $X$ is separated (as an open subscheme of the separated scheme $\text{Proj}(S)$). Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Choose $s \in S_{+}$ homogeneous such that $X_ s$ is affine. We claim that any section $m \in \Gamma (X_ s, \mathcal{F})$ is in the image of one of the maps displayed in (5) above. This will imply (5) since these affines $X_ s$ cover $X$. Namely, by Lemma 27.17.2 we may write $m$ as the image of $m' \otimes s^{-n}$ for some $n \geq 1$, some $m' \in \Gamma (X, \mathcal{F} \otimes \mathcal{L}^{\otimes n})$. This proves the claim.

Clearly (5) $\Rightarrow $ (6). Let us assume (6) and prove $\mathcal{L}$ is ample. Pick $x \in X$. Let $U \subset X$ be an affine open which contains $x$. Set $Z = X \setminus U$. We may think of $Z$ as a reduced closed subscheme, see Schemes, Section 25.12. Let $\mathcal{I} \subset \mathcal{O}_ X$ be the quasi-coherent sheaf of ideals corresponding to the closed subscheme $Z$. By assumption (6), there exists an $n \geq 1$ and a section $s \in \Gamma (X, \mathcal{I} \otimes \mathcal{L}^{\otimes n})$ such that $s$ does not vanish at $x$ (more precisely such that $s \not\in \mathfrak m_ x \mathcal{I}_ x \otimes \mathcal{L}_ x^{\otimes n}$). We may think of $s$ as a section of $\mathcal{L}^{\otimes n}$. Since it clearly vanishes along $Z$ we see that $X_ s \subset U$. Hence $X_ s$ is affine, see Lemma 27.26.4. This proves that $\mathcal{L}$ is ample. At this point we have proved that (1) – (6) are equivalent.

Assume the equivalent conditions (1) – (6). In the following we will use the fact that the tensor product of two sheaves of modules which are globally generated is globally generated without further mention (see Modules, Lemma 17.4.3). By (1) we can find elements $s_ i \in S_{d_ i}$ with $d_ i \geq 1$ such that $X = \bigcup _{i = 1, \ldots , n} X_{s_ i}$. Set $d = d_1\ldots d_ n$. It follows that $\mathcal{L}^{\otimes d}$ is globally generated by

\[ s_1^{d/d_1}, \ldots , s_ n^{d/d_ n}. \]

This means that if $\mathcal{L}^{\otimes j}$ is globally generated then so is $\mathcal{L}^{\otimes j + dn}$ for all $n \geq 0$. Fix a $j \in \{ 0, \ldots , d - 1\} $. For any point $x \in X$ there exists an $n \geq 1$ and a global section $s$ of $\mathcal{L}^{j + dn}$ which does not vanish at $x$, as follows from (5) applied to $\mathcal{F} = \mathcal{L}^{\otimes j}$ and ample invertible sheaf $\mathcal{L}^{\otimes d}$. Since $X$ is quasi-compact there we may find a finite list of integers $n_ i$ and global sections $s_ i$ of $\mathcal{L}^{\otimes j + dn_ i}$ which do not vanish at any point of $X$. Since $\mathcal{L}^{\otimes d}$ is globally generated this means that $\mathcal{L}^{\otimes j + dn}$ is globally generated where $n = \max \{ n_ i\} $. Since we proved this for every congruence class mod $d$ we conclude that there exists an $n_0 = n_0(\mathcal{L})$ such that $\mathcal{L}^{\otimes n}$ is globally generated for all $n \geq n_0$. At this point we see that if $\mathcal{F}$ is globally generated then so is $\mathcal{F} \otimes \mathcal{L}^{\otimes n}$ for all $n \geq n_0$.

We continue to assume the equivalent conditions (1) – (6). Let $\mathcal{F}$ be a quasi-coherent sheaf of $\mathcal{O}_ X$-modules of finite type. Denote $\mathcal{F}_ n \subset \mathcal{F}$ the image of the canonical map of (5). By construction $\mathcal{F}_ n \otimes \mathcal{L}^{\otimes n}$ is globally generated. By (5) we see $\mathcal{F}$ is the sum of the subsheaves $\mathcal{F}_ n$, $n \geq 1$. By Modules, Lemma 17.9.7 we see that $\mathcal{F} = \sum _{n = 1, \ldots , N} \mathcal{F}_ n$ for some $N \geq 1$. It follows that $\mathcal{F} \otimes \mathcal{L}^{\otimes n}$ is globally generated whenever $n \geq N + n_0(\mathcal{L})$ with $n_0(\mathcal{L})$ as above. We conclude that (1) – (6) implies (7).

Assume (7). Let $\mathcal{F}$ be a quasi-coherent sheaf of $\mathcal{O}_ X$-modules of finite type. By (7) there exists an integer $n \geq 1$ such that the canonical map

\[ \Gamma (X, \mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}) \otimes _{\mathbf{Z}} \mathcal{L}^{\otimes -n} \longrightarrow \mathcal{F} \]

is surjective. Let $I$ be the set of finite subsets of $\Gamma (X, \mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n})$ partially ordered by inclusion. Then $I$ is a directed partially ordered set. For $i = \{ s_1, \ldots , s_{r(i)}\} $ let $\mathcal{F}_ i \subset \mathcal{F}$ be the image of the map

\[ \bigoplus \nolimits _{j = 1, \ldots , r(i)} \mathcal{L}^{\otimes -n} \longrightarrow \mathcal{F} \]

which is multiplication by $s_ j$ on the $j$th factor. The surjectivity above implies that $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _{i \in I} \mathcal{F}_ i$. Hence Modules, Lemma 17.9.7 applies and we conclude that $\mathcal{F} = \mathcal{F}_ i$ for some $i$. Hence we have proved (8). In other words, (7) $\Rightarrow $ (8).

The implication (8) $\Rightarrow $ (9) is trivial.

Finally, assume (9). Let $\mathcal{I} \subset \mathcal{O}_ X$ be a quasi-coherent sheaf of ideals. By Lemma 27.22.3 (this is where we use the condition that $X$ be quasi-separated) we see that $\mathcal{I} = \mathop{\mathrm{colim}}\nolimits _\alpha I_\alpha $ with each $I_\alpha $ quasi-coherent of finite type. Since by assumption each of the $I_\alpha $ is a quotient of negative tensor powers of $\mathcal{L}$ we conclude the same for $\mathcal{I}$ (but of course without the finiteness or boundedness of the powers). Hence we conclude that (9) implies (6). This ends the proof of the proposition. $\square$

Lemma 27.26.14. Let $X$ be a scheme. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. For any quasi-compact immersion $i : X' \to X$ the pullback $i^*\mathcal{L}$ is ample on $X'$.

Proof. For $s \in \Gamma (X, \mathcal{L}^{\otimes d})$ denote $s' = i^*s$ the restriction to $X'$. By Proposition 27.26.13 the opens $X_ s$, for $s \in \Gamma (X, \mathcal{L}^{\otimes d})$, form a basis for the topology on $X$. Since $X'_{s'} = X' \cap X_ s$ and since $i(X') \subset X$ is locally closed, we conclude the same thing is true for the opens $X'_{s'}$. Hence the lemma is a consequence of Proposition 27.26.13. $\square$

Lemma 27.26.15. Let $S$ be a quasi-separated scheme. Let $X$, $Y$ be schemes over $S$. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module and let $\mathcal{N}$ be an ample invertible $\mathcal{O}_ Y$-module. Then $\mathcal{M} = \text{pr}_1^*\mathcal{L} \otimes _{\mathcal{O}_{X \times _ S Y}} \text{pr}_2^*\mathcal{N}$ is an ample invertible sheaf on $X \times _ S Y$.

Proof. The morphism $i : X \times _ S Y \to X \times Y$ is a quasi-compact immersion, see Schemes, Lemma 25.21.9. On the other hand, $\mathcal{M}$ is the pullback by $i$ of the corresponding invertible module on $X \times Y$. By Lemma 27.26.14 it suffices to prove the lemma for $X \times Y$. We check (1) and (2) of Definition 27.26.1 for $\mathcal{M}$ on $X \times Y$.

Since $X$ and $Y$ are quasi-compact, so is $X \times Y$. Let $z \in X \times Y$ be a point. Let $x \in X$ and $y \in Y$ be the projections. Choose $n > 0$ and $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $X_ s$ is an affine open neighbourhood of $x$. Choose $m > 0$ and $t \in \Gamma (Y, \mathcal{N}^{\otimes m})$ such that $Y_ t$ is an affine open neighbourhood of $y$. Then $r = \text{pr}_1^*s \otimes \text{pr}_2^*t$ is a section of $\mathcal{M}$ with $(X \times Y)_ r = X_ s \times Y_ t$. This is an affine open neighbourhood of $z$ and the proof is complete. $\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 01PR. Beware of the difference between the letter 'O' and the digit '0'.