[论文解读] Some examples of tilt-stable objects on threefolds

Jason Lo, Yogesh More|arXiv (Cornell University)|Sep 12, 2012

Advanced Algebra and Geometry参考文献 11被引用 5

一句话总结

本文研究光滑复射影三复乘积面上的倾斜稳定对象，特别关注判别式为零的层以及在倾斜稳定性下第一陈类为最小值两倍的层。文章建立了斜率半稳定层在何种条件下会生成最大相位的布里格兰德半稳定对象的条件，并提供了在大体积极限下倾斜稳定性的充分条件，包括涉及陈类和 $\mathbb{P}^3$ 上曲线不变量的显式边界。主要贡献在于对倾斜稳定对象的结构特征进行了刻画，并给出了满足 [BMT] 中 $ch_3$-边界猜想的显式例子。

ABSTRACT

We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarisation $ω$ gets large, and give sufficient conditions for tilt-stability of sheaves of the following two forms: 1) twists of ideal sheaves or 2) torsion-free sheaves whose first Chern class is twice a minimum possible value.

研究动机与目标

• 构建光滑复射影三复乘积面上倾斜稳定对象的显式例子，特别是满足布里格兰德稳定性中 $ch_3$-边界猜想的对象。
• 理解判别式为零的斜率半稳定层的结构及其在大体积极限下与布里格兰德半稳定对象的关系。
• 为满足 $\omega^2\widetilde{ch}_1 = 2c$ 的无扭层提供倾斜稳定性的充分条件，其中 $c$ 是 $\omega^2\widetilde{ch}_1$ 的最小正数值。
• 利用 $\mathbb{P}^3$ 上反射层的陈特征已知不等式，识别出显式倾斜不稳定对象。
• 证明当 $\overline{\Delta}_\omega(F) = 0$ 且 $\nu_\omega(F) = 0$ 时，$Z_{\omega,0}$-半稳定对象的模空间包含 $\mu_\omega$-半稳定层的模空间作为开子空间。

提出的方法

• 使用扭曲陈特征 $\widetilde{ch}(E) = e^{-B}ch(E)$ 和中心荷 $Z_{\omega,B}(E) = -\int_X e^{-B-i\omega} \widetilde{ch}(E)$ 定义倾斜稳定性条件。
• 应用两步倾斜过程：首先对 $\mathrm{Coh}(X)$ 进行倾斜得到 $\mathcal{B}_{\omega,B}$，然后在 $\mathcal{B}_{\omega,B}$ 上定义斜率函数 $\nu_{\omega,B}$ 以实现倾斜稳定性。
• 使用判别式 $\overline{\Delta}_\omega(E) = (\omega^2 \widetilde{ch}_1(E))^2 - 2(\omega^3 \widetilde{ch}_0(E))(\omega \widetilde{ch}_2(E))$ 分析稳定性条件。
• 应用 $\mathbb{P}^3$ 上反射层陈特征的已知不等式（来自 Miró-Roig）构造倾斜不稳定对象的例子。
• 使用希策布吕希-黎曼-罗赫定理计算 $\chi(\mathcal{O}_C)$，并推导出曲线 $C$ 的亏格 $g$ 和 $ch_3(\mathcal{O}_C)$ 的边界。
• 应用命题 5.1 推导出基于 $\mu_{\omega,B,\max}(E)$ 和 $\omega^3 > 3\omega(\widetilde{ch}_1(M))^2$ 的倾斜稳定性的充分条件，其中 $M$ 是满足 $\omega^2\widetilde{ch}_1(M) = c$ 的半稳定层。

实验结果

研究问题

• RQ1 当 $F$ 是满足 $\overline{\Delta}_\omega(F) = 0$ 且 $\nu_\omega(F) = 0$ 的 $\mu_\omega$-半稳定层时，其在何种条件下会转化为 $Z_{\omega,0}$-半稳定对象且相位最大？
• RQ2 当无扭层 $E$ 满足 $\nu_{\omega,B}(E) = 0$ 且 $\omega^2\widetilde{ch}_1(E) = 2c$ 时，其在何种条件下是倾斜稳定的？
• RQ3 一个理想层 $I_C$ 的线丛扭张量的何种条件使其成为倾斜稳定的？
• RQ4 如何利用反射层陈类的已知边界在 $\mathbb{P}^3$ 上构造倾斜不稳定对象的显式例子？
• RQ5 在 [BMT] 中的 $ch_3$-边界猜想是否对 $\mathbb{P}^3$ 上曲线理想层的线丛扭张量的秩一无扭层成立？

主要发现

• 若 $F$ 是满足 $\overline{\Delta}_\omega(F) = 0$ 且 $\nu_\omega(F) = 0$ 的 $\mu_\omega$-半稳定层，则 $F^\vee[2]$ 是 $\mathcal{A}_{\omega,0}$ 中相位为 1 的 $Z_{\omega,0}$-半稳定对象。
• 对于满足 $\nu_{\omega,B}(E) = 0$ 且 $\omega^2\widetilde{ch}_1(E) = 2c$ 的无扭层 $E$，若 $\mu_{\omega,B,\max}(E) < \frac{\omega^3}{\sqrt{3}}$，则 $E$ 是 $\nu_{\omega,B}$-稳定的。
• 若对所有满足 $\omega^2\widetilde{ch}_1(M) = c$ 的无扭斜率半稳定层 $M$，均有 $\omega^3 > 3\omega(\widetilde{ch}_1(M))^2$，则 $E$ 是 $\nu_{\omega,B}$-稳定的。
• 对于 $\mathbb{P}^3$ 上的秩一无扭层 $E = L^2 \otimes I_C$，若 $d < \frac{3}{2}D$，其中 $d = \deg C$，$D = \deg X$，则 $E$ 是 $\nu_{\omega,0}$-稳定的。
• 若 $-ch_3(\mathcal{O}_C) \leq \frac{4}{3}d$，则猜想 2.2 中的 $ch_3$-边界对 $E = L^2 \otimes I_C$ 成立。
• 对于 $X \subset \mathbb{P}^4$ 且次数为 $D$ 的情形，若 $d \leq D$ 且 $\nu_{\omega,0}(E) = 0$，则 $E$ 满足 $ch_3$-边界，因为由卡斯特尔努沃不等式可推出亏格边界 $g \leq \frac{dD}{2} - \frac{7}{6}d + 1$。