[论文解读] The openness conjecture and complex Brunn-Minkowski inequalities

Bo Berndtsson|arXiv (Cornell University)|May 5, 2014

Point processes and geometric inequalities参考文献 15被引用 7

一句话总结

本文建立了 plurisubharmonic 函数的复杂 Brunn-Minkowski 不等式，并利用它证明了 Demailly 和 Kollár 的开性猜想，表明 $ e^{-pu} $ 的可积指数集合是开集。该方法依赖于具有奇异权的 $ L^2 $-全纯截面的全纯向量丛的曲率正性，通过 $ \partial\bar{\partial} $-闭性与 $ L^2 $ 估计，将 Prékopa 定理推广至复设置。

ABSTRACT

We discuss recent versions of the Brunn-Minkowski inequality in the complex setting, and use it to prove the openness conjecture of Demailly and Kollár.

研究动机与目标

• 通过 plurisubharmonic 函数与 $ L^2 $-估计，建立经典 Brunn-Minkowski 不等式在复分析中的类比。
• 证明 Demailly 和 Kollár 的开性猜想，即满足 $ \int_{rB} e^{-pu} < \infty $ 的 $ p > 0 $ 的集合是开集。
• 通过泛函分析方法，展示具有奇异权 $ e^{-\phi} $ 的 $ L^2 $-全holomorphic 截面的全纯向量丛的曲率正性，可推出可积性性质。
• 提供一个概念性框架，通过单位圆盘与 $ S^1 $-不变度量的几何，将乘子理想与向量丛上的奇异度量联系起来。

提出的方法

• 通过 Bergman 向量丛 $ E = \Omega \times A^2 $ 的曲率正性，使用复 Brunn-Minkowski 不等式，其中 $ A^2 $ 是具有权 $ e^{-\phi(t,z)} $ 的 $ L^2 $-全纯函数空间。
• 应用 $ \partial\bar{\partial} $-闭性与 $ \bar{\partial} $-算子的 $ L^2 $-估计，推导向量丛 $ E $ 的曲率正性。
• 将可积性问题约化为研究函数 $ \tilde{\phi}(t) = \log \int_{\mathbb{R}^n} e^{-\phi(t,x)} dx $，该函数通过 Prékopa 定理被证明为凹函数。
• 将具有孤立奇点的单位圆盘上的奇异度量 $ e^{-(p+2)\log|\zeta|} \|h\|_\zeta^2 $ 延拓至整个圆盘，分析原点处的曲率奇点。
• 利用 $ S^1 $-不变性约束曲率奇点的性质，旨在将其表示为 Dirac 测度以满足可积性准则。
• 通过解析延拓与奇异度量分析，将紧流形上的乘子理想问题约化为单位圆盘上向量丛问题。

实验结果

研究问题

• RQ1 能否通过 plurisubharmonic 函数与 $ L^2 $-估计，将经典 Brunn-Minkowski 不等式推广至复设置？
• RQ2 具有奇异权的 $ L^2 $-全纯截面的全纯向量丛的曲率正性是否意味着可积指数的开性？
• RQ3 能否通过单位圆盘上向量丛的奇异度量几何来逼近强开性猜想？
• RQ4 在具有孤立奇点的全纯向量丛上，何种条件下奇异度量的曲率具有测度系数？
• RQ5 在原点处，曲率 Dirac 测度的特征值是否决定 $ \int_X |h|^2 e^{-(\phi + (k-1)\phi_0)} $ 的可积性？

主要发现

• 通过复 Brunn-Minkowski 不等式与 $ L^2 $-全纯截面丛的曲率正性，证明了 Demailly 和 Kollár 的开性猜想。
• 由具有权 $ e^{-\phi(t,z)} $ 的 $ L^2 $-全纯截面构成的向量丛 $ E $ 的曲率在非严格意义下为正，将 Prékopa 定理推广至复域。
• 当 $ k \geq 2 $ 时，函数 $ \|h\|_s^2 = \int_X |h|^2 e^{-(2u_s + k\phi_0)} $ 在半平面 $ \Omega $ 上的平凡丛上定义了一个正曲率度量，其中 $ u_s = \max(u + \text{Re}\,s, 0) $。
• 积分 $ \int_0^\infty e^{ps} \|h\|_s^2 ds $ 收敛当且仅当在圆盘上关联的奇异度量的曲率分量具有小于 1 的 Dirac 测度，从而将可积性与曲率奇点联系起来。
• 在一维情形下，$ e^{-pu} $ 的可积性等价于 $ \mu(\{0\}) < 1 $，其中 $ \mu = \Delta u $，在最简单情形下验证了该猜想。
• 本文表明，若曲率奇点受控（理想情况下为 Dirac 测度），则强开性猜想可约化为圆盘上的向量值问题。