ScalingStacks

Subsubsection [04UR]

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

(2.1.6) We will use the following notations from [MN13]. If ๐’ณ\mathscr{X} is a normal model of XX over ๐’ž\mathscr{C}, xx is a point of ๐’ณ^ฮท\widehat{\mathscr{X}}_{\eta} and DD is a divisor on ๐’ณ\mathscr{X} that is supported on ๐’ณs\mathscr{X}_{s} and Cartier at red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x), then we set

vxโ€‹(D)=โˆ’lnโก|fโก(x)|v_{x}(D)=-\ln|f(x)|

where ff is any element of the local ring of ๐’ณ\mathscr{X} at red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x) such that D=divโก(f)D=\mathrm{div}(f) locally at red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x). It is clear that vxโ€‹(D)v_{x}(D) is linear in DD. If ๐’ณ\mathscr{X} is regular and ฯ‰\omega is a non-zero rational section of ฯ‰๐’ณR/RโŠ—m\omega_{\mathscr{X}_{R}/R}^{\otimes m}, for some m>0m>0 (for instance, an mm-pluricanonical form on XKX_{K}) then we denote by div๐’ณโ€‹(ฯ‰)\mathrm{div}_{\mathscr{X}}(\omega) the corresponding divisor on ๐’ณR\mathscr{X}_{R}.

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