Finite pluricomplex energy measures

From MaRDI portal
(Redirected from Publication:5962762)



Abstract: We investigate probability measures with finite pluricomplex energy. We give criteria insuring that a given measure has finite energy and test these on various examples. We show that this notion is a biholomorphic but not a bimeromorphic invariant.


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.











This page was built for publication: Finite pluricomplex energy measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962762)