An extension theorem for Kähler currents with analytic singularities (Q476093)

This paper deals with the problem of extension of closed positive currents in a given Kähler class on a compact complex submanifold of a compact Kähler manifold. More precisely, let \((X,\omega)\) be a compact Kähler manifold, \(V\subset X\) a compact complex submanifold and \(T\) a closed positive current on \(V\) in the cohomology class of \(\Omega|V\). Then the question is: does there exist a global closed positive current \(\widetilde T\) on \(X\) such that \(\widetilde T|V=T\)? The first result in this direction is due to \textit{G. Schumacher} [Math. Ann. 311, No. 4, 631--645 (1998; Zbl 0915.32002)], who proved that if \([\omega]\) is rational (hence \(X\) is projective), then any smooth Kähler metric on \(V\) in the class \([\omega|V]\) extends to a smooth Kähler metric on \(X\) in the class \([\omega]\). Recently \textit{D. Coman} et al. [J. Reine Angew. Math. 676, 33--49 (2013; Zbl 1269.32018)] proved that under the same rationality assumption, every closed positive current on a closed analytic subvariety \(V\) in the class \([\omega|V]\) extends to \(X\) . The main result of the paper under review is the following. Theorem 0.1. Let \((X,\omega)\) be a compact Kähler manifold and \(V\subset X\) a compact complex submanifold. Let \(T\) be a closed positive current with analytic singularities on \(V\) in the cohomology class of \(\omega_V:= \Omega|V\). Then there exists a Kähler current \(\widetilde T\) on \(X\) in the class of \(\omega\) such that \(\widetilde T|V= T\). Let us just stress that by the well-known \(\partial\overline\partial\)-lemma there exists a quasi-plurisubharmonic function \(\varphi\) in \(V\) such that \(T= \omega_V+ i\partial\overline\partial\varphi\) in the sense of currents on \(V\). By definition \(T\) has analytic singularities if locally in \(V\) we have \[ \varphi:= c\log\big(\sum|f_j|^2\big)+ O(1), \] where \(c>0\) is a positive constant and the \(f_j\)'s are local holomorphic functions. In this case the polar set \(\{\varphi=-\infty\}\) is a closed analytic subset of \(V\). Then it remains the problem to extend the function \(\varphi\) to a quasi plurisubharmonic function \(\widetilde\varphi\) on \(X\) such that \(\omega+i\partial\overline\partial\widetilde\varphi\) in the sense of currents on \(X\). The idea of the proof of this theorem is quite different from the previous ones. The authors introduce a new constructive method which uses a resolution of the singularities to obtain estimates which allow them to glue local plurisubharmonic functions with analytic singularities near their polar set and to use a modifictaion of the classical argument of Richeberg to conclude.