A sharp effectiveness result of Demailly's strong openness conjecture
multiplier ideal sheafplurisubharmonic functionsharp effectivenessstrong openness conjecturesublevel set
Continuation of analytic objects in several complex variables (32D15) Stein spaces (32E10) Sheaves and cohomology of sections of holomorphic vector bundles, general results (32L10) Plurisubharmonic functions and generalizations (32U05) (overlinepartial) and (overlinepartial)-Neumann operators (32W05)
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). \]
- Effectiveness of Demailly's strong openness conjecture and related problems
- A proof of Demailly's strong openness conjecture
- An algebraic approach to the openness conjecture of Demailly and Kollár
- Roles of plurisubharmonic functions
- Strong openness of multiplier ideal sheaves and optimal \(L^{2}\) extension
- A Kawamata-Viehweg vanishing theorem on compact Kähler manifolds.
- A proof of Demailly's strong openness conjecture
- A solution of an \(L^{2}\) extension problem with an optimal estimate and applications
- A subadditivity property of multiplier ideals.
- Analyticity of sets associated to Lelong numbers and the extension of closed positive currents
- Dynamic multiplier ideal sheaves and the construction of rational curves in Fano manifolds
- Effectiveness of Demailly's strong openness conjecture and related problems
- scientific article; zbMATH DE number 1803782 (Why is no real title available?)
- scientific article; zbMATH DE number 1816813 (Why is no real title available?)
- scientific article; zbMATH DE number 3853472 (Why is no real title available?)
- scientific article; zbMATH DE number 1257330 (Why is no real title available?)
- scientific article; zbMATH DE number 2134816 (Why is no real title available?)
- Lectures on the \(L^2\)-Sobolev theory of the \(\bar\partial\)-Neumann problem
- Modules of Square Integrable Holomorphic Germs
- Multiplier ideal sheaves and Kähler-Einstein metrics of positive scalar curvature
- Multiplier ideal sheaves in complex and algebraic geometry
- On Kähler-Einstein metrics on certain Kähler manifolds with \(C_ 1(M)>0\)
- On the extension of L^ 2 holomorphic functions. III: Negligible weights
- Optimal constant in an \(L^2\) extension problem and a proof of a conjecture of Ohsawa
- Optimal constant problem in the \(L^2\) extension theorem
- Quelques problèmes de prolongement de courants en analyse complexe
- Semi-continuity of complex singularity exponents and Kähler-Einstein metrics on Fano orbifolds
- The extension theorem of Ohsawa-Takegoshi and the theorem of Donnelly-Fefferman
- The weighted log canonical threshold
- Toric plurisubharmonic functions and analytic adjoint ideal sheaves
- Valuations and asymptotic invariants for sequences of ideals
- Valuations and multiplier ideals
- Valuative analysis of planar plurisubharmonic functions
- An optimal support function related to the strong openness conjecture
- New properties of multiplier submodule sheaves
- L^2 extension and effectiveness of strong openness property
- Concavity of minimal \(L^2\) integrals related to multiplier ideal sheaves on weakly pseudoconvex Kähler manifolds
- A proof of Saitoh's conjecture for conjugate Hardy \(H^2\) kernels
- Roles of plurisubharmonic functions
- Decreasing equisingular approximations with analytic singularities
- Strong openness of multiplier ideal sheaves and optimal \(L^{2}\) extension
- The weighted log canonical threshold
- Optimal \(L^2\) extensions of openness type and related topics
- Concavity property of minimal L^2 integrals with Lebesgue measurable gain V-fibrations over open Riemann surfaces
- A proof of Demailly's strong openness conjecture
- An algebraic approach to the openness conjecture of Demailly and Kollár
- Effectiveness of strong openness property in 𝐿^{𝑝}
- CONCAVITY PROPERTY OF MINIMAL INTEGRALS WITH LEBESGUE MEASURABLE GAIN
- Concavity of minimal L^2 Integrals related to multiplier ideal sheaves
- \(L^2\) extension and effectiveness of \(L^p\) strong openness property
- Concavity property of minimal \(L^2\) integrals with Lebesgue measurable gain. IV: Product of open Riemann surfaces
- Boundary points, minimal L^2 integrals and concavity property V: vector bundles
- Concavity property of minimal L^2 integrals with Lebesgue measurable gain. II
- Geometry of analytic continuation on complex manifolds -- history, survey, and report
- Characterizations of Griffiths positivity, pluriharmonicity and flatness
- Boundary points, minimal \(L^2\) integrals and concavity property. II: Weakly pseudoconvex Kähler manifolds
- Boundary points, minimal \(L^2\) integrals and concavity property. III: Linearity on Riemann surfaces and fibrations over open Riemann surfaces
- Modules at boundary points, fiberwise Bergman kernels, and log-subharmonicity
- Concavity property of minimal L^2 integrals with Lebesgue measurable gain VII-negligible weights. In memory of Jean-Pierre Demailly (1957--2022)
- Optimal L^2 extensions of openness type
- A Hilbert bundle approach to the sharp strong openness theorem and the Ohsawa-Takegoshi extension theorem
- Concavity property of minimal L^2 integrals with Lebesgue measurable gain. VI: fibrations over products of open Riemann surfaces
- Reverse Hölder inequalities on the space of Kähler metrics of a Fano variety and effective openness
- A note on -Bergman kernels
- Tame maximal weights, relative types and valuations
- Boundary points, minimal L^2 integrals and concavity property
- Multiplier submodule sheaves, L^2 extension and a problem of Lempert
- A higher-rank analog of the strong openness property
- A generalization of the conjugate Hardy H^2 spaces
- Effectiveness of Demailly's strong openness conjecture and related problems
This page was built for publication: A sharp effectiveness result of Demailly's strong openness conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631934)
