[論文レビュー] Derived $\Theta$-stratifications and the $D$-equivalence conjecture

Daniel Halpern-Leistner|arXiv (Cornell University)|Oct 2, 2020

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

ひとこと要約

この論文は、K3表面上のGieseker半安定な層のモジュライ空間に双有理的に同値な、次元3より大きいプロジェクト型Calabi-Yau多様体について、導来$Θ$-層化と自己双対な余接複体を持つ導来スタックの局所構造定理を用いて、D同値性予想を確立する。Bridgeland安定性条件の変動とGIT商のための「魔法のウィンドウ」定理により導来同値性を証明する。

ABSTRACT

The theory of $\\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic stack. Using derived algebraic geometry, we develop a structure theory, which is a refinement of the theory of local cohomology, for the derived category of quasi-coherent complexes on an algebraic stack equipped with a $\\Theta$-stratification. We then apply this to the $D$-equivalence conjecture, which predicts that birationally equivalent Calabi-Yau manifolds have equivalent derived categories of coherent sheaves. We prove that any two projective Calabi-Yau manifolds that are birationally equivalent to a smooth moduli space of Gieseker semistable coherent sheaves on a $K3$ surface have equivalent derived categories. This establishes the first known case of the $D$-equivalence conjecture for a birational equivalence class in dimension greater than three.

研究の動機と目的

• 次元3より大きい双有理的に同値なプロジェクト型Calabi-Yau多様体について、D同値性予想を証明すること。
• 導来代数的幾何を用いて、$Θ$-層化を備えた代数的スタック上の準連接複体の導来構造理論を構築すること。
• Lunaのスライス定理と良いモジュライ空間を用いて、K3面上のBridgeland半安定複体のモジュライスタックの局所モデルを確立すること。
• GIT商のための「魔法のウィンドウ」定理を用いて、安定性条件の変動を通じて導来同値性を構成すること。
• D同値性予想をねじれ層のモジュライ空間およびより一般的な2-Calabi-Yau $dg$-圏へ拡張すること。

提案手法

• 任意の代数的スタックへ一般化されたHarder-Narasimhan-Shatz層化の導来$Θ$-層化フレームワークを構築する。
• 自己双対な余接複体を持つ導来スタックの局所構造定理を導入し、GIT商の変動に基づくモデルとする。
• Halpern-Leistner (2016) の「魔法のウィンドウ」定理を応用し、GIT商の変動の局所モデルにおける導来同値性を構成する。
• 滑らかな降下と双対複体および余接複体の行列式に関連する標準的同型を用いて、自明化を確立する。
• Calabi-Yau多様体の最小モデルプログラムを活用し、Bridgeland半安定複体のモジュライ空間へ還元する。
• 滑らかな準同型を通じて同型が整合することを用いて、古典的切断における正則なセクションの構成を行う。

実験結果

リサーチクエスチョン

• RQ1 次元3より大きい双有理的同値なCalabi-Yau多様体について、D同値性予想を証明できるか？
• RQ2 導来$Θ$-層化は、代数的スタック上の導来カテゴリの局所コhomologyおよび構造理論をどのように精緻化できるか？
• RQ3 K3面上のBridgeland半安定複体のモジュライスタックの局所幾何的モデルは何か？
• RQ4 導来的設定において、安定性条件の変動を通じて導来同値性を構成できるか？
• RQ5 良いモジュライ空間の変動が、滑らかな多様体間の導来同値性を誘導する条件は何か？

主な発見

• 任意の2つのプロジェクト型Calabi-Yau多様体が、K3面上のGieseker半安定な連接層の滑らかなモジュライ空間に双有理的に同値である限り、D同値性予想は成り立つ。
• 「魔法のウィンドウ」定理のおかげで、GIT商の変動の局所モデルを通じて導来カテゴリの同値性が確立される。
• 標準的同型$ϵ_{f}^{-1}$が相対的正則線束の自明化を提供し、古典的切断上で正則なセクションを導く。
• 滑らかな降下と滑らかな準同型を通じた同型の整合性を用いて、$H_0(ω_{ω}^{ullet})$上のグローバルな正則なセクションの構成が達成される。
• 局所構造定理は、自己双対な余接複体と良いモジュライ空間を持つ任意の導来スタックに適用可能であり、2-Calabi-Yau $dg$-圏へ一般化される。
• 結果はねじれ連接層のモジュライ空間へ拡張され、双有理的同値類において次元>3のD同値性予想の最初の既知の証明を提供する。