ScalingStacks

Verified tagged author-source HTML · 1904.03696v1 · cited publication edition alignment unverified.

00KE

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)

00KF

Proof. This follows from Lemma 2.11. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.