A proper scheme with infinite-dimensional fppf cohomology
In algebraic geometry, very often one encounters theorems of the following flavor:
Theorem: Let be a proper morphism of spaces. Then for every sheaf on that is finite, so is its pushforward .
Notice how I was being deliberately vague in the theorem above. What are and ? What does …