ScalingStacks

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

00HN

Example 2.17. Let π’œ\mathcal{A} be a Banach kk-algebra. The Tate kk-Banach algebra over π’œ\mathcal{A} of multiradius 𝒓=(r1,…,rn)∈(ℝ+)N\boldsymbol{r}=(r_{1},\dots,r_{n})\in(\mathbb{R}_{+})^{N} is the algebra over kk

{βˆ‘Jβˆˆβ„•naJ𝑻J,Β aJ∈AΒ andΒ lim|J|β†’βˆžβ¦€aJ⦀⋅𝒓J=0}\Big\{\sum_{J\in\mathbb{N}^{n}}a_{J}\boldsymbol{T}^{J},\text{ }a_{J}\in A\text{ and }\lim_{|J|\to\infty}\vvvert a_{J}\vvvert\cdot\boldsymbol{r}^{J}=0\Big\}

(for J=(j1,…,jn)βˆˆβ„•nJ=(j_{1},\dots,j_{n})\in\mathbb{N}^{n}, we denote ∏i∈{1,…,n}Tiji\prod_{i\in\{1,\dots,n\}}T_{i}^{j_{i}} by 𝑻J\boldsymbol{T}^{J} and ∏i∈{1,…,n}riji\prod_{i\in\{1,\dots,n\}}r_{i}^{j_{i}} by 𝒓J\boldsymbol{r}^{J}) with a complete kk-algebra norm defined by

β¦€βˆ‘Jβˆˆβ„•naJ𝑻Jβ¦€π’―π’œβ€‹(𝒓):=supJ⦀aJ⦀⋅𝒓J\Big\vvvert\sum_{J\in\mathbb{N}^{n}}a_{J}\boldsymbol{T}^{J}\Big\vvvert_{\mathcal{T}_{\mathcal{A}}(\boldsymbol{r})}:=\sup_{J}\vvvert a_{J}\vvvert\cdot\boldsymbol{r}^{J}

This Banach algebra is denoted by π’œβ‘{r1βˆ’1​T1,…,rnβˆ’1​Tn}\mathcal{A}\{r_{1}^{-1}T_{1},\dots,r_{n}^{-1}T_{n}\}, and is called an π’œ\mathcal{A}-Tate algebra of multiradius 𝒓\boldsymbol{r}.

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