[论文解读] A diagrammatic approach to categorification of quantum groups III

Mikhail Khovanov, Aaron D. Lauda|arXiv (Cornell University)|Jul 21, 2008

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

一句话总结

本文使用带有标记线段、点和分次移位的平面图，对幂等化量子群 \dot{U}(\mathfrak{sl}_n) 构造了一个图示化的2-范畴 categorification。它建立了 categorified 2-范畴的 Grothendieck 群与 \dot{U}(\mathfrak{sl}_n) 的整数形式之间的同构，通过非退化的图示演算证明了完全 categorification，并从旗 2-范畴构造了一个到 categorified 量子群的 2-函子。

ABSTRACT

We categorify the idempotented form of quantum sl(n).

研究动机与目标

• 构造幂等化量子群 \dot{U}(\mathfrak{sl}_n) 的图示化 2-范畴 categorification。
• 建立 categorified 2-范畴的 Grothendieck 群与 \dot{U}(\mathfrak{sl}_n) 的整数形式之间的同构。
• 证明图示演算的非退化性，并从旗 2-范畴定义一个到 categorified 量子群的 2-函子。
• 将 \dot{U}(\mathfrak{sl}_n) 的对称性提升为 categorified 2-范畴上的 2-函子。
• 通过迭代旗流形和等变上同调，提供 categorified 量子群的几何实现。

提出的方法

• 构造一个 2-范畴 U，其对象为整数权，1-态射为标记线段 (E_i1_\lambda) 的形式和与分次移位的直和。
• 将 2-态射定义为带有方向的标记线段（标记为单个根）、线段上的点以及编码量子群关系的图示关系的等价类。
• 使用包含 nilHecke 代数关系和分次数分配的图示演算来定义 2-范畴 U。
• 通过构造 U 的 Karoubi 包络来定义 \dot{U}，以确保完全 categorification。
• 利用迭代旗流形的上同调，从旗 2-范畴 Flag_N 构造一个 2-函子 Γ_N 到 \dot{U}(\mathfrak{sl}_n)。
• 通过非退化性和显式基对应，证明在 Grothendieck 群上诱导的映射 γ: A\dot{U} → K_0(\dot{U}) 是同构。

实验结果

研究问题

• RQ1 幂等化量子群 \dot{U}(\mathfrak{sl}_n) 是否能通过图示化的 2-范畴实现完全 categorification？
• RQ2 categorified 量子群的图示演算是否非退化，从而确保 categorification 的忠实性？
• RQ3 从旗 2-范畴到 \dot{U}(\mathfrak{sl}_n) 的 2-函子是否通过几何表示理论实现了 categorified 量子群？
• RQ4 \dot{U}(\mathfrak{sl}_n) 的对称性是否能被提升为 categorified 2-范畴上的 2-函子？
• RQ5 categorified 2-范畴的 Grothendieck 群是否同构于 \dot{U}(\mathfrak{sl}_n) 的整数形式？

主要发现

• 从旗 2-范畴到 \dot{U}(\mathfrak{sl}_n) 的 2-函子 Γ_N 是完全忠实的，并通过迭代旗流形的上同调实现了 categorified 量子群。
• 诱导映射 γ: A\dot{U} → K_0(\dot{U}) 是同构，证明了 categorified 2-范畴的 Grothendieck 群恢复了 \dot{U}(\mathfrak{sl}_n) 的整数形式。
• 图示演算在任意交换环上都是非退化的，确保了 2-范畴 U 的良好定义性和忠实性。
• categorified 量子群 \dot{U}(\mathfrak{sl}_n) 允许 2-函子来 categorify \dot{U}(\mathfrak{sl}_n) 的对称性 ψ, ω, σ 和 τ。
• 2-范畴 \dot{U}(\mathfrak{sl}_n) 被构造为 U 的 Karoubi 包络，确保了完全 categorification 和直和分解。
• categorified 量子群作用于迭代旗流形上的凝聚层的导出范畴，为 categorified 表示理论提供了几何实现。