[論文レビュー] Birational geometry and derived categories

Yūjirō Kawamata|arXiv (Cornell University)|Oct 19, 2017

Algebraic Geometry and Number Theory参考文献 37被引用数 6

ひとこと要約

この論文は、K同値な滑らかで射影的な多様体が、その一貫層の導来カテゴリが同値であるとする導来K同値性（DK）仮説を調査する。トーリックおよびトーリカルな写像に対してこの仮説を確立し、アーベル商に対して導来 McKay 対応を証明し、グロテンディーク環における半直交分解を導出し、崩壊幾何学と導来カテゴリの間の深い関係を強く示唆する。

ABSTRACT

This paper is based on a talk at a conference "JDG 2017: Conference on Geometry and Topology". We survey recent progress on the DK hypothesis connecting the birational geometry and the derived categories stating that the K-equivalence of smooth projective varieties should correspond to the equivalence of their derived categories, and the K-inequality to the fully faithful embedding.

研究の動機と目的

• 崩壊幾何学と導来カテゴリの間の予想的な対応を、DK仮説を通じて調査すること。
• K同値性が導来同値性を意味する条件を確立し、K不等値性が完全 faithful な埋め込みを意味する条件を特定すること。
• DK仮説が多様体とカテゴリのグロテンディーク環においてどのように作用するかを検討すること。
• トーリックおよびトーリカル幾何を用いて、GL(n,C) の有限アーベル部分群による商特異点に対して導来 McKay 対応を証明すること。
• 最小モデルおよび最大モデルによって誘導される導来カテゴリ内の半直交分解の構造を分析すること。

提案手法

• 最小モデルプログラム（MMP）を用いて、崩壊写像をフラップ、フロップ、除法的収縮などの基本的変換に分解する。
• 滑らかな中心をもつ吹き上げおよび吹き下ろしへの弱分解を用い、グロテンディーク環のレベルで導来カテゴリの変化を研究する。
• 半直交分解（SOD）を用いて、導来カテゴリ間の完全 faithful な関手を記述する。
• オルロフの表現定理を活用し、ある条件下で導来同値性がK同値性を意味することを示す部分的な逆を確立する。
• DK仮説が完全に確認されるトーリックおよびトーリカルな準同型を分析し、これにより導来 McKay 対応が可能になる。
• 最小モデルに関連するデリーニュ＝マクマーレンスタックを構成し、導来関手および半直交分解を定義する。

実験結果

リサーチクエスチョン

• RQ1 K同値な滑らかで射影的な多様体同士の導来カテゴリは、DK仮説が示すように同値であるか？
• RQ2 多様体間のK不等値性が、それらの導来カテゴリの完全 faithful な埋め込みをもたらすか？
• RQ3 DK仮説は、多様体およびカテゴリのグロテンディーク環においてどの程度成立するか？
• RQ4 GL(n,C) の有限アーベル部分群による商特異点に対して、導来 McKay 対応は成立するか？
• RQ5 KLT 対のすべての最大モデルはK同値であるか、それとも異なる導来カテゴリをもつのか？

主な発見

• トーリックおよびトーリカルな準同型に対してDK仮説が確認され、K同値性が導来同値性を意味する強力なクラスの例が得られた。
• GL(n,C) の有限アーベル部分群 G ⊂ に対して、最小モデルおよびそのスタックを含む半直交分解を用いて導来 McKay 対応が確立された。
• 多様体およびカテゴリのグロテンディーク環は、弱分解における導来カテゴリのインフレーションおよびデフレーションを通じて、DK仮説に対する弱い証拠を支持する。
• G ⊂ SL(n,C) のとき、商スタックの導来カテゴリは最小モデルのそれと同値であり、半直交分解に追加の成分は存在しない。
• GL(3,C) の非アーベル的または小さな部分群に対しては、商スタックの導来カテゴリの半直交分解に、最大モデルおよび部分多様体からの成分が含まれており、非クリープ的解体を反映している。
• 非K同値な最大モデルの存在は、異なるモデル間で導来カテゴリの構造が変化しうることを示唆し、DK仮説の完全な一般性についての疑問を提起する。