ScalingStacks

4.1 [035J]

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

4.1

We recall first the construction of the analytification of XX. Let U=Spec⁡(A)U={\rm Spec}(A) be an open affine subset of XX, then Uan{U^{\rm an}} is the set of multiplicative seminorms on AA extending the given absolute value |⁣||\phantom{a}| on KK. This set is endowed with the topology generated by the functions Uan→ℝ,p↦p⁡(a){U^{\rm an}}\rightarrow{\mathbb{R}},p\mapsto p(a) with aa ranging over AA. By glueing, we get a topological space Xan{X^{\rm an}} which is connected locally compact and Hausdorff. We can endow it with a sheaf of analytic functions leading to a Berkovich analytic space over KK which we call the analytification of XX. For a morphism φ:Y→X\varphi:Y\rightarrow X of algebraic varieties over KK, we get an analytic morphism φan:Yan→Xan\varphi^{\rm an}:{Y^{\rm an}}\rightarrow{X^{\rm an}} induced by composing the multiplicative semiorms with φ♯\varphi^{\sharp} on suitable affine open subsets. We refer to [Be90] for details, or to [BPS11], §1.2, for a neat description of the analytification.

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