[论文解读] The small quantum group and the Springer resolution

Roman Bezrukavnikov, Anna Lachowska|ArXiv.org|Sep 28, 2006

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

一句话总结

本文在不考虑等变性的情况下，建立了小量子群 $\mathsf{u}$ 的主块与 Springer 恢复 $\widetilde{\mathcal{N}}$ 上凝聚层的导出范畴之间的导出等价关系。利用这一等价关系，给出了 $\mathsf{u}$ 的 Hochschild 上同调与中心的几何描述，通过 $\widetilde{\mathcal{N}}$ 上的层论构造显式识别出中心中的一个子代数，推广了先前在更严格假设下获得的结果。

ABSTRACT

In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (non-equivariant) coherent sheaves on the Springer resolution. As an application we get a geometric description of Hochschild cohomology (in particular, the center) of the regular block for the small quantum group, and use it to give an explicit description of a certain subalgebra in the center (obtained previously by another method and under more restrictive assumptions in math.QA/0107098. We also briefly explain the relation of our result to the geometric description math.RT/0407048 of the derived category of modules over the De Concini -- Kac quantum algebra.

研究动机与目标

• 建立小量子群 $\mathsf{u}$ 的主块与 Springer 恢复 $\widetilde{\mathcal{N}}$ 上凝聚层的导出范畴之间的导出等价关系。
• 对 $\mathsf{u}$ 的主块的 Hochschild 上同调提供几何实现，特别是其中心。
• 通过 $\widetilde{\mathcal{N}}$ 上的几何数据，显式描述 $\mathsf{u}$ 中心的一个子代数，该结果此前通过其他方法获得但依赖于更严格的假设。
• 将结果与 [BK] 中关于 De Concini–Kac 量子代数模的导出范畴的几何描述相联系。
• 将 [ABG] 的框架从完整量子群推广到小量子群，消除了对等变性的需求。

提出的方法

• 利用几何表示论，建立小量子群 $\mathsf{u}$ 的模的导出范畴与 Springer 恢复 $\widetilde{\mathcal{N}}$ 上凝聚层的导出范畴之间的导出等价关系。
• 以 $\widetilde{\mathcal{N}} \to \mathcal{N}$ 作为几何背景，其中 $\mathcal{N}$ 是李代数 $\mathfrak{g}$ 的幂零锥。
• 借助量子 Lusztig-Frobenius 映射，将 $\mathsf{u}$ 与 $\mathfrak{g}$ 的泛包络代数联系起来，从而实现几何解释。
• 在 $\widetilde{\mathcal{N}}$ 上应用层论构造，特别是将切丛分解为水平与垂直部分，以提取上同调数据。
• 利用同构 $\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i} \cong \Omega^i_{G/B}$，将 $\mathsf{u}$ 中心中的子代数与 $H^\bullet(G/B)$ 关联起来。
• 构造中心中的两个子空间：一个同构于 $H^\bullet(G/B)$，另一个乘法为零，其直和构成代数 $\mathfrak{H}$。

实验结果

研究问题

• RQ1 如何将小量子群 $\mathsf{u}$ 的主块的导出范畴与 Springer 恢复 $\widetilde{\mathcal{N}}$ 上的凝聚层联系起来？
• RQ2 Hochschild 上同调的几何结构是什么，特别是其中心？
• RQ3 能否通过 $\widetilde{\mathcal{N}}$ 上的几何数据显式描述 $\mathsf{u}$ 中心的一个子代数？
• RQ4 小量子群 $\mathsf{u}$ 的导出范畴如何与 De Concini–Kac 量子代数的导出范畴相关？
• RQ5 Springer 恢复在将 $\mathsf{u}$ 的中心实现为 $\mathfrak{H} \cong H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ 的子代数中起什么作用？

主要发现

• 在不依赖 $G$-等变性的情况下，建立了小量子群 $\mathsf{u}$ 的主块的导出范畴与 Springer 恢复 $\widetilde{\mathcal{N}}$ 上凝聚层的导出范畴之间的导出等价关系。
• 主块的 Hochschild 上同调被几何实现为 $\widetilde{\mathcal{N}}$ 的上同调，其中中心 $\mathsf{z}_0$ 包含一个同构于 $\mathfrak{H} = H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ 的子代数。
• 通过 $\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i}$ 与 $\Lambda^{d+i}(T_{\widetilde{\mathcal{N}}})^{-2d}$ 的层论嵌入，显式识别出中心中的一个典范子代数，其同构于 $\mathfrak{H}$。
• $\underline{\mathsf{z}}_0 \cong H^\bullet(G/B)$，即 [BG] 中已知的子代数，被重新发现为 Harish-Chandra 部分与主块的交集。
• $\overline{\mathsf{z}}_0$，即 [La] 中通过量子傅里叶变换构造的子代数，被证明是 $\mathsf{z}_0$ 中的理想且乘法为零，且满足 $\underline{\mathsf{z}}_0 + \overline{\mathsf{z}}_0 \cong \mathfrak{H}$。
• 该结果推广了 [ABG] 的框架至小量子群，消除了对等变层的需求，为 $\mathsf{u}$ 的中心提供了非等变的几何模型。