ScalingStacks

Proof. [02W7]

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.

It suffices to prove the statement for the case when XΣX_{\Sigma} is projective, as the general case reduces to this one by taking a suitable refinement of the fan.

The symmetry of the toric local height follows readily from the analogous property for the local height, see Theorem 2.46(1). For the multilinearity, let L¯d′{\overline{L}}_{d}^{\prime} be a further metrized line bundle. By the moving lemma, there are sections sis_{i} of LiL_{i}, 0≤i≤d0\leq i\leq d meeting properly on YY and sd′s_{d}^{\prime} of Ld′L_{d}^{\prime} such that s0,…,sd−1,sd′s_{0},\dots,s_{d-1},s_{d}^{\prime} meets properly on YY too. By Theorem 2.46(1),

hL¯0,…,L¯d−1,L¯d⊗L¯d′⁡(Y,s0,…,sd−1,sd⊗sd′)=hL¯0,…,L¯d⁡(Y,s0,…,sd)+hL¯0,…,L¯d−1,L¯d′⁡(Y,s0,…,sd−1,sd′)\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d-1},{\overline{L}}_{d}\otimes{\overline{L}}_{d}^{\prime}}(Y;s_{0},\dots,s_{d-1},s_{d}\otimes s_{d}^{\prime})=\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y;s_{0},\dots,s_{d})\\ +\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d-1},{\overline{L}}_{d}^{\prime}}(Y;s_{0},\dots,s_{d-1},s_{d}^{\prime})

and a similar formula holds for the canonical metric. By the definition of the toric local height, hL¯0,…,L¯d−1,L¯d⊗L¯d′tor⁡(Y)=hL¯0,…,L¯dtor⁡(Y)+hL¯0,…,L¯d−1,L¯d′tor⁡(Y)\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d-1},{\overline{L}}_{d}\otimes{\overline{L}}_{d}^{\prime}}(Y)=\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y)+\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d-1},{\overline{L}}_{d}^{\prime}}(Y). The inclusion-exclusion formula follows readily from the symmetry and the multilinearity of the local toric height. ∎

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