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 !
$\begingroup$
$\endgroup$
1
-
1$\begingroup$ EGA III, Cor 3.3.2 or stacks.math.columbia.edu/tag/02O8 $\endgroup$– JohanCommented Sep 16, 2021 at 12:34
Add a comment
|