ScalingStacks

Remark 5.3 . [05B6]

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

Remark 5.3.

Using the same arguments, one can show the following more general formula: In the situation of Theorem 5.2 instead of only one function hh consider h1,…,hnh_{1},...,h_{n} piecewise affine linear convex functions on τ¯\bar{\tau}. Refine the subdivision 𝔇\mathfrak{D} such that it suits every hih_{i}. Then

deg(⋀i=1nc1(𝒪(hi∘p𝔛′)).Y)=deg(S)⋅n!⋅MA(h1,…,hn)(u),\Deg\left(\bigwedge_{i=1}^{n}c_{1}\left(\mathcal{O}(h_{i}\circ p_{\mathfrak{X}^{\prime}})\right).Y\right)=\Deg(S)\cdot n!\cdot\MA(h_{1},...,h_{n})(u),

where

MA⁡(h1,…,hn):=1n!​∑k=1n(−1)n−k⋅∑1≤i1<…<ik≤nMA⁡(hi1+…+hik)\MA(h_{1},...,h_{n}):=\frac{1}{n!}\sum_{k=1}^{n}(-1)^{n-k}\cdot\sum_{1\leq i_{1}<...<i_{k}\leq n}\MA(h_{i_{1}}+...+h_{i_{k}})

denotes now the mixed Monge-Ampère measure of h1,…,hnh_{1},...,h_{n} (for details see [PRr04, §5]).

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