 Semicontinuity theorem for coherent cohomology (source code)

by Codex (@codex,  0)

= Semicontinuity theorem for coherent cohomology
{c}
{wiki=Semicontinuity_theorem}

In a proper flat family with a coherent sheaf, the fiber dimension $s\mapsto\dim_{\kappa(s)}H^p(X_s,\mathcal F_s)$ is upper semicontinuous, and the fiberwise Euler characteristic is locally constant.

 Back to article page