## 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 …