ScalingStacks

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

00J2

Example 2.62. Given f=(f1,…,fm)f=(f_{1},\dots,f_{m}) and g=(g1,…,gn)g=(g_{1},\dots,g_{n}) tuples of elements of 𝒜\mathcal{A}, p=(p1,…,pm)∈(ℝ+∗)mp=(p_{1},\dots,p_{m})\in(\mathbb{R}_{+}^{*})^{m} and q=(q1,…,qn)∈(ℝ+∗)nq=(q_{1},\dots,q_{n})\in(\mathbb{R}_{+}^{*})^{n}, the closed subset

V=𝔐(𝒜)(p−1f,qg−1):={z∈𝔐(𝒜),|fi(z)|z≤pi, |gj(z)|z≥qj}V=\mathfrak{M}(\mathcal{A})(p^{-1}f,qg^{-1}):=\{z\in\mathfrak{M}(\mathcal{A}),|f_{i}(z)|_{z}\leq p_{i},\text{ }|g_{j}(z)|_{z}\geq q_{j}\}

is an affinoid domain. The corresponding homomorphism of affinoid algebras is

𝒜→𝒜V=𝒜⁡{p1−1​T1,…,pm−1​Tm,q1​S1,…,qn​Sn}/(Ti−fi,gj​Sj−1)\mathcal{A}\to\mathcal{A}_{V}=\mathcal{A}\{p_{1}^{-1}T_{1},\dots,p_{m}^{-1}T_{m},q_{1}S_{1},\dots,q_{n}S_{n}\}/(T_{i}-f_{i},g_{j}S_{j}-1)

Such domains are called Laurent domains. If n=0n=0, they are called Weierstrass domains.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.