ScalingStacks

Proposition 1.4.3 ( [ MN15 , Proposition 2.4.4] ). [04MM]

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

Proposition 1.4.3 ([MN15, Proposition 2.4.4]).

Let 𝒳\mathscr{X} be a dlt model of 𝒳\mathscr{X}, with special fiber 𝒳k=βˆ‘i∈Iai​Di\mathscr{X}_{k}=\sum_{i\in I}a_{i}D_{i}. Let JβŠ‚IJ\subset I such that DJ=∩j∈JDjD_{J}=\cap_{j\in J}D_{j} is non-empty, and YY a connected component of DJD_{J}, with generic point Ξ·\eta. We furthermore fix a local equation zj∈π’ͺ𝒳,Ξ·z_{j}\in\mathcal{O}_{\mathscr{X},\eta} for DjD_{j}, for any j∈Jj\in J.
Then, for any wβˆˆΟ„Y={wβˆˆβ„β©Ύ0|J||βˆ‘j∈Jaj​wj=1}w\in\tau_{Y}=\{w\in\mathbb{R}^{|J|}_{\geqslant 0}\,|\sum_{j\in J}a_{j}w_{j}=1\}, there exists a unique valuation

vw:π’ͺ𝒳,Ξ·βŸΆβ„β©Ύ0βˆͺ{+∞}v_{w}:\mathcal{O}_{\mathscr{X},\eta}\longrightarrow\mathbb{R}_{\geqslant 0}\cup\{+\infty\}

such that for every f∈π’ͺ𝒳,Ξ·f\in\mathcal{O}_{\mathscr{X},\eta}, with expansion f=βˆ‘Ξ²βˆˆβ„•|J|cβ​zΞ²f=\sum_{\beta\in\mathbb{N}^{|J|}}c_{\beta}z^{\beta} (with cΞ²c_{\beta} either zero or unit), we have:

vw(f)=min{(wβ‹…Ξ²)|Ξ²βˆˆβ„•|J|,cΞ²β‰ 0},v_{w}(f)=\min\{(w\cdot\beta)\,|\beta\in\mathbb{N}^{|J|},c_{\beta}\neq 0\},

where (β‹…)(\;\cdot\;) is the usual scalar product on ℝ|J|\mathbb{R}^{|J|}.

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