Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
This write-up of Keerthi Madapusi Pera possibly answers your question (apologies if not): math.harvard.edu/~keerthi/files/perfect_complexes.pdf –  Piotr Achinger Jul 21 '13 at 17:00
The comments to this question, especially ulrich's reference to EGA III, should be helpful: mathoverflow.net/questions/122463/semicontinuity-for-complexes –  Keerthi Madapusi Pera Jul 21 '13 at 17:38
@ Keerthi Madapusi Pera : Ah great, thanks! I guess that if the upper semi-continuity works then the base-change should also be fine... hopefully! –  Libli Jul 22 '13 at 21:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.