ScalingStacks

Subsubsection [04V8]

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

(3.2.1) In the following subsections, we will make use of the weight function

wtω:XKan→ℝ∪{+∞}\mathrm{wt}_{\omega}:X_{K}^{\mathrm{an}}\to\mathbb{R}\cup\{+\infty\}

associated to a non-zero mm-pluricanonical form on XKX_{K}, for any m>0m>0. Its construction and main properties are described in [MN13, 4.4.5]. For us, its most important features are the following: if 𝒳\mathscr{X} is an s​n​csnc-model of XX over 𝒞\mathscr{C} and xx is a point of Sk⁡(𝒳)\mathrm{Sk}(\mathscr{X}), then

wtω​(x)=vx​(div𝒳​(ω)+m​(𝒳s)red)\mathrm{wt}_{\omega}(x)=v_{x}(\mathrm{div}_{\mathscr{X}}(\omega)+m(\mathscr{X}_{s})_{\mathrm{red}})

(here we use the notation recalled in (2.1)). Moreover, for every point yy of 𝒳^η\widehat{\mathscr{X}}_{\eta}, we have

wtω​(y)≥wtω​(ρ𝒳​(y))\mathrm{wt}_{\omega}(y)\geq\mathrm{wt}_{\omega}(\rho_{\mathscr{X}}(y))

with equality if and only if yy lies on Sk⁡(𝒳)\mathrm{Sk}(\mathscr{X}). In [MN13, 4.4.5] there is no properness assumption on XKX_{K}; this allows us to deal with rational pluricanonical forms by removing the locus of poles from XKX_{K}.

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