[論文レビュー] Derived categories of coherent sheaves

Alexey Bondal, Dmitri Olegovich Orlov|arXiv (Cornell University)|Jun 27, 2002

Algebraic structures and combinatorial models参考文献 13被引用数 210

ひとこと要約

この論文は、正則で射影的かつ有界な標準束または反標準束をもつ多様体が、その一貫層の導来圏によって一意に決定されることを確立し、導来同値性が同型を意味することを証明する。導来圏間の完全忠実関手のための基準を導入し、2次曲面の完全交差および吹き上げのための半直交分解を構成し、非可換幾何学およびコーサル・双対性との深い関係を明らかにする。

ABSTRACT

We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.

研究の動機と目的

• 正則で射影的多様体の有界な一貫層の導来圏が、それらの多様体が同型であるまでに分類できる条件を特定すること。
• 点の構造層の直交性を用いて、導来圏間の完全忠実関手のための基準を構築すること。
• 吹き上げ、フリップ、フラップなどの双有理変換における導来圏の振る舞いを記述すること。
• 導来 McKay 対応を一般化し、非可換特異点解消を検討すること。
• コーサル双対性および非可換代数を用いて、2次曲面の完全交差のための半直交分解を確立すること。

提案手法

• セール関手および階数付き圏構造を用いて、導来圏から幾何的データ（点、ラインバンドル、位相的性質）を再構成する。
• 半直交分解の概念を適用し、吹き上げの導来圏を元の多様体および吹き上げの中心に同型な成分に分解する。
• コーサル双対性を用いて、$m$ 個の2次曲面の完全交差の導来圏を、$\mathbb{P}(U)$ 上の非可換代数の層の導来圏と関連付ける。
• 2次曲面の完全交差に対して、$\mathcal{D}^b(\text{coh}(\mathcal{B}))$ から $\mathcal{D}^b(X)$ への完全忠実関手を構成する。
• 一般化されたクリフォード代数 $B$ の中心を分析し、$n$ が奇数のとき、$\mathbb{P}(U)$ 上の分岐2重被覆 $Y$ を与え、$\mathcal{B}'$ が $Y$ 上のアズマヤ代数であることを示す。
• 代数閉体上でのブラウアー群の自明性を用いて、特定の状況下で $\mathcal{D}^b(\text{coh}(\mathcal{B}'))$ と $\mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$ が同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界な標準束または反標準束をもつ2つの正則で射影的多様体の導来圏が同値であるとき、それらはいつ同型であるか？
• RQ2 導来圏間の関手が完全忠実であることを保証する条件は何か？
• RQ3 吹き上げおよびフリップやフラップなどの他の双有理変換における導来圏の振る舞いはいかなるものか？
• RQ4 2次曲面の完全交差の導来圏は非可換代数的構造を用いて記述可能か？
• RQ5 コーサル双対性および非可換幾何学は、完全交差の導来圏を記述する上で果たす役割は何か？

主な発見

• 有界な標準束または反標準束をもつ正則で射影的多様体は、その一貫層の導来圏によって一意に決定される。
• このような多様体 $X$ の導来圏 $\mathcal{D}^b(X)$ の正確な自己同値の群は、$X$ の自己同型群、ピカール群、および平行移動の半直積である。
• 正則多様体 $X$ を滑らかな中心 $Y$ に沿って吹き上げた場合、半直交分解 $\mathcal{D}^b(X) = \langle \mathcal{D}^b(Y), \mathcal{D}^b(X) \rangle$ が存在し、各成分は $\mathcal{D}^b(Y)$ および $\mathcal{D}^b(X)$ に同型である。
• 2次曲面の $m$ 重完全交差が $\mathbb{P}^{n-1}$ にあり、$2m < n$ のとき、半直交分解 $\mathcal{D}^b(X) = \langle \mathcal{O}_X(-n+2m+1), \ldots, \mathcal{O}_X, \mathcal{D}^b(\text{coh}(\mathcal{B})) \rangle$ が存在する。
• $2m = n$ のとき、完全交差の導来圏は非可換代数 $\mathcal{B}$ の一貫層の導来圏と同値であり、すなわち $\mathcal{D}^b(X) \simeq \mathcal{D}^b(\text{coh}(\mathcal{B}))$ である。
• $n$ が奇数のとき、代数 $\mathcal{B}$ の中心は $\mathbb{P}(U)$ 上の分岐2重被覆 $Y$ を与え、$\mathcal{B}'$ は $Y$ 上のアズマヤ代数である。ブラウアー群の自明性により、$\mathcal{D}^b(\text{coh}(\mathcal{B}')) \simeq \mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$ である。