ScalingStacks

Proof. [02UK]

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

Proof.

Since the metric is algebraic, there exist a proper K∘K^{\circ}- scheme 𝒳\mathcal{X} and a line bundle β„’\mathcal{L} on 𝒳\mathcal{X} such that the base change of (𝒳,β„’)(\mathcal{X},\mathcal{L}) to KK is isomorphic to (XΞ£,LβŠ—e)(X_{\Sigma},L^{\otimes e}). Let {𝒰i,si}\{{\mathcal{U}}_{i},s_{i}\} be a trivialization of β„’\mathcal{L}. Let Ci=redβˆ’1⁑(𝒰iβˆ©π’³o)C_{i}={\operatorname{red}}^{-1}({\mathcal{U}}_{i}\cap\mathcal{X}_{o}). The subsets CiC_{i} form a finite closed cover of XΞ£anX_{\Sigma}^{{\text{\rm an}}}. On 𝒰i{\mathcal{U}}_{i} we can write sΞ¨βŠ—e=gi​sis_{\Psi}^{\otimes e}=g_{i}s_{i} for certain rational function gig_{i}. Therefore, on CiC_{i}, we have log⁑‖sΨ​(p)β€–=log⁑|g⁑(p)|e\log\|s_{\Psi}(p)\|=\frac{\log|g(p)|}{e}. By Lemma 5.48, it follows that there is a finite closed cover of NℝN_{\mathbb{R}} and the restriction of ψβˆ₯β‹…βˆ₯\psi_{\|\cdot\|} to each of these closed subsets is rational piecewise affine. Therefore ψβˆ₯β‹…βˆ₯\psi_{\|\cdot\|} is rational piecewise affine. The second statement follows from the first and Corollary 5.47. ∎

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