[论文解读] Sur la catégorie des bimodules de Soergel

Nicolás Libedinsky|ArXiv.org|Jul 24, 2007

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

一句话总结

本文为与 Coxeter 系 $(W,\mathcal{S})$ 相关的 Soergel 双模范畴 $\mathbf{B}$ 中的态射空间提供了组合描述，建立了这些态射空间作为多项式环上右模的基——称为“轻叶基”（light leaves basis）。关键贡献在于证明该基是典范的，并显式计算了其分次维数，从而通过 Soergel 等价性，显式描述了 BGG 范畴 $\mathcal{O}$ 的主块 $\mathcal{O}_0$-proj 中的态射。

ABSTRACT

The Soergel category B of a Coxeter system (W,S) is a bimodule category over a polynomial algebra on which W acts. It's a categorification of the Hecke Algebra of (W,S). In this article we give a combinatorial description of morphism spaces in B. As a corollary, we give an analogous description of the morphisms in O_0-proj, where O_0 is the principal block of the BGG category O. ----- La catégorie B de Soergel d'un système de Coxeter (W,S) est une catégorie de bimodules sur une algèbre de polynômes sur laquelle W agit. C'est une catégorification de l'algèbre de Hecke de (W,S). Dans cet article nous donnons une description combinatoire des espaces de morphismes dans B. En corollaire, on obtient une description analogue des morphismes dans O_0-proj, où O_0 est le bloc principal de la catégorie O de BGG.

研究动机与目标

• 为与 Coxeter 系 $(W,\mathcal{S})$ 相关的 Soergel 双模范畴 $\mathbf{B}$ 中的态射空间提供组合的、显式的描述。
• 构建并证明存在一个典范基——称为“轻叶基”——作为 $\mathbf{B}$ 中态射空间在多项式环上的右模。
• 将此基应用于显式计算 BGG 范畴 $\mathcal{O}$ 的主块 $\mathcal{O}_0$-proj 中的态射，利用 Soergel 在 $\mathcal{O}_0$-proj 与范畴 $\mathbf{B}^\mathbb{C}$ 之间的等价性。

提出的方法

• 将范畴 $\mathbf{B}$ 定义为在多项式环 $R$ 上的 Soergel 双模范畴，其中 $W$ 通过忠实的反射表示作用于 $R$。
• 引入“轻叶基”（BFL）作为 $\mathbf{B}$ 中态射的递归构造，模仿 Hecke 代数中乘积 $(1+T_{s_1})\cdots(1+T_{s_n})$ 的递推关系。
• 在 $W$ 中的约化表达式上使用递归归纳构造，通过辫状关系与对偶基定义态射。
• 利用 Soergel 定理：$\mathbf{B}$ 分类了 Hecke 代数 $\mathcal{H}$，且 $\mathbf{B}$ 的 K-群通过映射 $\varepsilon$ 同构于 $\mathcal{H}$。
• 通过典范映射 $\mathrm{Hom}_{(R,R)}(B,B') \otimes_R \mathbb{C} \simeq \mathrm{Hom}_C(B\otimes_R \mathbb{C}, B'\otimes_R \mathbb{C})$，建立 $\mathbf{B}$ 中态射空间与余不变环 $C = R/R_+^W$ 之间的显式同构。
• 利用推论 4.2 中的分次维数公式，证明轻叶基构成 $\mathrm{Hom}_{(R,R)}(B,B')$ 作为右 $R$-模的自由基。

实验结果

研究问题

• RQ1 Soergel 双模范畴 $\mathbf{B}$ 中的态射空间能否以典范基的形式进行组合描述？
• RQ2 通过辫状关系递归构造的轻叶基是否构成 $\mathbf{B}$ 中态射空间作为右 $R$-模的自由基？
• RQ3 能否利用 $\mathbf{B}$ 中态射的组合描述显式计算 BGG 范畴 $\mathcal{O}$ 的主块 $\mathcal{O}_0$-proj 中的态射？

主要发现

• 证明了轻叶基（BFL）是范畴 $\mathbf{B}$ 中态射空间 $\mathrm{Hom}_{(R,R)}(B,B')$ 作为多项式环 $R$ 上右模的自由基。
• 态射空间的分次维数由乘积 $(1+T_{s_1})\cdots(1+T_{s_n})$ 中常数项的系数给出，如推论 4.2 所述。
• BFL 的构造是显式递归的，且模仿了 Hecke 代数中乘积的递推关系，从而对这一代数公式实现了 categorification（范畴化）。
• 通过同构 $\mathrm{Hom}_{(R,R)}(B,B') \otimes_R \mathbb{C} \simeq \mathrm{Hom}_C(B\otimes_R \mathbb{C}, B'\otimes_R \mathbb{C})$ 显式描述了范畴 $\mathcal{O}_0$-proj 中的态射空间，其中 $C = R/R_+^W$ 为余不变环。
• $\mathrm{Hom}_{(R,R)}(B,B')$ 中的基元素通过涉及 $x_{\overline{i}}^g f_\alpha((1\otimes x_{\overline{i}^{c}(\mathrm{op})}^d)\cdot m)$ 的映射构造，形成 $R$ 上的基。
• 结果表明，$\mathcal{O}_0$-proj 中态射的结构完全由 $\mathbf{B}$ 中 BFL 的组合学决定，从而提供了一种新的显式计算工具。