ScalingStacks

Lemma 2.2 . [007U]

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 2.2.

(Convexity) Let ϕ\phi be any psh function on the open subset of {1<|zi|<Λ,i=1,…p,|zk|<1,k=p+1,…n}⊂(ℂ∗)p×ℂn−p\{1<|z_{i}|<\Lambda,i=1,\ldots p,|z_{k}|<1,k=p+1,\ldots n\}\subset(\mathbb{C}^{*})^{p}\times\mathbb{C}^{n-p}. Then the function

ϕ¯​(x1,…​xn)=1(2​π)n​∫D​(1)n−p∏p+1n−1​d​zk∧d​z¯k​∫Tpϕ⁡(ex1+i​θ1,…​exp+i​θp)​d​θ1​…​d​θp\bar{\phi}(x_{1},\ldots x_{n})=\frac{1}{(2\pi)^{n}}\int_{D(1)^{n-p}}\prod_{p+1}^{n}\sqrt{-1}dz_{k}\wedge d\bar{z}_{k}\int_{T^{p}}\phi(e^{x_{1}+i\theta_{1}},\ldots e^{x_{p}+i\theta_{p}})d\theta_{1}\ldots d\theta_{p}

is convex.

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