ScalingStacks

Proof. [00KW]

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.

The criterion 1 unfolds the definition of the fact that z∈𝔐z\in\mathfrak{M}. The criterion 2 is equivalent to the criterion 1, as ⦀⋅⦀X|x\vvvert\mathord{\cdot}\vvvert_{X|x} is the quotient algebra norm of ⦀⋅⦀κ^​(x)\vvvert\mathord{\cdot}\vvvert_{\widehat{\kappa}(x)} for the evaluation map ev⁡(x)\mathrm{ev}(x). The criterion 3 is equivalent to the criterion 2: if 2 holds, then

∀n∈ℕ,|e1(x)|z≤C(z)1n⋅⦀e1⊗n(x)⦀X|x1n,\forall n\in\mathbb{N},\quad\lvert e_{1}(x)\rvert_{z}\leq C(z)^{\frac{1}{n}}\cdot\vvvert e_{1}^{\otimes n}(x)\vvvert_{X|x}^{\frac{1}{n}},

so 3 holds after a limit process for n→∞n\to\infty. Conversely, if 3 holds, then since Vn​(L)​(x)V_{n}(L)(x) is spaned by e1⊗n​(x)e_{1}^{\otimes n}(x) over κ^​(x)\widehat{\kappa}(x), one has

∀n∈ℕ,|sn|z≤⦀sn(x)⦀(X|x);sp≤⦀sn(x)⦀X|x,\forall n\in\mathbb{N},\quad\lvert s_{n}\rvert_{z}\leq\vvvert s_{n}(x)\vvvert_{(X|x);\mathrm{sp}}\leq\vvvert s_{n}(x)\vvvert_{X|x},

so 2 holds by the ultra-metricity of |⋅|z\lvert\mathord{\cdot}\rvert_{z} and the orthogonality of ⦀⋅⦀X|x\vvvert\mathord{\cdot}\vvvert_{X|x} for Vn​(L)V_{n}(L)’s. ∎

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