×

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
PDF BibTeX XML Cite
Full Text: DOI Euclid