ScalingStacks

Example 2.17 . [00HN]

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

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-backed reader collection; mathematical self-containment is not assessed.