A proof of Demailly’s strong openness conjecture

Abstract

In this article, we solve the strong openness conjecture on the multiplier ideal sheaf associated to any plurisubharmonic function, which was posed by Demailly.

  • [berndtsson] Go to document B. Berndtsson, "The extension theorem of Ohsawa-Takegoshi and the theorem of Donnelly-Fefferman," Ann. Inst. Fourier $($Grenoble$)$, vol. 46, iss. 4, pp. 1083-1094, 1996.
    @article{berndtsson, mrkey = {1415958},
      author = {Berndtsson, Bo},
      title = {The extension theorem of {O}hsawa-{T}akegoshi and the theorem of {D}onnelly-{F}efferman},
      journal = {Ann. Inst. Fourier $($Grenoble$)$},
      fjournal = {Université de Grenoble. Annales de l'Institut Fourier},
      volume = {46},
      year = {1996},
      number = {4},
      pages = {1083--1094},
      issn = {0373-0956},
      coden = {AIFUA7},
      mrclass = {32D15 (32F15)},
      mrnumber = {1415958},
      mrreviewer = {Laurent Manivel},
      doi = {10.5802/aif.1541},
      zblnumber = {0853.32024},
      }
  • [berndtsson13] B. Berndtsson, The openness conjecture for plurisubharmonic functions, 2013.
    @misc{berndtsson13,
      author = {Berndtsson, Bo},
      title = {The openness conjecture for plurisubharmonic functions},
      year = {2013},
      arxiv = {1305.5781},
      }
  • [BFJ08] Go to document S. Boucksom, C. Favre, and M. Jonsson, "Valuations and plurisubharmonic singularities," Publ. Res. Inst. Math. Sci., vol. 44, iss. 2, pp. 449-494, 2008.
    @article{BFJ08, mrkey = {2426355},
      author = {Boucksom, S{é}bastien and Favre, Charles and Jonsson, Mattias},
      title = {Valuations and plurisubharmonic singularities},
      journal = {Publ. Res. Inst. Math. Sci.},
      fjournal = {Kyoto University. Research Institute for Mathematical Sciences. Publications},
      volume = {44},
      year = {2008},
      number = {2},
      pages = {449--494},
      issn = {0034-5318},
      coden = {KRMPBV},
      mrclass = {32U25 (13A18 14B05 32U05)},
      mrnumber = {2426355},
      mrreviewer = {Romain Dujardin},
      doi = {10.2977/prims/1210167334},
      zblnumber = {1146.32017},
      }
  • [Cao12] Go to document J. Y. Cao, "Numerical dimension and a Kawamata-Viehweg-Nadel type vanishing theorem on compact Kähler manifolds," Compositio Math., vol. 150, pp. 1869-1902, 2014.
    @article{Cao12,
      author = {Cao, J. Y.},
      title = {Numerical dimension and a {K}awamata-{V}iehweg-{N}adel type vanishing theorem on compact {K}ähler manifolds},
      journal = {Compositio Math.},
      volume = {150},
      year = {2014},
      pages = {1869--1902},
      mrnumber = {3279260},
      zblnumber = {06382612},
      doi = {10.1112/S0010437X14007398 },
      }
  • [demailly99] J. Demailly, "On the Ohsawa-Takegoshi-Manivel $L^2$ extension theorem," in Complex Analysis and Geometry, Basel: Birkhäuser, 2000, vol. 188, pp. 47-82.
    @incollection{demailly99, mrkey = {1782659},
      author = {Demailly, Jean-Pierre},
      title = {On the {O}hsawa-{T}akegoshi-{M}anivel {$L\sp 2$} extension theorem},
      booktitle = {Complex Analysis and Geometry},
      venue = {{P}aris, 1997},
      series = {Progr. Math.},
      volume = {188},
      pages = {47--82},
      publisher = {Birkhäuser},
      address = {Basel},
      year = {2000},
      mrclass = {32L10 (32D15 32J25 32U05)},
      mrnumber = {1782659},
      mrreviewer = {Thierry Bouche},
      zblnumber = {0959.32019},
      }
  • [demailly-note2000] J. Demailly, "Multiplier ideal sheaves and analytic methods in algebraic geometry," in School on Vanishing Theorems and Effective Results in Algebraic Geometry, Trieste: Abdus Salam Int. Cent. Theoret. Phys., 2001, vol. 6, pp. 1-148.
    @incollection{demailly-note2000, mrkey = {1919457},
      author = {Demailly, Jean-Pierre},
      title = {Multiplier ideal sheaves and analytic methods in algebraic geometry},
      booktitle = {School on {V}anishing {T}heorems and {E}ffective {R}esults in {A}lgebraic {G}eometry},
      venue = {{T}rieste, 2000},
      series = {ICTP Lect. Notes},
      volume = {6},
      pages = {1--148},
      publisher = {Abdus Salam Int. Cent. Theoret. Phys.},
      address = {Trieste},
      year = {2001},
      mrclass = {32J25 (32L10 32Q15)},
      mrnumber = {1919457},
      mrreviewer = {Christophe Mourougane},
      zblnumber = {1102.14300},
      }
  • [demailly2010] J. Demailly, Analytic Methods in Algebraic Geometry, Somerville, MA; Higher Education Press, Beijing: International Press, 2012, vol. 1.
    @book{demailly2010, mrkey = {2978333},
      author = {Demailly, Jean-Pierre},
      title = {Analytic Methods in Algebraic Geometry},
      series = {Surveys of Modern Mathematics},
      volume = {1},
      publisher = {International Press},
      address = {Somerville, MA; Higher Education Press, Beijing},
      year = {2012},
      pages = {viii+231},
      isbn = {978-1-57146-234-3},
      mrclass = {32-02 (14C30 14F18 32J25 32Q15 32U40)},
      mrnumber = {2978333},
      mrreviewer = {Valentino Tosatti},
      zblnumber = {1271.14001},
      }
  • [demailly-book] Go to document J. Demailly, Complex Analytic and Differential Geometry.
    @misc{demailly-book,
      author = {Demailly, Jean-Pierre},
      title = {{\it Complex Analytic and Differential Geometry}},
      URL = {https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf},
     }
  • [DEL00] Go to document J. Demailly, L. Ein, and R. Lazarsfeld, "A subadditivity property of multiplier ideals," Michigan Math. J., vol. 48, pp. 137-156, 2000.
    @article{DEL00, mrkey = {1786484},
      author = {Demailly, Jean-Pierre and Ein, Lawrence and Lazarsfeld, Robert},
      title = {A subadditivity property of multiplier ideals},
      journal = {Michigan Math. J.},
      fjournal = {The Michigan Mathematical Journal},
      volume = {48},
      year = {2000},
      pages = {137--156},
      issn = {0026-2285},
      mrclass = {14E99 (14J17)},
      mrnumber = {1786484},
      mrreviewer = {Karen E. Smith},
      doi = {10.1307/mmj/1030132712},
      zblnumber = {1077.14516},
      }
  • [D-K01] Go to document J. Demailly and J. Kollár, "Semi-continuity of complex singularity exponents and Kähler-Einstein metrics on Fano orbifolds," Ann. Sci. École Norm. Sup., vol. 34, iss. 4, pp. 525-556, 2001.
    @article{D-K01, mrkey = {1852009},
      author = {Demailly, Jean-Pierre and Koll{á}r, J{á}nos},
      title = {Semi-continuity of complex singularity exponents and {K}ähler-{E}instein metrics on {F}ano orbifolds},
      journal = {Ann. Sci. École Norm. Sup.},
      fjournal = {Annales Scientifiques de l'École Normale Supérieure. Quatrième Série},
      volume = {34},
      year = {2001},
      number = {4},
      pages = {525--556},
      issn = {0012-9593},
      coden = {ASENAH},
      mrclass = {32Q20 (32U05)},
      mrnumber = {1852009},
      mrreviewer = {Lin Weng},
      doi = {10.1016/S0012-9593(01)01069-2},
      zblnumber = {0994.32021},
      }
  • [D-P03] Go to document J. Demailly and T. Peternell, "A Kawamata-Viehweg vanishing theorem on compact Kähler manifolds," J. Differential Geom., vol. 63, iss. 2, pp. 231-277, 2003.
    @article{D-P03, mrkey = {2015548},
      author = {Demailly, Jean-Pierre and Peternell, Thomas},
      title = {A {K}awamata-{V}iehweg vanishing theorem on compact {K}ähler manifolds},
      journal = {J. Differential Geom.},
      fjournal = {Journal of Differential Geometry},
      volume = {63},
      year = {2003},
      number = {2},
      pages = {231--277},
      issn = {0022-040X},
      coden = {JDGEAS},
      mrclass = {32L20 (32J27)},
      mrnumber = {2015548},
      mrreviewer = {Christophe Mourougane},
      url = {http://projecteuclid.org/euclid.jdg/1090426678},
      zblnumber = {1053.32011},
      }
  • [FM05v] Go to document C. Favre and M. Jonsson, "Valuative analysis of planar plurisubharmonic functions," Invent. Math., vol. 162, iss. 2, pp. 271-311, 2005.
    @article{FM05v, mrkey = {2199007},
      author = {Favre, Charles and Jonsson, Mattias},
      title = {Valuative analysis of planar plurisubharmonic functions},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {162},
      year = {2005},
      number = {2},
      pages = {271--311},
      issn = {0020-9910},
      coden = {INVMBH},
      mrclass = {32U05 (13A18 32U25)},
      mrnumber = {2199007},
      mrreviewer = {Romain Dujardin},
      doi = {10.1007/s00222-005-0443-2},
      zblnumber = {1089.32032},
      }
  • [FM05j] Go to document C. Favre and M. Jonsson, "Valuations and multiplier ideals," J. Amer. Math. Soc., vol. 18, iss. 3, pp. 655-684, 2005.
    @article{FM05j, mrkey = {2138140},
      author = {Favre, Charles and Jonsson, Mattias},
      title = {Valuations and multiplier ideals},
      journal = {J. Amer. Math. Soc.},
      fjournal = {Journal of the American Mathematical Society},
      volume = {18},
      year = {2005},
      number = {3},
      pages = {655--684},
      issn = {0894-0347},
      mrclass = {14B05 (13A18 32U25)},
      mrnumber = {2138140},
      doi = {10.1090/S0894-0347-05-00481-9},
      zblnumber = {1075.14001}
    }
  • [GZopen-a] Q. A. Guan and X. Y. Zhou, Strong openness conjecture for plurisubharmonic functions, 2013.
    @misc{GZopen-a,
      author = {Guan, Q. A. and Zhou, X. Y.},
      title = {Strong openness conjecture for plurisubharmonic functions},
      arxiv = {1311.3781},
      year = {2013},
      }
  • [GZopen-b] Q. A. Guan and X. Y. Zhou, Strong openness conjecture and related problems for plurisubharmonic functions, 2014.
    @misc{GZopen-b,
      author = {Guan, Q. A. and Zhou, X. Y.},
      title = {Strong openness conjecture and related problems for plurisubharmonic functions},
      year = {2014},
      arxiv = {1401.7158},
      }
  • [JM12] Go to document M. Jonsson and M. Mustactua, "Valuations and asymptotic invariants for sequences of ideals," Ann. Inst. Fourier $($Grenoble$)$, vol. 62, iss. 6, pp. 2145-2209 (2013), 2012.
    @article{JM12, mrkey = {3060755},
      author = {Jonsson, Mattias and Musta{\c{t}}{\u{a}},
      Mircea},
      title = {Valuations and asymptotic invariants for sequences of ideals},
      journal = {Ann. Inst. Fourier $($Grenoble$)$},
      fjournal = {Université de Grenoble. Annales de l'Institut Fourier},
      volume = {62},
      year = {2012},
      number = {6},
      pages = {2145--2209 (2013)},
      issn = {0373-0956},
      mrclass = {14F18 (12J20 14B05)},
      mrnumber = {3060755},
      mrreviewer = {Carlos Galindo},
      doi = {10.5802/aif.2746},
      zblnumber = {1272.14016},
      }
  • [kim10] Go to document D. Kim, "The exactness of a general Skoda complex," Michigan Math. J., vol. 63, iss. 1, pp. 3-18, 2014.
    @article{kim10, mrkey = {3189464},
      author = {Kim, Dano},
      title = {The exactness of a general {S}koda complex},
      journal = {Michigan Math. J.},
      fjournal = {Michigan Mathematical Journal},
      volume = {63},
      year = {2014},
      number = {1},
      pages = {3--18},
      issn = {0026-2285},
      mrclass = {32J25 (13D02 14E15 32C35)},
      mrnumber = {3189464},
      mrreviewer = {Mattias Jonsson},
      doi = {10.1307/mmj/1395234355},
      zblnumber = {1297.13015},
      }
  • [kisel] C. O. Kiselman, "Plurisubharmonic functions and potential theory in several complex variables," in Development of Mathematics 1950–2000, Basel: Birkhäuser, 2000, pp. 655-714.
    @incollection{kisel, mrkey = {1796855},
      author = {Kiselman, Christer O.},
      title = {Plurisubharmonic functions and potential theory in several complex variables},
      booktitle = {Development of Mathematics 1950--2000},
      pages = {655--714},
      publisher = {Birkhäuser},
      address = {Basel},
      year = {2000},
      mrclass = {32Uxx (01A60 31C10 32-03 32W20)},
      mrnumber = {1796855},
      mrreviewer = {Norman Levenberg},
      zblnumber = {0962.31001},
      }
  • [Lazar04I] R. Lazarsfeld, Positivity in Algebraic Geometry. I. Classical Setting: Line Bundles and Linear Series, New York: Springer-Verlag, 2004, vol. 48.
    @book{Lazar04I, mrkey = {2095471},
      author = {Lazarsfeld, Robert},
      title = {Positivity in Algebraic Geometry. {I}. Classical Setting: Line Bundles and Linear Series},
      series = {Ergeb. Math. Grenzgeb.},
      volume = {48},
      publisher = {Springer-Verlag},
      year = {2004},
      pages = {xviii+387},
      isbn = {3-540-22533-1},
      mrclass = {14-02 (14C20)},
      mrnumber = {2095471},
      mrreviewer = {Mihnea Popa},
      address = {New York},
      zblnumber = {1093.14501},
      }
  • [Lazar04II] R. Lazarsfeld, Positivity in Algebraic Geometry. II. Positivity for vector bundles, and multiplier ideals, New York: Springer-Verlag, 2004, vol. 49.
    @book{Lazar04II, mrkey={2095472},
      author = {Lazarsfeld, Robert},
      title = {Positivity in Algebraic Geometry. {II}. Positivity for vector bundles, and multiplier ideals},
      series = {Ergeb. Math. Grenzgeb.},
      volume = {49},
      publisher = {Springer-Verlag},
      year = {2004},
      address = {New York},
      mrnumber = {2095472},
      zblnumber = {1093.14500},
      }
  • [Leh11] B. Lehmann, Algebraic bounds on analytic multiplier ideals, 2011.
    @misc{Leh11,
      author = {Lehmann, B.},
      title = {Algebraic bounds on analytic multiplier ideals},
      year = {2011},
      arxiv = {1109.4452v3},
      }
  • [LT74-08] Go to document M. Lejeune-Jalabert and B. Teissier, "Clôture intégrale des idéaux et équisingularité," Ann. Fac. Sci. Toulouse Math., vol. 17, iss. 4, pp. 781-859, 2008.
    @article{LT74-08, mrkey = {2499856},
      author = {Lejeune-Jalabert, Monique and Teissier, Bernard},
      title = {Clôture intégrale des idéaux et équisingularité},
      journal = {Ann. Fac. Sci. Toulouse Math.},
      fjournal = {Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série 6},
      volume = {17},
      year = {2008},
      number = {4},
      pages = {781--859},
      issn = {0240-2963},
      mrclass = {32S15 (14B05 14P15)},
      mrnumber = {2499856},
      mrreviewer = {Marcelo Jos{é} Saia},
      doi = {10.5802/afst.1203},
      zblnumber = {1171.13005},
      }
  • [Lem] L. Lempert, Modules of square integrable holomorphic germs, 2014.
    @misc{Lem,
      author = {Lempert, L.},
      title = {Modules of square integrable holomorphic germs},
      year = {2014},
      arxiv = {1404.0407},
      }
  • [Mat2013b] S. Matsumura, An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities, 2013.
    @misc{Mat2013b,
      author = {Matsumura, S.},
      title = {An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities},
      year = {2013},
      arxiv = {1308.2033},
      }
  • [Nadel90] Go to document A. M. Nadel, "Multiplier ideal sheaves and Kähler-Einstein metrics of positive scalar curvature," Ann. of Math., vol. 132, iss. 3, pp. 549-596, 1990.
    @article{Nadel90, mrkey = {1078269},
      author = {Nadel, Alan Michael},
      title = {Multiplier ideal sheaves and {K}ähler-{E}instein metrics of positive scalar curvature},
      journal = {Ann. of Math.},
      fjournal = {Annals of Mathematics. Second Series},
      volume = {132},
      year = {1990},
      number = {3},
      pages = {549--596},
      issn = {0003-486X},
      coden = {ANMAAH},
      mrclass = {32L07 (32F07 53C25 53C55)},
      mrnumber = {1078269},
      mrreviewer = {Yuri Bozhkov},
      doi = {10.2307/1971429},
      zblnumber = {0731.53063},
      }
  • [ohsawa-takegoshi] Go to document T. Ohsawa and K. Takegoshi, "On the extension of $L^2$ holomorphic functions," Math. Z., vol. 195, iss. 2, pp. 197-204, 1987.
    @article{ohsawa-takegoshi, mrkey = {0892051},
      author = {Ohsawa, Takeo and Takegoshi, Kensh{ō}},
      title = {On the extension of {$L\sp 2$} holomorphic functions},
      journal = {Math. Z.},
      fjournal = {Mathematische Zeitschrift},
      volume = {195},
      year = {1987},
      number = {2},
      pages = {197--204},
      issn = {0025-5874},
      coden = {MAZEAX},
      mrclass = {32D15 (32A10)},
      mrnumber = {0892051},
      mrreviewer = {Harold P. Boas},
      doi = {10.1007/BF01166457},
      zblnumber = {0625.32011},
      }
  • [Si] Go to document N. Sibony, "Quelques problèmes de prolongement de courants en analyse complexe," Duke Math. J., vol. 52, iss. 1, pp. 157-197, 1985.
    @article{Si, mrkey = {0791297},
      author = {Sibony, Nessim},
      title = {Quelques problèmes de prolongement de courants en analyse complexe},
      journal = {Duke Math. J.},
      fjournal = {Duke Mathematical Journal},
      volume = {52},
      year = {1985},
      number = {1},
      pages = {157--197},
      issn = {0012-7094},
      coden = {DUMJAO},
      mrclass = {32D20 (32D15 32F05)},
      mrnumber = {0791297},
      mrreviewer = {B. A. Taylor},
      doi = {10.1215/S0012-7094-85-05210-X},
      zblnumber = {0578.32023},
      }
  • [siu96] Y. Siu, "The Fujita conjecture and the extension theorem of Ohsawa-Takegoshi," in Geometric Complex Analysis, NJ: World Sci. Publ., River Edge, 1996, pp. 577-592.
    @incollection{siu96, mrkey = {1453639},
      author = {Siu, Yum-Tong},
      title = {The {F}ujita conjecture and the extension theorem of {O}hsawa-{T}akegoshi},
      booktitle = {Geometric Complex Analysis},
      venue = {{H}ayama, 1995},
      pages = {577--592},
      publisher = {World Sci. Publ., River Edge},
      address = {NJ},
      year = {1996},
      mrclass = {32L10 (14C20 32J25)},
      mrnumber = {1453639},
      mrreviewer = {Thierry Bouche},
      zblnumber = {0941.32021},
      }
  • [siu00] Go to document Y. Siu, "Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type," in Complex Geometry, New York: Springer-Verlag, 2002, pp. 223-277.
    @incollection{siu00, mrkey = {1922108},
      author = {Siu, Yum-Tong},
      title = {Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type},
      booktitle = {Complex Geometry},
      venue = {{G}öttingen, 2000},
      pages = {223--277},
      publisher = {Springer-Verlag},
      year = {2002},
      mrclass = {32L10 (14J15 32G13 32J18)},
      mrnumber = {1922108},
      mrreviewer = {Laurent Manivel},
      address = {New York},
      doi = {10.1007/978-3-642-56202-0_15},
      zblnumber = {1007.32010},
      }
  • [siu05] Y. Siu, "Multiplier ideal sheaves in complex and algebraic geometry," Sci. China Ser. A, vol. 48, iss. suppl., pp. 1-31, 2005.
    @article{siu05, mrkey = {2156488},
      author = {Siu, Yum-Tong},
      title = {Multiplier ideal sheaves in complex and algebraic geometry},
      journal = {Sci. China Ser. A},
      fjournal = {Science in China. Series A. Mathematics},
      volume = {48},
      year = {2005},
      number = {suppl.},
      pages = {1--31},
      issn = {1006-9283},
      mrclass = {32J25 (32L10 32W05 32W50)},
      mrnumber = {2156488},
      mrreviewer = {Kimio Miyajima},
      zblnumber = {1131.32010},
      }
  • [siu09] Y. Siu, "Dynamic multiplier ideal sheaves and the construction of rational curves in Fano manifolds," in Complex Analysis and Digital Geometry, Uppsala: Uppsala Universitet, 2009, vol. 86, pp. 323-360.
    @incollection{siu09, mrkey = {2742685},
      author = {Siu, Yum-Tong},
      title = {Dynamic multiplier ideal sheaves and the construction of rational curves in {F}ano manifolds},
      booktitle = {Complex Analysis and Digital Geometry},
      series = {Acta Univ. Upsaliensis Skr. Uppsala Univ. C Organ. Hist.},
      volume = {86},
      pages = {323--360},
      publisher = {Uppsala Universitet},
      address = {Uppsala},
      year = {2009},
      mrclass = {32Q20 (14F18 14J45 32W20)},
      mrnumber = {2742685},
      mrreviewer = {Julien Keller},
      zblnumber = {1201.14013},
      }

Authors

Qi'an Guan

Beijing International Center for Mathematical Research, and School of Mathematical Sciences, Peking University, Beijing 100871, China

Xiangyu Zhou

Institute of Mathematics, AMSS, and Hua Loo-Keng Key Laboratory of Mathematics, Chinese Academy of Sciences, Beijing 100190, China