[论文解读] Stability conditions on Fano threefolds of Picard number one

Chunyi Li|arXiv (Cornell University)|Oct 14, 2015

Algebraic Geometry and Number Theory参考文献 8被引用 24

一句话总结

本文證明了關於極小霍奇三繫數為一的法諾三繫數上傾穩定對象的猜想型波戈莫洛夫-吉澤克不等式，為構造幾何布里格代爾穩定結構奠定了關鍵技術步驟。該結果暗示了在導出分類中存在一個幾何穩定結構的開子集，並提出了斜率半穩定層的陳特徵的新緊緻界。

ABSTRACT

We prove the conjectural Bogomolov-Gieseker type inequality for tilt slope stable objects on each Fano threefold X of Picard number one. Based on the previous works on Bridgeland stability conditions, this induces an open subset of geometric stability conditions on D^b(X). We also get a new stronger bound for the Chern characters of slope semistable sheaves on X.

研究动机与目标

• 證明法諾三繫數在極小霍奇數為一的情況下，猜想型波戈莫洛夫-吉澤克不等式（[2] 中的猜想 5.3）。
• 建立在 such 三繫數的導出分類 $D^b(X)$ 上，幾何布里格代爾穩定結構的開子集的存在性。
• 推導出法諾三繫數上斜率半穩定層的陳特徵的新、更強的界。
• 將傾斜穩定性與中心電荷構造的框架擴展至極小霍奇群為平凡的法諾三繫數。
• 驗證 $ar{\beta}$-穩定性條件及其對第三陳特徵的影響。

提出的方法

• 使用傾斜穩定性框架，透過 $ ext{Coh}(X)$ 中的扭結對定義 t-結構的心，參數化為 $eta$。
• 引入簡化中心電荷 $ar{Z}_{\bar{\beta}}$ 和傾斜斜率函數 $ u_{\bar{\beta}}$，以分析傾斜分類中對象的穩定性。
• 應用 $ar{\beta}$-穩定性的概念，其中若對象 $E$ 在 $(0, \bar{\beta}(E))$ 的鄰域內為傾斜穩定，則稱其為 $ar{\beta}$-穩定。
• 利用 Serre對偶性和消去定理，推導出 $ar{\beta}$-穩定對象與線叢 $\mathcal{O}(mH)$ 之間 $ ext{Hom}$-空間的不等式。
• 構造 $ar{\beta}$-穩定對象 $E$ 對 $\mathcal{O}$ 的擴張 $F$，並透過過濾論證與陳特徵約束證明其 $ar{\beta}$-穩定性。
• 在 $\widetilde{v}_H$-平面上使用線段 $l_{EF}$ 來約束陳特徵，並在 $n \gg 0$ 時導出矛盾。

实验结果

研究问题

• RQ1 猜想型波戈莫洛夫-吉澤克不等式（[2] 中的猜想 5.3）是否對極小霍奇數為一的法諾三繫數成立？
• RQ2 $\bar{\beta}$-穩定性條件是否可用於控制穩定對象的第三陳特徵？
• RQ3 極小霍奇數為一的法諾三繫數上，斜率半穩定層的陳特徵的緊緻界為何？
• RQ4 是否存在 $ar{\beta}$-穩定對象是否暗示 $D^b(X)$ 上幾何穩定結構的存在？
• RQ5 在傾斜穩定性框架下，$ar{\beta}$-穩定對象的擴張行為如何？

主要发现

• 本文證明，對於極小霍奇數為一的法諾三繫數 $X$ 上的任意 $ar{\beta}$-穩定對象 $E$，有 $\mathrm{ch}_3^{\bar{\beta}}(E) \leq 0$。
• 此不等式暗示了在 $D^b(X)$ 上存在一個幾何布里格代爾穩定結構的開子集，此結果透過 $(\alpha, \beta)$-傾斜穩定性框架構造得出。
• 證明當 $a > \frac{\alpha^2}{6} + \frac{1}{2}|b|\alpha$ 時，中心電荷 $Z^{a,b}_{\alpha,\beta}$ 定義了一個幾何穩定結構。
• 在所構造的穩定結構下，$X$ 上點的結構層具有相同的相位，因此是穩定的。
• 從擴張穩定因子中 $\mathrm{ch}_2$ 的消失性出發，推導出斜率半穩定層的陳特徵的新、更強的界。
• 透過在陳特徵 $(\mathrm{ch}_0(E)+n, \mathrm{ch}_1(E), 0, \mathrm{ch}_3(E))$ 中使用大 $n$ 的矛盾論證，確認了界的存在，並利用 $R_{3/(2d)}$ 區域。