Skip to main content
3 of 4
Displaying CD, which reduces spurious blank space
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Counterexample to flat base change for $\mathcal{O}_X$-modules

Consider a commutative diagram

$$\require{AMScd} \begin{CD} X' @>{f'}>> X\\ @V{p'} VV @VV{p} V\\ S' @>{f}>> S \end{CD}$$

of schemes (or even locally ringed spaces). If $\mathcal{F}$ is any $\mathcal{O}_X$-module, then there is a base change morphism $$ f^* R^i p_* \mathcal F \to R^i(p')_* (f')^* \mathcal F. $$ The flat base change theorem says that if all objects are schemes, $f$ is flat, and $\mathcal F$ is quasicoherent, then base change is an isomorphism. Is there a nice counterexample if $\mathcal F$ is not quasicoherent?