[论文解读] A simple counterexample to the Jordan-Hölder property for derived categories

Alexander Kuznetsov|arXiv (Cornell University)|Apr 3, 2013

Algebraic structures and combinatorial models参考文献 3被引用 15

一句话总结

本文通过将邦达尔的图代数实现为 $\mathbb{P}^3$ 的一次Blowup的导出范畴中的一个半正交分量，构造了光滑射影概形导出范畴中乔丹-霍尔德性质的一个简化反例。关键结果表明，存在两种不同的半正交分解，其分量非同构，从而违反了乔丹-霍尔德性质所要求的唯一性（至多置换分量）。

ABSTRACT

A counterexample to the Jordan-Hölder property for semiorthogonal decompositions of derived categories of smooth projective varieties was constructed by Böhning, Graf von Bothmer and Sosna. In this short note we present a simpler example by realizing Bondal's quiver in the derived category of a blowup of the projective space.

研究动机与目标

• 为光滑射影概形导出范畴的乔丹-霍尔德性质提供一个更简单的反例。
• 证明导出范畴的半正交分解在分量置换意义下不唯一。
• 将邦达尔的图代数实现为 $\mathbb{P}^3$ 的一次Blowup的导出范畴中的子范畴。
• 证明该Blowup的导出范畴不满足乔丹-霍尔德性质。

提出的方法

• 沿一条具有法丛 $\mathcal{O}_C(-1) \oplus \mathcal{O}_C(-2)$ 的有理曲线 $C$ 对 $\mathbb{P}^3$ 进行Blowup，得到 $Y$。
• 将导出范畴 $\mathbf{D}(Y)$ 识别为包含例外对象 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$ 的半正交分解。
• 将邦达尔图的路径代数（关系为 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$）实现为这些对象的自同态代数。
• 利用伴随函子与上推导技术，识别例外除子上结构层与线丛上推导的层之间的 Hom 与 Ext 群。
• 证明乘法映射 $m: \mathop{\mathsf{Hom}}({\mathcal{O}}_X, i_*{\mathcal{O}}_E(1,0)) \otimes \mathop{\mathsf{Ext}}^1(i_*{\mathcal{O}}_E(1,0), j_*{\mathcal{O}}_C(-3)) \to \mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ 具有非平凡核。
• 通过将映射嵌入 $\mathop{\mathsf{Ext}}^1$ 中的求值映射与 $\mathcal{O}_C(-1)$ 的消影性，证明 $m(\alpha_i \otimes \beta_i)$ 的线性无关性。

实验结果

研究问题

• RQ1 能否在光滑射影概形的导出范畴中构造一个更简单的乔丹-霍尔德性质反例？
• RQ2 对 $\mathbb{P}^3$ 的Blowup的导出范畴是否允许存在分量非同构的半正交分解？
• RQ3 邦达尔的图代数能否作为几何导出范畴中的全子范畴被实现？
• RQ4 导出范畴的 Ext 代数中的乘法映射是否非退化，从而违反乔丹-霍尔德性质？
• RQ5 在图的几何实现中，关系 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$ 是否成立？

主要发现

• 沿具有法丛 $\mathcal{O}_C(-1) \oplus \mathcal{O}_C(-2)$ 的有理曲线 $C$ 对 $\mathbb{P}^3$ 进行Blowup所得概形 $Y$ 的导出范畴 $\mathbf{D}(Y)$ 不满足乔丹-霍尔德性质。
• 对象 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$ 的自同态代数同构于关系为 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$ 的邦达尔图的路径代数。
• 乘法映射 $m$ 在 $\alpha_1 \otimes \beta_2$ 和 $\alpha_2 \otimes \beta_1$ 上为零，但在 $\alpha_1 \otimes \beta_1$ 和 $\alpha_2 \otimes \beta_2$ 上非零且线性无关。
• $m(\alpha_i \otimes \beta_i)$ 的像在 $\mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ 中线性无关，从而证明了图结构的非退化性。
• $\mathbf{D}(Y)$ 存在两种不同的半正交分解，其分量非同构，从而违反了乔丹-霍尔德性质。
• 与博宁、格拉夫·冯·博特默及索斯纳的先前构造相比，该反例更简单，因其避免了高维或更复杂的几何设定。