[論文レビュー] Three-dimensional flops and non-commutative rings

Michel Van den Bergh|ArXiv.org|Jul 19, 2002

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

ひとこと要約

本稿は、非可換環を用いて、3次元フロップにおけるBridgelandの導来同値予想の新たな証明を提供する。同値性は、tilting対象から構成される非可換環を介して、フロッピングされた多様体上の連接層の導来カテゴリの間に確立される。主な貢献は、ホモロジカルに均一な環と非可換なクレパント解消を用いて、穏やかな特異点および高次元の場合への一般化である。

ABSTRACT

If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this paper is to give a partially new proof of Bridgeland's result using non-commutative rings. The new proof also covers some mild singular and higher dimensional situations (including the one in the recent paper by Chen: ``Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities'').

研究の動機と目的

• 非可換代数を用いて、3次元フロップにおけるBridgelandの導来同値性の別証明を提供すること。
• 導来同値性の結果を、Gorenstein端末特異点を含む穏やかな特異点および高次元の場合に拡張すること。
• 導来カテゴリ上のt構造の心におけるtilting対象を介して、非可換環を構成すること。
• この非可換環が元の多様体およびそのフロップと導来同値であることを確立すること。
• ホモロジカルに均一な順序としての非可換クレパント解消の存在と性質を調査すること。

提案手法

• Bridgelandのperversityフィルトレーションを用いて、3-fold Y 上の連接層の導来カテゴリにt構造を構成し、その心を $ {}^{-1}\operatorname{Per}(Y/X) $ と表記する。
• $ {}^{-1}\operatorname{Per}(Y/X) $ の局所的プロジェクティブ生成子 $ \mathcal{P} $ を特定する。これは、X のアフィン開集合上でプロジェクティブな制限を持つベクトル束である。
• 非可換環 $ \mathcal{A} = f_*\operatorname{End}(\mathcal{P}) $ を定義する。ここで $ f: Y \to X $ は収縮準同型である。
• Fourier-Mukai型関手 $ Rf_*\mathcal{R}\operatorname{Hom}_Y(\mathcal{P}, -) $ および $ f^{-1}(-) \otimes^L_{f^{-1}(\mathcal{A})} \mathcal{P} $ を用いて、$ D^b(\operatorname{coh}(Y)) $ と $ D^b(\operatorname{coh}(\mathcal{A})) $ 間の導来同値性を確立する。
• $ \mathcal{A} $ がホモロジカルに均一であり、中心が特異環 R であることを示し、これにより非可換クレパント解消であることを示す。
• 同じ構成をフロップ $ Y^+ $ に適用すると、環 $ \mathcal{A}^\circ $ が得られ、$ \mathcal{A} $ と $ \mathcal{A}^\circ $ が双対的tilting対象を介して導来同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体のフロップ関係について、Fourier-Mukai変換の代わりに非可換環を用いてBridgelandの導来同値性を再証明できるか？
• RQ2 Gorenstein特異点上のホモロジカルに均一な順序が、非可換クレパント解消として現れる条件は何か？
• RQ3 特異基底 $ X = \operatorname{Spec} R $ 上に非可換環 $ \mathcal{A} $ が存在し、$ D^b(\operatorname{coh}(\mathcal{A})) \cong D^b(\operatorname{coh}(Y)) $ が成り立つようなものがあるか？ ここで $ f: Y \to X $ はクレパント解消である。
• RQ4 非可換手法を用いて、非Gorensteinまたは高次元特異点へのフロッピング3-fold間の導来同値性を拡張できるか？
• RQ5 中心が $ R $ であるホモロジカルに均一な $ R $-順序が存在するならば、非可換クレパント解消が存在するか？

主な発見

• 本稿は、$ \mathcal{A} = f_*\operatorname{End}(\mathcal{P}) $ として定義される非可換環 $ \mathcal{A} $ を用いて、$ D^b(\operatorname{coh}(Y)) $ と $ D^b(\operatorname{coh}(\mathcal{A})) $ 間の導来同値性を構成する。ここで $ \mathcal{P} $ は $ {}^{-1}\operatorname{Per}(Y/X) $ 内のtilting対象である。
• この導来同値性は $ {}^{-1}\operatorname{Per}(Y/X) $ と $ \operatorname{coh}(\mathcal{A}) $ 間の同値性に制限され、$ \mathcal{A} $ が連接層のティルトをカテゴリカルにモデル化していることを示している。
• アティヤのフロップに対して、行列 $ A = \begin{pmatrix} R & I \\ I^{-1} & R \end{pmatrix} $ が $ Y $ と $ Y^+ $ 間の導来同値性を提供する。これは高次元および特異点を含む場合に一般化可能である。
• 本稿は、$ R = k[[x,y,z,t]]/(x^2 + y^2 + z^2 - t^{2b+1}) $ である場合、$ \operatorname{End}_R(M) $ がホモロジカルに均一となるような反射的加群 $ M $ は存在しないことを示し、この場合における非可換解消は存在しないことを示唆している。
• しかし、2重被覆上のスケュー群環の構成を用いることで、非-Azumayaだがホモロジカルに均一な順序 $ A $ を構成でき、非-Azumaya順序でもクレパント解消として機能しうることを示している。
• 3次元の端末Gorenstein特異点に対して、可換クレパント解消の存在と、ホモロジカルに均一な順序による非可換クレパント解消の存在が同値であると示唆している。