{"entities":{"Q2631934":{"pageid":2642677,"ns":120,"title":"Item:Q2631934","lastrevid":57983124,"modified":"2026-04-03T08:19:06Z","type":"item","id":"Q2631934","labels":{"en":{"language":"en","value":"A sharp effectiveness result of Demailly's strong openness conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055755"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631934$5A23F124-E5F9-4B8F-9518-034F1BA5957C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0990cd0a29494956f2e68e5efa13735cc6fe034a","datavalue":{"value":{"text":"A sharp effectiveness result of Demailly's strong openness conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631934$B915598C-5029-42D8-8564-22956F5182BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b97eda8a47bc6b431aec96474993e6d77072b71","datavalue":{"value":"1429.32017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631934$AE29B6F2-AFFF-4D9E-A238-00986290926C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85476e20a150268eeaa5c7d75b0934986c4ef822","datavalue":{"value":{"entity-type":"item","numeric-id":317292,"id":"Q317292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631934$CF098BD9-C1B5-4423-BCB8-F0454EC23E6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631934$C8670417-DB1B-40DF-BE24-D47B1BC537A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892d61c8fad68bfab9f26cb162b50f4ea172c31","datavalue":{"value":{"time":"+2019-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631934$68645254-3252-4C56-89E4-DCB43F19D015","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a2a2e6e25bd3f06c7781871ad853943b0b047bf","datavalue":{"value":"https://arxiv.org/abs/1709.05880","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631934$97C5E0A5-54DB-473F-8354-A67E1A32B55F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f128d5eea31d74ab79ed3192da8246a7e07c6e61","datavalue":{"value":"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\u00e1r} [Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (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\u00e1r is proved. If \\(c_0^F(\\varphi)<+\\infty\\) then, for any \\(00. \\] In particular if \\(F\\equiv 1\\) then, for any \\(0