[论文解读] A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Michael K. Brown, Mahrud Sayrafi|arXiv (Cornell University)|Aug 1, 2022

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文使用 Weyman 几何技巧的一种变体，为 Picard 秩为 2 的光滑射影 toric 代数簇构造了对角线的短解析式，通过由有限个线丛直和构成的长度为 $\dim X$ 的线性复形，解析了 $X \times X$ 上的结构层。关键贡献在于证明了 Berkesch–Erman–Smith 关于虚拟解析式的猜想的新情形，并建立了此类簇上向量丛的 Horrocks 型分裂准则。

ABSTRACT

Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X imes X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.

研究动机与目标

• 为 Picard 秩为 2 的光滑射影 toric 代数簇 $X$ 构造 $X \times X$ 上对角线层的短、线性解析式。
• 在交换代数中证明 Berkesch–Erman–Smith 关于虚拟解析式的猜想的新情形。
• 为 Picard 秩为 2 的光滑射影 toric 代数簇上的向量丛建立 Horrocks 型分裂准则。
• 为这一情形下导范畴的 Rouquier 维数提供一个新证明。

提出的方法

• 使用 Weyman 几何技巧的一种变体，在 $X \times X$ 的 Cox 环上构建自由解析式。
• 通过一个以 $\mathbb{F}_{a_s}$ 为纤维的 toric 纤维丛 $E$ 对定义对角线的关系 $x_i - x'_i$ 进行齐次化。
• 将解析式构造为在 $E$ 上对齐次化关系的扭曲 Koszul 复形的推出。
• 确保所得复形 $R$ 为线性复形，长度为 $\dim X = r + s$，其项由有限个线丛直和构成。
• 利用 Cox 环的分次结构以及 $M_{r-e,s-f}$ 中单项式的组合性质，控制上同调的消去。
• 应用谱序列技术分析导范畴，并通过 BGG 型复形的消去性证明分裂准则。

实验结果

研究问题

• RQ1 能否为 Picard 秩为 2 的光滑射影 toric 代数簇构造一个短解析式，使得其项为有限个线丛的直和，且长度等于 $\dim X$？
• RQ2 此类解析式的存在是否意味着这些簇上 Berkesch–Erman–Smith 关于虚拟解析式的猜想成立？
• RQ3 能否在此设定下建立向量丛的 Horrocks 型分裂准则？
• RQ4 此解析式是否蕴含 Orlov 关于 $\operatorname{D}^b(X)$ 的 Rouquier 维数的猜想？
• RQ5 nef 顺序在分裂准则中起什么作用？为何在有效顺序下会失效？

主要发现

• 构造了 $X \times X$ 上对角线层 $\mathcal{O}_\Delta$ 的解析式 $\mathcal{R}$，其为长度 $\dim X = r + s$ 的复形，项为有限个线丛的直和。
• 该解析式为线性复形，且在正度上精确，满足 $\operatorname{rank} R_n = \binom{r+s}{n} \dim_k H^0(\mathbb{F}_{a_s}, \mathcal{O}(r,s))$，且 $\operatorname{rank} R_n = \operatorname{rank} R_{r+s-n}$。
• 该解析式证明了 Berkesch–Erman–Smith 的猜想 1.2 对于 Picard 秩为 2 的光滑射影 toric 代数簇成立，表明 Cox 环上每个有限生成分次模都有长度不超过 $\dim X$ 的虚拟解析式。
• 建立了 Horrocks 型分裂准则：$X$ 上的向量丛 $\mathcal{E}$ 当且仅当 $\mathbf{B}(\mathcal{E})_1 = 0$ 时可分解为线丛的直和，其中 $\mathbf{B}(\mathcal{E})_1$ 是 BGG 型谱序列的第一页。
• 该解析式为 Orlov 关于 $\operatorname{D}^b(X)$ 的 Rouquier 维数的猜想提供了新证明，表明其等于 $\dim X$，适用于 Picard 秩为 2 的光滑射影 toric 代数簇。
• 在有效顺序下证明失败，原因在于某些 Hirzebruch 曲面上的线丛 $\mathcal{O}(a,-1)$ 满足 $\mathbf{B}(\mathcal{O}(a,-1))_1 \neq 0$，这凸显了使用 nef 顺序的必要性。