ScalingStacks

Remark 2.1.2 . [04NI]

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

Remark 2.1.2.

The smoothness of ZZ and the assumption that the components of 𝒳k\mathscr{X}_{k} are Cartier divisors imply that 𝒳\mathscr{X} is regular at any point of ZZ. Indeed, for any point p∈Zp\in Z and j∈Jj\in J, let zj∈π’ͺ𝒳,pz_{j}\in\mathcal{O}_{\mathscr{X},p} be a local equation of DjD_{j} at pp. As π’ͺZ,p≃π’ͺ𝒳,p/(z0,…,znβˆ’r)\mathcal{O}_{Z,p}\simeq\mathcal{O}_{\mathscr{X},p}/(z_{0},\ldots,z_{n-r}) is a regular local ring of dimension rr, (z0,…,znβˆ’r)(z_{0},\ldots,z_{n-r}) can be extended to form a regular system of parameters for π’ͺ𝒳,p\mathcal{O}_{\mathscr{X},p}.

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