[論文レビュー] The fundamental theorem of homological projective duality via variation of GIT stability

Jørgen Vold Rennemo|arXiv (Cornell University)|May 3, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 8

ひとこと要約

本稿は、GIT安定性の変動とLandau-Ginzburgモデルを用いて、Kuznetsovのホモロジカルプロジェクト型双対性の基本定理を再証明し、滑らかで商スタックの適切な部分カテゴリへとその有効性を拡張するとともに、ラインバンドルのグローバル生成性の仮定を緩和した。主な結果として、基底部分集合が予期しない次元を持つ場合でさえも、HP双対な多様体の基底変換された導来カテゴリに共通する半直交カテゴリ $χ_L$ が存在することが示された。

ABSTRACT

We reprove Kuznetsov's "fundamental theorem of homological projective duality" using LG models and variation of GIT stability. This extends the validity of the theorem from smooth varieties to nice subcategories of smooth quotient stacks, and moreover shows that the line bundles polarising the varieties in HP duality do not have to be globally generated. The proof combines ideas from Kuznetsov's original proof with ideas from work of Ballard-Deliu-Favero-Isik-Katzarkov.

研究の動機と目的

• 滑らかで射影的多様体に限らない、滑らかで商スタックの適切な部分カテゴリへ、Kuznetsovのホモロジカルプロジェクト型双対性の基本定理を一般化すること。
• 極化ラインバンドルがグローバルに生成されている必要がないことを取り払い、特異点の非可換な解消へ応用範囲を広げること。
• 行列式因子化カテゴリとGIT安定性の変動を用いて、HP双対性の強固なカテゴリ的基底変換構成を確立すること。
• 基底部分集合 $X_{L^\perp}$ が予期しない次元を持つ場合でさえも、基本定理における共通カテゴリ $\mathcal{C}_L$ が存続することを示すこと。

提案手法

• 導来カテゴリの商スタックに関連する行列式因子化カテゴリを、Landau-GinzburgモデルとGIT安定性の変動を用いて構成・分析する。
• 基底変換カテゴリ $\mathcal{D}_{L^\perp}$ と双対カテゴリ $\mathcal{D}^\vee_L$ を、$\widetilde{X} \times (V^\vee \setminus 0)/\mathbb{C}^*$ 上の行列式因子化カテゴリの部分カテゴリとして定義する。
• 半直交分解とLefschetz分解の理論を適用し、直交性条件と随伴関手を用いて共通カテゴリ $\mathcal{C}_L$ を構成する。
• 関係 $\mathcal{B}_i \cong \mathcal{A}_0 \cap \mathcal{A}_i^\perp$ を用いて、双対分解を元のLefschetz構造に関連付ける。
• Kuznetsovの研究から得られるカーネル構成と基底変換形式主義を用い、$Y$ が $\mathcal{D}^\vee$ を表し、$Y_L$ が期待される次元を持つ場合に $\mathcal{D}^\vee_L$ と $D^b(Y_L)$ を関連付ける。
• 随伴関手定理と導来カテゴリ技法を用いて、$\mathcal{D}_{L^\perp}$ および $\mathcal{D}^\vee_L$ への包含の完全忠実性と半直交性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジカルプロジェクト型双対性の基本定理は、滑らかで射影的多様体に限らず、滑らかで商スタックの部分カテゴリへ拡張可能か？
• RQ2 極化ラインバンドルがグローバルに生成されていると仮定しなくても、定理は成り立つか？
• RQ3 GIT安定性の変動とLandau-Ginzburgモデルは、幾何的一般性を向上させた基本定理の新たな証明を可能にするか？
• RQ4 基底部分集合 $X_{L^\perp}$ が予期しない次元を持つ場合でも、カテゴリ的基底変換 $\mathcal{D}_{L^\perp}$ は適切に定義され、安定性を保つか？
• RQ5 $D^b(Y_L) \cong \mathcal{D}^\vee_L$ が成り立つ条件は何か？ そしてこれは元の幾何的HP双対性の定式化とどのように関係するか？

主な発見

• 滑らかで商スタック $X = [A/G]$ に対して、$\mathcal{D} \subseteq D^b(X)$ である適切な部分カテゴリについても、ホモロジカルプロジェクト型双対性の基本定理が成り立つ。
• 極化ラインバンドル $\mathcal{L}$ がグローバルに生成されている必要はなく、非グローバルに生成されたラインバンドルへも応用範囲が拡張される。
• 行列式因子化カテゴリによる $\mathcal{D}_{L^\perp}$ および $\mathcal{D}^\vee_L$ の構成により、$X_{L^\perp}$ が予期しない次元を持つ場合でも、良好に定義された基底変換が保証される。
• 両方のカテゴリ $\mathcal{D}_{L^\perp}$ および $\mathcal{D}^\vee_L$ に共通する三角カテゴリ $\mathcal{C}_L$ が存在し、半直交分解 $\mathcal{D}_{L^\perp} = \langle \mathcal{C}_L, \mathcal{A}_l(l\mathcal{L}), \dots \rangle$ および $\mathcal{D}^\vee_L = \langle \mathcal{B}_{l-1}(-(l-1)\mathcal{M}), \dots, \mathcal{C}_L \rangle$ が成り立つ。
• $\mathcal{B}_i$ は $\mathcal{A}_i$ を用いて $\mathcal{B}_i \cong \mathcal{A}_0 \cap \mathcal{A}_i^\perp$ で与えられ、双対性構造が保存される。
• $\mathcal{C}_{V^\vee} = 0$ のとき、双対カテゴリ $\mathcal{D}^\vee$ はLefschetz分解 $\langle \mathcal{B}_{v-1}(-(v-1)\mathcal{M}), \dots, \mathcal{B}_m(-m\mathcal{M}) \rangle$ を持ち、標準的なHP双対性の形に回復する。