ScalingStacks

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

00J0

Definition 2.60. Let ๐’œ\mathcal{A} be an affinoid algebra. An affinoid domain is a closed subset VV of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}), which is homeomorphic to (ฮนV)โ‹†โ€‹(๐”โก(๐’œV))(\iota_{V})^{\star}(\mathfrak{M}(\mathcal{A}_{V})) for some affinoid algebra ๐’œV\mathcal{A}_{V} and Banach algebra homomorphism ฮนV:๐’œโ†’๐’œV\iota_{V}:\mathcal{A}\to\mathcal{A}_{V}, and satisfies the universal mapping property: for any Banach algebra homomorphism ฯ•:๐’œโ†’๐’ž\phi:\mathcal{A}\to\mathcal{C} between affinoid algebras with ฯ•โ‹†โ€‹(๐”โก(๐’ž))โІV\phi^{\star}(\mathfrak{M}(\mathcal{C}))\subseteq V, there exists a unique Banach algebra homomorphism ฯˆ:๐’œVโ†’๐’ž\psi:\mathcal{A}_{V}\to\mathcal{C} with ฯ•=ฯˆโˆ˜ฮนV\phi=\psi\circ\iota_{V}

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