ScalingStacks

Proof. [02WF]

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 L¯i=(Li,∥⋅∥i){\overline{L}}_{i}=(L_{i},\|\cdot\|_{i}), i=1,2i=1,2, be toric line bundles equipped with toric metrics and let sis_{i} be a toric section of LiL_{i}. By propositions 5.19 (1) and 3.38 (3)

(6.22) (ψL¯1⊗L¯2,s1⊗s2)∨=ψL¯1,s1∨⊞ψL¯2,s2∨.(\psi_{{\overline{L}}_{1}\otimes{\overline{L}}_{2},s_{1}\otimes s_{2}})^{\vee}=\psi_{{\overline{L}}_{1},s_{1}}^{\vee}\boxplus\psi_{{\overline{L}}_{2},s_{2}}^{\vee}.

The result then follows from (6.5), the definition of the mixed integral (Definition 3.113) and Theorem 6.6. ∎

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