[論文レビュー] Derived categories of toric varieties III

Yūjirō Kawamata|arXiv (Cornell University)|Dec 27, 2014

Algebraic Geometry and Number Theory参考文献 24被引用数 5

ひとこと要約

本稿は、トーリック幾何における有限アーベル商特異点に対して、導来 McKay 対応を確立する。$[\mathbf{A}^n/G]$ の商スタックの導来圏は、商 $\mathbf{A}^n/G$ の部分多様体の導来圏と相対的最小モデルへの半直交分解を許容することを証明する。既存のトーリック最小モデルプログラム写像の結果を、局所的であることにとどまらず、グローバルな枠組みへと拡張し、$K$-同値性がフロップの列に分解されることを示し、導来圏が相対的例外的集合によって生成されることを示す。

ABSTRACT

We prove derived McKay correspondence in special cases and the decomposition of toric K-equivalence into flops.

研究の動機と目的

• 次元 2 の任意の有限アーベル商特異点への導来 McKay 対応の拡張。
• 局所的ベイリエーション写像にとどまらず、導来圏のグローバルな枠組みをトーリック最小モデルプログラムに確立すること。
• トーリック対間の $K$-同値性がフロップの列に分解されることの証明。
• トーリック商スタック $[\mathbf{A}^n/G]$ の導来圏が相対的例外的集合によって生成されることの示唆。

提案手法

• トーリック対に付随する滑らかで、Deligne-Mumford スタックの導来圏の半直交分解を用いる。
• トーリック有理写像を介して、アーベル商特異点への相対的導来 McKay 対応の相対的バージョンを適用する。
• ファイバー積構成を用いて、スタックの導来圏間の完全かつ忠実な函手 $\Phi = p_*q^*$ を構成する。
• 定理 1 を相対的状況に適用し、Bondal-Orlov および Bridgeland の結果をトーリック設定に一般化する。
• canonical divisor 不等式 $K_X + B \geq K_Y + C$ を用いて、導来圏埋め込みの方向を特定する。
• 等置幾何と商スタック $[\mathbf{A}^n/G]$ を用いて、商特異点の導来圏を分析する。

実験結果

リサーチクエスチョン

• RQ1 次元 2 のすべての有限アーベル商特異点に対して、導来 McKay 対応は成立するか？
• RQ2 トーリック設定において、トーリック対間の $K$-同値性はフロップの列に分解可能か？
• RQ3 導来圏 $[\mathbf{A}^n/G]$ の商スタックは、部分多様体と最小モデルの観点からどのように分解されるか？
• RQ4 $K$-同値性の下で、トーリック対の導来圏の構造はいかなるものか？
• RQ5 トーリック多様体の導来圏は、相対的例外的集合によって生成可能か？

主な発見

• 任意の有限アーベル商特異点に対して導来 McKay 対応が成立する：$D^b(\text{coh}([\mathbf{A}/G]))$ は、部分多様体 $Z_i \subset X$ と相対的最小モデル $Y$ に対する $D^b(\text{coh}(\tilde{Z}_i))$ と $D^b(\text{coh}(\tilde{Y}))$ への半直交分解を許容する。
• 任意のトーリック対間の $K$-同値性を満たす正則なベイリエーション写像は、フロップの列に分解可能であり、Bridgeland の結果をトーリックケースに一般化する。
• 射影的トーリック写像 $f: X \to Z$ に対して、導来圏 $D^b(\text{coh}(\tilde{X}))$ は相対的例外的集合によって生成される。すなわち、$D^b(\text{coh}(\tilde{Z}_i))$ と $D^b(\text{coh}(\tilde{Y}))$ の像への半直交分解を許容する。
• $K_X + B = K_Y + C$ が成り立つとき、完全かつ忠実な函手 $\Phi: D^b(\text{coh}(\tilde{Y})) \to D^b(\text{coh}(\tilde{X}))$ は同値となる。これは、フロップ同値性の結果をトーリック $K$-同値性へ一般化する。
• 導来圏埋め込みの方向は、写像の方向ではなく、canonical 分岐の不等式の方向に一致する。特に、除数的収縮において顕著である。
• 導来圏埋め込みの半直交補完は、特定の torsion 条件を満たす境界除数上に台を持つ層によって生成され、$p_*q^*$ 函手と格子商を用いて構成される。