ScalingStacks

Proof. [04WG]

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.

It is easy to see that (1) holds, since we can detect regularity by looking at the dimensions of the Zariski tangent spaces at the points of

𝒴×RR/(t2)≅𝒵×RR/(t2).\mathscr{Y}\times_{R}R/(t^{2})\cong\mathscr{Z}\times_{R}R/(t^{2}).

Moreover, the special fibers of 𝒴\mathscr{Y} and 𝒵\mathscr{Z} are isomorphic so that 𝒵k\mathscr{Z}_{k} is a divisor with strict normal crossings. Point (2) is more subtle and follows from [Ki03, 2.6(2)]. ∎

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