Derived category of coherent systems on curves and stability conditions

技术摘要：曲线上的相干系统导出范畴与稳定性条件

问题陈述
本文探讨了平滑射影曲线 $C$（亏格 $g > 0$）上相干层有界导出范畴 $D^b(C)$ 的 Bridgeland 稳定性条件的稀缺性问题。正如 [Mac07] 所确定的，在 $D^b(C)$ 上（在 $\widetilde{GL}^+(2, \mathbb{R})$-作用下模去后）的稳定性条件空间仅由一个点组成。这种刚性性阻碍了利用墙跳跃（wall-crossing）技术直接从 $D^b(C)$ 中提取几何信息（例如 Brill–Noether 理论）的可能性。以往的方法通常将曲线嵌入到高维簇（如 K3 曲面）中，以利用那里的墙跳跃技术，但这些方法会将注意力限制在特殊的曲线上，并且在推前（pushforward）过程中可能会丢失数据。

本研究提出了一种替代方案：保持曲线 $C$ 固定，但通过将范畴从相干层扩大为**相干系统（coherent systems）**来增强范畴。相干系统是一个三元组 $(V, E, \phi)$，其中 $V$ 是一个有限维向量空间，$E$ 是 $C$ 上的一个相干层，而 $\phi: \mathcal{O}_C \otimes V \to E$ 是一个层态射。作者研究了这些系统的有界导出范畴，记作 $D(T_C)$，并构造了该范畴上一个反映曲线 Brill–Noether 理论的稳定性条件开局部。

方法论
作者采用两种主要的构造来生成 $D(T_C)$ 上的稳定性条件：

1. 倾斜稳定性条件（Tilting Stability Conditions）： 类比于 Bridgeland 在曲面上的构造 [Bri08]，作者从自然的核 $T_C$ 出发，定义了一个斜率函数 $\mu(T) = \deg(E)/\text{rk}(E)$（针对秩不为零的对象）。通过在实参数 $b$ 处对阿贝尔范畴 $T_C$ 进行倾斜，他们构造了一个新的核 $A(b) = \langle \mathcal{F}_b[1], \mathcal{T}_b \rangle$。他们定义了一个涉及参数 $w$ 的在这一核上的稳定性函数 $Z_{b,w}$。这些稳定性条件的存在性受 Brill–Noether 函数 $\Phi_C(b)$ 控制，该函数定义为 $h^0(F)/\text{rk}(F)$ 的上极限（其中 $F$ 为斜率为 $b$ 的半稳定层）。稳定性条件存在于区域 $w > \Phi_C(b)$ 内。

2. 胶合稳定性条件（Gluing Stability Conditions）： 利用 $D(T_C)$ 的半正交分解（semiorthogonal decompositions）来胶合来自各分量的稳定性条件。

   • 第一类： 基于分解 $D(T_C) = \langle [\mathcal{O}_C \to 0], \perp[\mathcal{O}_C \to 0] \rangle$，其中正交分量等价于 $D(C)$。通过将向量空间分量上的平凡稳定性条件与 $D(C)$ 上的一个稳定性条件进行胶合。
   • 第二类： 基于分解 $D(T_C) = \langle \perp[\mathcal{O}_C \to \mathcal{O}_C], [\mathcal{O}_C \to \mathcal{O}_C] \rangle$。

作者通过使用二次型以及对中心荷（central charge）虚部的归纳法，严格验证了这些构造中的支撑性质（support property）和 Harder–Narasimhan 性质。

核心贡献与结果

• 稳定性条件的分类（定理 1.1 / 5.1）： 作者证明，在特定的开局部 $\text{Stab}^\circ(D(T_C))$ 中（该局部由对象 $[\mathcal{O}_C \to 0]$ 和对于所有 $x \in C$ 的 $[0 \to \mathcal{O}_x]$ 的稳定性所定义），任何稳定性条件 $\sigma$ 在 $\widetilde{GL}^+(2, \mathbb{R})$-作用下下，均为以下两种类型之一：

  • Type A： 一个胶合构造 $\text{gl}^{(1)}(\sigma_V, \sigma_g)$，其中 $D(C)$ 上的稳定性条件满足特定的相位约束（$f(0) < 1/2$）。
  • Type B： 一个由 $(b, w)$ 参数化的倾斜构造 $\sigma_{b,w}$，其中 $w > \Phi_C(b)$。
    这两个集合的交集非空且有明确描述。

• 稳定性流形的结构（推论 1.2 / 5.8）： 开局部 $\text{Stab}^\circ(D(T_C))$ 被描述为两个开集的并集 $U_A$ 和 $U_B$。$U_B$ 被识别为在群作用下 $\{b + iw \in \mathbb{C} \mid w > \Phi_C(b)\}$ 的区域，这表明稳定性流形直接受 Brill–Noether 函数 $\Phi_C$ 的控制。

• 墙-室分解与大体积极限（第 6 节）： 作者分析了 Type B 稳定性条件所在的二维切片内的墙-室结构。他们表明，当 $w \to \infty$（大体积极限）时，这些稳定性条件恢复了相干系统的经典 $\alpha$-稳定性概念（如 [LP93, BGPMN03] 所研究）。此外，利用稳定性区域的凸性，他们导出了使用 $\mu_\alpha$-半稳定对象的 Bogomolov 型不等式。

• 第二个开局部（定理 1.3 / 7.1）： 论文描述了第二个开局部 $\widetilde{\text{Stab}}^\circ(D(T_C))$，其中 $[0 \to \mathcal{O}_C]$ 和 $[0 \to \mathcal{O}_x]$ 是稳定的。他们证明，该局部中的稳定性条件要么是 Type A（胶合）类型，要么是第二种胶合类型 $\text{gl}^{(2)}(\sigma_g, \sigma_V)$，其相位约束为 $f(0) \geq 1/2$。

意义
本文确立了曲线上的相干系统导出范畴提供了一个自然的框架，用于定义一个丰富的稳定性条件空间，该空间编码了曲线的 Brill–Noether 理论。与曲线自身的相干层导出范畴（其不具备稳定性变形）不同，$D(T_C)$ 允许存在一个二维的稳定性条件族。该稳定性流形的几何结构与曲线的 Brill–Noether 函数 $\Phi_C$ 紧密相关。

作者指出，这项工作为在二维切片中应用墙跳跃技术以研究曲线上的向量丛的 Brill–Noether 理论以及评价映射核的稳定性（Butler 猜想）奠定了基础，这些内容将在后续工作中进行讨论。研究结果还联系了涉及 Fano 三维流形吹胀的 Kuznetsov 分量的最新进展 [AK25]，将相干系统范畴与这些分量相联系。