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)