Total masses of mixed Monge-Ampère currents. (Q1396350)

Let \(\mathcal L\) denote the space of all plurisubharmonic functions of logarithmic growth in \(\mathbb C^n\). Let, further, \(\mathcal{LD}^+_p\) be the set of all closed positive currents of bidimension \((p,p)\) in \(\mathbb C^n\) such that \(\int_{\mathbb C^n}T\wedge (\frac12dd^c\log(1+| z| ^2))^p\) is finite. For \(u_1,\dots,u_p\in\mathcal L\) and \(T\in\mathcal{LD}^+_p\) put \(\mu(T,u_1,\dots,u_p):=\int_{\mathbb C^n}T\wedge dd^cu_1\wedge\dots\wedge dd^cu_p\). The main results of the paper are the following theorems. (1) Comparison theorem. Let \(T\in\mathcal{LD}^+_p\). Assume that \(u_1,\dots,u_p\in\mathcal L\) are properly intersected with respect to \(T\). Let \(v_1,\dots,v_p\in\mathcal L\) be semi-exhaustive on \(\text{supp}T\). Suppose that for all \(\eta>0\) we have \(\limsup_{| z| \to+\infty,\; z\in\text{supp\,}T}\frac{u_j(z)} {v_j(z)+\eta\log| z| }\leq\ell_j\), \(j=1,\dots,p\). Then \(\mu(T,u_1,\dots,u_p)\leq \ell_1\cdots\ell_p\;\mu(T,v_1,\dots,v_p)\). (2) Assume that \(u_1,\dots,u_n\in\mathcal L\) are properly intersected and let \(x^1,\dots,x^n\in\mathbb C^n\). Then \(\mu(u_1,\dots,u_n)\leq n!\text{Vol}(\Theta^{\Phi_1},\dots,\Theta^{\Phi_n})\), where \(\text{Vol}\) stands for the Minkowski mixed volume, \(\Phi_k:=\Psi^+_{u_k,x^k}\), \(\Psi_{u,x}(y):=\lim_{R\to+\infty}R^{-1}\sup\{u(z): | z_k-x_k| \leq| y_k| ^R, k=1,\dots,n\}\), \(\Theta^\Phi:=\{a\in\mathbb R^n: \forall_{t\in\mathbb R^n}: \langle a,t \rangle \leq\varphi(t):=\Phi(e^{t_1}, \dots, e^{t_n})\}\). (3) Let \(\Phi\in\mathcal L\) be a continuous, exhaustive, homogeneous weight function and let \(u\) be plurisubharmonic on \(B_R(\Phi):=\{z: \Phi(z)<R\}\). Then the swept-out Monge-Ampère measure \(\mu_r^\Phi\) on the set \(S_r(\Phi):=\{z: \Phi(z)=r\}\), \(0<r<R\), is determined by the formula \(\mu_r^\Phi(u)=n!\int_{E^\Phi}\lambda(u,rt)\,d\gamma_1^\Phi(t)\), where \(\lambda(u,rt)\) is the mean value of \(u\) over the set \(\{z: | z_k| =e^{rt_k},\;k=1,\dots,n\}\), \(E^\Phi\) is the set of extreme points of the convex set \(\{t\in\mathbb R^n: \varphi(t)\leq1\}\), and the measure \(\gamma_1^\Phi\) is given by the relation \(\gamma_1(F)=\text{Vol\,}\Theta_F^\Phi\), \(F\Subset E^\Phi\), \(\Theta_F^\Phi:=\{\lambda a: 0\leq\lambda\leq1,\;a\in\varGamma_F^\Phi\}\), \(\varGamma_F^\Phi:=\{a\in\mathbb R_+^n: \sup_{t\in F}\langle a, t\rangle= \sup_{t\in L^\Phi}\langle a, t\rangle=1\}\), \(L^\Phi:=\{t\in\mathbb R^n: \varphi(t)=1\}\).