[论文解读] Some remarks on Fano threefolds of index two and stability conditions

Laura Pertusi, Song Yang|arXiv (Cornell University)|Apr 6, 2020

Algebraic Geometry and Number Theory参考文献 38被引用 12

一句话总结

该论文证明了在贝里亚、拉霍兹、马克拉和斯捷拉构造的布里奇兰德稳定性条件作用下，极小线丛在法诺三倍曲面（Picard秩为1且指标为2）的库任科夫分量中是稳定的。它为希尔伯特空间中线的模空间提供了模解释，证明了立方三倍曲面非空模空间的光滑性，并描述了四次双曲面库任科夫分量的稳定性流形的一个连通分支。

ABSTRACT

We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on $\mathsf{Ku}(X)$.

研究动机与目标

• 通过贝里亚、拉霍兹、马克拉和斯捷拉构造的布里奇兰德稳定性条件，为法诺三倍曲面（Picard秩为1且指标为2）中线的希尔伯特空间提供模描述。
• 在立方三倍曲面的库任科夫分量中，建立稳定对象非空模空间的光滑性。
• 描述四次双曲面库任科夫分量的稳定性流形的一个连通分支。
• 证明当 $X$ 为立方三倍曲面时，库任科夫分量的 Serre 自同态保持相关轨道中的稳定性条件。
• 通过稳定性条件的性质，提供立方三倍曲面范畴 Torelli 定理的替代证明。

提出的方法

• 将库任科夫分量 $\operatorname{Ku}(X)$ 视为 $\operatorname{D}^b(X)$ 中 $\mathcal{O}_X$ 和 $\mathcal{O}_X(H)$ 的右正交补，其中 $H = -\frac{1}{2}K_X$。
• 将贝里亚、拉霍兹、马克拉和斯捷拉构造的稳定性条件 $\sigma(\alpha, \beta)$ 应用于库任科夫分量。
• 识别在 $\widetilde{\mathrm{GL}}^+_2(\mathbb{R})$ 作用下稳定性条件的轨道 $\mathcal{K}$，该轨道参数化了相关稳定性结构。
• 利用弱 Mukai 引理和 Serre 对偶性分析对象的稳定性，并推导出 $\hom^1$-维数的约束。
• 在 $\mathcal{K}$ 的边界上利用支撑性质和中心荷载退化性，排除严格半稳定的对象。
• 在 $\operatorname{Ku}(X)$ 中使用正合列的图表追逐法，在非平凡扩张假设下导出矛盾。

实验结果

研究问题

• RQ1 在所构造的稳定性条件下，法诺三倍曲面（指标为2）中线的理想层在库任科夫分量中是否稳定？
• RQ2 此类法诺三倍曲面中线的希尔伯特空间是否可实现为 $\operatorname{Ku}(X)$ 中稳定对象的模空间？
• RQ3 在 $\sigma \in \mathcal{K}$ 的稳定性条件下，立方三倍曲面 $\operatorname{Ku}(X)$ 中稳定对象的非空模空间是否保持光滑？
• RQ4 当 $X$ 为四次双曲面时，轨道 $\mathcal{K}$ 是否为 $\operatorname{Ku}(X)$ 稳定性流形中最大维数的连通分支？
• RQ5 当 $X$ 为立方三倍曲面时，$\operatorname{Ku}(X)$ 的 Serre 自同态是否保持 $\mathcal{K}$ 中的稳定性条件？

主要发现

• 对于指标为2且度数 $\neq 1$ 的法诺三倍曲面，线的希尔伯特空间 $\Sigma(X)$ 同构于库任科夫分量中类为 $[\mathcal{I}_\ell]$ 的 $\sigma$-稳定对象的模空间 $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$。
• 当 $X$ 的度数为1时，$\Sigma(X)$ 是 $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$ 的一个不可约分支。
• 对于立方三倍曲面，所有关于 $\sigma \in \mathcal{K}$ 的 $\operatorname{Ku}(X)$ 中稳定对象的非空模空间均为光滑。
• 当 $X$ 为立方三倍曲面时，$\operatorname{Ku}(X)$ 的 Serre 自同态保持轨道 $\mathcal{K}$ 中的稳定性条件。
• 对于四次双曲面，轨道 $\mathcal{K}$ 是 $\operatorname{Ku}(X)$ 稳定性流形中最大维数的连通分支。
• 通过 Serre 自同态保持 $\mathcal{K}$ 及对 $\mathcal{I}_\ell$ 和 $\mathcal{J}_\ell$ 的稳定性分析，重新证明了立方三倍曲面的范畴 Torelli 定理。