ScalingStacks

Proof. [02T8]

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.

Let ∥⋅∥\|\cdot\| be a toric metric on LanL^{{\text{\rm an}}}. Since ss is a regular nowhere vanishing section on X0anX_{0}^{{\text{\rm an}}}, ψ∥⋅∥\psi_{\|\cdot\|} is a well defined continuous function on NℝN_{\mathbb{R}}. Let {mσ}\{m_{\sigma}\} be a set of defining vectors of Ψ\Psi. For each cone σ∈Σ\sigma\in\Sigma, the section χmσ​s\chi^{m_{\sigma}}s is a regular nowhere vanishing section on XσanX_{\sigma}^{{\text{\rm an}}}. Therefore log⁡(‖(χmσ​s)​(p)‖)\log(\|(\chi^{m_{\sigma}}s)(p)\|) is a continuous function on XσanX_{\sigma}^{{\text{\rm an}}} that is 𝕊an\mathbb{S}^{{\text{\rm an}}}-invariant. So it defines a continuous function on Xσ​(ℝ≥0)X_{\sigma}(\mathbb{R}_{\geq 0}). By equation (5.4),

ψ∥⋅∥(val(p))−mσ(val(p))\displaystyle\psi_{\|\cdot\|}({\operatorname{val}}(p))-m_{\sigma}({\operatorname{val}}(p)) =1λK​(log⁡(‖s⁡(p)‖)−log⁡(|χ−mσ​(p)|))\displaystyle=\frac{1}{\lambda_{K}}\left(\log(\|s(p)\|)-\log(|\chi^{-m_{\sigma}}(p)|)\right)
=1λK​log⁡(‖(χmσ​s)​(p)‖).\displaystyle=\frac{1}{\lambda_{K}}\log(\|(\chi^{m_{\sigma}}s)(p)\|).

Therefore ψ∥⋅∥−mσ\psi_{\|\cdot\|}-m_{\sigma} extends to a continuous function on Nσ≃Xσ​(ℝ≥0)N_{\sigma}\simeq X_{\sigma}(\mathbb{R}_{\geq 0}). If we see that Ψ−mσ\Psi-m_{\sigma} extends also to a continuous function on NσN_{\sigma} we will be able to extend ψ∥⋅∥−Ψ\psi_{\|\cdot\|}-\Psi to a continuous function on NσN_{\sigma} for every σ∈Σ\sigma\in\Sigma and therefore to NΣN_{\Sigma}.

Let τ\tau be a face of σ\sigma and let u∈N​(τ)ℝu\in N(\tau)_{\mathbb{R}}. Let W⁡(τ,U,p)W(\tau,U,p) be a neighbourhood of uu as in (5.6). By taking UU small enough and pp big enough we can assume that W⁡(τ,U,p)∩NℝW(\tau,U,p)\cap N_{\mathbb{R}} is contained in the set of cones that have τ\tau as a face. Since Ψ\Psi and mσm_{\sigma} agree when restricted to σ\sigma (hence when restricted to τ\tau) it follows that, if w+t∈W⁡(τ,U,p)∩Nℝw+t\in W(\tau,U,p)\cap N_{\mathbb{R}} with w∈Uw\in U and t∈p+τt\in p+\tau, then (Ψ−mσ)​(w+t)(\Psi-m_{\sigma})(w+t) only depends on ww and not on tt. Hence it can be extended to a continuous function on the whole W⁡(τ,U,p)W(\tau,U,p). By moving τ\tau, uu, UU and pp we see that it can be extended to a continuous function on NσN_{\sigma}.

Let now ψ\psi be a function on NℝN_{\mathbb{R}} such that ψ−Ψ\psi-\Psi extends to a continuous function on NΣN_{\Sigma}. We define a toric metric ∥⋅∥ψ\|\cdot\|_{\psi} on LanL^{{\text{\rm an}}} over the set X0anX_{0}^{{\text{\rm an}}} by the formula

‖s⁡(p)‖ψ=exp⁡(λK​ψ​(valK⁡(p))).\|s(p)\|_{\psi}=\exp(\lambda_{K}\psi({\operatorname{val}}_{K}(p))).

Then, by the argument before, ψ−mσ\psi-m_{\sigma} extends to a continuous function on NσN_{\sigma}, which proves that ∥⋅∥ψ\|\cdot\|_{\psi} extends to a metric over XσanX_{\sigma}^{{\text{\rm an}}}. Varying σ∈Σ\sigma\in\Sigma we obtain that ∥⋅∥ψ\|\cdot\|_{\psi} extends to a metric over XΣanX_{\Sigma}^{{\text{\rm an}}}. ∎

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