Lemma 48.13.4. Let $f : X \to Y$ be a perfect proper morphism of Noetherian schemes. Let $g : Y' \to Y$ be a morphism with $Y'$ Noetherian. If $X$ and $Y'$ are tor independent over $Y$, then the base change map (48.5.0.1) is an isomorphism for all $K \in D_\mathit{QCoh}(\mathcal{O}_ Y)$.

Proof. By Lemma 48.13.2 formation of the functors $a$ and $a'$ commutes with restriction to opens of $Y$ and $Y'$. Hence we may assume $Y' \to Y$ is a morphism of affine schemes, see Remark 48.6.1. In this case the statement follows from Lemma 48.6.2. $\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.7278914,"math_prob":0.9977159,"size":918,"snap":"2021-31-2021-39","text_gpt3_token_len":267,"char_repetition_ratio":0.101750545,"word_repetition_ratio":0.0,"special_character_ratio":0.29520696,"punctuation_ratio":0.13793103,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99978465,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-07-25T10:33:24Z\",\"WARC-Record-ID\":\"<urn:uuid:9dd8e9f2-7006-4ed2-a4d6-6cf099164a06>\",\"Content-Length\":\"14068\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:08db458d-9501-4596-9e14-a1ef881b190b>\",\"WARC-Concurrent-To\":\"<urn:uuid:be5a648f-afa7-46ba-822b-e0498b9a174e>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0BZG\",\"WARC-Payload-Digest\":\"sha1:UNU2L22MRELMCKHXSIURB36OC4PZ5EXN\",\"WARC-Block-Digest\":\"sha1:5SQFC7JKOD3MLBK35H5L2AHJWSEWJW3W\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-31/CC-MAIN-2021-31_segments_1627046151641.83_warc_CC-MAIN-20210725080735-20210725110735-00070.warc.gz\"}"}