[论文解读] A Nadel vanishing theorem for metrics with minimal singularities on big line bundles

Shin‐ichi Matsumura|arXiv (Cornell University)|Jun 11, 2013

Geometry and complex manifolds参考文献 20被引用 10

一句话总结

本文在大线丛配备极小奇异性的度量或Siu度量（尽管其曲率不严格正且常具有超越性奇点）的情况下，建立了Nadel消去定理。通过推广Enoki对Kollár注入定理的证明方法，并将调和积分与$L^2$-估计应用于正则化度量，作者证明了当$i > 0$时，$K_X \otimes F \otimes \mathcal{I}(h)$的高阶上同调群消失，从而解决了复代数几何中一个长期悬而未决的问题。

ABSTRACT

The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's metrics). For this purpose, we apply the theory of harmonic integrals and generalize Enoki's proof of Koll'ar's injectivity theorem. Moreover we investigate the asymptotic behavior of harmonic forms with respect to a family of regularized metrics.

研究动机与目标

• 建立大线丛上具有极小奇异性的度量或Siu度量的Nadel消去定理，尽管这些度量缺乏严格正曲率且常具有超越性奇点。
• 通过构建新的解析方法，克服在半正曲率下经典$L^2$-方法对$\bar\partial$-方程失效的问题。
• 确认当$F$是大线丛且$h$是其上具有极小奇异性的度量或Siu度量时，高阶上同调群$H^i(X, K_X \otimes F \otimes \mathcal{I}(h))$在$i > 0$时消失，从而推广经典Nadel消去定理。
• 将解析乘子理想层$\mathcal{I}(h_{\min})$与$\mathcal{I}(h_{\rm{Siu}})$与渐近乘子理想层$\mathcal{I}(\|F\|)$联系起来，支持猜想$\mathcal{I}(\|F\|) = \mathcal{I}(h_{\min})$对大线丛或丰沛线丛成立。

提出的方法

• 在Zariski开集上，通过使用完备Kähler度量，将奇异度量$h_{\min}$逼近为一族光滑度量$\{h_\varepsilon\}_{\varepsilon > 0}$，以应用调和积分理论。
• 通过与$h_\varepsilon$关联的调和形式$u_\varepsilon$表示上同调类，确保$\bar\partial u_\varepsilon = 0$且$\bar\partial^* u_\varepsilon = 0$。
• 利用$F^m$的全纯截面$s$控制$D^{\prime\prime *}(s \cdot u_\varepsilon)$的$L^2$-范数，证明其在$\varepsilon \to 0$时趋于零，从而实现$\bar\partial$-方程解的构造。
• 应用Enoki在Kollár注入定理中的策略，通过证明$D^{\prime\prime *}(s \cdot u_\varepsilon)$的$L^2$-范数在极限下消失，将该方法适配于奇异度量。
• 验证度量$h_{\min}$满足定理3.1中的曲率比较条件，从而确保上同调群的消失。
• 确认Siu度量$h_{\rm{Siu}}$比$h_{\min}$更不奇异，因此通过同一结论继承消失结果。

实验结果

研究问题

• RQ1 在大线丛上配备极小奇异性的度量时，Nadel消去定理是否仍然成立，即使其曲率不严格正？
• RQ2 能否将$\bar\partial$-方程的$L^2$-方法推广至具有半正曲率和非代数奇点的奇异度量？
• RQ3 当$F$是大线丛且$h$是其上具有极小奇异性的度量时，上同调消失$H^i(X, K_X \otimes F \otimes \mathcal{I}(h)) = 0$（$i > 0$）是否成立？
• RQ4 对大线丛而言，解析乘子理想层$\mathcal{I}(h_{\min})$是否与渐近乘子理想层$\mathcal{I}(\|F\|)$一致？这是否意味着上同调消失？
• RQ5 能否通过极小奇异度量的上同调行为支持Demailly与Kollár的开性猜想？

主要发现

• 极小奇异度量的大线丛上，Nadel消去定理成立：对所有$i > 0$，有$H^i(X, K_X \otimes F \otimes \mathcal{I}(h_{\min})) = 0$，从而解决了关键开放问题。
• Siu度量$h_{\rm{Siu}}$也满足相同的消失结果，因其比$h_{\min}$更不奇异，故满足主定理的条件。
• 证明依赖于对Enoki方法在Kollár注入定理中应用的创新性改编，结合正则化度量上控制奇点的$L^2$-估计与调和积分。
• 证明了与逼近度量$h_\varepsilon$相关的调和形式$u_\varepsilon$的渐近行为在$L^2$-范数下收敛，从而实现$\bar\partial$-方程解的构造。
• 极小奇异度量不总是具有解析奇点；当线丛缺乏双有理Zariski分解时，其奇点即不为解析奇点。
• 本文确认$\mathcal{I}(h_{\min}) = \mathcal{I}(\|F\|)$当且仅当线丛$F$允许双有理Zariski分解，从而为乘子理想层相等性提供了几何判别准则。