[论文解读] Derived category of toric fibrations

Laura Costa, Sandra Di Rocco+1 more|arXiv (Cornell University)|Aug 6, 2009

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

一句话总结

该论文为光滑射影空间 $\mathbb{P}^n$ 上的光滑 торic纤维丛 $X$（纤维为 $Y$）的导出范畴建立了结构定理，证明若 $Y$ 具有全的强例外线丛族，则 $X$ 也具有此类族。该构造依赖于基空间 $\mathbb{P}^n$ 上的余上同调消去与归纳法，利用 торic 纤维丛的组合性质以确保所得族的无上同调性与全性。

ABSTRACT

The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional sequences. The problem of characterizing smooth projective varieties which have a full strongly exceptional collection and investigate whether there is one consisting of line bundles is a classical and important question in Algebraic Geometry. Not all smooth projective varieties have a full strongly exceptional collection of coherent sheaves. In this paper we give a structure theorem for the derived category of a toric fiber bundle X over Z with fiber F provided that F and Z have both a full strongly exceptional collection of line bundles.

研究动机与目标

• 建立光滑 toric 纤维丛 $X$ 在 $\mathbb{P}^n$ 上的导出范畴 $D^b(X)$ 的结构定理，其中纤维为 $Y$。
• 证明若 $Y$ 具有全的强例外线丛族，则 $X$ 也具有此类族。
• 支持一个更广泛的猜想：即在基与纤维均具有全的强例外线丛族的光滑 toric 基上，toric 纤维丛继承该性质。
• 将已知的例外族结果推广至非平凡的 toric 纤维丛，包括非 Fano 情况。

提出的方法

• 通过从基空间 $\mathbb{P}^n$ 拉回的线丛与从纤维 $Y$ 的除子扭张量，构造 $X$ 上的强例外族。
• 利用 toric 纤维丛结构的组合数据，确保该族中线丛的无上同调性。
• 通过归纳法对基空间 $\mathbb{P}^n$ 的维数 $n$ 进行归纳，将全性论证约化为低维情形。
• 应用余上同调消去技术，验证强例外性所要求的 $\operatorname{Ext}^i$ 群的消去性。
• 利用 $\mathcal{C}^\perp$-对象在超平面截面 $X_{n-1}$ 上的限制为零的事实，通过归纳法证明全性。
• 利用短正合列 $0 \to \mathcal{O}_X(-Z) \to \mathcal{O}_X \to i_*\mathcal{O}_{X_{n-1}} \to 0$，将 $X_n$ 与 $X_{n-1}$ 上的上同调联系起来。

实验结果

研究问题

• RQ1 在何种条件下，具有纤维 $Y$ 的 toric 纤维丛 $X$ 在 $\mathbb{P}^n$ 上会具有全的强例外线丛族？
• RQ2 若纤维 $Y$ 上存在此类族，是否能保证总空间 $X$ 上也存在？
• RQ3 在 toric 纤维丛具有例外族的背景下，Fano 条件能在多大程度上被放宽？
• RQ4 对 toric 纤维丛构造全的强例外线丛族是否适用于基于基空间维数的归纳方法？
• RQ5 具有全的强例外线丛族的性质是否在一般情况下沿 toric 纤维丛向下传递？

主要发现

• 若 $Y$ 是具有全的强例外线丛族的光滑 toric 代数簇，则任意光滑的 $Y$-纤维丛 $X$ 在 $\mathbb{P}^n$ 上也具有全的强例外线丛族。
• 该构造通过基空间 $\mathbb{P}^n$ 的维数 $n$ 的归纳法实现，结合余上同调消去与超平面截面的限制。
• 该族中线丛的无上同调性由 toric 纤维丛的组合结构（特别是初等集合与射线生成元）保证。
• 通过证明任何与该族正交的对象必须为零，利用归纳法与对 $X_{n-1} \subset X_n$ 的限制，证明了该族的全性。
• 该结果推广了此前在 $\mathbb{P}^n$-纤维丛上的构造，并将平凡积情形 $X \cong Y \times \mathbb{P}^n$ 作为特例包含在内。
• 只要纤维 $Y$ 满足例外族条件，即使总空间非 Fano，该构造依然成立，从而放宽了 Fano 假设。