# zbMATH — the first resource for mathematics

The direct image sheaf $$f_*(O_X)$$. (English) Zbl 1365.14022
Summary: We prove $$f_*(O_X)=O_S$$ for a proper flat surjective morphism $$f:X\rightarrow S$$ of noetherian schemes under a mild condition.
##### MSC:
 14F05 Sheaves, derived categories of sheaves, etc. (MSC2010) 14A15 Schemes and morphisms 13H99 Local rings and semilocal rings
Full Text: