网页Theorem 1. (Semicontinuity) Let f: X→ Y be a projective morphism of noetherian schemes, F be a coherent sheaf on Xwhich is flat overY. Then for i≥ 0, the function hi(y,F) = dim k(y) H i(X y,Fy) is an upper semicontinuous function on Y. Proof. We may assume that Y = SpecAwith Anoetherian. By Corollary III.9.4, Hi(X y,Fy) ≃ H i(X,F ⊗k(y ...