Stein factorization

In algebraic geometry, the Stein factorization states the following: Let X be a scheme, S a locally noetherian scheme and $f:X\to S$ a proper morphism. Then one can write

$f=g\circ f'$

where $g:S'\to S$ is a finite morphism and $f':X\to S'$ is a proper morphism so that $f'_{*}{\mathcal {O}}_{X}={\mathcal {O}}_{S'}$.

By the Zariski main theorem, the last part in the theorem says that the fibers $f'^{-1}(s)$ are connected for any $s\in S$. It follows:

Corollary: For any $s\in S$, the set of connected components of $f^{-1}(s)$ is in bijection with the set of closed points in the fiber $g^{-1}(s)$.

Proof

In EGA, the theorem is deduced from the theorem on formal functions. The red book has an alternative non-cohomological proof.

References

The writing of this article benefited from [1].

• Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.