Envelopes of positive metrics with prescribed singularities (Q1681886): Difference between revisions

Let $X$ be a compact complex manifold with locally bounded metric $\phi$ on a line bundle $L$ and let $\psi$ be a positive singular metric on an auxiliary line bundle $F$. The aim of this paper is to study the maximal envelope defined by the formula \[ \phi_{[\psi]}=\sup\left\{\gamma\in \mathrm{PSH}(L): \gamma\leq \phi\ \text{ and }\ \gamma\leq \psi+O(1) \right\}^*. \] The authors prove that, if $L-F$ is big, $\psi\in \mathrm{PSH}(F)$ is exponentially Hölder continuous and $\phi$ is Lipschitz (resp. in the class $\mathcal C^{1,1}$) over $X$, then the maximal envelope $\phi_{[\psi]}$ is Lipschitz (resp. $\mathcal C^{1,1}$) over $X-\mathbb B_+(L-F)\cup \text{Sing}(\psi)$. Here $B_+(L-F)$ denotes the augmented base locus of $L-F$, and $\text{Sing}(\psi)$ is the locus on which $\psi$ is not locally bounded. \par Let $\phi$ be $\mathcal C^2$ smooth. Denote by $U$ the set on which $\phi_{[\psi]}$ is locally bounded and let $X(0)=\{x\in X: dd^c\phi_x>0\}$. The equilibrium measure is defined by \[ \mu(\phi,\psi)=\mathbf{ 1}_U \text{MA}(\phi_{[\psi]}), \] and the equilibrium set is defined by \[ D(\phi,\psi)=\left\{x\in X:\phi_{[\psi]}(x)=\phi(x)\right\}. \] The authors prove that, if $L-F$ is big then \[ \mu(\phi,\psi)=\mathbf{ 1}_{X-\mathbb B_+(L-F)\cup \text{Sing}(\psi)}\text{MA}(\phi_{[\psi]})=\mathbf{ 1}_{D(\phi,\psi)}\text{MA}(\phi)=\mathbf{ 1}_{D(\phi,\psi)\cap X(0)}\text{MA}(\phi). \] \par Let $\mathcal I(k\psi)$ be the multiplier ideal sheaf of $k\psi$. The partial Bergman function of $\phi$ and $\psi$ is given by \[ B_k(\phi,\psi)=\sum_{\alpha}|s_{\alpha}|^2_{\phi}, \] where $\{s_{\alpha}\}$ is any basis of $H^0(\mathcal I(k\psi)\otimes L^k)$ that is orthonormal with respect to the $L^2$ norm induced by $\phi$ and the fixed volume form $dV$. It is proved that, for any compact set $K\subset X- \mathbb B_+(L-F)\cup \text{Sing}(\psi)$, there exists a constant $C_K>0$ such that, for all $k$, \[ C_K^{-1}e^{-k(\phi-\phi_{[\psi]})}\leq B_k(\phi,\psi)\leq C_Kk^ne^{-k(\phi-\phi_{[\psi]})}, \] in particular $k^{-1}\ln B_k(\phi,\psi)\to \phi_{[\psi]}-\phi$ locally uniformly. Moreover if in addition $L-F$ is big then there is a pointwise limit \[ \lim_{k\to \infty}k^{-n}B_k(\phi,\psi)dV=\mathbf{ 1}_{D(\phi,\psi)\cap X(0)}\text{MA}(\phi) \] almost everywhere on $X(0)$. All mentioned results generalize work of \textit{R. J. Berman} [Am. J. Math. 131, No. 5, 1485--1524 (2009; Zbl 1191.32008)]. \par Another property of the maximal envelope proved in the paper is the product property. Let $L_i$ be a line bundle on a complex manifold $X_i$, let $\phi_i$ be a smooth metric on $L_i$ and $\psi_i$ a positive singular metric on $F_i$. Suppose $L_i-F_i$ is ample, and $\psi_i$ has algebraic singularities, for $i=1,2$. Then for the product metric $\phi=\phi_1+\phi_2$ on $L_1\otimes L_2$ and $\psi=\max(\psi_1,\psi_2)$, we have \[ \phi_{[\psi]}=\sup\left\{(\phi_1)_{[\lambda \psi_1]}+(\phi_2)_{[(1-\lambda)\psi_2]}: \lambda\in (0,1)\right\}^*. \] Finally the authors show that the construction of geodesics in the space of Kähler potentials given in [\textit{J. Ross} and \textit{D. W. Nyström}, J. Symplectic Geom. 12, No. 1, 125--169 (2014; Zbl 1300.32021)] has an interpretation as a maximal envelope. They consider the associated exhaustion function $H(\phi,\psi)$ of the equilibrium set and connect it to both the Legendre transform and to the geometry of the Okounkov body.