[论文解读] KLR algebras and the branching rule I: the Gelfand-Tsetlin basis in type An

Pedro Vaz|arXiv (Cornell University)|Sep 2, 2013

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

一句话总结

本文引入了类型 An 的环论型 Khovanov-Lauda-Rouquier（KLR）代数的商范畴，该范畴对包含关系 sl(n) ⊂ sl(n+1) 的分支法则进行了范畴化。通过递归应用此构造，该研究实现了类型 An 的 Gelfand-Tsetlin 基，并为 Khovanov-Lauda 环论猜想提供了新的初等证明，同时证明了 Mackaay、Stosic 与 Vaz 关于范畴化 Weyl 模的猜想。

ABSTRACT

We define a quotient of the category of finitely generated modules over the cyclotomic Khovanov-Lauda-Rouquier algebra for type An and show it has a module category structure over a direct sum of certain cyclotomic Khovanov-Lauda-Rouquier algebras of type An-1, this way categorifying the branching rules for the inclusion of sl(n) in sl(n+1). Using this we give a new, elementary proof of Khovanov-Lauda cyclotomic conjecture. We show that continuing recursively gives the Gelfand-Tsetlin basis for type An. As an application we prove a conjecture of Mackaay, Stosic and Vaz concerning categorical Weyl modules.

研究动机与目标

• 定义类型 An 的环论型 KLR 代数的有限生成模的商范畴。
• 证明该商范畴在类型 An−1 的 KLR 代数的直和上的模范畴结构。
• 通过此构造对包含关系 sl(n) ⊂ sl(n+1) 的分支法则进行范畴化。
• 为 Khovanov-Lauda 环论猜想提供一种新的初等证明。
• 通过递归应用该构造，建立类型 An 的 Gelfand-Tsetlin 基。

提出的方法

• 构造类型 An 的环论型 KLR 代数的有限生成模的商范畴。
• 证明该商范畴在类型 An−1 的环论型 KLR 代数的直和上的模范畴结构。
• 利用模范畴结构对 sl(n) ⊂ sl(n+1) 的分支法则进行范畴化。
• 递归应用该构造以生成类型 An 的 Gelfand-Tsetlin 基。
• 利用递归结构证明 Khovanov-Lauda 环论猜想。
• 将该框架应用于验证 Mackaay、Stosic 与 Vaz 关于范畴化 Weyl 模的猜想。

实验结果

研究问题

• RQ1 如何利用 KLR 代数对包含关系 sl(n) ⊂ sl(n+1) 的分支法则进行范畴化？
• RQ2 类型 An 的环论型 KLR 代数的商范畴会涌现出何种模范畴结构？
• RQ3 能否通过此范畴化递归构造类型 An 的 Gelfand-Tsetlin 基？
• RQ4 此构造是否能为 Khovanov-Lauda 环论猜想提供新的证明？
• RQ5 该框架能否用于验证 Mackaay、Stosic 与 Vaz 关于范畴化 Weyl 模的猜想？

主要发现

• 类型 An 的环论型 KLR 代数的商范畴在类型 An−1 的 KLR 代数的直和上具有模范畴结构。
• 该结构对包含关系 sl(n) ⊂ sl(n+1) 的分支法则实现了范畴化。
• 递归应用该构造可生成类型 An 的 Gelfand-Tsetlin 基。
• 该框架为 Khovanov-Lauda 环论猜想提供了新的初等证明。
• 该方法证实了 Mackaay、Stosic 与 Vaz 关于范畴化 Weyl 模的猜想。