Prefer a chat interface with context about you and your work?
The Direct Image Sheaf $f_*(O_X)$
We prove f * (O X ) = O S for a proper flat surjective morphism f : X → S of noetherian schemes under a mild condition.