[论文解读] On nonexistence of semi-orthogonal decompositions in algebraic geometry

Xun Lin|arXiv (Cornell University)|Jul 20, 2021

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

一句话总结

本文通过引入与 canonical bundle 数值等价的线丛基点的交集，建立了一个关于光滑射影概形的导出范畴中不存在非平凡半正交分解的新判据。证明了若该交集子簇 $Z = \mathsf{PBs}|\omega_X|$ 为空或零维，则导出范畴 $D(X)$ 是不可分解的。该结果被应用于亏格 $g \geq 2$ 的曲线的对称积 $S^iC$（$i \leq g-1$），以及某些椭圆纤维空间和一般型曲面，确认了其不可分解性。此外，还推导出在 Bridgeland 稳定性下，标准层相位的不等式。

ABSTRACT

The nonexistence of semi-orthogonal decompositions in algebraic geometry is known to be governed by the base locus of the canonical bundle. We study another locus, namely the intersection of the base loci of line bundles that are isomorphic to the canonical bundle in the Néron-Severi group, and show that it also governs the nonexistence of semi-orthogonal decompositions. As an application by using algebraically moving techniques, we prove that the bounded derived category of the $i$-th symmetric product of a smooth projective curve $C$ has no nontrivial semi-orthogonal decompositions when the genus $g(C)\geq 2$ and $i\leq g(C)-1$. We prove indecomposability of derived categories of some examples of elliptic surfaces with $P_{g}(X)=0$, and some natural examples of minimal surfaces of general type. Finally, an inequality involving phases of skyscraper sheaves for any Bridgeland stability condition is obtained.

研究动机与目标

• 开发光滑射影概形的导出范畴中不存在非平凡半正交分解的新数值判据。
• 通过聚焦于 Néron-Severi 群中与 $\omega_X$ 数值等价的线丛基点的交集，而非完整的 Picard 群，推广先前的结果。
• 证明当 $g(C) \geq 2$ 且 $i \leq g-1$ 时，曲线 $C$ 的 $i$-阶对称积 $S^iC$ 的导出范畴 $D(S^iC)$ 以及某些椭圆纤维空间和一般型曲面的导出范畴是不可分解的。
• 在任意 Bridgeland 稳定性条件下，建立标准层 HN 分解因子相位差的普遍不等式。

提出的方法

• 引入子簇 $Z = \mathsf{PBs}|\omega_X| := \bigcap_{L \in \mathrm{Pic}^0(X)} \mathsf{Bs}|\omega_X \otimes L|$，即所有与 $\omega_X$ 数值等价的线丛的基点的交集。
• 证明任意半正交分解 $D(X) = \langle \mathcal{A}, \mathcal{B} \rangle$ 必须满足：所有对象在某一子范畴中被支持于 $Z$，而对任意 $x \notin Z$，标准层 $k(x)$ 必须完全位于某一子范畴中。
• 使用代数移动技巧分析在族中变形时基点的行为，特别是针对对称积和椭圆纤维化情形。
• 将理论应用于特定类型：曲线的对称积、 $P_g = 0$ 的椭圆纤维空间，以及 $P_g = q = 1$、$K^2 = 2$ 或 $3$ 的最小一般型曲面，证明此时 $Z$ 为空或零维。
• 利用 $\mathrm{Pic}^0$-线丛张量下 HN 分解的保持性，推导 Bridgeland 稳定性条件下的相位不等式。
• 证明：对任意 $x \in X \setminus Z$，标准层 $k(x)$ 的连续 HN 分解因子之间的相位差满足 $\phi_i - \phi_{i+1} \leq \dim X - 1$。

实验结果

研究问题

• RQ1 在 canonical bundle 基点满足何种条件时，导出范畴 $D(X)$ 不允许存在非平凡半正交分解？
• RQ2 该非存在性判据能否从 $|\omega_X|$ 的基点推广至所有 $\omega_X \otimes L$（$L \in \mathrm{Pic}^0(X)$）的基点交集？
• RQ3 当 $g(C) \geq 2$ 且 $i \leq g(C)-1$ 时，曲线 $C$ 的 $i$-阶对称积 $S^iC$ 的导出范畴是否允许非平凡半正交分解？
• RQ4 具有 $P_g = 0$ 的最小椭圆纤维空间和具有 $P_g = q = 1$ 的某些一般型曲面的导出范畴是否不可分解？
• RQ5 在任意 Bridgeland 稳定性条件下，标准层 HN 分解因子的相位差是否存在普遍界？

主要发现

• 对于亏格 $g(C) \geq 2$ 且 $i \leq g(C)-1$ 的光滑射影曲线 $C$，其对称积 $S^iC$ 的导出范畴 $D(S^iC)$ 不允许存在非平凡半正交分解。
• 对于 Kodaira 维数为 1、$P_g(X) = 0$、$q(X) = 1$、$g(C) = 1$ 且 $\deg L = 0$ 的最小椭圆纤维空间 $X$，其导出范畴 $D(X)$ 是不可分解的。
• 具有 $P_g = q = 1$ 且 $K^2 = 2$ 或 $3$ 的最小一般型曲面的导出范畴是不可分解的。
• 交集基点 $Z = \mathsf{PBs}|\omega_X|$ 决定不可分解性：若 $Z$ 为空或零维，则 $D(X)$ 不允许存在非平凡半正交分解。
• 在 $D(X)$ 的任意 Bridgeland 稳定性条件下，对任意 $x \notin Z$，标准层 $k(x)$ 的连续 HN 分解因子之间的相位差满足 $\phi_i - \phi_{i+1} \leq \dim X - 1$。
• 结果表明，$\omega_X$ 在 $NS(X)$ 中的数值类，而非完整的 $Pic(X)$，控制着导出范畴的不可分解性，从而在数值几何与同调代数之间建立了桥梁。