[论文解读] The sl(N)-web algebras and dual canonical bases

Marco Mackaay|arXiv (Cornell University)|Aug 2, 2013

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

一句话总结

本文为 N ≥ 2 引入了 sl(N)-web 代数，通过 categorified 量子斜 Howe 对偶性，建立了其与 N 级别循环 KLR 代数块的 Morita 等价性。关键结果是：sl(N)-web 空间与 web 代数的分裂 Grothendieck 群之间存在一个同构，将对偶规范基元素映射为不可约投射模的 Grothendieck 类，且具有精确的分次归一化。

ABSTRACT

In this paper, which is a follow-up to my paper with Yonezawa "sl(N)-web categories", I define and study sl(N)-web algebras for any N greater than one. For N=2 these algebras are isomorphic to Khovanov's arc algebras and for N=3 they are Morita equivalent to the sl(3)-web algebras which I defined and studied with Pan and Tubbenhauer. The main result of this paper is that the sl(N)-web algebras are Morita equivalent to blocks of certain level-N cyclotomic KLR algebras, for which I use the categorified quantum skew Howe duality from the aforementioned paper with Yonezawa. Using this Morita equivalence and Brundan and Kleshchev's work on cyclotomic KLR algebras, I show that there exists an isomorphism between a certain space of sl(N)-webs and the split Grothendieck group of the corresponding sl(N)-web algebra, which maps the dual canonical basis elements to the Grothendieck classes of the indecomposable projective modules (with a certain normalization of their grading).

研究动机与目标

• 为任意 N ≥ 2 定义并研究 sl(N)-web 代数，推广 Khovanov 的弧代数（N=2）和先前的 sl(3)-web 代数（N=3）。
• 通过 categorified 量子斜 Howe 对偶性，建立 sl(N)-web 代数与 N 级别循环 KLR 代数块之间的 Morita 等价性。
• 构造 sl(N)-web 空间与 web 代数的分裂 Grothendieck 群之间的同构，将对偶规范基元素映射为不可约投射模的类。
• 证明 web 代数的中心通过与 KLR 代数的 Morita 等价性，同构于 Spaltenstein 簇的上同调，从而建立几何不变量的联系。
• 提供一个框架，将 web 基与对偶结构推广至任意 N，使用 Leclerc-Toffin 基作为规范归一化。

提出的方法

• 将 sl(N)-web 代数 H_Λ 定义为有限维分次代数，通过 web 范畴中由选定的 sl(N)-web 基生成的有限全子范畴。
• 利用 [38] 中的 categorified 量子斜 Howe 对偶性，将 web 范畴与循环 KLR 代数上的分次投射模范畴联系起来。
• 借助 Brundan 与 Kleshchev 对循环 KLR 代数的研究，建立不可约模 V_Λ 与分裂 Grothendieck 群 K_0^q(V_Λ^p) 之间的 U_q(sl_m)-交错同态。
• 利用对偶性诱导的 Morita 等价性，建立 web 范畴 H_Λ-pmod_gr 与 KLR 代数上分次投射模范畴之间的等价关系。
• 通过从 KLR 代数上的对偶性拉回，定义 web 代数 H_Λ 上的对偶性 *，确保其与 Grothendieck 群同构相容。
• 利用等价性与对偶性，证明同构 δ′: W_Λ → K_0^q(W_Λ^p) 将对偶规范基映射为不可约投射模的类。

实验结果

研究问题

• RQ1 如何系统地为任意 N ≥ 2 定义 sl(N)-web 代数，以推广 N=2 和 N=3 时的已知构造？
• RQ2 sl(N)-web 代数与循环 KLR 代数之间的确切关系是什么？能否通过 Morita 等价性形式化？
• RQ3 在 sl(N)-web 空间中，对偶规范基是否在合适的同构下对应于不可约投射模的 Grothendieck 类？
• RQ4 KLR 代数范畴上的对偶性如何提升至 web 代数？它在 Grothendieck 群上诱导出何种结构？
• RQ5 sl(N)-web 代数的中心是什么？它与部分旗簇上同调等几何不变量有何关系？

主要发现

• sl(N)-web 代数 H_Λ 与某一 N 级别循环 KLR 代数的块 Morita 等价，建立了 web 代数与 KLR 代数之间的范畴桥梁。
• 存在一个分次代数同构，将 sl(N)-web 空间 W_Λ 与分裂 Grothendieck 群 K_0^q(H_Λ-pmod_gr) 联系起来，使得对偶规范基元素精确映射为不可约投射模的 Grothendieck 类。
• 通过 Morita 等价性，H_Λ 的中心同构于参数化类型为 k、具有 Jordan 型 (ℓ^N) 的幂零算子的 Spaltenstein 簇 X_Λ^k 的上同调代数 H^*(X_Λ^k)。
• H_Λ 上的对偶性 * 由 KLR 代数上的对偶性拉回，且在 Grothendieck 同构下，它对应于规范基上的共轭对合，确保与规范基和对偶规范基的相容性。
• 同构 δ′: W_Λ → K_0^q(W_Λ^p) 是一个等距的 U_v(sl_m)-交错同态，且在量子斜 Howe 对偶性下，将 V_Λ 的 Leclerc-Toffin 基映射为 W_Λ 的对偶规范基。
• 该构造对基的选择具有鲁棒性：若使用 Fontaine 的基，则会得到一个 Morita 等价的 web 代数，且具有类似结构结果。