[论文解读] Cuspidal $\mathfrak{sl}_n$-modules and deformations of certain Brauer tree algebras

Volodymyr Mazorchuk, Catharina Stroppel|arXiv (Cornell University)|Jan 15, 2010

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

一句话总结

本文证明了 $χ_n$ 的尖点权与广义权模的块同构于特定 Brauer 树代数的一或多重参数形变的有限维模，这些形变通过 Hochschild 上同调被证明是非平凡的 $A^{n-1}$ 形变。关键贡献在于显式实现这些形变为表示理论与代数几何中自内射对称代数的普遍一参（或多重参）形变。

ABSTRACT

We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and Schur algebras and in the study of the Milnor fiber of Kleinian singularities.

研究动机与目标

• 通过结合代数对 $χ_n$ 的尖点（广义）权模类别之块进行分类。
• 证明这些代数是来自抛物范畴 $ϵ$ 中中心化子子代数的 Brauer 树代数，特别是 $A^{n-1}$ 的形变。
• 通过 Hochschild 上同调分析其无穷小结构，证明这些形变是非平凡的。
• 通过识别其形变理论，统一表示论中 $A^{n-1}$ 的多种出现形式——如在 Temperley-Lieb 代数、Khovanov 代数及 Milnor 纤维中的出现。

提出的方法

• 作者构造了一个函子 $\mathrm{F}$，从 $\mathbb{C}[[x_1,\dots,x_n]]$-模到尖点模类别 $\hat{\mathcal{C}}_{\lambda,\xi}$，建立了形式幂级数环与模类别之间的联系。
• 他们使用 Gelfand-Zelevinsky 与 Gelfand-Zelevinsky 的实现方法，分析尖点模及其块的结构。
• 通过 Hochschild 上同调，特别是 $H^2(A^{n-1}, A^{n-1})$，分析 $A^{n-1}$ 的形变理论，以分类一参与多参形变。
• 通过证明在 $D_{\lambda,\xi}$ 中，$x = \beta_1\alpha_1$ 的像满足 $x^2 \neq 0$ 模 $\mathfrak{m}^2$，来证明形变的非平凡性，从而表明第二上同调非零。
• 作者利用受限对偶与自伴函子构造了投射-内射模，并通过分析其 Loewy 分次以验证非零复合映射的存在。
• 通过应用形变的普遍性质（见推论 30），表明任何在 $\mathbb{C}[[x]]$ 或 $\mathbb{C}[[x_1,\dots,x_n]]$ 上的非平凡形变必须同构于定理 1 中描述的代数。

实验结果

研究问题

• RQ1 如何通过结合代数对 $\mathfrak{sl}_n$ 的尖点权模类别之块进行分类？
• RQ2 在尖点权模的正则块中出现的 Brauer 树代数 $A^{n-1}$ 的形变本质是什么？
• RQ3 这些形变是否非平凡？其非平凡性能否通过上同调不变量检测？
• RQ4 这些代数如何与已知代数（如 Temperley-Lieb 代数、Khovanov 代数或 Schur 代数）相关联？
• RQ5 在范畴 $\mathcal{C}$ 的语境下，$A^{n-1}$ 的形变能否被实现为普遍的一参或多重参形变？

主要发现

• 类别 $\mathcal{C}$ 中 $\mathfrak{sl}_n$-模的非整数或奇异块，同构于 $\mathbb{C}[[x]]$（形式幂级数环）的有限维模类别。
• 广义权类别 $\hat{\mathcal{C}}$ 中的非整数或奇异块，同构于 $\mathbb{C}[[x_1,\dots,x_n]]$（多元形式幂级数环）的有限维模类别。
• 当 $n > 2$ 时，$\mathcal{C}$ 中的整数正则块同构于 $A^{n-1}$ 的平坦一参形变的有限维模类别，该形变作为无穷小形变是非平凡的。
• 当模 $\mathfrak{m}^2$ 约化时，$A^{n-1}$ 的形变是非平凡的，因为 $x = \beta_1\alpha_1$ 在 $D_{\lambda,\xi}$ 中满足 $x^2 \neq 0$，从而表明 Hochschild 上同调非零。
• $D_{\lambda,\xi}$ 是 $A^{n-1}$ 在 $\mathbb{C}[[x]]$ 上的普遍一参形变，且在多元参数情形下对 $\mathbb{C}[[x_1,\dots,x_n]]$ 同样成立。
• 结果统一了表示论中 $A^{n-1}$ 的多种出现形式：作为抛物范畴 $\mathcal{O}$ 中的中心化子子代数、广义 Khovanov 代数中的元素，以及 Kleinian 奇点 Milnor 纤维中的结构。