[论文解读] Bridgeland Stability conditions on threefolds II: An application to Fujita's conjecture

Arend Bayer, Aaron Bertram+2 more|arXiv (Cornell University)|Jun 17, 2011

Algebraic Geometry and Number Theory参考文献 9被引用 11

一句话总结

该论文将三维三叉丛导出范畴中倾斜稳定对象的布戈莫洛夫-吉泽克类型不等式猜想应用于证明三维情形的雷德勒型定理，从而在第三陈类猜想成立的假设下，推出三维情形的富江塔猜想：当 $L$ 为非常 ample 时，$K_X + 6L$ 为非常 ample；当 $K_X$ 平常时，$5L$ 为非常 ample。

ABSTRACT

We apply a conjectured inequality on third chern classes of stable two-term complexes on threefolds to Fujita's conjecture. More precisely, the inequality is shown to imply a Reider-type theorem in dimension three which in turn implies that K_X + 6L is very ample when L is ample, and that 5L is very ample when K_X is trivial.

研究动机与目标

• 将雷德勒在曲面上证明伴随线丛的方法推广至三维情形，借助导出范畴与布里奇兰德稳定性条件。
• 在光滑射影三维流形上建立伴随线丛全局生成与非常 ample 的雷德勒型判别准则。
• 证明第三陈类的布戈莫洛夫-吉泽克不等式猜想可推出三维情形的富江塔猜想。
• 为伴随线丛 $K_X \otimes L^m$ 的全局生成与非常 ample 提供有效的数值界。
• 表明第三陈类的猜想与文献中已知结果（如 Ein-Lazarsfeld 与 Kawamata 的结果）一致。

提出的方法

• 在三维流形的导出范畴 $\mathrm{D}^b(X)$ 中使用倾斜稳定性，其定义依赖于 $\mathrm{NS}_{\mathbb{Q}}(X)$ 中的一对参数 $\omega$ 与 $B$。
• 将 $H^1(X, K_X \otimes L \otimes I_Z)$ 的消失性归约为心范畴 $\mathcal{B}_{\omega,B}$ 中不存在特定稳定对象。
• 应用关于 $\mathcal{B}_{\omega,B}$ 中稳定两段复形第三陈类的布戈莫洛夫-吉泽克不等式猜想。
• 构造非平凡扩张 $\mathcal{O}_X[1] \to E \to L \otimes I_Z \to \mathcal{O}_X[2]$，在猜想成立下导出矛盾。
• 利用对偶性与上同调消失性，将 $H^1(X, K_X \otimes L \otimes I_Z)$ 的非消失性与 $\mathcal{B}_{\omega,B}$ 中 destabilizing 子对象的存在性联系起来。
• 通过 Hirzebruch-Riemann-Roch 公式计算陈示性类与亏格公式，推导出对曲线类与正规丛的约束。

实验结果

研究问题

• RQ1 能否将雷德勒在曲面上证明富江塔猜想的方法，借助导出范畴与稳定性条件，推广至三维情形？
• RQ2 第三陈类的布戈莫洛夫-吉泽克不等式猜想是否蕴含三维情形的富江塔猜想？
• RQ3 对 $L^3$、$L^2.D$ 与 $L.C$ 的哪些数值界可确保 $K_X \otimes L^m$ 全局生成或非常 ample？
• RQ4 该猜想与 Ein-Lazarsfeld 与 Kawamata 关于伴随线丛的已知结果有何关联？
• RQ5 该猜想在特殊情形（如 $K_X$ 数值平凡或 $Z$ 长度为一）下是否可被验证？

主要发现

• 在第三陈类布戈莫洛夫-吉泽克不等式猜想成立的假设下，当 $L$ 满足条件 (A)、(B) 与 (C) 时，对所有长度为 $\alpha$ 的零维子概形 $Z$，有 $H^1(X, K_X \otimes L \otimes I_Z) = 0$。
• 该猜想表明，在相同假设下，$K_X \otimes L^m$ 在 $m \geq 4$ 时全局生成，且当 $L^3 \geq 2$ 时在 $m \geq 3$ 时即全局生成。
• 该猜想表明，在相同假设下，$K_X \otimes L^m$ 在 $m \geq 6$ 时非常 ample，且当 $K_X$ 平常或对所有 $X$ 中的曲线 $C$ 有 $K_X.C$ 为偶数时，在 $m \geq 5$ 时即非常 ample。
• 当 $\alpha = 2$ 时，条件 (A)、(B) 与 (C) 给出一个雷德勒型判别准则，确保 $K_X \otimes L^2$ 非常 ample，前提是其在一次曲线上的限制为非常 ample。
• 本文表明该猜想与已知结果一致：当 $H^1(X, K_X \otimes L \otimes I_x) \neq 0$ 时，该猜想对相应的扩张对象成立，为猜想的有效性提供了证据。
• 在 $L.C = 1$ 的有理曲线 $C$ 情形下，除非 $K_X.C$ 为偶数，否则该猜想将导致矛盾，支持主定理中奇偶性条件的必要性。