[論文レビュー] 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$ 上の滑らかなトーリックファイブレーション $X$ とそのファイバー $Y$ に対して、導来カテゴリの構造定理を確立する。$Y$ がラインバンドルの完全かつ強く例外的な集合を持つならば、$X$ に対しても同様の集合が存在することを証明する。この構成は、基底 $\mathbb{P}^n$ における帰納法とコホロロジーの消失を用い、トーリックファイブレーションの組合せ的性質によって、得られる集合の純粋性と完全性を保証する。

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.

研究の動機と目的

• 滑らかなトーリックファイブレーション $X$ が $\mathbb{P}^n$ 上にあり、ファイバーが $Y$ であるとき、その導来カテゴリ $D^b(X)$ の構造定理を確立すること。
• $Y$ がラインバンドルの完全かつ強く例外的な集合を持つならば、$X$ に対しても同様の集合が存在することを証明すること。
• 滑らかなトーリック基底上で、基底とファイバーの両方が完全かつ強く例外的な集合を持つトーリックファイブレーションが、その性質を継承するという、より広範な予想を支持すること。
• 例外的集合に関する既知の結果を、非自明なトーリックファイブレーション、特に非ファノの場合を含めて拡張すること。

提案手法

• 基底 $\mathbb{P}^n$ から引き戻されたラインバンドルと、ファイバー $Y$ の分岐から得られる線形同型を用いて、$X$ 上に強く例外的な集合を構成する。
• トーリックファイブレーション構造の組合せ的データを活用することで、集合に含まれるラインバンドルの純粋性を保証する。
• 基底の次元 $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$ であるトーリックファイブレーション $X$ が $\mathbb{P}^n$ 上にあり、ラインバンドルの完全かつ強く例外的な集合を持つための条件は何か？
• RQ2 ファイバー $Y$ にそのような集合が存在するならば、全空間 $X$ に対してもそのような集合が存在するだろうか？
• RQ3 例外的集合を備えたトーリックファイブレーションにおいて、ファノ条件をどの程度緩和できるか？
• RQ4 トーリックファイブレーションにおける完全かつ強く例外的な集合の構成は、基底の次元に基づく帰納的技法に適しているだろうか？
• RQ5 一般に、トーリックファイブレーションを介して、完全かつ強く例外的なラインバンドル集合の性質は下位に伝播するのだろうか？

主な発見

• $Y$ が完全かつ強く例外的なラインバンドル集合を持つ滑らかなトーリック多様体であるならば、$\mathbb{P}^n$ 上の任意の滑らかな $Y$-ファイブレーション $X$ に対しても、完全かつ強く例外的なラインバンドル集合が存在する。
• この構成は、基底 $\mathbb{P}^n$ の次元 $n$ における帰納法を用い、コホロロジー的消失と超平面切断への制限を組み合わせることで達成される。
• ラインバンドル集合の純粋性は、特に原始的集合やレイト・ジェネレータを介したトーリックファイブレーションの組合せ的構造によって保証される。
• 集合の完全性は、任意の集合に直交する対象が消えることを示すことにより証明され、帰納法と $X_{n-1} \subset X_n$ への制限を用いる。
• この結果は、$\mathbb{P}^n$-ファイブレーションにおける既知の構成を一般化し、$X \cong Y \times \mathbb{P}^n$ の自明な積の場合を特別なケースとして含む。
• 全空間がファノでなくても、ファイバー $Y$ が例外的集合条件を満たしていれば、この構成は成立するため、ファノ仮定を緩和できる。