[论文解读] An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities

Shin‐ichi Matsumura|arXiv (Cornell University)|Aug 9, 2013

Geometry and complex manifolds参考文献 25被引用 19

一句话总结

本文通过使用乘子理想层，建立了具有超越性（非代数性）奇点的拟有效线丛上奇异赫米特度量的单射定理。通过分析调和形式的渐近行为，并利用德拉姆-维尔同构的 $ L^2 $-估计，作者将恩oki和奈德尔的定理推广到奇异度量情形，得到一个关于超越性奇点的新奈德尔型消失定理。

ABSTRACT

The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.

研究动机与目标

• 将恩oki与科拉的单射定理推广至具有超越性奇点的奇异赫米特度量情形。
• 在非半正或半正情形之外，为拟有效线丛建立一个解析单射定理。
• 利用调和积分与Čech上同调，为奇异度量下的 $ \overline{\partial} $-方程构造 $ L^2 $-估计。
• 基于解析方法，为具有超越性奇点的线丛建立奈德尔型消失定理，推广经典结果。

提出的方法

• 利用德拉姆-维尔同构，将 $ \overline{\partial} $-上同调与 $ L^2 $-估计下的Čech上同调联系起来。
• 构造一组正则化度量，以研究调和形式的渐近行为。
• 通过关于奇异度量的加权 $ L^2 $-范数，应用 $ L^2 $-估计以求解 $ \overline{\partial} $-方程。
• 使用截断函数 $ \rho_k $ 和局部形式 $ \beta_{\varepsilon,k} $，在 $ \varepsilon $ 上一致控制支集与 $ \overline{\partial} $-范数。
• 利用乘子理想层 $ \mathcal{I}(h) $ 的结构，定义在 $ K_X \otimes F \otimes \mathcal{I}(h) $ 上取值的上同调群。
• 通过形式的 $ \overline{\partial} $-闭性与 $ L^2 $-有界性，证明乘法映射的单射性。

实验结果

研究问题

• RQ1 能否将单射定理推广至具有超越性奇点的奇异赫米特度量的拟有效线丛？
• RQ2 当度量具有非代数性奇点时，如何构造 $ \overline{\partial} $-方程的 $ L^2 $-估计？
• RQ3 在奇异半正度量下，乘法映射 $ H^q(X, K_X \otimes F \otimes \mathcal{I}(h)) \xrightarrow{\otimes s} H^q(X, K_X \otimes F^{m+1} \otimes \mathcal{I}(h^{m+1})) $ 是否良好定义且单射？
• RQ4 能否使用解析方法为这类奇异度量建立奈德尔型消失定理？
• RQ5 德拉姆-维尔同构在连接奇异度量下的 $ \overline{\partial} $-上同调与Čech上同调中起什么作用？

主要发现

• 当 $ F $ 是具有半正曲率奇异赫米特度量 $ h $ 的拟有效线丛，且 $ s $ 是 $ F^m $ 的非零截面并满足 $ \sup_X |s|_{h^m} < \infty $ 时，对任意 $ q $，乘法映射 $ \Phi_s: H^q(X, K_X \otimes F \otimes \mathcal{I}(h)) \to H^q(X, K_X \otimes F^{m+1} \otimes \mathcal{I}(h^{m+1})) $ 是单射。
• 即使度量 $ h $ 具有超越性奇点，该单射性仍然成立，从而推广了以往要求代数或光滑度量的结果。
• 证明依赖于通过德拉姆-维尔同构构造 $ \overline{\partial} $-解的 $ L^2 $-估计，以及对 $ \overline{\partial}\beta_{\varepsilon,k} $ 和 $ \rho_k $-加权形式的统一有界性。
• 该方法确保了在正则化度量下，$ \overline{\partial} $-恰当形式的 $ L^2 $-范数得到统一控制，从而实现向目标上同调类的收敛。
• 截断函数 $ \rho_k $ 与局部形式 $ \beta_{\varepsilon,k} $ 的构造使证明能够同时处理非紧支集与奇点。
• 作为推论，获得了奈德尔型消失定理，其适用于具有超越性奇点与乘子理想层的线丛。