Remark 75.25.2. Let R be a ring. Let X be an algebraic space of finite presentation over R. Let \mathcal{G} be a finitely presented \mathcal{O}_ X-module flat over R with support proper over R. By Lemma 75.25.1 there exists a finite complex of finite projective R-modules M^\bullet such that we have
R\Gamma (X_{R'}, \mathcal{G}_{R'}) = M^\bullet \otimes _ R R'
functorially in the R-algebra R'.
Comments (0)