[论文解读] Fourier-Mukai Transforms and Bridgeland Stability Conditions on Abelian Threefolds II

Antony Maciocia, Dulip Piyaratne|arXiv (Cornell University)|Oct 1, 2013

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

一句话总结

该论文通过利用非平凡的傅里叶-穆凯伊变换证明倾斜稳定对象的强波戈莫洛夫-吉泽克不等式，建立了主极化阿贝尔三倍体（Picard秩为一）上的布里吉兰稳定性条件。它表明某些层的双重倾斜在这些变换下保持不变，从而诱导了阿贝尔范畴之间的等价，并通过BMT框架确认了稳定性条件的猜想构造。

ABSTRACT

We show that the conjectural construction proposed by Bayer, Bertram, Macrí and Toda gives rise to Bridgeland stability conditions for a principally polarized abelian three-fold with Picard rank one by proving that tilt stable objects satisfy the strong Bogomolov-Gieseker type inequality. This is done by showing any Fourier-Mukai transform gives an equivalence of abelian categories which are double tilts of coherent sheaves.

研究动机与目标

• 证明主极化阿贝尔三倍体（Picard秩为一）上倾斜稳定对象的强波戈莫洛夫-吉泽克不等式。
• 将BMT计划中关于布里吉兰稳定性条件的猜想构造推广至阿贝尔三倍体。
• 证明非平凡的傅里叶-穆凯伊变换在导出范畴中诱导了层的双重倾斜之间的等价。
• 提供 $ H^{2*}(X,\mathbb{Q}) $ 上上同调傅里叶-穆凯伊变换的矩阵表示，从而实现对稳定性条件的数值分析。

提出的方法

• 利用主极化阿贝尔三倍体（Picard秩为一）上的傅里叶-穆凯伊变换群 $ (X \times \widehat{X}) \rtimes \widetilde{\mathrm{SL}(2,\mathbb{Z})} $。
• 构建 $ H^{2*}(X,\mathbb{Q}) $ 上上同调傅里叶-穆凯伊变换的矩阵表示，表明其在适当扭曲的陈特征下表现为反对角矩阵。
• 应用该变换研究 $ \mathcal{B} $-对象在 $ \Gamma^{i}_{b'} $ 下的像，追踪其在导出范畴心中的位置。
• 使用谱序列与约当-霍尔德滤子分析变换下对象的像，特别关注 $ \Gamma^0_{b'}(E) $ 在某些情形下的消失性。
• 建立变换保持双重倾斜结构，从而诱导形如 $ \mathcal{A}_{m\ell,b\ell} $ 的阿贝尔范畴之间的等价。
• 利用中心荷 $ Z_{\alpha} $ 及其在傅里叶-穆凯伊作用下的变换，通过中心荷虚部验证所需的不等式。

实验结果

研究问题

• RQ1 主极化阿贝尔三倍体（Picard秩为一）上倾斜稳定对象是否满足强波戈莫洛夫-吉泽克不等式？
• RQ2 非平凡的傅里叶-穆凯伊变换是否能在导出范畴中诱导层的双重倾斜之间的等价？
• RQ3 上同调傅里叶-穆凯伊变换在阿贝尔三倍体上同调上如何作用？是否可表示为矩阵形式？
• RQ4 中心荷 $ Z_{\alpha} $ 在傅里叶-穆凯伊变换作用下行为如何？是否保持稳定性所需的符号条件？
• RQ5 能否利用 $ \Gamma^0_{b'}(E) $ 的消失性导出矛盾，从而确认中心荷中严格不等式的成立？

主要发现

• 主极化阿贝尔三倍体（Picard秩为一）上倾斜稳定对象满足强波戈莫洛夫-吉泽克不等式。
• 非平凡的傅里叶-穆凯伊变换属于 $ (X \times \widehat{X}) \rtimes \widetilde{\mathrm{SL}(2,\mathbb{Z})} $，在层的双重倾斜之间诱导等价，保持阿贝尔范畴结构。
• 在适当扭曲的陈特征下，上同调傅里叶-穆凯伊变换在 $ H^{2*}(X,\mathbb{Q}) $ 上表现为反对角矩阵，从而实现数值控制。
• 中心荷虚部 $ \operatorname{Im} Z_{m'\ell,b'\ell}(\Gamma^0_{b'}(E)) $ 对非零 $ \Gamma^0_{b'}(E) $ 严格为负，确认了所需的不等式。
• 在矛盾假设下，$ E $ 的谱序列退化，导致 $ \Gamma^0_{b'}(E) = 0 $，该结果被用于证明严格不等式。
• 建立了等价关系 $ \Gamma[1](\mathcal{A}_{m\ell,b\ell}) \cong \mathcal{A}_{m'\ell,b'\ell} $，确认变换保持稳定性条件心的结构。