[论文解读] Logarithmic vanishing theorems on compact Kähler manifolds I

Chunle Huang, Kefeng Liu+2 more|arXiv (Cornell University)|Nov 23, 2016

Geometry and complex manifolds参考文献 23被引用 5

一句话总结

本文通过使用 $L^2$-型 Dolbeault 同构和 Hörmander 的 $L^2$-估计，建立了在具有简单法向交叉除子的紧致 Kähler 流形上，对数微分形式层的新对数零定理。关键贡献是针对 $k$-正的 $R$-线丛的广义 Akizuki-Kodaira-Nakano 型零定理，统一并推广了经典结果，包括 Norimatsu、Gibrau、Le Potier 和 Kawamata-Viehweg 的定理。

ABSTRACT

In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by Hörmander's $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Kähler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsu's vanishing theorem, Gibrau's vanishing theorem, Le Potier's vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.

研究动机与目标

• 开发一种解析方法，用于证明具有简单法向交叉除子的紧致 Kähler 流形上对数微分形式的零定理。
• 在对数设定下，推广 Norimatsu、Gibrau、Le Potier 和 Kawamata-Viehweg 等经典零定理。
• 通过 $L^2$-方法与曲率正性，建立 Kollár 单射定理的对数版本。
• 构造满足解析解消与零定理条件的合适光滑 Hermitian 度量与 Poincaré 型度量。

提出的方法

• 在紧致 Kähler 流形上，利用 Hörmander 的 $L^2$-估计，为对数微分形式建立 $L^2$-型 Dolbeault 同构。
• 在向量丛上构造光滑 Hermitian 度量，并在除子的补集上构造 Poincaré 型度量，以确保曲率正性。
• 利用 $k$-正的 $R$-线丛的曲率正性，通过 Dolbeault 复形上的 $L^2$-估计推导零定理。
• 应用 $L^2$-上同调与层上同调之间的同构，将 $L^2$-零定理与经典层上同调零定理联系起来。
• 利用 Serre 对偶性与对数形式的对偶同构，将结果推广至对偶上同调群。
• 应用基于曲率的正性理论的 $R$-除子与 $R$-线丛理论，将结果推广至非整数除子的情形。

实验结果

研究问题

• RQ1 能否使用 $L^2$-方法证明具有简单法向交叉除子的紧致 Kähler 流形上对数微分形式的新零定理？
• RQ2 如何利用 $k$-正的 $R$-线丛在对数设定下推广经典零定理？
• RQ3 $L^2$-Dolbeault 同构在连接 $L^2$-上同调与对数形式的层上同调之间起到什么作用？
• RQ4 通过 $L^2$-估计的解析方法能否证明 Kollár 单射定理的对数版本？
• RQ5 对数上同调群的零定理条件如何依赖于 $R$-线丛的正性与除子的结构？

主要发现

• 本文建立了具有简单法向交叉除子的紧致 Kähler 流形上对数微分形式的新 $L^2$-型 Dolbeault 同构。
• 主要结果，定理 1.1，证明了当 $N ensor O_X([ Delta])$ 为 $k$-正且 $L$ 为 nef 时，有 $H^q(X, Omega^p( ext{log } D) ensor L ensor N) = 0$，其中 $p+q /geq n+k+1$。
• 推论 1.2 将 Gibrau 的零定理推广至 $k$-正线丛的对数设定。
• 推论 1.3 恢复了 Norimatsu 的零定理，对 $ Omega^p( ext{log } D) ensor L$ 且 $L$ 为 ample 的情形，表明当 $p+q /geq n+1$ 时 $H^q = 0$。
• 推论 1.4 建立了对幅向量丛 $E$（秩为 $r$）的对数 Le Potier 零定理，表明当 $p+q /geq n+r$ 时 $H^q = 0$。
• 定理 5.1 与推论 5.2 为 $ Omega^p( ext{log } D) ensor O_X(- Lceil D' Rceil)$ 提供了新的 Kawamata-Viehweg 型零定理，当 $[D']$ 为 $k$-正时，其在 $p+q < n-k$ 时零定。