ScalingStacks

Proof. [02WM]

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 Proposition 5.24, ψL¯1,φ∗​s=A∗​ψL¯,s\psi_{{\overline{L}}_{1},\varphi^{\ast}s}=A^{\ast}\psi_{{\overline{L}},s}. By Proposition 3.46(3) we obtain that stab⁡(A∗​ψL¯,s)=H∨​(ΔΨ)\operatorname{stab}(A^{\ast}\psi_{{\overline{L}},s})=H^{\vee}(\Delta_{\Psi}) and that

(A∗​ψL¯,s)∨=H∗∨​(ψL¯,s−u),(A^{\ast}\psi_{{\overline{L}},s})^{\vee}=H^{\vee}_{\ast}(\psi_{{\overline{L}},s}-u),

from which equation (6.28) follows.

To prove equation (6.29), we observe that, by the definition of htor\operatorname{h}^{\operatorname{tor}},

hL¯1tor⁡(XΣ1)−hL¯tor⁡(Y)=hφ∗​(L¯can)tor⁡(XΣ1),\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{1}}(X_{\Sigma_{1}})-\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(Y)=\operatorname{h}^{\operatorname{tor}}_{\varphi^{\ast}({\overline{L}}^{{\operatorname{can}}})}(X_{\Sigma_{1}}),

where φ∗​(L¯can)\varphi^{\ast}({\overline{L}}^{{\operatorname{can}}}) has the toric structure induced by ss and the metric induced by the canonical metric of LanL^{{\text{\rm an}}}. We remark here that this metric differs from the canonical metric of φ∗​Lan\varphi^{\ast}L^{{\text{\rm an}}}. Now equation (6.29) follows from equation (6.28) and the definition of the canonical metric. ∎

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