ScalingStacks

Lemma 2.46 . [00IL]

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

Lemma 2.46.

Let ๐’“=(r1,โ€ฆ,rn)\boldsymbol{r}=(r_{1},\dots,r_{n}) be a multi-radius such {ฮฑโก(logโกri)}iโˆˆ{1,โ€ฆ,n}\{\alpha(\log r_{i})\}_{i\in\{1,\dots,n\}} are โ„š\mathbb{Q}-linearly independent. Then the kk-affinoid algebra

K๐’“:=kโก{๐’“โˆ’1โ€‹๐‘ป,๐’“โ€‹๐‘ปโˆ’1}=kโก{๐’“โˆ’1โ€‹๐‘ป,๐’“โ€‹๐‘บ}/(T1โ€‹S1โˆ’1,โ€ฆ,Tnโ€‹Snโˆ’1)K_{\boldsymbol{r}}:=k\{\boldsymbol{r}^{-1}\boldsymbol{T},\boldsymbol{r}\boldsymbol{T}^{-1}\}=k\{\boldsymbol{r}^{-1}\boldsymbol{T},\boldsymbol{r}\boldsymbol{S}\}/(T_{1}S_{1}-1,\dots,T_{n}S_{n}-1)

is a field. ([Ber, Definition 2.1.1])

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