Lemma 75.26.8. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. 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}_ Y$ and this holds after any base change.
Proof.
By Lemma 75.26.7 it suffices to show that $k = H^0(X_ k, \mathcal{O}_{X_ k})$ for all morphisms $\mathop{\mathrm{Spec}}(k) \to Y$ where $k$ is a field. This follows from Spaces over Fields, Lemma 72.14.3 and the fact that $X_ k$ is geometrically connected and geometrically reduced.
$\square$
Comments (0)
There are also: