[论文解读] Hilbert schemes and stable pairs: GIT and derived category wall crossings

Jacopo Stoppa, Richard Thomas|ArXiv.org|Mar 8, 2009

Algebraic Geometry and Number Theory参考文献 19被引用 16

一句话总结

本文為三叉3-流形上的曲線的Hilbert概形與Le Potier的穩定對模空間建立了一個共同的GIT構造，表明它們源自GIT線性化參數空間中牆的兩側的區域。利用Joyce在導出範疇中的牆穿插理論，本文提供了DT/PT牆穿插恆等式的簡潔證明：Hilbert概形的Euler特徵生成函數等於穩定對的生成函數乘以點的Hilbert概形的生成函數。

ABSTRACT

We show that the Hilbert scheme of curves and Le Potier's moduli space of stable pairs with one dimensional support have a common GIT construction. The two spaces correspond to chambers on either side of a wall in the space of GIT linearisations. We explain why this is not enough to prove the "DT/PT wall crossing" conjecture relating the invariants derived from these moduli spaces when the underlying variety is a 3-fold. We then give a gentle introduction to a small part of Joyce's theory for such wall crossings, and use it to give a short proof of an identity relating the Euler characteristics of these moduli spaces. When the 3-fold is Calabi-Yau the identity is the Euler-characteristic analogue of the DT/PT wall crossing conjecture, but for general 3-folds it is something different, as we discuss.

研究动机与目标

• 為三叉3-流形上的Hilbert概形與穩定對建立一個共同的GIT構造。
• 解釋為何僅靠GIT牆穿插不足以證明完整的DT/PT牆穿插猜想。
• 應用Joyce在導出範疇中的牆穿插理論，推導DT/PT猜想的拓撲類比。
• 證明Hilbert概形與穩定對的Euler特徵生成函數之間的恆等式。
• 釐清拓撲恆等式與Calabi-Yau情形下虛擬不變量之間的差異。

提出的方法

• 透過同一參數空間上的線性化，構造Hilbert概形與穩定對的共同GIT商。
• 識別GIT參數空間中模空間從Hilbert概形轉換為穩定對的牆。
• 應用Joyce的堆疊式Hall代數積分理論，計算牆穿插下的動機不變量。
• 利用導出範疇傾斜心的Harder-Narasimhan型過濾，連結不同穩定條件下的複形。
• 應用Joyce框架中的定理4.32與4.34，交換中心特徵並計算q→1的極限。
• 透過對Cohen-Macaulay曲線空間的積分，利用上推與加權Euler特徵推導恆等式。

实验结果

研究问题

• RQ1 能否在相同GIT商下，以不同的線性化方式構造三叉3-流形上的Hilbert概形與穩定對？
• RQ2 為何僅靠GIT牆穿插構造不足以證明完整的DT/PT牆穿插猜想？
• RQ3 如何應用Joyce在導出範疇中的牆穿插理論，推導拓撲不變量之間的恆等式？
• RQ4 Hilbert概形與穩定對的Euler特徵生成函數之間的精確關係為何？
• RQ5 拓撲恆等式與Calabi-Yau情形下的虛擬DT/PT猜想有何差異？

主要发现

• 三叉3-流形上的Hilbert概形與穩定對具有共同的GIT構造，兩種模空間對應於GIT線性化參數空間中牆的兩側區域。
• 證明了拓撲DT/PT牆穿插恆等式：生成函數滿足 $ Z^I_\beta(X) = Z^P_\beta(X) \times Z^I_0(X) $。
• 該恆等式對一般3-流形成立，但在Calabi-Yau情形下與虛擬DT/PT猜想不同，僅為Euler特徵的類比。
• 證明使用了Joyce的導出範疇積分理論，特別是動機Hall代數元素在 $ q \to 1 $ 時的極限。
• 關鍵步驟是將Hilbert概形堆疊表達為卷積 $ 1_{\mathcal{S}} * P_C * 1_{\mathcal{S}}^{-1} $，其中 $ \mathcal{S} = \mathcal{T}[-1] $，並應用對偶性與Riemann-Roch定理。
• 透過對Cohen-Macaulay曲線空間的積分，將結果推廣至全域生成函數恆等式。