ScalingStacks

Corollary 2.48 . [00IN]

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

Corollary 2.48.

Let ๐’ฏnโ€‹(rยฏ)\mathcal{T}_{n}(\underline{r}) be a kk-Tate alegbra. Let IโІ{1,โ€ฆ,n}I\subseteq\{1,\dots,n\} be a subset of indices such that {ฮฑโก(logโกri)}iโˆˆI\{\alpha(\log r_{i})\}_{i\in I} are โ„š\mathbb{Q}-linearly independent and |I||I| is maximal for this independence property. Let ๐’“I=(ri1,โ€ฆ,ri1)\boldsymbol{r}_{I}=(r_{i_{1}},\dots,r_{i_{1}}), then K๐’“Iโ€‹โŠ—^kโ€‹๐’ฏnโ€‹(๐’“)K_{\boldsymbol{r}_{I}}\widehat{\otimes}_{k}\mathcal{T}_{n}(\boldsymbol{r}) is a strict K๐’“IK_{\boldsymbol{r}_{I}}-Tate algebra.

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