ScalingStacks

1.1.3. [0250]

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

1.1.3.

Fix an algebraic scheme XX over Spec⁡k\operatorname{Spec}k, that is, XX is a scheme of finite type over Spec⁡(k)\operatorname{Spec}(k). Let XanX^{\mathrm{an}} be the analytification of XX in the sense of Berkovich [1]. For x∈Xanx\in X^{\mathrm{an}}, the residue field of the associated scheme point of xx is denoted by κ⁡(x)\kappa(x). Note that the seminorm |.|x|\raisebox{1.72218pt}{.}|_{x} at xx yields an absolute value of κ⁡(x)\kappa(x). By abuse of notation, it is denoted by |.|x|\raisebox{1.72218pt}{.}|_{x}. Let κ^​(x)\hat{\kappa}(x) be the completion of κ⁡(x)\kappa(x) with respect to |.|x|\raisebox{1.72218pt}{.}|_{x}. The extension of |.|x|\raisebox{1.72218pt}{.}|_{x} to κ^​(x)\hat{\kappa}(x) is also denoted by the same symbol |.|x|\raisebox{1.72218pt}{.}|_{x}. The valuation ring of κ^​(x)\hat{\kappa}(x) and the maximal ideal of the valuation ring are denoted by 𝔬x\mathfrak{o}_{x} and 𝔪x\mathfrak{m}_{x}, respectively. Let LL be an invertible sheaf on XX. For x∈Xanx\in X^{\operatorname{an}}, L⊗𝒪Xκ^​(x)L\otimes_{{\mathscr{O}}_{X}}\hat{\kappa}(x) is denoted by L⁡(x)L(x).

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