ScalingStacks

Lemma 3.12 . [01F1]

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

Lemma 3.12.

Assume that

U′\textstyle{U^{\prime}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}f\scriptstyle{f}V′\textstyle{V^{\prime}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}g\scriptstyle{g}U\textstyle{U\ignorespaces\ignorespaces\ignorespaces\ignorespaces}V\textstyle{V}

a Cartesian square of Noetherian schemes such that the vertical arrows are proper and surjective and the horizontal morphisms are regular. If UU, VV are V′V^{\prime} are irreducible, VV and V′V^{\prime} are normal and g∗​𝒪V′=𝒪Vg_{*}\mathcal{O}_{V^{\prime}}=\mathcal{O}_{V} then U′U^{\prime} is normal and irreducible.

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