[论文解读] Extremal weight projectors II

Hoel Queffélec, Paul Wedrich|arXiv (Cornell University)|Mar 27, 2018

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

一句话总结

该论文通过仿射web范畴，将$\mathfrak{sl}_2$的图解极小权投影算子推广至$\mathfrak{gl}_N$，提供了Cartan子代数$U(\mathfrak{h})$的表示范畴的图解表述，并对幂和对称多项式进行了范畴化。其主要贡献是递归构造了投影到$\mathrm{Sym}^k(V)$中极小权空间的幂等态射，这些构造满足范畴化的牛顿恒等式，并通过Khovanov–Rozansky同调实现了对环面 skein 代数的范畴化。

ABSTRACT

In previous work, we have constructed diagrammatic idempotents in an affine extension of the Temperley-Lieb category, which describe extremal weight projectors for sl(2), and which categorify Chebyshev polynomials of the first kind. In this paper, we generalize the construction of extremal weight projectors to the case of gl(N) for N greater than or equal to 2, with a view towards categorifying the corresponding torus skein algebras via Khovanov-Rozansky link homology. As by-products, we obtain compatible diagrammatic presentations of the representation categories of gl(N) and its Cartan subalgebra, and a categorification of power-sum symmetric polynomials.

研究动机与目标

• 为$N \geq 2$的$\mathfrak{gl}_N$中的Cartan子代数$U(\mathfrak{h}) \subset U(\mathfrak{gl}_N)$构建其表示范畴的图解表述。
• 将$\mathfrak{sl}_2$的极小权投影算子推广至$\mathfrak{gl}_N$，编码$\mathrm{Sym}^k(V)$表示中对极小权空间的投影。
• 在$\mathfrak{gl}_N$的表示环中，对幂和对称多项式提供范畴化。
• 通过Khovanov–Rozansky链同调，为对环面skein代数的范畴化奠定基础。

提出的方法

• 引入$\mathfrak{gl}_N$web演算的仿射扩展$N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$，将$\bigwedge^k(V)$-标记的必要圈设为零，其中$0 < k < N$。
• 在$N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$中定义递归构造的幂等态射，用于投影到$\mathrm{Sym}^k(V)$表示中的极小权空间。
• 通过引入具有绕数分次的中心扩张，确保与范畴化skein模和环面链同调的兼容性。
• 在$\mathfrak{gl}_2$情况下，证明一个去圈引理和极小权投影算子张量积的分解公式。
• 建立范畴的Karoubi包络，将对象分解为不可约分量的直和，包括$\lambda^k(T_m)$和$w\lambda^k(\emptyset)$。
• 证明所得骨架是半单的，其自同态代数同构于$\mathbb{C}$，且所有对象同构于未平移或最小平移形式。

实验结果

研究问题

• RQ1 如何以图解方式构造$\mathfrak{gl}_N$的极小权投影算子，使其推广$\mathfrak{sl}_2$的情形？
• RQ2 如何对$\mathfrak{gl}_N$的Cartan子代数$U(\mathfrak{h})$的表示范畴提供图解表述？
• RQ3 极小权投影算子如何在$\mathfrak{gl}_N$的表示环中对幂和对称多项式进行范畴化？
• RQ4 在此背景下，幂和与初等对称多项式之间的范畴化牛顿恒等式是什么？
• RQ5 如何利用这些投影算子通过Khovanov–Rozansky链同调对环面skein代数进行范畴化？

主要发现

• 范畴$N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$为$U(\mathfrak{h})$的表示范畴提供了图解表述，其中$\bigwedge^k(V)$-标记的必要圈在$0 < k < N$时被设为零。
• $\mathfrak{gl}_N$的极小权投影算子在$N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$的中心扩张中递归定义，且带有绕数分次。
• 极小权投影算子对$\mathfrak{gl}_N$表示环中的幂和对称多项式进行了范畴化，类似于$\mathfrak{sl}_2$投影算子对切比雪夫多项式的范畴化。
• 证明了范畴化的牛顿恒等式，通过图解恒等式将极小权投影算子与初等对称多项式关联起来。
• 在$\mathfrak{gl}_2$情况下，范畴的Karoubi包络分解为$\lambda^k(T_m)$和$w\lambda^k(\emptyset)$的直和，且所有此类对象同构于未平移或最小平移形式。
• 由$\lambda^k(T_m)$和$s\lambda^k(\emptyset)$生成的$\operatorname{Kar}(\overline{2\mathrm{A}\mathrm{Web}}^{\mathrm{ess},+})$的全子范畴构成一个半单骨架，其自同态代数同构于$\mathbb{C}$。