[論文レビュー] Semiorthogonal decomposition for algebraic varieties

Alexey Bondal, Dmitri Olegovich Orlov|ArXiv.org|Jun 19, 1995

Algebraic structures and combinatorial models参考文献 6被引用数 377

ひとこと要約

本稿は、滑らかな代数的多様体上のコherent層の導来圏の間の完全忠実関手の基準を確立し、それを用いて2つの偶数次元の二次曲面の交わりの導来圏に対する半直交分解を導出し、正または反正則な標準バンドルをもつ滑らかで射影的な多様体が、そのコherent層の導来圏によって一意に決定されることを証明する。主な貢献は、再構成定理と、フロップにおける導来同値性の証拠である。

ABSTRACT

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the derived category of coherent sheaves is proved.

研究の動機と目的

• コherent層の導来圏の間の関手が完全忠実であるための基準を確立すること。
• 2つの偶数次元の二次曲面の交わりの導来圏に対する半直交分解を記述すること。
• 特にフリップやフロップを含む双有理変換の下での導来圏の振る舞いを調査すること。
• 正または反正則な標準バンドルをもつ滑らかで射影的な多様体が、そのコherent層の導来圏によって一意に決定されることを証明すること。
• 正または反正則な標準クラスをもつ場合の導来圏の自己同値の群を特徴づけること。

提案手法

• スカイクラッパー層およびそのシフトへの作用を通じて、関手 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ の完全忠実性を特徴づける基準を導入する。
• 射影 $p$ および $\pi$ を用いて、$X \times M$ に属する核 $E$ を用いて $\Phi_E(\mathcal{F}) = \pi_*(E \otimes p^*\mathcal{F})$ と関手 $\Phi_E$ を構成する。
• 基準を、$X$ が2つの偶数次元の二次曲面の交わりである場合に適用し、関連するハイペルエリプティック曲線 $C$ に対して $D^b_{coh}(C)$ と同値な完全部分圏を特定する。
• $D^b_{coh}(X)$ における $D^b_{coh}(C)$ の直交補空間が、ラインバンドルの例外的集合により生成されることを示す。
• 導来圏の枠組みを用いて、特にフロップを含む双有理写像を分析し、特定のフリップに対して $D^b_{coh}(X^+)$ が $D^b_{coh}(X)$ に完全かつ忠実な埋め込みをもつことを証明する。
• 導来圏の構造、特に標準環と点的対象 $\mathcal{O}_x$ の集合を用いて、多様体を同型を除いて再構成することで、再構成定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 コherent層の導来圏の間の関手が完全忠実であるための条件は何か？
• RQ2 2つの偶数次元の二次曲面の交わりの導来圏は、より単純な成分に分解可能か？
• RQ3 フリップやフロップのような双有理変換の下で、導来圏はどのように振る舞うか？
• RQ4 滑らかで射影的な多様体は、そのコherent層の導来圏によってどの程度一意に決定されるか？
• RQ5 正または反正則な標準バンドルをもつ場合、$D^b_{coh}(X)$ の自己同値の群の構造は何か？

主な発見

• 関手 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ が完全忠実であるための必要十分条件は、スカイクラッパー層およびそのシフトの像の間の $\operatorname{Hom}$-空間に同型を誘導することである。
• $X$ が2つの偶数次元の二次曲面の交わりであるとき、半直交分解 $D^b_{coh}(X) = \langle D^b_{coh}(C), \mathcal{O}_X, \mathcal{O}_X(1), \dots, \mathcal{O}_X(n-1) \rangle$ が存在する。ここで $C$ は関連するハイペルエリプティック曲線である。
• 二次曲面の交わりの導来圏は、$D^b_{coh}(C)$ への完全かつ忠実な埋め込みをもち、直交補空間はラインバンドルの例外的集合により生成される。
• 多様体 $X$ と $X^+$ 間のフロップに対して、$D^b_{coh}(X^+) \hookrightarrow D^b_{coh}(X)$ が完全かつ忠実な埋め込みをもつ。これは、それらの導来圏が同値であるという予想を支持する。
• $X$ が正または反正則な標準バンドルをもつ滑らかで射影的な多様体であるとき、$D^b_{coh}(X) \simeq D^b_{coh}(X')$ を満たす任意の多様体 $X'$ は $X$ と同型でなければならない。これは導来再構成定理を証明する。
• このような $X$ に対して、$D^b_{coh}(X)$ の正確な自己同値の群は、多様体の自己同型、ラインバンドルによるテンソル積、およびシフト（平行移動）によって生成される。