The metric geometry of singularity types (Q2121380)

Let \((X,\omega)\) be a compact Kähler manifold of dimension \(n\), and let \(\theta\) be a smooth closed \((1,1)\)-form on \(X\) such that \(\{\theta\}\) is big. There is a natural equivalence relation on the space of \(\theta\)-plurisubharmonc functions giving rise to \(\mathcal S(X,\theta)\), the space of singularity types of potentials. The authors introduce a natural (pseudo-)metric \(d_{\mathcal S}\) on \(\mathcal S(X,\theta)\). The precise definition of \(d_{\mathcal S}\) is given in the language of geodesic rays. It is shown that \((\mathcal S(X,\theta), d_{\mathcal S})\) is in general not complete, even in the Kähler case. On the other hand in case of positive mass, i.e., \[ \mathcal S_{\delta}(X,\theta)=\{[u]\in \mathcal S(X,\theta): \int_X(\theta+i\partial \bar {\partial}u)^n\geq \delta\}, \] for fixed \(\delta>0\), the space \((\mathcal S_{\delta}(X,\theta), d_{\mathcal S})\) is complete. As an application, a semicontinuity result for multiplier ideal sheaves associated to singularity types is obtained. For \([v]\in \mathcal S(X,\theta)\) we denote by \(\mathcal J[v]\) the multiplier ideal sheaf associated to the singularity type \([v]\), i.e., \(\mathcal J[v]\) is the sheaf of germs of holomorphic functions \(f\) such that \(|f|^2e^{-v}\) is locally integrable on X. The following theorem is proved: if \([u], [u_j]\in \mathcal S(X,\theta)\) are such that \(d_{\mathcal S}([u_j],[u])\to 0\), then there exists \(j_0\) such that \(\mathcal J[u]\subset \mathcal J[u_j]\), for all \(j\geq j_0\). Finally, it is proved a stability theorem for the solutions \(u\) to an equation of complex Monge-Ampère-type with prescribed singularity \([\phi]\in \mathcal S(X,\theta)\), and with \(f\geq 0\), \(f\in L^p\), \(p>1\), i.e., \[ (\theta+i\partial \bar {\partial}u)^n=f\omega^n, \quad [u]=[\phi], \quad \sup_X u=0. \] The authors show that, if one considers a family of such equations, where the prescribed singularity type \([\phi_j]\) converges to some fixed singularity type \([\phi]\), in matric \(d_{\mathcal S}\), \(||f_j||_p, ||f||_p\) are uniformly bounded and \(f_j\to f\) in \(L^1\), then the solutions \(u_j\) converge to the solution \(u\) in capacity.