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 …