ScalingStacks

Proposition 6.25 . [02WJ]

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

Proposition 6.25.

With the previous notation, let L¯{\overline{L}} be a toric line bundle on XΣX_{\Sigma} generated by global sections, equipped with an approachable toric metric. We put on φ∗​L\varphi^{\ast}L the structure of toric line bundle of Remark 4.36. Choose a toric section ss of LL and let Ψ\Psi be the associated support function.

  1. (1)

    If HH is not injective, then hφ∗​L¯tor⁡(XΣ1)=0\operatorname{h}^{\operatorname{tor}}_{\varphi^{\ast}{\overline{L}}}(X_{\Sigma_{1}})=0.

  2. (2)

    If HH is injective, then hφ∗​L¯tor(XΣ1)=[Q:H(N1)]hL¯tor(YQ)\operatorname{h}^{\operatorname{tor}}_{\varphi^{\ast}{\overline{L}}}(X_{\Sigma_{1}})=[Q:H(N_{1})]\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(Y_{Q}). Moreover

    (6.26) hφ∗​L¯tor(XΣ1)=(d+1)!∫H∨​(ΔΨ)H∗∨(ϑ∥⋅∥)dvolM1.\operatorname{h}^{\operatorname{tor}}_{\varphi^{\ast}{\overline{L}}}(X_{\Sigma_{1}})=(d+1)!\int_{H^{\vee}(\Delta_{\Psi})}H^{\vee}_{\ast}(\vartheta_{\|\cdot\|})\,\text{\rm d}\operatorname{vol}_{M_{1}}.

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