ScalingStacks

We now indicate how NA geometry is unified with complex geometry. Consider an algebraic degeneration XX over a punctured curve. Let |⋅||\cdot| denote the usual absolute value for complex numbers. Given a ℂ\mathbb{C}-point z∈Xtz\in X_{t} for 0<|t|≪10<|t|\ll 1, inside some affine chart U=Spec​(A)U=\text{Spec}(A) of XX, we can define a multiplicative seminorm A→ℝ≥0A\to\mathbb{R}_{\geq 0} (not non-archimedean!)

f↦e−log|f(z)|/log|t|=|f(z)|1/|log⁡|t||.f\mapsto e^{-\log|f(z)|/\log|t|}=|f(z)|^{1/|\log|t||}. (13)

As a sequence of points zz move towards t→0t\to 0, for any given meromorphic function f=∑ak​tkf=\sum a_{k}t^{k} on the base, limt→0log⁡|f⁡(z)|/log⁡|t|=o​r​d0​(f)\lim_{t\to 0}\log|f(z)|/\log|t|=ord_{0}(f) which is the standard NA valuation on KK. Thus the points on XKa​nX_{K}^{an} are natural limits of the multiplicative seminorms defined by ℂ\mathbb{C}-points on XtX_{t}. One can formalize this notion by introducing a hybrid topology on X⊔XKa​nX\sqcup X_{K}^{an}, so that XKa​nX_{K}^{an} takes the place of the central fibre [3, Appendix]. The functions f∈Af\in A then induce local continuous functions on X⊔XKa​nX\sqcup X_{K}^{an}.

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