ScalingStacks

Example 2.62 . [00J2]

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

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-backed reader collection; mathematical self-containment is not assessed.