[论文解读] Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols

Igor Frenkel, Catharina Stroppel+1 more|arXiv (Cornell University)|Jul 27, 2010

Algebraic structures and combinatorial models参考文献 34被引用 26

一句话总结

本文通过使用完备交环，将有理数量子数实现为扩张代数的分次欧拉示性数，从而对分数阶欧拉示性数进行了范畴化。它利用单个哈里什-钱德拉双模的扩张代数，对琼斯-温兹尔投影算符、3j-符号和6j-符号进行了范畴化，通过量子 $υ(\mathfrak{sl}_2)$ 的分次表示理论，建立了量子不变量与代数拓扑之间的联系。

ABSTRACT

We study the representation theory of the smallest quantum group and its categorification. The first part of the paper contains an easy visualization of the 3j-symbols in terms of weighted signed line arrangements in a fixed triangle and new binomial expressions for the 3j-symbols. All these formulas are realized as graded Euler characteristics. The 3j-symbols appear as new generalizations of Kazhdan-Lusztig polynomials. A crucial result of the paper is that complete intersection rings can be employed to obtain rational Euler characteristics, hence to categorify rational quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Theta-networks and tetrahedron networks. Networks and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants, \cite{TV}. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The relevance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

研究动机与目标

• 通过完备交环上扩张代数的分次欧拉示性数，对有理数量子数进行范畴化。
• 利用单个哈里什-钱德拉双模的扩张代数，对琼斯-温兹尔投影算符提供范畴化实现。
• 将3j-符号和6j-符号解释为扩张代数的分次欧拉示性数，推广卡兹丹-卢茨蒂格多项式。
• 通过范畴化张量网络，建立 $υ(\mathfrak{sl}_2)$-表示理论与3-流形不变量之间的联系。
• 将先前对 $V_1^{igotimes n}$ 和 $V_{\mathbf{d}}$ 的范畴化扩展至包含不变量和投影算符，通过适当的分层结构和分次范畴 $\mathcal{O}$ 实现。

提出的方法

• 使用完备交环（如格拉斯曼流形的上同调环）将有理数量子数实现为分次欧拉示性数。
• 应用单个哈里什-钱德拉双模的分次扩张代数，对琼斯-温兹尔投影算符和网络赋值进行范畴化。
• 利用完备交环上的极小投影解析计算无限级数，使其收敛于有理 $q$-数。
• 引入基于范畴 $\mathcal{O}$ 和商函子的几何与代数框架，以范畴化方式实现典范基和标准基。
• 利用函子与伴随关系，将 $\Theta$-网络和四面体网络解释为分次向量空间导出范畴中的扩张代数。
• 证明 $3j$-符号和 $6j$-符号作为扩张代数的分次欧拉示性数出现，推广了卡兹丹-卢茨蒂格多项式。

实验结果

研究问题

• RQ1 如何通过分次欧拉示性数对有理数量子数（如 $1/[n]_q$）进行范畴化？
• RQ2 能否通过单个哈里什-钱德拉双模的扩张代数对琼斯-温兹尔投影算符进行范畴化？
• RQ3 在范畴化设定中，$3j$-符号和 $6j$-符号如何作为扩张代数的分次欧拉示性数出现？
• RQ4 完备交环在实现量子群表示中分数阶欧拉示性数方面起到什么作用？
• RQ5 在分次模的导出范畴中，$\Theta$-网络和四面体网络的范畴化能否被一致定义？

主要发现

• 对于完备交环 $H$，$\operatorname{Ext}^*_{H}(\mathbb{C},\mathbb{C})$ 的分次欧拉示性数将有理数量子数（如 $1/[n]_q$）实现为收敛于有理函数的无限级数。
• 琼斯-温兹尔投影算符被范畴化为 $\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$（$L$ 为单个哈里什-钱德拉双模），仅相差一个分次移位。
• $3j$-符号被实现为广义卡兹丹-卢茨蒂格多项式，并作为扩张代数的分次维数出现，其显式二项式表达式由三角形中加权带符号的直线排列导出。
• $\Theta$-网络的值同构于 $\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$ 的分次维数（相差一个移位），并自然携带代数结构。
• $6j$-符号被实现为 $\operatorname{Ext}^*_{A_{n,\mathbf{d}}}(M,N)$ 的分次欧拉示性数（$M,N$ 为特定模），且在导出等价意义下与图示表示无关。
• $n$-色扭结的范畴化结果给出 $[n+1]_q$ 作为扩张代数的分次维数，确认了其与着色琼斯不变量的联系。