ScalingStacks

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

00JN

Definition 2.83. Let Z=Spec⁡(AZ)Z=\spec(A_{Z}) be an affine kk-scheme of finite type, where AZA_{Z} is a kk-algebra of finite type. Its Berkovich analytification Za​nZ^{an} is the topological space constituting of all multiplicative seminorms ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert on AZA_{Z} as points and with the canonical topology (the weakest topology making every function ⦀⋅⦀→⦀f⦀\vvvert\mathord{\cdot}\vvvert\to\vvvert f\vvvert continuous for each f∈AZf\in A_{Z}). ([Ber, Remark 3.4.2])

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