ScalingStacks

Proof. [01F2]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Note first that UU and U′U^{\prime} are normal by [EGA, IV.6.5.4]. Since direct images commute with flat base change we have f∗​𝒪U′=𝒪Uf_{*}\mathcal{O}_{U^{\prime}}=\mathcal{O}_{U}, which implies that ff has connected fibers as a consequence of the theorem on formal functions (cf. [EGA, III.4.3.2]). Since UU is connected and ff is closed, surjective and has connected fibers, it follows that U′U^{\prime} is connected, hence irreducible since it is normal. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.