[論文レビュー] Extremal weight projectors II

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

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

ひとこと要約

この論文は、アフィン・ウェブ圏を用いて、$\mathfrak{sl}_2$ から $\mathfrak{gl}_N$ への図式的 extremal weight プロジェクターの一般化を実現し、Cartan部分代数 $U(\mathfrak{h})$ の表現カテゴリの図式的提示を提供するとともに、べき乗和の対称多項式の categorification を実現する。主な貢献は、$\mathrm{Sym}^k(V)$ 内の extremal weight 空間への射影を再帰的に構成するイデムポテンの構成であり、これは categorified Newton 恒等式を満たし、Khovanov–Rozansky homology を用いたトーラス skein 代数の categorification を可能にする。

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.

研究の動機と目的

• To construct a diagrammatic presentation of the representation category of the Cartan subalgebra $U(\mathfrak{h}) \subset U(\mathfrak{gl}_N)$ for $N \geq 2$.
• To generalize extremal weight projectors from $\mathfrak{sl}_2$ to $\mathfrak{gl}_N$, encoding projections onto extremal weight spaces in $\mathrm{Sym}^k(V)$ representations.
• To provide a categorification of power-sum symmetric polynomials in the representation ring of $\mathfrak{gl}_N$.
• To establish a foundation for categorifying torus skein algebras using Khovanov–Rozansky link homology.

提案手法

• Introduce an affine extension $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ of the $\mathfrak{gl}_N$ web calculus, setting $\bigwedge^k(V)$-labeled essential circles to zero for $0 < k < N$.
• Define recursively constructed idempotent morphisms in $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ that project onto extremal weight spaces in $\mathrm{Sym}^k(V)$ representations.
• Use a central extension with a winding number grading to ensure compatibility with categorified skein modules and toric link homology.
• Prove a delooping lemma and decomposition formulas for tensor products of extremal weight projectors in the $\mathfrak{gl}_2$ case.
• Establish a Karoubi envelope of the category to decompose objects into direct sums of irreducible components, including $\lambda^k(T_m)$ and $w\lambda^k(\emptyset)$.
• Demonstrate that the resulting skeleton is semisimple, with endomorphism algebras isomorphic to $\mathbb{C}$, and that all objects are isomorphic to unshifted or minimal-shifted forms.

実験結果

リサーチクエスチョン

• RQ1 How can extremal weight projectors for $\mathfrak{gl}_N$ be constructed diagrammatically in a way that generalizes the $\mathfrak{sl}_2$ case?
• RQ2 What is the diagrammatic presentation of the representation category of the Cartan subalgebra $U(\mathfrak{h})$ for $\mathfrak{gl}_N$?
• RQ3 How do extremal weight projectors categorify power-sum symmetric polynomials in the representation ring of $\mathfrak{gl}_N$?
• RQ4 What is the categorified version of the Newton identity relating power-sum and elementary symmetric polynomials in this context?
• RQ5 How can these projectors be used to categorify torus skein algebras via Khovanov–Rozansky link homology?

主な発見

• The category $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ provides a diagrammatic presentation of the representation category of $U(\mathfrak{h})$, with essential circles labeled by $\bigwedge^k(V)$ set to zero for $0 < k < N$.
• Extremal weight projectors for $\mathfrak{gl}_N$ are recursively defined in a central extension of $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ with a winding number grading.
• The extremal weight projectors categorify power-sum symmetric polynomials in the representation ring of $\mathfrak{gl}_N$, analogous to how $\mathfrak{sl}_2$ projectors categorify Chebyshev polynomials.
• A categorified Newton identity is proven, relating the extremal weight projectors to elementary symmetric polynomials via a diagrammatic identity.
• In the $\mathfrak{gl}_2$ case, the Karoubi envelope of the category decomposes into direct sums of $\lambda^k(T_m)$ and $w\lambda^k(\emptyset)$, with all such objects isomorphic to unshifted or minimal-shifted forms.
• The full subcategory of $\operatorname{Kar}(\overline{2\mathrm{A}\mathrm{Web}}^{\mathrm{ess},+})$ generated by $\lambda^k(T_m)$ and $s\lambda^k(\emptyset)$ forms a semisimple skeleton, with endomorphism algebras isomorphic to $\mathbb{C}$.