ScalingStacks

Lemma 3.7 . [00KE]

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

Lemma 3.7.

Assume that LL is globally generated. Let ∥⋅∥1\lVert\mathord{\cdot}\rVert_{1} be a norm on V1​(L)V_{1}(L) and let FS⁡(∥⋅∥1)\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{1}) be the associated Fubini-Study metric. Then for any x∈Xanx\in X^{\mathrm{an}} and e⁡(x)∈L⁡(x)∖0e(x)\in L(x)\setminus 0,

|e⁡(x)|FS⁡(∥⋅∥1)=infλ∈κ^​(x),s1∈V1​(L)s1​(x)=λ⋅e⁡(x)|λ|−1⋅∥s1∥.\lvert e(x)\rvert_{\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{1})}=\inf_{\begin{subarray}{c}\lambda\in\widehat{\kappa}(x),\ s_{1}\in V_{1}(L)\\ s_{1}(x)=\lambda\cdot e(x)\end{subarray}}\lvert\lambda\rvert^{-1}\cdot\lVert s_{1}\rVert.

(with the convention that 0−1=+∞0^{-1}=+\infty)

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