ScalingStacks

Lemma 3.7 . [0272]

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

Lemma 3.7.

We assume that there are a normed finite-dimensional vector space (V,‖.‖)(V,\|\raisebox{1.72218pt}{.}\|) and a surjective homomorphism V⊗k𝒪X→LV\otimes_{k}\mathscr{O}_{X}\to L such that hh is given by {|.|(V,‖.‖)quot​(x)}x∈Xan\left\{|\raisebox{1.72218pt}{.}|^{\mathrm{quot}}_{(V,\|\raisebox{1.20552pt}{.}\|)}(x)\right\}_{x\in X^{\mathrm{an}}}. Let k′k^{\prime} be an extension field of kk, and let |.|′|\raisebox{1.72218pt}{.}|^{\prime} be a complete absolute value of k′k^{\prime} as an extension of |.||\raisebox{1.72218pt}{.}|. We set

X′:=X×Spec⁡(k)Spec(k′),L=L⊗kk′andV′:=V⊗kk′.X^{\prime}:=X\times_{\operatorname{Spec}(k)}\operatorname{Spec}(k^{\prime}),\quad L=L\otimes_{k}k^{\prime}\quad\text{and}\quad V^{\prime}:=V\otimes_{k}k^{\prime}.

Let ‖.‖′\|\raisebox{1.72218pt}{.}\|^{\prime} be a norm of V′V^{\prime} obtained by the scalar extension of ‖.‖\|\raisebox{1.72218pt}{.}\|. Moreover, let h′h^{\prime} be a continuous metric of L′an{L^{\prime}}^{\mathrm{an}} given by the scalar extension of hh. Then h′h^{\prime} coincides with {|.|(V′,‖.‖′)quot​(x′)}x′∈X′an\left\{|\raisebox{1.72218pt}{.}|^{\mathrm{quot}}_{(V^{\prime},\|\raisebox{1.20552pt}{.}\|^{\prime})}(x^{\prime})\right\}_{x^{\prime}\in{X^{\prime}}^{\mathrm{an}}}.

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