Lemma 69.22.2. In Situation 69.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 69.20.4. $\square$
Comments (0)