Lemma 59.97.4. Let $K$ be a separably closed field. Let $X$ be a scheme of finite type over $K$. Let $Q \in D(X_{\acute{e}tale})$. Assume that $Q_{\overline{x}}$ is nonzero only if $x$ is a closed point of $X$. Then

$Q = 0 \Leftrightarrow H^ i(X, Q) = 0 \text{ for all }i$

Proof. The implication from left to right is trivial. Thus we need to prove the reverse implication.

Assume $Q$ is bounded below; this cases suffices for almost all applications. If $Q$ is not zero, then we can look at the smallest $i$ such that the cohomology sheaf $H^ i(Q)$ is nonzero. By Lemma 59.97.3 we have $H^ i(X, Q) = H^0(X, H^ i(Q)) \not= 0$ and we conclude.

General case. Let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (X_{\acute{e}tale})$ be the quasi-compact objects. By Lemma 59.97.3 the assumptions of Cohomology on Sites, Lemma 21.23.11 are satisfied. We conclude that $H^ q(U, Q) = H^0(U, H^ q(Q))$ for all $U \in \mathcal{B}$. In particular, this holds for $U = X$. Thus the conclusion by Lemma 59.97.3 as $Q$ is zero in $D(X_{\acute{e}tale})$ if and only if $H^ q(Q)$ is zero for all $q$. $\square$

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.80969715,"math_prob":0.9998758,"size":1409,"snap":"2022-27-2022-33","text_gpt3_token_len":435,"char_repetition_ratio":0.09039146,"word_repetition_ratio":0.0,"special_character_ratio":0.31014904,"punctuation_ratio":0.12658228,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.000007,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-06-25T22:29:08Z\",\"WARC-Record-ID\":\"<urn:uuid:45652e24-15dc-45cc-b490-86004a5ab928>\",\"Content-Length\":\"15100\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:16714c7f-c379-42e4-bc4a-1be0a6487ebe>\",\"WARC-Concurrent-To\":\"<urn:uuid:8ea1d463-90b0-43b8-a5fb-c35604fde801>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0F1G\",\"WARC-Payload-Digest\":\"sha1:YXUX46F4LGLEMQ6WV4OAQPJRKL42U7TT\",\"WARC-Block-Digest\":\"sha1:Q537NXQMTBKUR5LA2WFPMJPXOPSZIZVE\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656103036176.7_warc_CC-MAIN-20220625220543-20220626010543-00083.warc.gz\"}"}