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 …