ScalingStacks

Verified tagged author-source HTML ยท 1904.03696v1 ยท cited publication edition alignment unverified.

00IA

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 collection and HTML conversion remain in progress.