[论文解读] On the derived category of $\bar{M}_{0,n}$

Yu. I. Manin, Maxim Smirnov|arXiv (Cornell University)|Dec 31, 2011

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

一句话总结

本文通过基於基爾的爆破塔與奧爾洛夫的爆破導出類別定理，以歸納法構造了模空間 $\bar{M}_{0,n}$ 的導出類別中完整的例外叢集。結合 $\bar{M}_{0,n-1} \times \bar{M}_{0,4}$ 上的例外叢集，利用 K"unneth 型公式並應用推論 3.6，作者為 $\bar{M}_{0,6}$ 構造出一個完整的線叢例外叢集，明確列出 24 個物件，並指定其在邊界除子上的線叢扭量。

ABSTRACT

Using Keel's presentation and Orlov's theorem, we give an inductive description of the derived category of moduli spaces of $n$--pointed stable curves of genus zero and some full exceptional collections in it. The detailed calculations are given for $\bar{M}_{0,6}$.

研究动机与目标

• 發展一種歸納方法，以構造 $\bar{M}_{0,n}$（即 genus 零、帶有 $n$ 個標記點的穩定曲線的模空間）的導出類別中完整的例外叢集。
• 將奧爾洛夫關於爆破導出類別的定理應用於基爾對 $\bar{M}_{0,n}$ 的歸納構造，即將其視為一系列爆破 $\bar{M}_{0,p+1} \times \bar{M}_{0,q+1}$ 所得的結果。
• 提出一種系統性且函子式的做法，以計算 $\bar{M}_{0,n}$ 的 quiver 與導出不變量，特別是針對 $n=6$，利用線叢的例外叢集。
• 建立條件，使得可透過爆破中心的拉回與扭量，構造出局部自由層的完整例外叢集。

提出的方法

• 使用基爾的歸納塔：$\bar{M}_{0,n+1}$ 是由 $\bar{M}_{0,n} \times \bar{M}_{0,4}$ 經重複爆破所得，爆破中心為光滑子簇，微分同構於 $\bar{M}_{0,p+1} \times \bar{M}_{0,q+1}$，其中 $p+q=n$。
• 應用奧爾洛夫定理，利用包含 $Ri_*(L\pi^*(F_\beta) \otimes \mathcal{O}_\pi(-c+1))$ 與 $Lq^*(E_\alpha)$ 的例外叢公式 (1.6)，從 $X$ 和中心 $Y$ 的導出類別重建爆破 $\widetilde{X}$ 的導出類別。
• 使用 K"unneth 型公式（[B"o] 中命題 2.1.18）將 $\bar{M}_{0,n} \times \bar{M}_{0,4}$ 上的例外叢集提升至乘積，進而形成爆破基底上的初始叢集。
• 應用推論 3.6，沿著例外對在中心上完全限制的爆破中心進行連續爆破，確保所得叢集仍為完整且例外。
• 使用明確的幾何資料：$\bar{M}_{0,6}$ 中的 10 個邊界除子 $E_1, \dots, E_{10}$，其交點（如 $E_1 \cdot E_4 = \mathbb{P}^1$），以及爆破映射下其拉回，以追蹤線叢的扭量。
• 透過迭代應用爆破公式，追蹤 $\mathcal{O}(E_{\geq i})$ 與拉回 $q^*(L_i \boxtimes G_j)$，構造最終的例外叢集。

实验结果

研究问题

• RQ1 如何利用爆破技術與奧爾洛夫關於爆破導出類別的定理，歸納地描述導出類別 $D^b(\bar{M}_{0,n})$？
• RQ2 能否系統性地透過沿爆破塔的拉回與扭量，在 $D^b(\bar{M}_{0,n})$ 中構造出局部自由層的完整例外叢集？
• RQ3 如何描述 $\bar{M}_{0,6}$ 的導出類別結構？能否透過線叢的例外叢集明確描述？
• RQ4 邊界除子在 $\bar{M}_{0,6}$ 中的交點模式如何影響連續爆破下例外叢集的構造？
• RQ5 在何種條件下，基底變換上的例外對能提升至爆破變換上的完整例外叢集？

主要发现

• 本文在 $\bar{M}_{0,6}$ 上構造出由 24 個線叢組成的完整例外叢集，明確列出其扭量為 $\mathcal{O}(E_{\geq i})$，並來自 $\bar{M}_{0,5} \times \mathbb{P}^1$ 的拉回。
• 該例外叢集透過基爾塔中的三步爆破歸納構造，每一步均應用推論 3.6，以維持完整性和最小性。
• 該構造依賴於兩個關鍵假設：(1) 某些線叢對在爆破中心上完全限制（例如 $L_1, L_2$ 在 $D_{\sigma_1}$ 上）；(2) 對在例外除子上完全限制（例如 $L_0, L_1$ 在 $\widehat{H}_1$ 上）。
• 作者透過確保基底與中心變換上的例外對在拉回與扭量後仍保持完整，驗證了叢集的完整性。
• 利用 10 個邊界除子 $E_1, \dots, E_{10}$ 的交點資料（如 $E_1 \cdot E_4 = \mathbb{P}^1$），追蹤線叢在爆破序列中於支撐與扭量上的變化。
• 最終的例外叢集透過組合拉回 $q^*(L_i \boxtimes G_j)$ 與例外除子之和 $E_{\geq i}$ 的扭量而獲得，確保正確的順序與態射的消失。