[论文解读] K3 categories, one-cycles on cubic fourfolds, and the Beauville-Voisin filtration

Junliang Shen, Qizheng Yin|arXiv (Cornell University)|Dec 19, 2017

Algebraic Geometry and Number Theory参考文献 29被引用 5

一句话总结

本文在立方四fold $Y$ 的 Chow 群 $\mathrm{CH}_1(Y)$ 上引入了一个滤子，提出了 $K3$ 类别中 O'Grady 的层/循环对应关系的非交换类比。它验证了在低次有理曲线上支持的层的猜想，并在非交换 $K3$ 类别 $\mathcal{A}_Y$ 的稳定对象模空间上构造了 Beauville–Voisin 滤子，证明了代数上共轭子簇的存在性。

ABSTRACT

We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov's noncommutative $K3$ category associated to a nonsingular cubic 4-fold. By introducing a filtration on the $\mathrm{CH}_1$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category $\mathcal{A}_Y$. This is a noncommutative analog of O'Grady's conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sheaves supported on low degree rational curves. Our method provides systematic constructions of (a) the Beauville-Voisin filtration on the $\mathrm{CH}_0$-group and (b) algebraically coisotropic subvarieties of a holomorphic symplectic variety which is a moduli sace of stable objects in $\mathcal{A}_Y$.

研究动机与目标

• 将 O'Grady 对 $K3$ 曲面的导出类别中的层/循环对应关系推广到立方四fold 关联的非交换 $K3$ 类别。
• 为非奇异立方四fold $Y$ 构造 $\mathrm{CH}_1(Y)$ 上的滤子，作为猜想 0.1 中 $K_0(\mathcal{A}_Y)$-滤子的候选。
• 验证支持在 $Y$ 中低次有理曲线上层的猜想层/循环对应关系。
• 系统地构造 $\mathcal{A}_Y$ 中稳定对象模空间 $M$ 的 $\mathrm{CH}_0(M)$ 上的 Beauville–Voisin 滤子。
• 利用 Fano 直线族上的几何结构，通过滤子构造此类模空间中的代数上共轭子簇。

提出的方法

• 通过 $Y$ 上直线的 Fano 族 $F$ 中的特殊直线与典范直线，引入 $\mathrm{CH}_1(Y)$ 上的滤子 $S_\bullet(Y)$，其中 $S_i(Y)$ 由 $i$ 条直线的和与 $\mathbb{Z}$-倍的典范类生成。
• 通过有理映射 $q: B \to F$ 定义从 Fano 族 $F$ 到 $Y$ 的对应关系 $[P]_*$，其中 $B$ 是具有扭点的椭圆曲面，诱导出 $F$-常循环曲线。
• 利用 cycle 类映射 $\mathrm{cl}_Y: \mathrm{CH}^i(Y)_\mathbb{Q} \to H^{2i}(Y,\mathbb{Q})$ 及其在 $i \neq 3$ 时的单射性，将陈特征类与 cycle 类关联。
• 构造对应关系 $R \subset M \times B^{(d)}$，其中 $M$ 是 $\mathcal{A}_Y$ 中稳定对象的模空间，并定义 $R_0$ 为在 $M$ 与 $B^{(d)}$ 上均具有满射且一般有限的投影的分量。
• 利用 $M$ 上的非退化全纯辛形式及其通过 $p_M$ 与 $p_{B^{(d)}}$ 的拉回，结合 Mumford 定理，确保纤维类为 $F$-常循环。
• 应用 $B$ 上椭圆曲线的扭结构，证明 $F$-常循环子簇的稠密性，从而实现代数上共轭子簇的构造。

实验结果

研究问题

• RQ1 对于与立方四fold $Y$ 关联的非交换 $K3$ 类别 $\mathcal{A}_Y$，是否存在类似于 O'Grady 的层/循环对应关系？
• RQ2 能否构造 $\mathrm{CH}_1(Y)$ 上的滤子，使得第 $i$ 个分量对应于满足 $d(\mathcal{E}) = i$ 的 $\mathcal{A}_Y$ 中的对象？
• RQ3 模空间 $M$ 的 $\mathrm{CH}_0(M)$ 上的 Beauville–Voisin 滤子如何从 $\mathrm{CH}_1(Y)$-滤子导出？
• RQ4 是否能从 Fano 族 $F$ 与椭圆曲面 $B$ 的几何结构中，在 $M$ 中构造出代数上共轭子簇？
• RQ5 椭圆曲线在 $B$ 上的扭结构在多大程度上确保了 $M$ 中 $F$-常循环子簇的稠密性？

主要发现

• 通过特殊直线与典范直线构造了 $\mathrm{CH}_1(Y)$ 上的滤子 $S_\bullet(Y)$，其中 $S_i(Y)$ 由 $i$ 条直线的和与 $\mathbb{Z}$-倍的典范类 $[H]^3$ 生成。
• 验证了猜想 0.1(b) 中关于层/循环对应关系的猜想，适用于 $Y$ 中度数 $\leq 3$ 的有理曲线上支持的层。
• cycle 类映射 $\mathrm{cl}_Y: \mathrm{CH}^i(Y)_\mathbb{Q} \to H^{2i}(Y,\mathbb{Q})$ 在 $i \neq 3$ 时是单射的，从而可将陈特征类与 cycle 类等同。
• $\mathcal{A}_Y$ 中稳定对象模空间 $M$ 在 $\mathrm{CH}_0(M)$ 上具有 Beauville–Voisin 滤子，该滤子通过 $c_3: K_0(\mathcal{A}_Y) \to \mathrm{CH}_1(Y)$ 拉回 $S_\bullet(Y)$-滤子构造而成。
• 存在分量 $R_0 \subset R \subset M \times B^{(d)}$，其在 $M$ 与 $B^{(d)}$ 上的投影均为满射且一般有限，从而保证 $p_M$ 的纤维为 $F$-常循环子簇。
• 利用 $B$ 上椭圆曲线的扭结构，构造了 $M$ 中的代数上共轭子簇，其稠密性由 $B$ 中的多节曲线 $C \subset B$ 与 $\mathrm{CH}_0(g^{-1}(t))$ 中的扭点的存在性所保证。