ScalingStacks

Proposition 2.88 . [00JT]

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

Proposition 2.88.

Let Z=Spec⁡(AZ)Z=\spec(A_{Z}) be an affine kk-variety, ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert an algebra norm on AZA_{Z} and 𝒜Z\mathcal{A}_{Z} be the kk-Banach algebra obtained by completing AZA_{Z} with respect to ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert. Then the canonical homomorphism of kk-algebras from AZA_{Z} to 𝒜Z\mathcal{A}_{Z} induces a continuous map which embeds the Berkovich spectrum 𝔐⁡(𝒜Z)\mathfrak{M}(\mathcal{A}_{Z}) into Za​nZ^{an} as a compact subspace (and is closed since ZanZ^{\mathrm{an}} is Hausdorff), and the Berkovich topology coincides with the induced topology from Za​nZ^{an}.

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