ScalingStacks

Proof. [02V9]

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.

Let (𝒳,β„’)(\mathcal{X},\mathcal{L}) be a model of (XΞ£,LβŠ—e)(X_{\Sigma},L^{\otimes e}) that realizes the algebraic metric βˆ₯β‹…βˆ₯\|\cdot\|. For short, denote ΞΌ=c1(L,βˆ₯β‹…βˆ₯)∧δXΞ£\mu=c_{1}(L,\|\cdot\|)\land\delta_{X_{\Sigma}} and ΞΌπ•Š=c1(L,βˆ₯β‹…βˆ₯π•Š)∧δXΞ£\mu_{\mathbb{S}}=c_{1}(L,\|\cdot\|_{\mathbb{S}})\land\delta_{X_{\Sigma}}. By Proposition 5.55 there is a non-Archimedean field HH over KK and a semi-stable model 𝒳′{\mathcal{X}}^{\prime} of XΞ£,HX_{\Sigma,H}. We may further assume that all the components of the special fibre of 𝒳′{\mathcal{X}}^{\prime} are defined over H∘/H∘⁣∘H^{\circ}/H^{\circ\circ}. Let (Lβ€²,βˆ₯β‹…βˆ₯β€²)(L^{\prime},\|\cdot\|^{\prime}) be the metrized line bundle obtained by base change to HH. Then (βˆ₯β‹…βˆ₯β€²)π•Š(\|\cdot\|^{\prime})_{\mathbb{S}} is obtained from βˆ₯β‹…βˆ₯π•Š\|\cdot\|_{\mathbb{S}} by base change. We denote by Ο€:XΞ£,Hanβ†’XΞ£,Kan\pi\colon X^{{\text{\rm an}}}_{\Sigma,H}\to X^{{\text{\rm an}}}_{\Sigma,K} the map of analytic spaces. Be will denote by ΞΌβ€²\mu^{\prime}, ΞΌπ•Šβ€²\mu^{\prime}_{\mathbb{S}}, ΞΈΞ£β€²\theta_{\Sigma}^{\prime} and ρΣ′\rho_{\Sigma}^{\prime} the corresponding objects for XΞ£,HX_{\Sigma,H}. Then, by Proposition 2.35 and Proposition 5.53,

ΞΌπ•Š=Ο€βˆ—β€‹ΞΌπ•Šβ€²=Ο€βˆ—β€‹(ΞΈΞ£β€²)βˆ—β€‹(ρΣ′)βˆ—β€‹ΞΌβ€²=(ΞΈΞ£)βˆ—β€‹(ρΣ)βˆ—β€‹Ο€βˆ—β€‹ΞΌβ€²=(ΞΈΞ£)βˆ—β€‹(ρΣ)βˆ—β€‹ΞΌ.\mu_{\mathbb{S}}=\pi_{\ast}\mu^{\prime}_{\mathbb{S}}=\pi_{\ast}(\theta^{\prime}_{\Sigma})_{\ast}(\rho^{\prime}_{\Sigma})_{\ast}\mu^{\prime}=(\theta_{\Sigma})_{\ast}(\rho_{\Sigma})_{\ast}\pi_{\ast}\mu^{\prime}=(\theta_{\Sigma})_{\ast}(\rho_{\Sigma})_{\ast}\mu.

∎

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