A smooth projective counterexample to Bondal-Polishchuk's conjecture

技术摘要：一个关于 Bondal-Polishchuk 猜想的平滑射影反例

问题陈述
本文探讨了由 Bondal 和 Polishchuk 在 1993 年提出的关于光滑射影簇 $X$ 的导出范畴 $D^b(X)$ 结构的猜想。该猜想认为，由变型（mutations）生成的编织群 $B_n$ 在长度为 $n$ 的全例外集（full exceptional collections）集合上的作用是传递的（在独立平移对象的情况下）。虽然这一传递性在 del Pezzo 曲面、第二埃尔米特曲面以及某些 Fano 三维流形中已被证实，但对于是否能在光滑射影簇 $D^b(X)$ 的特定语境下存在反例，此前仍是一个悬而未决的问题。Chang、Haiden 和 Schroll 此前的反例是在部分包裹 Fukaya 范畴（或分次 gentle 代数的导出范畴）领域构造的，但在 $D^b(X)$ 形式下的反例尚属空白。

方法论与策略
作者采用了 Chang、Haiden 和 Schroll 建议的一种策略，该策略依赖于通过一个固定自等价（autoequivalence）的作用来区分编织群轨道。其核心逻辑框架建立在引理 2.1 中：

1. 令 $X$ 为一个光滑射项目标簇，$\mathcal{E} = (E_1, \dots, E_n)$ 为一个全例外集。
2. 假设存在一个自同构 $f \in \text{Aut}(X)$，它固定了集合中的每一个对象 $E_i$（在同构意义下）。
3. 假设存在一个球面对象 $S \in D^b(X)$，使得球面扭转（spherical twist）$T_S$ 作用于该集合后得到一个新的集合 $T_S(\mathcal{E})$。
4. 如果 $f^*(T_S(\mathcal{E}))$ 与 $T_S(\mathcal{E})$ 不同构（在平移意义下），那么 $\mathcal{E}$ 与 $T_S(\mathcal{E})$ 不在同一个编织群轨道内。

证明过程通过构造一个特定的簇 $X$、一个例外集 $\mathcal{E}$、一个自同构 $f$ 以及一个球面对象 $S$，以满足上述条件。

构造
该反例通过以下几何步骤进行构造：

• 基曲面： 作者首先在 $\mathbb{P}^2$ 上选取六个处于一般位置的点 $p_1, \dots, p_6$。对这些点进行吹胀得到一个度数为 3 的 del Pezzo 曲面 $S$，该曲面作为光滑三次曲面嵌入到 $\mathbb{P}^3$ 中。
• 自反函数： 在 $\mathbb{P}^2$ 上定义一个自反函数（involution）$\phi \in \text{PGL}(3, \mathbb{C})$，映射为 $[x:y:z] \mapsto [x:y:-z]$。该自反函数保持这六个点集、圆锥曲线 $C = \{x^2+y^2+z^2=0\}$ 以及 $S$ 嵌入中的两条特定直线 $\ell_1$ 和 $\ell_2$ 不变（或交换它们）。
• 簇 $X$： 簇 $X$ 被定义为沿圆锥曲线 $C$（记作 $C \subset S \subset \mathbb{P}^3$）的严格变换进行 $\mathbb{P}^3$ 吹胀后的结果。$X$ 是一个光滑射影三维簇。作者指出，$X$ 是弱 Fano（weak Fano）而非 Fano 簇。
• 例外集 $\mathcal{E}$： 利用 Orlov 的吹胀公式，在 $X$ 上构造了一个 6 项全例外集 $\mathcal{E}$。该集合是通过结合 $\mathbb{P}^3$ 上的标准 Beilinson 集合与曲线 $C \cong \mathbb{P}^1$ 上的集合而构成的。
• 球面对象： $X$ 中直线 $\ell_1$ 和 $\ell_2$ 的严格变换，记作 $\tilde{\ell}_1$ 和 $\tilde{\ell}_2$，被证明是具有法丛 $\mathcal{O}_{\mathbb{P}^1}(-1) \oplus \mathcal{O}_{\mathbb{P}^1}(-1)$ 的光滑有理曲线。因此，对象 $S_j = \mathcal{O}_{\tilde{\ell}_j}(-1)$ 是 $D^b(X)$ 中的 3-球面对象。

关键结果

1. $\mathcal{E}$ 的不变性： 自反函数 $\phi$ 在 $X$ 上的提升 $\phi_X$ 在同构意义下逐项固定了例外集 $\mathcal{E}$ 中的每一个对象。
2. 扭转集合的非不变性： 作者证明了 $\phi_X$ 交换了球面对象 $S_1$ 和 $S_2$（即 $\phi_X^*(S_1) \cong S_2$）。通过分析球面扭转 $T_{S_1}$ 作用于对象 $\mathcal{O}_X(H)$ 后的上同调层，证明了 $T_{S_1}(\mathcal{O}_X(H))$ 与 $T_{S_2}(\mathcal{O}_X(H))$ 在平移意义下不同构。
3. 非传递性： 应用引理 2.1 中的策略，论文得出结论：集合 $\mathcal{E}$ 与扭转集合 $T_{S_1}(\mathcal{E})$ 不在编织群 $B_6 \ltimes \mathbb{Z}^6$ 的作用轨道内。

意义与主张
本文提供了已知第一个在光滑射影簇的导出范畴范畴内的 Bondal-Polishchuk 猜想的反例。通过对 Chang、Haiden 和 Schroll 提出的问题给出肯定的回答，这项工作证明了编织群作用在全例外集上的传递性在光滑射影簇的普遍情况下并不成立。作者明确指出，该构造依赖于识别出一个特定的弱 Fano 三维簇，在该簇中，固定自等价的作用能够区分不同的编织轨道，从而在几何设置中驳斥了该猜想。