[论文解读] Derived equivalences for cotangent bundles of Grassmannians via categorical sl(2) actions

Sabin Cautis, Joel Kamnitzer+1 more|arXiv (Cornell University)|Feb 11, 2009

Algebraic structures and combinatorial models参考文献 10被引用 26

一句话总结

本文通过范畴化 $σβ_2$ 作用，构建了互补格拉斯曼流形余切丛上凝聚层导出范畴之间的显式等价关系，$D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$。它将 Chuang-Rouquier 的构造推广至三角范畴，通过定义范畴化 $σβ_2$ 生成元及其伴随关系构成的函子复形，并证明其卷积构成三角等价。关键结果是得到一个自然且具有几何意义的等价关系，该关系恢复了 Mukai 翻转中的已知结果，并解释了为何某些核在 $k \neq 0,1$ 时不构成等价。

ABSTRACT

We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians.

研究动机与目标

• 将 Chuang-Rouquier 基于范畴化 $σβ_2$ 的等价构造推广至函子不精确的三角范畴。
• 在互补格拉斯曼流形余切丛的凝聚层导出范畴之间建立自然的等价关系。
• 为为何某些核（如 $\mathcal{O}_{Z(k)}$）在 $k \neq 0,1$ 时无法诱导等价关系提供几何解释。
• 证明通过范畴化 $σβ_2$ 作用构造的核是 Cohen-Macaulay 的，从而解释其为何能诱导等价。

提出的方法

• 在三角范畴上构造强范畴化 $σβ_2$ 作用，其中分次函子 $\mathsf{E}^{(r)}$ 和 $\mathsf{F}^{(r)}$ 分类化了量子群 $U_q(\mathfrak{sl}_2)$ 的除幂。
• 定义函子复形 $\Theta_*$，其项为 $\Theta_s := \mathsf{F}^{(\lambda+s)}(s) \circ \mathsf{E}^{(s)}(\lambda+s)\langle -s \rangle$，并使用伴随映射作为微分。
• 证明该复形的卷积构成一个等价关系 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$，该关系推广了 $SL_2$ 表示理论中的反射函子。
• 将该构造应用于格拉斯曼流形余切丛的凝聚层导出范畴，将 $\mathcal{D}(k)$ 识别为 $D(T^*\text{Gr}(k,N))$。
• 证明所得核 $\mathcal{T} = \text{Cone}(\Theta_*)$ 在 Mukai 翻转情形（$k=1$）下同构于 $\mathcal{O}_{Z(1)}$（至多相差线丛扭量），从而恢复已知等价。
• 证明 $\mathcal{T}$ 是 Cohen-Macaulay 的，而 $\mathcal{O}_{Z(k)}$ 在 $k \neq 0,1$ 时不是，从而解释了为何 $\mathcal{O}_{Z(k)}$ 一般无法诱导等价。

实验结果

研究问题

• RQ1 Chuang-Rouquier 基于范畴化 $σβ_2$ 的等价构造能否推广至函子不精确的三角范畴？
• RQ2 在 $D(T^*\text{Gr}(k,N))$ 与 $D(T^*\text{Gr}(N-k,N))$ 之间是否存在自然且具有几何意义的等价关系？
• RQ3 为何在 $T^*\text{Gr}(k,N)$ 情形中，$\mathcal{O}_{Z(k)}$ 尽管是自然候选，却在 $k \neq 0,1$ 时无法诱导等价？
• RQ4 何种几何或同调性质可区分核 $\mathcal{T}$ 与 $\mathcal{O}_{Z(k)}$，从而解释 $\mathcal{T}$ 成功诱导等价的原因？
• RQ5 核 $\mathcal{T}$ 能否显式描述为从纤维积的开子集上某线丛的推出？

主要发现

• 复形 $\Theta_*$ 的卷积产生一个三角等价 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$，该结果推广了 $SL_2$ 表示理论中反射函子至三角范畴。
• 所构造的等价关系诱导出对所有 $k,N$ 成立的显式、自然的等价关系 $D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$。
• 当 $k=1$ 时，核 $\mathcal{T}$ 同构于 $\mathcal{O}_{Z(1)}$（至多相差线丛扭量），从而恢复了 Kawamata 与 Namikawa 构造的等价。
• 当 $k=2$，$N=4$ 时，核 $\mathcal{T}$ 同构于 Kawamata 的修正核，确认其作为自等价的有效性。
• 核 $\mathcal{T}$ 是 Cohen-Macaulay 的，而 $\mathcal{O}_{Z(k)}$ 在 $k \neq 0,1$ 时不是，从而解释了为何 $\mathcal{O}_{Z(k)}$ 一般无法诱导等价。
• 当 $k \neq 0,1$ 时，$Z(k)$ 的非 Cohen-Macaulay 性质源于其分量在余维数 $\geq 2$ 处相交，违反了 Serre 的 S2 条件。