ScalingStacks

Proof. [02WI]

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.

By Corollary 5.23 the restriction of the canonical metric of LanL^{{\text{\rm an}}} is the canonical metric of ισ∗​Lan\iota_{\sigma}^{\ast}L^{{\text{\rm an}}}. Therefore, the equality hL¯tor⁡(V⁡(σ))=hισ∗​L¯tor⁡(XΣ⁡(σ))\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(V(\sigma))=\operatorname{h}^{\operatorname{tor}}_{\iota_{\sigma}^{\ast}{\overline{L}}}(X_{\Sigma(\sigma)}) follows from Theorem 2.46(2).

To prove the second equality, choose mσ∈Fσ∩Mm_{\sigma}\in F_{\sigma}\cap M. We will follow the notation of Proposition 5.75. By Theorem 6.6,

hισ∗​L¯tor(XΣ⁡(σ))=(d+1)!∫Δ(Ψ−mσ)​(σ)ϑ∥⋅∥σdvolM⁡(σ).\operatorname{h}^{\operatorname{tor}}_{\iota_{\sigma}^{\ast}{\overline{L}}}(X_{\Sigma(\sigma)})=(d+1)!\int_{\Delta_{(\Psi-m_{\sigma})(\sigma)}}\vartheta_{\|\cdot\|_{\sigma}}\,\text{\rm d}\operatorname{vol}_{M(\sigma)}.

By Proposition 4.47, Δ(Ψ−mσ)​(σ)=(πσ∨+mσ)−1​Fσ.\Delta_{(\Psi-m_{\sigma})(\sigma)}=(\pi_{\sigma}^{\vee}+m_{\sigma})^{-1}F_{\sigma}. By Proposition 5.75

ϑ∥⋅∥σ=λKφ∥⋅∥σ∨=λK(πσ∨+mσ)∗φ∥⋅∥∨=(πσ∨+mσ)∗ϑ∥⋅∥.\vartheta_{\|\cdot\|_{\sigma}}=\lambda_{K}\varphi^{\vee}_{\|\cdot\|_{\sigma}}=\lambda_{K}(\pi_{\sigma}^{\vee}+m_{\sigma})^{\ast}\varphi^{\vee}_{\|\cdot\|}=(\pi_{\sigma}^{\vee}+m_{\sigma})^{\ast}\vartheta_{\|\cdot\|}.

Since M⁡(Fσ)=M⁡(σ)M(F_{\sigma})=M(\sigma), we obtain

∫Δ(Ψ−mσ)​(σ)ϑ∥⋅∥σdvolM⁡(σ)=∫Fσϑ∥⋅∥dvolM⁡(Fσ),\int_{\Delta_{(\Psi-m_{\sigma})(\sigma)}}\vartheta_{\|\cdot\|_{\sigma}}\,\text{\rm d}\operatorname{vol}_{M(\sigma)}=\int_{F_{\sigma}}\vartheta_{\|\cdot\|}\,\text{\rm d}\operatorname{vol}_{M(F_{\sigma})},

proving the result. ∎

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