[論文レビュー] Equivalences of derived categories of sheaves on quasi-projective schemes

Matthew R. Ballard|ArXiv.org|May 19, 2009

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

ひとこと要約

この論文は、体上の擬射影的スキームに対して、オルロフの導来同値の表現定理を拡張し、そのようなスキーム上の有界な合成層の導来カテゴリの間の任意の完全関手が、積スキームの導来カテゴリに属する一意なカーネルを伴うフーリエ＝ムカイ変換から生じることを証明する。結果は、滑らかでないが擬射影的であるような設定に、オルロフの元々の滑らかで射影的多様体に関する結果を一般化したものであり、非常に強いコホモロジー的条件を満たすアンピールラインバンドルを仮定する。

ABSTRACT

We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case.

研究の動機と目的

• 滑らかで射影的多様体に対してオルロフが得た表現結果を、滑らかでないが擬射影的な設定に一般化すること。
• 擬射影的スキーム間の導来同値が、積分変換（フーリエ＝ムカイカーネル）によって引き起こされるかどうかを調査すること。
• 導来カテゴリの同値が、積スキームの導来カテゴリに属するカーネル対象の存在を示す条件を確立すること。
• 随伴関手と完全性の役割が、完全関手の表現に与える影響を検討すること。
• 特異的または射影的でない設定において、導来同値と幾何的カーネル構成との間のギャップを埋めること。

提案手法

• [1] における導来カテゴリと随伴関手に関する結果を活用し、擬準連接層の導来カテゴリ間の完全関手の構造を分析する。
• 三角カテゴリ上の複体の畳み込み理論を適用し、関手からカーネルを再構成する。
• 完全複体間の関手に左および右随伴が存在することを用いて、積上の複体による表現可能性を保証する。
• 特に局所有限双対性の文脈で双対性と随伴の技術を用い、関手とその双対との間の同型を証明する。
• 擬随伴と自然変換の概念を適用し、関手間の同型がそれらのカーネルの同型に引き上げられることを示す。
• 畳み込みと切断技術を用いてカーネルの一意性を示し、同型な変換を引き起こす2つのカーネルが quasi-isomorphic でなければならないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 擬射影的スキーム間の導来同値が、積スキームの導来カテゴリに属するカーネルによって表現可能となる条件は何か？
• RQ2 滑らかでないとしても、滑らかで射影的多様体に対するオルロフの表現結果を、擬射影的スキームに拡張できるか？
• RQ3 擬射影的スキーム上の完全複体間の関手に随伴が存在する場合、その関手が積分変換に同型であると示せるか？
• RQ4 アンピールラインバンドルのコホモロジー的性質が、擬射影的スキーム上の導来関手の表現可能性に与える影響は何か？
• RQ5 擬射影的スキーム間の導来同値のカーネルは、quasi-isomorphism を除いて一意的か？

主な発見

• 体 $ k $ 上の擬射影的スキーム $ X $, $ Y $ に対して、$ D^b_{\text{coh}}(X) \to D^b_{\text{coh}}(Y) $ なる任意の完全同値 $ F $ は、$ D^b_{\text{coh}}(X \times Y) $ に属するある $ E $ に対して、$ \Phi_E $ に同型である。ただし、少なくとも一方のスキームに、大きなべきで高次コホモロジーが自明となるアンピールラインバンドルが存在するものとする。
• 体上の射影的スキームに対しては、両方の左および右随伴を持つ、完全かつ忠実な完全関手 $ F: D_{\text{perf}}(X) \to D_{\text{perf}}(Y) $ は、一意に属する $ E \in D^b_{\text{coh}}(X \times Y) $ に対する積分変換 $ \Phi_E $ の制限に同型である。
• 同値を引き起こすカーネル $ E $ は、生成子から構成された複体に対する畳み込みと切断の議論により、quasi-isomorphism を除いて一意的である。
• 関手 $ F $ と $ \Phi_E $ 間の自然同型は、随伴と双対性を介して引き上げられ、カーネルが関手によって一意に決定されることを保証する。
• スキーム $ X $ と $ Y $ が射影的であるとき、随伴の存在により、積分変換カーネル $ E $ が存在し、完全複体のレベルで同値を表現することが保証される。
• 局所有限双対性を用いて、有界な合成層の導来カテゴリへと結果を拡張し、この場合にも $ F \cong \Phi_E|_{D^b_{\text{coh}}(X)} $ が成り立つことを示した。