[论文解读] Strong openness conjecture and related problems for plurisubharmonic functions

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Jan 28, 2014

Geometry and complex manifolds参考文献 30被引用 33

一句话总结

本文解決了多重理想層對 plurisubharmonic 函數的強開性猜想，證明了當權函數受到任意小的擾動時，多重理想層保持不變。作者使用 $L^2$ 延拓技巧與子水平集上的測度估計，建立了子水平集體積的統一下界，確認了 Demailly-Kollár 與 Jonsson-Mustafla 的猜想，並提供了一種不依賴 ACC 猜想的新證明，用以證明複數奇點指數的下半連續性。

ABSTRACT

In this article, we solve the strong openness conjecture on the multiplier ideal sheaves for the plurisubharmonic functions posed by Demailly. We prove two conjectures about the growth of the volumes of the sublevel sets of plurisubharmonic functions related to the complex singularity exponents and quasi-plurisubharmonic functions related to the jumping numbers, which were posed by Demailly-Kollár and Jonsson-Mustată respectively. We give a new proof of a lower semicontinuity conjecture posed by Demailly-Kollár without using the ACC conjecture. Other applications by combining with well-known results are also mentioned.

研究动机与目标

• 解決複流形上 plurisubharmonic 函數的多重理想層的強開性猜想，該猜想主張 $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$。
• 確認 Demailly-Kollár 對 plurisubharmonic 函數子水平集體積增長速率與複數奇點指數關係的猜想。
• 驗證 Jonsson-Mustafla 對 quasi-plurisubharmonic 函數的子水平集體積與跳躍數行為的猜想。
• 提供複數奇點指數下半連續性的新證明，且不依賴 ACC 猜想。

提出的方法

• 透過在單位多圓柱上對全純函數使用加權 $L^2$ 模的 $L^2$ 延拓定理，建立強開性性質。
• 使用子水平集 $\{\varphi < \log r\}$ 與 $\{-(R+1) < \varphi < -R\}$ 的 Lebesgue 測度的測度論估計，推導出統一下界。
• 應用基於逼近序列 $\varphi_m$ 對 $\varphi$ 在 Lebesgue 測度下收斂的矛盾論證，並結合 plurisubharmonic 函數的次均值不等式。
• 透過 $L^2$ 延拓構造全純函數 $F_{v,t_0}$，使其滿足點態規範化與 $L^2$-範數控制，當可積性失敗時導出矛盾。
• 使用截斷函數 $b_{t_0}(t)$，並在環形區域 $\{-t_0-1 < \varphi < -t_0\}$ 上測試可積性，以推導體積估計。
• 利用強開性猜想與存在 $p>1$ 使得 $\int_{\Delta^n_r} |F|^2 e^{-p\varphi} d\lambda_n < \infty$ 對所有滿足 $\int_{\Delta^n} |F|^2 e^{-\varphi} d\lambda_n < \infty$ 的 $F$ 成立之間的等價性。

实验结果

研究问题

• RQ1 對於複流形上的任意 plurisubharmonic 函數 $\varphi$，多重理想層 $\mathcal{I}_+(\varphi)$ 是否與 $\mathcal{I}(\varphi)$ 相同？
• RQ2 當 $r \to 0^+$ 時，$\frac{1}{r^{2c_K(\varphi)}} \mu(\{\varphi < \log r\})$ 是否有統一的正下界，其中 $c_K(\varphi)$ 為複數奇點指數？
• RQ3 體積 $\mu(\{-(R+1) < \varphi < -R\})$ 是否至多以指數方式衰減，且在乘以 $e^R$ 後有統一的下界？
• RQ4 能否獨立於 ACC 猜想證明複數奇點指數的下半連續性？

主要发现

• 強開性猜想獲得確認：對於複流形上的任意 plurisubharmonic 函數 $\varphi$，有 $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$。
• 對於單位多圓柱 $\Delta^n$ 上的任意 plurisubharmonic 函數 $\varphi$，量 $e^R \mu(\{-(R+1) < \varphi < -R\})$ 有與 $R \gg 0$ 無關的統一正下界。
• 當 $F \equiv 1$ 時，體積 $\mu(\{-(R+1) < \varphi < -R\})$ 滿足 $e^R \mu(\{-(R+1) < \varphi < -R\}) \geq C > 0$ 對所有大 $R$ 成立，其中 $C$ 僅依賴於定義域與 $\varphi$。
• Demailly-Kollár 對子水平集體積增長的猜想獲得確認：$\frac{1}{r^{2c_K(\varphi)}} \mu(\{\varphi < \log r\})$ 在 $r \in (0,1)$ 上有統一下界。
• Jonsson-Mustafla 對 quasi-plurisubharmonic 函數體積行為的猜想透過相同的基於 $L^2$ 的測度估計獲得驗證。
• 獲得複數奇點指數下半連續性的新證明，且不依賴 ACC 猜想，僅使用 $L^2$ 延拓與測度論論證。