MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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

 
discard

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

Browse other questions tagged or ask your own question.