Effectiveness of Demailly's strong openness conjecture and related problems (Q894230)

The aim of this paper is to prove effectiveness results concerning the strong openness conjecture, the lower semicontinuity of plurisubharmonic functions with multiplier and conjectures of Demailly-Kollár and Jonsson-Mustată. The Strong openness conjecture posed by \textit{J.-P. Demailly} [Analytic methods in algebraic geometry. Surveys of Modern Mathematics 1. Somerville, MA: International Press; Beijing: Higher Education Press (2012; Zbl 1271.14001)] is the following: Let \(\varphi\) be a plurisubharmonic function on a complex manifold \(X\), then \[ \mathcal I(\varphi)=\mathcal I_{+}(\varphi):=\bigcup_{\epsilon >0}\mathcal I((1+\epsilon)\varphi), \] where \(\mathcal I(\varphi)\) is the sheaf of germs of holomorphic functions \(f\) such that \(|f|^2e^{-\varphi}\) is locally integrable. If \(\mathcal I(\varphi)=\mathcal O_X\), then the strong openness conjecture degenerates to the openness conjecture posed by \textit{J.-P. Demailly} and \textit{J. Kollár} [Ann. Sci. Éc. Norm. Supér. (4) 34, No. 4, 525--556 (2001; Zbl 0994.32021)]. Let \(D\) be a pseudoconvex domain in \(\mathbb C^n\), \(z_0\in D\). Let \(\varphi\) be a negative plurisubharmonic function on \(D\), and let \(F\) be a holomorphic function on \(D\). Let \[ ||f||_{\varphi}:=\left (\int_D|F|^2e^{-\varphi }d\lambda_n\right)^{\frac 12}, \] where \(\lambda_n\) is the Lebesgue measure in \(\mathbb C^n\), and define the generalized Bergmann kernel as follows \[ K_{\varphi,F}(z_0):=\left(\inf\Big\{||G||^2_0: G\in \mathcal O(D), (G-F,z_0)\in \mathcal I_{+}(2c_{z_0}^F(\varphi)\varphi)_{z_0} \Big\}\right)^{-1}, \] where \[ c^F_{z_0}(\varphi):=\sup\big\{c\geq 0: |F|^2e^{-2c\varphi} \text{ is integrable on a neighborhood of } z_0\big\} \] is the jumping number. Define also the following function \(\theta :(1,\infty)\to \mathbb R\): \[ \theta(t)=\left (\frac {1}{(t-1)(2t-1)}\right)^{\frac 1t}. \] The authors establish the following effectiveness of the strong openness conjecture. Let a holomorphic function \(F\) and a negative plurisubharmonic function \(\varphi\) be such that \(||F||_{\varphi}^2\leq C_1\) and \(K_{\varphi,F}^{-1}\geq C_2\), where \(C_1, C_2\) are two positive constants. Then, for any \(p>1\) satisfying \(\theta(p)>\frac {C_1}{C_2}\), one has \((F,z_0)\in \mathcal I(p\varphi)_{z_0}\). The above result gives a new proof of the strong openness conjecture and gives (for \(F=1\)) a more precise version of the effectiveness result for the openness conjecture of \textit{B. Berndtsson} [``The openness conjecture for plurisubharmonic functions'', Preprint, \url{arXiv:1305.5781}]. A lower semicontinuity property of plurisubharmonic functions with multiplier. Demailly and Kollár conjectured in [loc. cit.] that, if \(X\) is a complex manifold, \(K\) a compact set and \(L\) an open set such that \(K\subset L\subset X\), then, for every nonzero function \(f\in \mathcal O(X)\), there exists a constant \(\delta=\delta(f,K,L)\) such that, for any \(g\in \mathcal O(X)\), \[ \sup_L|g-f|<\delta \Rightarrow c_K(\log|g|)\geq c_K(\log |f|), \] where \[ c_K(\varphi)=\sup\big\{c\geq 0: e^{-2c\varphi} \text{ is integrable on a neighborhood of } K\big\}. \] Using the idea from their paper [``Strong openness conjecture and related problems for plurisubharmonic functions'', Preprint, \url{arXiv:1401.7158}], the authors prove the following lower semicontinuity property of plurisubharmonic functions with a multiplier. Let \(\{\phi_m\}_{m=1}^{\infty}\) be a sequence of negative plurisubharmonic functions on the polidisc \(\Delta^n\), which is convergent to a negative Lebesgue measurable function \(\phi\) on \(\Delta^n\), in Lebesgue measure. Let \(\{F_m\}_{m=1}^{\infty}\) be a sequence of holomorphic functions on \(\Delta^n\) with uniform bound, which is convergent to a Lebesgue measurable function \(F\) on \(\Delta^n\), in Lebesgue measure. If, for any neighborhood U of \(0\), the pairs \((F_m,\phi_m)\) satisfy \(\inf_{m}K^{-1}_{\phi_m,F_m}(0)>0\), then \(|f|^2e^{-\phi}\) is not integrable near \(0\). In particular, if \(\phi\) is plurisubharmonic and \(F\) is holomorphic, then \((F,0)\notin \mathcal I(\phi)_0\). Demailly and Kollár posed in [loc. cit.] the following conjecture: Let \(\varphi\) be a plurisubharmonic function on \(\Delta^n\), and let \(K\) be a compact subset of \(\Delta^n\). If \(c_K(\varphi)<\infty\), then \[ \frac{\lambda_n(\{\varphi<\log r\})}{r^{2c_K(\varphi)}} \tag{*} \] has a uniform positive lower bound independent of \(r\in (0,1)\) small enough. Using the idea from [loc. cit.], the authors prove the following effectiveness of the positive lower bound of (*). Let \(B_0\in (0,1]\), let \(\varphi\) be a negative plurisubharmonic function on a pseudoconvex domain \(D\subset \mathbb C^n\), and let \(F\in \mathcal O(D)\). If \(|F|^2e^{-\varphi}\) is not locally integrable near \(z_0\in D\), then \[ \liminf_{R\to \infty}\frac 1{B_0}\int_D\mathbb I_{\{-(R+B_0)<\varphi<-R\}}|F|^2e^{t_0+B_0}d\lambda_n\geq K^{-1}_{\varphi,F}(z_0). \] In particular if \(F=1\), then \[ \liminf_{R\to \infty}e^{R+B_0}\frac {\lambda_n(\{-(R+B_0)<\varphi<-R\})}{B_0}\geq K^{-1}_{\varphi,1}(z_0)\geq K^{-1}(z_0). \] \textit{M. Jonsson} and \textit{M. Mustată} [J. Inst. Math. Jussieu 13, No. 1, 119--144 (2014; Zbl 1314.32047)] posed the following conjecture: Let \(\psi\) be a plurisubharmonic function on \(\Delta^n\), and let \(I\) be an ideal of \(\mathcal O_{\Delta^n,0}\), generated by \(\{f_j\}_{j=1}^l\). If \(c_0^I(\psi)<\infty\), then \[ \frac {\lambda_n(\{c_0^I(\psi)\psi-\log |I|<\log r\})}{r^2} \tag{**} \] has a uniform positive lower bound independent of \(r\in (0,1)\) small enough, where \(\log |I|=\log (\max _{1\leq j\leq l}|f_j|)\) and \[ c^I_{z_0}(\varphi):=\sup\big\{c\geq 0: |I|^2e^{-2c\varphi} \text{ is integrable on a neighborhood of } 0\big\} \] is the jumping number. Using the idea from [loc. cit.], the authors prove the following effectiveness of the positive lower bound of (**). Let \(\delta \in \mathbb N\), let \(\psi\) be a plurisubharmonic function on a pseudoconvex domain \(D\subset \mathbb C^n\) bounded from above, and let \(F\in \mathcal O(D)\). If \(|F|^2e^{-\psi}\) is not locally integrable near \(z_0\in D\), then \[ \liminf_{R\to \infty} \frac {e^R}{B_0}\lambda_n\Big(\big\{-R-B_0<\psi-\log|F|^2<-R\big\}\Big)\geq \frac {K^{-1}_{\psi+\delta\max (\psi, 2\log |F|), F^{1+\delta}}(z_0)}{(1+\frac 1{\delta})e^{B_0}\sup_De^{(1+\delta)\max(\psi,2\log |F|)}}. \]