[论文解读] Reider's Theorem and Thaddeus Pairs Revisited

Daniele Arcara, Aaron Bertram|ArXiv.org|Apr 22, 2009

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

一句话总结

本文通過布里奇蘭德穩定性條件，重新詮釋了雷德勒定理與塔德烏斯對，將曲面的經典結果推廣至高維情形。該研究建立了一套框架，其中 Ext 群的消失由布里奇蘭德斜率不等式所隱含，進而導出高維雷德勒型定理，並透過傾斜分類中的穩定對象，提出塔德烏斯對的新模空間詮釋。

ABSTRACT

Bridgeland stability conditions allow for a new generalization of Thaddeus pairs to surfaces and a new interpretation of Reider's theorem as a consequence of "Schur's lemma" for stable objects (Hom(E,F) = 0 if E,F are stable objects and the slope of E exceeds the slope of F). One improvement of Reider's theorem results (Proposition 3.8/Corollary 3.9), and wall-crossings for the new Thaddeus pairs are discussed. This paper was submitted to the CMI conference proceedings celebrating the 65th birthday of Peter Newstead.

研究动机与目标

• 將塔德烏斯對與雷德勒定理從曲線與曲面推廣至高維代數簇，使用布里奇蘭德穩定性條件。
• 透過將 Ext¹ 群的消失與布里奇蘭德斜率不等式連結，建立雷德勒定理的高維類比。
• 研究布里奇蘭德穩定對象的模空間及其在 Mukai 翻譯與牆穿插背景下的雙有理幾何。
• 探討固定數值類的布里奇蘭德穩定對象是否形成射影或 proper 代數空間。
• 探討三維三繩上是否存在三度數的波戈莫洛夫型不等式，進而可能證明富士塔猜想。

提出的方法

• 透過傾斜分類 A_s 內的布里奇蘭德穩定性重新詮釋雷德勒的論證，取代穆爾福德穩定性，將其置於 D(X) 的導出分類中。
• 利用波戈莫洛夫不等式與霍奇指數定理，在光滑射影曲面上構造布里奇蘭德穩定性條件。
• 分析 A_s 中對象 L⊗I_Z 與 I_W^∨[1] 的穩定性，其中 Hom(L⊗I_Z, I_W^∨[1][1]) 的消失由斜率不等式 μ(L⊗I_Z) > μ(I_W^∨[1]) 所隱含。
• 將塔德烏斯對推廣至曲面，作為 A_s 中的正合列：0 → I_W^∨[1] → E_ε^• → L⊗I_Z → 0，其穩定性需滿足斜率不等式。
• 將此框架應用於 Pic(X) = Z·H 的三繩，研究 A_{1/2} 中的正合列 0 → O_X[1] → E_ε^• → L⊗I_Z → 0。
• 提出當 d 較大且 t 較小時，E_ε^• 的不穩定性可能受三度數波戈莫洛夫型不等式所控制。

实验结果

研究问题

• RQ1 能否將穩定的塔德烏斯對定義為變量 t 下的模空間問題，且此模空間是否為射影或光滑？
• RQ2 固定數值類型的布里奇蘭德穩定對象的同構類是否由有限型的（擬）射影概形表示？
• RQ3 是否存在一個例子，使得此類同構類形成一個 proper 代數空間，但非射影概形？
• RQ4 是否存在常數 d₀ 與 t₀，使得在 Pic(X) = Z·H 的三繩中，當 d > d₀ 與 t < t₀ 時，所有 E_ε^• 均為 μ_{1/2+it}-不穩定？
• RQ5 在三繩中，是否能透過類似霍奇指數的論證，數值上排除不穩定子對象的『有趣情形』（例如，秩 r 的無扭層，c₁ = (r+1)/2 H）？

主要发现

• Ext¹(L⊗I_Z, O_X) 的消失由布里奇蘭德斜率不等式 μ(L⊗I_Z) > μ(O_X[1]) 所隱含，此條件強於單純的消失。
• 在曲面上，t-穩定塔德烏斯對的空間定義為 P(Ext¹(L,O_S[1])) 在 μ_{1/2+it}-穩定對象模空間中，其不變量為 (0,H,H²/2) 的適當變換。
• 當 K_S = 0 時，模空間透過牆穿插產生 Mukai 翻譯，將 Hilb^d(S)×Hilb^d(S) 上的射影纏綁與其對偶纏綁交換。
• 導出對偶 I_W^∨[1] 擴展了曲線情形下線叢 O_C(W) 的角色，進而促成高維塔德烏斯對的建構。
• 在 Pic(X) = Z·H 的三繩中，A_{1/2} 內 L⊗I_Z 的不穩定子對象 K ⊂ L⊗I_Z 受到數值條件的約束，包括秩 r 為奇數，且 c₁(K) = (r+1)/2 H。
• 本文建議，若能建立三度數波戈莫洛夫型不等式，則可能導出三繩的富士塔猜想。