Lemma 68.22.2. In Situation 68.22.1. Set $B = \bigoplus _{n \geq 0} I^ n$. Then for every $p \geq 0$ the graded $B$-module $\bigoplus _{n \geq 0} H^ p(X, I^ n\mathcal{F})$ is a finite $B$-module.

Proof. Let $\mathcal{B} = \bigoplus I^ n\mathcal{O}_ X = f^*\widetilde{B}$. Then $\bigoplus I^ n\mathcal{F}$ is a finite type graded $\mathcal{B}$-module. Hence the result follows from Lemma 68.20.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).