[论文解读] A combinatorial approach to functorial quantum sl(k) knot invariants

Volodymyr Mazorchuk, Catharina Stroppel|arXiv (Cornell University)|Sep 12, 2007

Algebraic structures and combinatorial models参考文献 17被引用 4

一句话总结

本论文通过抛物奇异块的范畴 $Ø$，使用组合范畴化方法对量子 $σλ_k$ 突刺不变量进行了构造，通过函子与自然变换实现了Khovanov-Rozansky同调的表示理论实现。该研究构建了针对三价图（webs）的函子值不变量，利用范畴 $Ø$ 中的投影函子，通过导范畴处理交叉，表明该方法自然恢复了Mackaay-Stosic-Vaz的泡沫基构造，并通过限制作用，有希望实现Khovanov-Rozansky同调。

ABSTRACT

This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a representation theoretic interpretation of the sl(k)-homology, based on foams and the Kapustin-Lie formula. Conjecturally this implies that the Khovanov-Rozansky link homology is obtained from our invariant by restriction.

研究动机与目标

• 通过抛物奇异块的范畴 $Ø$，提供 $σλ_k$ 链不变量的表示理论范畴化，从一开始就避免使用导函子。
• 利用精确函子与组合方法，为标记为 $1,2,k-1,k$ 的三价图构造函子值不变量，并满足MOY关系。
• 证明该不变量的导范畴扩张可产生Khovanov-Rozansky同调，通过与文献[16]和[19]中的泡沫基不变量建立自然对应关系。
• 在范畴 $Ø$ 的背景下，通过投影函子的标准事实与Kazhdan-Lusztig组合学，提供MOY关系的组合证明。
• 推测当构造推广后，通过限制到零权空间，可实现Mackaay-Stosic-Vaz同调，从而实现Khovanov-Rozansky同调。

提出的方法

• 通过范畴 $Ø$ 中抛物块内的投影函子，为特殊三价图（图）构造精确函子值不变量。
• 利用对称群的组合学与转移函子，建模三价图在投影模上的作用。
• 通过进入导范畴，将不变量扩展至辫与链，其中交叉通过导函子被解析。
• 通过投影模自同态环中对称多项式的迹，将自然变换与基本泡沫关联。
• 利用Soergel的自同态定理，将部分旗流形的上同调环与投影函子的自同态环相等化。
• 通过将完整不变量限制到零权空间，直接建立函子与分次向量空间之间的对应关系，从而恢复[16]中的泡沫基不变量。

实验结果

研究问题

• RQ1 是否可以仅使用阿贝尔范畴，并仅在交叉处使用导范畴，而非从一开始就引入导函子，来对 $σλ_k$ 链不变量进行范畴化？
• RQ2 从抛物范畴 $Ø$ 构造的函子不变量是否自然恢复[16]和[19]中的泡沫基构造？
• RQ3 当完整构造被限制到零权空间时，是否等价于Mackaay-Stosic-Vaz同调，从而等价于Khovanov-Rozansky同调？
• RQ4 基于图的函子分解为不可约分量，是否可通过图基与对偶典范基之间的变换矩阵来描述？
• RQ5 与泡沫（如theta泡沫）相关的自然变换，如何对应于投影函子自同态环中对称多项式的迹？

主要发现

• 在抛物范畴 $Ø$ 的背景下，通过组合方法验证了 $σλ_k$ 不变量的MOY关系，且在限制到抛物块时，误差项消失。
• 三价图的函子值不变量通过投影函子与转移函子构建，三价图的作用通过对称群在方框图上的作用进行建模。
• 该不变量的导范畴扩张产生了一种与[16]中泡沫基构造相匹配的链同调，自然变换通过迹映射与基本泡沫对应。
• Theta泡沫被实现为自同态环生成元的单项式迹所给出的自然变换，对应于泡沫分量上的点。
• 将完整不变量限制到零权空间，恢复了[16]中的分次向量空间不变量，从而与Mackaay-Stosic-Vaz同调建立了直接联系。
• 推测完整构造实现了Khovanov-Rozansky同调，自然变换与舒尔多项式之间的相互作用源于Kapustin-Lie公式。