[论文解读] 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的同調投影對偶基本定理，將其有效性擴展至光滑商堆疊的可接受子類別，並放寬了線叢全局生成的假設。關鍵結果表明，即使基簇的奇點集具有出乎意料的維度，其基變換的導出類別中仍存在一個共同的半正交類 $χ_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對偶的穩健 categorical base change 建構。
• 證明基本定理中的共同類 $\mathcal{C}_L$ 即使在基簇 $X_{L^\perp}$ 具有出乎意料的維度時仍持續存在。

提出的方法

• 使用Landau-Ginzburg模型與GIT穩定性的變遷，構造並分析與商堆疊導出類別相關的矩陣因子化類別。
• 透過 $\widetilde{X} \times (V^\vee \setminus 0)/\mathbb{C}^*$ 上的矩陣因子化類別的子類別，定義 categorical base change $\mathcal{D}_{L^\perp}$ 與對偶類 $\mathcal{D}^\vee_L$。
• 應用半正交分解與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}$ 具有出乎意料的維度時，categorical base change $\mathcal{D}_{L^\perp}$ 是否仍定義良好且穩定？
• RQ5 在何種條件下 $D^b(Y_L) \cong \mathcal{D}^\vee_L$ 成立？其與HP對偶原始幾何形式的關係為何？

主要发现

• 同調投影對偶的基本定理對可接受子類別 $\mathcal{D} \subseteq D^b(X)$ 成立，其中 $X = [A/G]$ 為光滑商堆疊，不僅限於光滑射影簇。
• 證明無需假設極化線叢 $\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對偶的標準形式。