ScalingStacks

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

00JU

Proof. For any zโˆˆ๐”โก(๐’œZ)z\in\mathfrak{M}(\mathcal{A}_{Z}), the multiplicative algebra seminorm (or the corresponding character) ฯ‡z\chi_{z} on ๐’œZ\mathcal{A}_{Z} corresponds to a unique multiplicative algebra seminorm on AZA_{Z} by restriction. Since AZA_{Z} is dense in ๐’œZ\mathcal{A}_{Z}, the family of open sets {U(f;p,q),ย fโˆˆAZ,ย p,qโˆˆโ„}\{U(f;p,q),\text{ }f\in A_{Z},\text{ }p,q\in\mathbb{R}\} form a basis for topology on ๐”โก(๐’œZ)\mathfrak{M}(\mathcal{A}_{Z}), hence the inherited topology coincides with the originial topology. So the embedding is continuous, and the image of ๐”โก(๐’œZ)\mathfrak{M}(\mathcal{A}_{Z}) is compact in Zaโ€‹nZ^{an}. Since the topology on Zaโ€‹nZ^{an} is Hausdorff, the image of ๐”โก(๐’œZ)\mathfrak{M}(\mathcal{A}_{Z}) is closed. โˆŽ

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