Stability conditions and moduli spaces on the Kuznetsov component of cubic fivefolds

技术摘要：三次五重胞形的 Kuznetsov 分量的稳定性条件与模空间

问题陈述
本文研究了光滑三次五重胞形 $Y \subset \mathbb{P}^6$ 的 Kuznetsov 分量 $\text{Ku}(Y)$ 上 Bridgeland 稳定性条件的构造。虽然对于曲线、曲面以及各种 Fano 三重胞形，稳定性条件已被建立，但在更高维度的簇上存在稳定性条件的问题在很大程度上仍是开放性的。具体而言，三次五重胞形的 Kuznetsov 分量是一个分数维 Calabi–Yau 范畴，其维度为 $7/3$，在这种情形下，标准的 Serre 不变稳定性条件唯一性判据（通常适用于维度 $\leq 2$ 的情况）并不直接适用。本文旨在构造 $\text{Ku}(Y)$ 上的一族连续的 Serre 不变稳定性条件，分析其相关的模空间，并探讨将这些模空间限制在超平面截面（三次四重胞形）上的几何意义。

方法论
该方法依赖于从三次五重胞形到通过二次曲面纤维化实现的非交换射影空间的几何归约。

1. 几何设置与嵌入：

   • 作者利用了每个光滑三次五重胞形都包含一个平面 $\Pi_0$ 的事实。对 $\Pi_0$ 进行吹胀得到一个二次曲面纤维化 $\pi: \widetilde{Y} \to \mathbb{P}^3$。
   • 通过比较由 Orlov 吹胀公式和 Kuznetkov 二次曲面纤维化公式导出的 $D^b(\widetilde{Y})$ 的半正交分解 (SOD)，本文建立了等价关系 $\text{Ku}(Y) \simeq \text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$，其中 $\text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$ 是关于 $\mathbb{P}^3$ 上偶 Clifford 代数 $\mathcal{C}_0$ 的导出范畴的 Kuznetsov 分量。
   • 这种嵌入使得问题可以转移到更易处理的 $D^b(\mathbb{P}^3, \mathcal{C}_0)$ 的设定中。

2. 稳定性条件的构造：

   • 倾斜稳定性 (Tilt Stability)： 作者通过证明非交换 $\mathbb{P}^3$ 上 $\mu_h$-半稳定层满足一种 Bogomolov–Gieseker 型不等式，从而在 $D^b(\mathbb{P}^3, \mathcal{C}_0)$ 上构造了一族倾斜稳定性条件。这涉及一个关于基底维度和 Clifford 模秩的仔细归纳过程，特别关注了秩约束与三重胞形情形不同的曲面情形 ($m=2$)。
   • 限制 (Restriction)： 利用 [BLMS23] 中的限制判据，将这些稳定性条件限制在例外对象 $\mathcal{C}_1$ 和 $\mathcal{C}_2$ 的正交补上，从而得到 $\text{Ku}(Y)$ 上的稳定性条件族 $\sigma'_{\beta, \alpha}$。

3. Serre 不变性与 Gepner 型条件：

   • 本文证明了构造出的稳定性条件是 Serre 不变的。这是通过分析旋转算子（与与 $\mathcal{C}_1$ 结合相关）对倾斜心 (tilted hearts) 的作用来实现的。
   • 在 $\widetilde{\text{GL}}^+_2(\mathbb{R})$-轨道中确定了一个特定的稳定性条件 $\sigma_Y$，使得 Serre 算子表现为 $7/3$ 的相位平移。这证实了存在针对对 $(\mathcal{O}, 2/3)$ 的 Gepner 型稳定性条件，验证了 [Tod16, Conjecture 1.1] 的一个情形。

4. 模空间与拉格朗日浸入：

   • 非空性： 利用扩展引理和受 [LLPZ26] 启发的格理论论证，本文证明了对于每个非零数值类 $v$，Bridgeland 模空间 $M_{\sigma_Y}(\text{Ku}(Y), v)$ 是非空的。
   • 光滑性与限制： 对于原初类 (primitive classes)，识别出了一个光滑开集。作者展示了对于一般的三次五重胞形 $Y$ 以及非常一般的超平面截面 $X$（一个三次四重胞形），限制映射诱导了一个从 $Y$ 上的模空间到 $X$ 上的模空间的有理映射。
   • 拉格朗日几何： 该限制映射的像被证明是与三次四重胞形相关的超凯勒 (hyper-Kähler) 簇中的一个拉格朗日子簇。

主要贡献与结果

• 定理 1.1： 为光滑三次五重胞形 $\text{Ku}(Y)$ 上的连续一族 Serre 不变 Bridgeland 稳定性条件建立了存在性。这些条件构成一个单一的 $\widetilde{\text{GL}}^+_2(\mathbb{R})$-轨道，其中包含一个 Gepner 型条件，在该条件下 Serre 算子将相位平移 $7/3$。
• 定理 1.3： 将平面 Fano 曲面 $F_2(Y)$ 识别为模空间 $M_{\sigma_Y}(\text{Ku}(Y), \kappa_1)$ 的一个连通分支。进一步证明了对一般三次四重胞形 $X$ 的限制诱导了一个拉格朗日浸入 $F_2(Y) \hookrightarrow F_1(X)$，从范畴视角恢复了 Illiev–Manivel 的几何构造。
• 定理 1.4： 将结果推广到高维模空间。对于任何非零数值类 $v$，模空间是非空的。对于原初类 $v$，存在一个光滑局部，在该局部上限制到一般三次四重胞形保持稳定性，从而诱导向对应于 $X$ 上的超凯勒簇的拉格种浸入。
• 数值格 (Numerical Lattice)： 本文计算了 $\text{Ku}(Y)$ 的数值 Grothendieck 群，表明其秩为 2 并具有特定的 Euler 配对矩阵，并描述了 Serre 算子和旋转算子在这一格上的作用。

意义

本文将稳定性条件和模空间理论从三次三重胞形和四重胞形扩展到了三次五重胞形。其主要意义在于：

1. 存在性： 提供了首次在三次五重胞形（一种高维 Fano 簇）的 Kuznetsov 分量上构造稳定性条件的方法。
2. Gepner 型条件： 证实了对于维度为 $7/3$ 的分数维 Calabi–Yau 范畴存在 Gepner 型稳定性条件，这超出了以往唯一性判据的范围。
3. 几何实现： 为理解三次五重胞形的平面 Fano 曲面及其与三次四重胞形之直线 Fano 簇的关系提供了一个新的范畴化框架。
4. 拉格朗日子簇： 生成了一类新的 K3$[n]$ 型超凯勒子簇，扩展了此前关于三次四重胞形和 Gushel–Mukai 簇的研究工作。

这项工作高度依赖于二次曲面纤维化的几何、Clifford 代数的表示论以及稳定性条件的形变理论之间的相互作用，架起了经典代数几何与现代导出范畴技术之间的桥梁。