ScalingStacks

Proof. [00II]

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.

Let {ai}i∈{1,…,m}\{a_{i}\}_{i\in\{1,\dots,m\}} be a set of generators of AA. For each i∈{1,…,m}i\in\{1,\dots,m\}, let rir_{i} denote ⦀ai⦀ℬ\vvvert a_{i}\vvvert_{\mathcal{B}} and let 𝒓\boldsymbol{r} denote the multi-radius consisting of {ri}i∈{1,…,m}\{r_{i}\}_{i\in\{1,\dots,m\}}. Consider the Tate algebra 𝒯𝒓\mathcal{T}_{\boldsymbol{r}} and the homomorphism of kk-algebras

k⁡[T1,…,Tm]→ℬ,Ti↦aik[T_{1},\dots,T_{m}]\rightarrow\mathcal{B},\quad T_{i}\mapsto a_{i}

By the ultra-metricity of ⦀⋅⦀ℬ\vvvert\mathord{\cdot}\vvvert_{\mathcal{B}} and the definition of 𝒓\boldsymbol{r}, one has

∀n∈ℕ,∀J∈ℕm,∀fJ∈k,⦀∑J∈ℕmfJ⋅𝒂J⦀ℬ≤⦀∑J∈ℕmfJ⋅𝒂J⦀𝒯𝒓\forall n\in\mathbb{N},\forall J\in\mathbb{N}^{m},\forall f_{J}\in k,\vvvert\sum_{J\in\mathbb{N}^{m}}f_{J}\cdot\boldsymbol{a}^{J}\vvvert_{\mathcal{B}}\leq\vvvert\sum_{J\in\mathbb{N}^{m}}f_{J}\cdot\boldsymbol{a}^{J}\vvvert_{\mathcal{T}_{\boldsymbol{r}}}

so by a density argument one can extend it to a homomorphism of Banach kk-algebras

𝒯𝒓→ℬ,Ti↦fi\mathcal{T}_{\boldsymbol{r}}\rightarrow\mathcal{B},\quad T_{i}\mapsto f_{i}

Let ℐ\mathscr{I} be the kernel ideal of this homomorphism. To conclude it suffices to take 𝒜\mathcal{A} as 𝒯𝒓/ℐ\mathcal{T}_{\boldsymbol{r}}/\mathscr{I}. ∎

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