2
$\begingroup$

Does anyone know where I can find a proof of the following result ?
Given a Noetherian ring $A$, a proper morphism of schemes $X\rightarrow \operatorname{Spec}A$, a coherent $O_X-$module $\mathcal{F}$ and an ideal $I\subset A$ then $\bigoplus_{k=0}^{\infty}H^n(X,I^k\mathcal{F})$ is a finitely-generated $\bigoplus_{k=0}^nI^k-$graded module (where $H^n(X,.)$ denotes sheaf cohomology).
Any help would be appreciated !

$\endgroup$
1

0

You must log in to answer this question.

Browse other questions tagged .