Lemma 36.32.6. Let $f : X \to S$ be a morphism of schemes. Assume

$f$ is proper, flat, and of finite presentation, and

the geometric fibres of $f$ are reduced and connected.

Then $f_*\mathcal{O}_ X = \mathcal{O}_ S$ and this holds after any base change.

## Comments (0)