[II Proposition 4.5.6(ii), EGA]

Lemma 28.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 28.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 28.26.4. $\square$

Comment #2694 by Matt Stevenson on

This is closely related to EGA II Prop 4.5.6 (ii) (in EGA, the scheme X is assumed to be quasi-compact).

Comment #2840 by on

To avoid misunderstandings, the assumption that L is ample already forces X to be quasi-compact, hence this really is the same thing as in EGA.

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).
{"ft_lang_label":"__label__en","ft_lang_prob":0.58851635,"math_prob":0.99998295,"size":1711,"snap":"2022-05-2022-21","text_gpt3_token_len":638,"char_repetition_ratio":0.18160516,"word_repetition_ratio":0.37142858,"special_character_ratio":0.37054354,"punctuation_ratio":0.13577023,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000066,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-05-19T08:22:38Z\",\"WARC-Record-ID\":\"<urn:uuid:a573247d-c230-4703-990d-7073a6340c47>\",\"Content-Length\":\"16286\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:096e1b31-b16d-4788-a1e7-e8368620b0de>\",\"WARC-Concurrent-To\":\"<urn:uuid:adb5720e-8e88-463a-bcb2-dad17c612fe4>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0890\",\"WARC-Payload-Digest\":\"sha1:DJQC4ZDBDXKSKCS46RGMCSSSFWIZHD7W\",\"WARC-Block-Digest\":\"sha1:4OLGJINQQL35WUCKKTS7FUAXIFDSTDJ6\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-21/CC-MAIN-2022-21_segments_1652662526009.35_warc_CC-MAIN-20220519074217-20220519104217-00454.warc.gz\"}"}