ScalingStacks

Lemma 5.2 . [00SL]

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

Lemma 5.2.

Let uu be a bounded convex function on the square {|xi|<1}⊂ℝn\{|x_{i}|<1\}\subset\mathbb{R}^{n}. Via the rescaled log map s−1​Log:(ℂ∗)n→ℝns^{-1}\text{Log}:(\mathbb{C}^{*})^{n}\to\mathbb{R}^{n}, the function uu pulls back to a psh function on {|log|zi||<s}\{|\log|z_{i}||<s\}. Then the real MA measure of uu is related to the pushforward of the complex MA measure of u∘s−1​Logu\circ s^{-1}\text{Log} by

M​A​(u)=snπn​n!​(s−1​Log)∗​(−1​∂∂¯​(u∘s−1​Log))n.MA(u)=\frac{s^{n}}{\pi^{n}n!}(s^{-1}\text{Log})_{*}(\sqrt{-1}\partial\bar{\partial}(u\circ s^{-1}\text{Log}))^{n}.

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