ScalingStacks

Proof. [02U1]

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\|^{\prime} be any toric smooth metric. Then ∥⋅∥𝕊\|\cdot\|_{\mathbb{S}} extends to a smooth metric if and only if log⁡(‖s‖𝕊/‖s‖′)\log(\|s\|_{\mathbb{S}}/\|s\|^{\prime}) can be extended to a smooth function on XΣanX_{\Sigma}^{{\text{\rm an}}}. But we have

log⁡(‖s‖𝕊/‖s‖′)=∫𝕊anlog⁡(‖s⁡(t⋅p)‖/‖s⁡(t⋅p)‖′)​d​μHaar​(t)\log(\|s\|_{\mathbb{S}}/\|s\|^{\prime})=\int_{\mathbb{S}^{{\text{\rm an}}}}\log(\|s(t\cdot p)\|/\|s(t\cdot p)\|^{\prime})\,\text{\rm d}\mu_{\operatorname{Haar}}(t)

and the right-hand side can be extended to a smooth function on the whole XΣanX_{\Sigma}^{{\text{\rm an}}}. Clearly the metric ∥⋅∥𝕊\|\cdot\|_{\mathbb{S}} is toric. Moreover

c1(L,∥⋅∥𝕊)=∫𝕊ant∗c1(L,∥⋅∥)dμHaar(t).c_{1}(L,\|\cdot\|_{\mathbb{S}})=\int_{\mathbb{S}^{{\text{\rm an}}}}t^{\ast}c_{1}(L,\|\cdot\|)\,\text{\rm d}\mu_{\operatorname{Haar}}(t).

Therefore, if (L,∥⋅∥)(L,\|\cdot\|) is semipositive, then (L,∥⋅∥𝕊)(L,\|\cdot\|_{\mathbb{S}}) is semipositive. ∎

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