[论文解读] Stability conditions on product varieties

Yucheng Liu|arXiv (Cornell University)|Jul 22, 2019

Algebraic Geometry and Number Theory参考文献 21被引用 6

一句话总结

该论文在假设 $D(X)$ 上给定稳定性条件的中心荷量具有离散像的前提下，为任意光滑射影代数簇 $X$ 与光滑曲线 $C$ 的乘积 $X \times C$ 的导出范畴构造了一个连续的布里吉兰德稳定性条件族。该构造依赖于阿布拉莫维奇-波利什丘克心上的弱稳定性条件与正性引理，最终证明了在任意维数的椭圆曲线乘积（包括卡拉比-丘流形）上存在稳定性条件。

ABSTRACT

Given a stability condition on a smooth projective variety $X$, we construct a family of stability conditions on $X imes C$, where $C$ is a smooth projective curve. In particular, this gives the existence of stability conditions on arbitrary products of curves. The proof uses, by following an idea of Toda, the positivity lemma established by Bayer and Macrì and weak stability conditions on the Abramovich-Polishchuk heart of a bounded t-structure in $D(X imes C)$.

研究动机与目标

• 在 $X$ 为任意光滑射影代数簇且 $C$ 为光滑射影曲线的条件下，建立 $X \times C$ 的导出范畴上布里吉兰德稳定性条件存在的证明。
• 将已知的关于曲线与曲面的稳定性结果推广至更高维代数簇，特别是涉及曲线的乘积。
• 通过聚焦于椭圆曲线的乘积，解决卡拉比-丘流形（维度 $\geq 4$）上构造稳定性条件这一长期悬而未决的难题。
• 通过二次不等式，将波戈莫洛夫-吉泽克不等式推广至任意维数的乘积代数簇。
• 提出一种系统化方法，通过塔结构与多项式中心荷量，将 $D(X)$ 上的稳定性条件提升至 $D(X \times C)$。

提出的方法

• 利用阿布拉莫维奇-波利什丘克构造，在 $D(X \times C)$ 上构造一个全局的有界塔结构的心。
• 基于 $D(X)$ 上原始稳定性条件导出的多项式中心荷量，在该心上定义弱稳定性条件。
• 应用贝亚尔与马克拉依的正性引理，建立弱稳定性条件下稳定对象的二次不等式。
• 通过中心荷量虚部的归纳法，证明更强的二次不等式，从而蕴含支撑性质。
• 通过在有理参数附近有界中心荷量的变化，证明稳定性条件族在 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 上的连续性。
• 利用中心荷量的离散像与有理逼近，将构造从有理参数推广至实参数。

实验结果

研究问题

• RQ1 在给定 $D(X)$ 上存在稳定性条件的前提下，是否可对任意光滑射影代数簇 $X$ 与光滑射影曲线 $C$ 的 $D(X \times C)$ 构造稳定性条件？
• RQ2 所构造的 $D(X \times C)$ 上的稳定性条件是否满足支撑性质，从而确保连续族的存在？
• RQ3 该构造能否推广至任意曲线的乘积，包括维度 $\geq 4$ 的卡拉比-丘流形？
• RQ4 波戈莫洛夫-吉泽克不等式是否可推广至任意维数的乘积代数簇？
• RQ5 在 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 参数空间中，中心荷量的行为如何？连续性是否成立？

主要发现

• 在给定 $D(X)$ 上的稳定性条件具有离散中心荷量像的前提下，为任意光滑射影代数簇 $X$ 与光滑曲线 $C$ 的 $D(X \times C)$ 构造了一个以 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 为参数空间的连续稳定性条件族。
• 该构造依赖于阿布拉莫维奇-波利什丘克心上的弱稳定性条件与正性引理，推导出蕴含支撑性质的二次不等式。
• 通过比初始构造中更强的二次不等式进行归纳验证，确保了支撑性质的成立，从而保证了稳定性条件的良好行为。
• 该方法将波戈莫洛夫-吉泽克不等式推广至任意维数的乘积代数簇，为 $D(X \times C)$ 中的稳定对象提供了新的不等式。
• 该构造证明了对任意光滑射影曲线 $C_1, \dots, C_n$，$D(C_1 \times \cdots \times C_n)$ 上存在稳定性条件，包括椭圆曲线乘积作为卡拉比-丘流形的实例。
• 映射 $\eta: \text{RStab}(X) \times \mathbb{R}_{>0} \times \mathbb{R}_{>0} \to \text{Stab}(X \times C)$ 是连续的，确认了该族稳定性条件定义良好且对小参数扰动稳定。