[论文解读] A note on Bogomolov-Gieseker type inequality for Calabi-Yau 3-folds

Yukinobu Toda|arXiv (Cornell University)|Jan 24, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

该论文证明了在某些卡拉比-丘3-fold（包括ℙ⁴中的五次3-fold）上，对于第一陈类为最小值的斜率稳定的层，其猜想的波戈莫洛夫-吉泽克类型不等式。通过通用扩张和经典波戈莫洛夫-吉泽克不等式，作者建立了当c₁ = [H]且ch₂(E)H > 0时，ch₃(E) ≤ ch₂(E)H/(3ch₀(E))的不等式，且等号仅在𝐸 ≅ 𝒪_X(H)时成立。

ABSTRACT

The conjectural Bogomolov-Gieseker (BG) type inequality for tilt semistable objects on projective 3-folds was proposed by Bayer, Macri and the author. In this note, we prove our conjecture for slope stable sheaves with the smallest first Chern class on certain Calabi-Yau 3-folds, e.g. quintic 3-folds.

研究动机与目标

• 建立卡拉比-丘3- fold 上倾斜半稳定对象在最小第一陈类下的猜想波戈莫洛夫-吉泽克型不等式。
• 验证当Pic(X)由一个非常除子H生成时，[3, Conjecture 1.1] 中的猜想。
• 通过上同调技术，将已知的关于曲线的卡斯特尔努沃型不等式推广至高秩层。
• 通过c₁的归纳法，为证明[3, Conjecture 1.3.1] 中完整的猜想波戈莫洛夫-吉泽克不等式提供基础步骤。
• 证明对于第一陈类c₁ = [H]的斜率稳定层，ch₃(E)被ch₀(E)和ch₂(E)H的有理函数上界控制。

提出的方法

• 构造第一陈类为c₁(E) = [H]的无扭层E的通用扩张，得到一个具有受控陈特征的新层F′。
• 对F′应用经典波戈莫洛夫-吉泽克不等式，推导出ext¹(F,𝒪_X)的界，将其与ch₂(E)H和H³联系起来。
• 利用塞尔对偶性和|H|的维数界，估计上同调不变量，从而约束ch₃(E)。
• 利用假设dim|H| ≥ (7/6)H³ − 3和χ(𝒪_C) ≥ (1/6)H³ − C·H，推导出最终不等式。
• 利用ch₃(E) ≤ 0的性质（除非E ≅ 𝒪_X(H)），基于上同调界和扩张序列的结构。
• 通过H和C的几何约束，将问题约化为已知的关于曲线的卡斯特尔努沃型不等式。

实验结果

研究问题

• RQ1 在卡拉比-丘3- fold 上，对于第一陈类为c₁ = [H]的斜率稳定层，猜想的波戈莫洛夫-吉泽克不等式是否成立？
• RQ2 当ch₂(E)H > 0时，不等式ch₃(E) ≤ ch₂(E)H/(3ch₀(E))是否可对高秩层证明？
• RQ3 何种几何条件能确保在最小c₁情形下BG型不等式的有效性？
• RQ4 该不等式是否紧致？等号在何时成立？
• RQ5 通用扩张和上同调界的方法能否推广至更高c₁类？

主要发现

• 在满足维数和欧拉示性数假设的卡拉比-丘3- fold 上，所有满足c₁(E) = [H]且ch₂(E)H > 0的无扭斜率稳定层E，其猜想的波戈莫洛夫-吉泽克不等式(1)均成立。
• 对于ℙ⁴中的五次3- fold，该不等式无条件成立，因其满足所需的几何条件。
• 不等式ch₃(E) ≤ ch₂(E)H/(3ch₀(E))中的等号仅在E ≅ 𝒪_X(H)时成立，确认了唯一性条件。
• 对于所有此类E（除𝒪_X(H)外），第三陈特征ch₃(E)的上界为0，表明对高秩层有强约束。
• 该方法提供了一种新的上同调方法，避免了对超曲面的限制，与[8]中的先前界不同。
• 该结果支持[3, Conjecture 1.3.1]中的广泛猜想，并可通过c₁的归纳法实现对c₁(E) = 2[H]的部分验证。