I wonder if the base change for a flat complex of coherent sheaves works. Namely, let $f : X \rightarrow Y$ be a proper morphism of varieties over $k$. Let $\mathcal{F}^{\bullet}$ be a bounded complex of coherent sheaves on $X$ such that all the cohomology sheaves $\mathcal{H}^{\bullet}(\mathcal{F}^{\bullet})$ are flat over $Y$. Assume that the dimension of $\mathcal{H}^i (\mathrm{R} \Gamma(\mathcal{F}^{\bullet} \otimes k(y))$ is constant when $y$ varies in $Y$. Do we have a base-change formula:

$$ \mathcal{H}^i (\mathrm{R} \Gamma(\mathcal{F}^{\bullet} \otimes k(y)) = \mathcal{H}^i (\mathrm{R}f_* (\mathcal{F}^{\bullet})) \otimes k(y), $$ for all $y \in Y$ ?

Many thanks in advance.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.