A sharp effectiveness result of Demailly's strong openness conjecture (Q2631934)

The aim of this paper is to prove sharp effectiveness results concerning the strong openness conjecture and a conjecture of \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 \(\varphi\) be a plurisubharmonic function. The multiplier ideal sheaf \(\mathcal I(\varphi)\) is defined as the sheaf of germs of holomorphic functions \(f\) such that \(|f|^2e^{-\varphi}\) is locally integrable. The strong openness conjecture (SOC for short) was posted by \textit{J.-P. Demailly} in [Analytic methods in algebraic geometry. Somerville, MA: International Press; Beijing: Higher Education Press (2012; Zbl 1271.14001)]: Let \(\varphi\) be a plurisubharmonic function on a complex manifold \(X\), then \[ \mathcal I(\varphi)=\mathcal I_{+}(\varphi):=\bigcup_{p>1}\mathcal I(p\varphi). \] This conjecture was proved, in full generality, by the author and \textit{X. Zhou} [Ann. Math. (2) 182, No. 2, 605--616 (2015; Zbl 1329.32016)]. Moreover they also established an effectiveness result of SOC, which was not sharp, in [Invent. Math. 202, No. 2, 635--676 (2015; Zbl 1333.32014)]. Let \(D\) be a pseudoconvex domain in \(\mathbb C^n\) such that \(0\in D\). Let \(\varphi\) be a negative plurisubharmonic function on \(D\), and let \(F\) be a holomorphic function on \(D\). Denote by \[ c^F_{0}(\varphi):=\sup\big\{c\geq 0: |F|^2e^{-2c\varphi} \text{ is integrable on a neighbourhood of } 0\big\} \] the jumping number. Define also for \(c_0^F(\varphi)\neq +\infty\) \[ C_{F,\mathcal I_+(2c_0^F(\varphi)\varphi)_0}(D)= \inf\left\{\int_D|\tilde F|^2: (\tilde F-F,0)\in \mathcal I_+(2c_0^F(\varphi)\varphi)_0, \tilde F\in \mathcal O(D) \right\} \] and \[ C_{F,\mathcal I_+(2c_0^F(\varphi)\varphi)_0}(D)=\int_D |F|^2 \] if \(c_0^F(\varphi)=+\infty\). The sharp effectiveness result of SOC is the following theorem. Assume that \(\int_D|F|^2e^{-\varphi}<+\infty\), then for any \(p>1\) satisfying \[ \frac {p}{p-1}>\frac {\int_D|F|^2e^{-\varphi}}{C_{F,\mathcal I_+(2c_0^F(\varphi)\varphi)_0}(D)}, \] \(|F|^2e^{-p\varphi}\) is locally integrable near \(0\). Moreover, the number \(\frac {p}{p-1}\) is sharp. The following sharp version of Berndtsson's effectiveness result of the openness conjecture is also obtained. Assume that \(\int_De^{-\varphi}<+\infty\). Then for any \(p>1\) satisfying \[ \frac {p}{p-1}>K_D(0)\int_De^{-\varphi}, \] \(e^{-p\varphi}\) is locally integrable near \(0\), where \(K_D\) is the Bergman kernel of \(D\). Finally, the following sharp effectiveness result related to a conjecture posed by Demailly and Kollár is proved. If \(c_0^F(\varphi)<+\infty\) then, for any \(0<r<1\), \[ \frac {1}{r^{2c_0^F(\varphi)}}\int_{\{\varphi<\log r\}}|F|^2\geq C_{F,\mathcal I_+(2c_0^F(\varphi)\varphi)_0}(D)>0. \] In particular if \(F\equiv 1\) then, for any \(0<r<1\), \[ \frac {1}{r^{2c_0(\varphi)}}\int_{\{\varphi<\log r\}}1\geq K_D^{-1}(0). \]