ScalingStacks

Definition 2.38 . [00IA]

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

Definition 2.38.

For a multi-radius ๐’“=(r1,โ€ฆ,rn)โˆˆโ„n\boldsymbol{r}=(r_{1},\dots,r_{n})\in\mathbb{R}^{n}, the algebra

k{r1โˆ’1T1,โ€ฆ,rnโˆ’1Tn}={f=โˆ‘Jโˆˆโ„•nโˆžaJ๐‘ปJ:aJโˆˆk,|aJ|๐’“Jโ†’0ย asย |J|โ†’โˆž}k\{r_{1}^{-1}T_{1},\dots,r_{n}^{-1}T_{n}\}=\{f=\sum_{J\in\mathbb{N}^{n}}^{\infty}a_{J}\boldsymbol{T}^{J}:a_{J}\in k,\lvert a_{J}\rvert\boldsymbol{r}^{J}\to 0\text{ as }|J|\to\infty\}

is called the Tate algebra over kk with multi-radius ๐’“\boldsymbol{r}. Denote it by ๐’ฏnโ€‹(๐’“)\mathcal{T}_{n}(\boldsymbol{r}). It is a kk-Banach algebra with respect to the Gauss norm of multi-radius ๐ซ\boldsymbol{r} defined by

โฆ€fโฆ€๐’ฏnโ€‹(๐’“)=maxJ|aJ|๐’“J\vvvert f\vvvert_{\mathcal{T}_{n}(\boldsymbol{r})}=\max_{J}\lvert a_{J}\rvert\boldsymbol{r}^{J}

One can define Tate algebra over other complete ultra-metric valued fields.

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