[论文解读] Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols with applications to Exts of Harish-Chandra bimodules

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

Algebraic structures and combinatorial models参考文献 36被引用 12

一句话总结

本文通过使用完备交环对分数欧拉特征进行范畴化，以合理化量子数，实现了琼斯-温兹尔投影算子、6j-符号及网络评价的范畴化，方法是利用哈里什-钱德拉双模的Ext代数。关键贡献是通过三角形内加权带符号的直线排列，几何化实现6j-符号，新推导出的二项式表达式被实现为分次欧拉特征，从而推广了卡兹丹-卢茨基多项式。

ABSTRACT

Abstract. We study the representation theory of the smallest quan-tum 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 characteris-tics. 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 ra-tional quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Θ-networks and tetrahedron networks. Net-works and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The rel-evance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

研究动机与目标

• 通过完备交环对有理量子数进行范畴化。
• 通过三角形内加权带符号的直线排列，对6j-符号提供几何与代数实现。
• 通过6j-符号的新二项式表达式，推广卡兹丹-卢茨基多项式。
• 通过单个哈里什-钱德拉双模的Ext代数，对图网络评价（如Turaev-Viro构造中的Θ网络、四面体网络）进行范畴化。
• 为有颜色琼斯多项式的范畴化及3-流形不变量奠定基础。

提出的方法

• 利用完备交环计算有理欧拉特征，从而实现对有理量子数的范畴化。
• 将6j-符号可视化为固定三角形内加权带符号的直线排列，提供组合-几何模型。
• 推导出6j-符号的新二项式表达式，其被实现为特定复形的分次欧拉特征。
• 利用分次欧拉特征，将6j-符号与广义卡兹丹-卢茨基多项式联系起来。
• 通过单个哈里什-钱德拉双模的Ext代数，对图网络评价（如Θ网络、四面体网络）进行范畴化。
• 将Turaev-Viro框架应用于将网络评价与3-流形不变量通过范畴化结构联系起来。

实验结果

研究问题

• RQ1 如何利用代数几何工具（如完备交环）对有理量子数进行范畴化？
• RQ2 6j-符号如何通过直线排列与二项式公式实现几何可视化与代数表达？
• RQ3 在范畴化设定下，新的6j-符号表达式与卡兹丹-卢茨基多项式有何关系？
• RQ4 能否通过哈里什-钱德拉双模的Ext代数对Turaev-Viro构造中的网络评价实现范畴化？
• RQ5 完备交环在实现有理欧拉特征以支持范畴化不变量方面起什么作用？

主要发现

• 完备交环提供了一种计算有理欧拉特征的机制，从而实现对有理量子数的范畴化。
• 6j-符号被实现为与三角形内加权带符号直线排列相关的复形的分次欧拉特征。
• 推导出6j-符号的新二项式表达式，并证明其在范畴化设定下推广了卡兹丹-卢茨基多项式。
• 琼斯-温兹尔投影算子与Θ网络通过单个哈里什-钱德拉双模的Ext代数实现范畴化。
• 四面体网络评价通过相同的Ext代数构造实现范畴化，与Turaev-Viro不变量相联系。
• 该框架为未来研究有颜色琼斯多项式的范畴化及3-流形不变量奠定了基础。