ScalingStacks

Corollary 3.15 . [00KT]

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

Corollary 3.15.

With the same hypothesis as above, for en∨​(x)∈(L⊗n)∨​(x)∖0e_{n}^{\vee}(x)\in(L^{\otimes n})^{\vee}(x)\setminus 0, one has

|en∨​(x)|FS​(∥⋅∥n)∨=max⁡{|en∨​(x)​(sn,j)|κ^​(x)⋅∥sn,j∥n−1}.\lvert e_{n}^{\vee}(x)\rvert_{\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{n})^{\vee}}=\max\Big\{\lvert e_{n}^{\vee}(x)(s_{n,j})\rvert_{\widehat{\kappa}(x)}\cdot\lVert s_{n,j}\rVert_{n}^{-1}\Big\}.

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