{"id":"arxiv/2609.28945","url":"https://arxiv.org/abs/2609.28945","tags":["math.AG"],"score":0,"title":"The Serre-Grothendieck Finiteness Theorem for the cohomology of coherent sheaves","domain":"math.AG","source":"arxiv","authors":["Beren Sanders"],"reviews":0,"subject":"math.AG","summary":"We prove the converse of the Serre-Grothendieck finiteness theorem for the cohomology of coherent sheaves, originally due to Lipman. This result characterizes proper morphisms as those morphisms whose derived pushforward preserves pseudo-coherent complexes. Although the derived pushforward does not reflect pseudo-coherence, we prove that it does after twisting by all perfect complexes. This provides a new characterization of properness.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}