[论文解读] A transcendental approach to Kollár's injectivity theorem II

Osamu Fujino|arXiv (Cornell University)|May 9, 2007

Geometry and complex manifolds参考文献 21被引用 17

一句话总结

本文通过基于曲率条件和Ohsawa–Takegoshi扭曲Nakano恒等式的解析方法，建立了Kollár注入定理的相对版本。证明了在向量丛的Nakano半正定性及曲率界条件下，乘以全纯截面会诱导出关于乘以Multiplier理想层的canonical bundles的高阶直接像的注入映射。

ABSTRACT

We treat a relative version of the main theorem in my previous paper: A transcendental approach to Kollár's injectivity theorem. More explicitly, we give a curvature condition that implies Kollár type cohomology injectivity theorems in the relative setting. To carry out this generalization, we use the Ohsawa-Takegoshi twisted version of Nakano's identity.

研究动机与目标

• 通过解析方法将Kollár注入定理推广到相对设定。
• 在具有奇异度量的全纯向量丛上，基于曲率条件建立上同调注入定理。
• 通过基于曲率的判据，为复几何中的挠自由性与消去定理提供一个框架。
• 利用Multiplier理想层，将Enoki的注入定理与Kawamata–Viehweg–Nadel消去定理推广到相对态射。
• 阐明代数几何中消去定理的几何方法与解析方法之间的关系。

提出的方法

• 利用Nakano恒等式的Ohsawa–Takegoshi扭曲版本，分析向量丛上的$\bar{\partial}$-方程。
• 应用曲率条件：$\Theta(E) + \mathrm{Id}_E \otimes \Theta(F)$ 的Nakano半正定性，以及 $\Theta(F) \geq -\widetilde{\gamma}$（在当前意义下）。
• 施加一个严格正定条件，涉及 $\varepsilon_0 \mathrm{Id}_E \otimes \Theta(L)$，以确保注入性。
• 使用与线丛上奇异Hermitian度量相关的Multiplier理想层 $\mathcal{J}(h_F)$。
• 分析全纯截面 $s$ 诱导的映射 $\times s: R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F)) \to R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F) \otimes L)$。
• 通过复流形与复代数簇之间的正规满射态射 $f: X \to Y$ 建立相对设定。

实验结果

研究问题

• RQ1 在何种曲率条件下，乘以全纯截面会在相对设定下诱导出高阶直接像的注入性？
• RQ2 如何将Nakano半正定性与奇异度量曲率界结合，以确保直接像层的挠自由性？
• RQ3 在相对情形下，Kollár的几何注入定理与Enoki的解析版本之间的确切关系为何？
• RQ4 Ohsawa–Takegoshi扭曲Nakano恒等式能否用于推导Multiplier理想层的新消去定理？
• RQ5 是否存在线丛为nef且big但非半ample的例子？这如何影响上同调注入性？

主要发现

• 主要定理在曲率与度量条件下，建立了乘法映射 $\times s$ 在 $R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F))$ 上的注入性。
• 证明了对所有 $q \geq 0$，$R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F))$ 具有挠自由性，其后果是当 $q > \dim X - \dim Y$ 时该层为零。
• 获得了一个Kawamata–Viehweg–Nadel型消去定理：当 $f$-nef-big 且Nakano半正定时，有 $R^q f_*(K_X \otimes E \otimes \mathcal{L} \otimes \mathcal{J}) = 0$ 对所有 $q > 0$ 成立。
• 推导出一个Kollár型消去定理：当 $\mathcal{L}^\otimes m \simeq f^*\mathcal{N} \otimes \mathcal{O}_X(D)$ 且 $\mathcal{N}$ 为 $g$-nef-big 时，有 $R^p g_* R^q f_*(K_X \otimes E \otimes \mathcal{L} \otimes \mathcal{J}) = 0$ 对所有 $p > 0$，$q \geq 0$ 成立。
• 构造了例子表明半正定性不蕴含半ample性，且即使 $\mathcal{M} \cdot C' > 0$ 对所有曲线 $C'$ 成立，注入性仍可能失败。
• 本文未解决某些线丛（如例5.9中）虽有正交交截但无截面时，是否可赋予具有半正曲率的光滑Hermitian度量的问题。