The Serre-Grothendieck Finiteness Theorem for the cohomology of coherent sheaves
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.28945
curl -X POST /api/v1/records/arxiv/2609.28945/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.28945/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'