ScalingStacks

Proposition 5.3 . [00LZ]

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

Proposition 5.3.

Assume that {α⁡(∥Ti∥ϕ)}i∈{0,…,d}\{\alpha(\lVert T_{i}\rVert_{\phi})\}_{i\in\{0,\dots,d\}} are ℚ\mathbb{Q}-independent in ℝ/H⁡(k,|⋅|)\mathbb{R}/H(k,\lvert\mathord{\cdot}\rvert). Let S⊆ℕd+1S\subseteq\mathbb{N}^{d+1} be a finite set of multi-indices, then for any J∈SJ\in S any fJ∈kf_{J}\in k, one has

⦀∑J∈SfJ⋅𝑻J⦀=supJ∈S∥fJ⋅𝑻J∥|J|​ϕ.\Big\vvvert\sum_{\begin{subarray}{c}J\in S\end{subarray}}f_{J}\cdot\boldsymbol{T}^{J}\Big\vvvert=\sup_{\begin{subarray}{c}J\in S\end{subarray}}\ \lVert f_{J}\cdot\boldsymbol{T}^{J}\rVert_{|J|\phi}.

In other words, the algebra norm ⦀⋅⦀ϕ\vvvert\mathord{\cdot}\vvvert_{\phi} on V∙​(𝒪​(1))V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1)) is a Gauss norm on k⁡[T0,…,Td]k[T_{0},\dots,T_{d}] of multi-radius 𝒓\boldsymbol{r}. The Banach kk-algebra V^∙​(𝒪​(1),ϕ)\widehat{V}_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1),\phi) is an affinoid algebra.

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