Finite pluricomplex energy measures (Q5962762): Difference between revisions

Let \(X\) be a compact Kähler manifold of dimenion \(n\) and \(\alpha\in H^{1,1}(X,\mathbb{R})\) a big cohomology class. Then by the well-known \(\partial\overline\partial\)-lemma, given a smooth representative \(\theta\in\alpha\), any closed positive current \(T\in\alpha\) can be written \(T=\theta+ dd^c\varphi\), where \(\varphi\) is a quasi-plurisubharmonic functions in \(X\), hence in \(L(X)\), such that \(\theta+ dd^c\varphi\geq 0\) in the sense of currents on \(X\), \(\varphi\) is called a \(\theta\)-plurisubharmonic function on \(X\). It is unique up to an additive constant and is called a \(\theta\)-potential of \(T\) and we write \(T_\varphi:=\theta+ dd^c\varphi\). When the class \(\alpha\) is not Kähler, the potential of a positive closed current may have singularities along some divisor in \(X\). The non-pluripolar part \(\langle T^n_\varphi\rangle=\langle(\theta+ dd^c\varphi)^n\rangle\) of the Monge-Ampère operator acting on a \(\theta\)-potential function \(\varphi\) has been defined by \textit{S. Boucksom} et al. [Acta Math. 205, No. 2, 199--262 (2010; Zbl 1213.32025)]. The class \(\mathbb{E}(X, \theta)\) is defined as the class of \(\theta\)-psh functions \(\varphi\) in \(X\) such that \(\langle MA_\theta(\varphi)\rangle\) has full mass equal to \(\text{vol}(\alpha)\). In this case we define \(MA_\theta(\varphi)= (\theta+ dd^c\varphi)^n/\text{vol}(\alpha)\). This is a probability measure on \(X\). An important subclass is the class the class \(\mathbb{E}(X,\theta)\) of \(\theta\)-potentials \(\varphi\in \mathbb{E}(X,\theta)\) such that \(\varphi\in L^1(X, MA(\varphi))\). A probability measure \(\mu\) is said to be of finite energy if there exists \(\varphi\in \mathbb{E}_1(X,\theta)\) such that \(MA(X:f)=\mu\). The author gives several criteria to ensure that a probability measure \(\mu\) is of finite energy. The following situations are considered: 1. The measure is well-dominated by a Monge-Ampère capacity. 2. The measure is absolutely continuous w.r.t. the Lebesgue measure. 3. The measure is radial or toric. 4. The measure is divisorial. In each case a specific criterion is given and examples are provided to illustrate the obtained results. In conclusion the paper is very well written and contains many new interesting results.