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 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 be a further metrized line bundle. By the moving lemma, there are sections of , meeting properly on and of such that meets properly on too. By Theorem 2.46(1),
and a similar formula holds for the canonical metric. By the definition of the toric local height, . The inclusion-exclusion formula follows readily from the symmetry and the multilinearity of the local toric height. ∎