[论文解读] The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality

Hoel Queffélec, David E. V. Rose|arXiv (Cornell University)|May 22, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 52被引用 28

一句话总结

本文提出了一种基于增强泡沫2-范畴的纯组合构造方法，用于彩色 sln 链同调，其中2-态射是 sln 网之间的泡沫。通过利用范畴化 skew Howe 对偶性并引入增强泡沫面，作者提供了一个生成元与关系的表述，使得闭泡沫的完全组合化评估成为可能——解决了早期矩阵因子化方法中的符号问题，并回答了长期存在的关于组合化泡沫评估的问题。

ABSTRACT

We give a purely combinatorial construction of colored $\mathfrak{sl}_n$ link homology. The invariant takes values in a 2-category where 2-morphisms are given by foams, singular cobordisms between $\mathfrak{sl}_n$ webs; applying a (TQFT-like) representable functor recovers (colored) Khovanov-Rozansky homology. Novel features of the theory include the introduction of `enhanced' foam facets which fix sign issues associated with the original matrix factorization formulation and the use of skew Howe duality to show that (enhanced) closed foams can be evaluated in a completely combinatorial manner. The latter answers a question posed in math.GT/0708.2228.

研究动机与目标

• 提供一种完全组合化、生成元与关系的彩色 sln 链同调表述，避免依赖矩阵因子化或拓扑场论。
• 通过引入控制符号的‘增强’泡沫面，解决泡沫评估中长期存在的符号模糊性问题，以修复原始矩阵因子化框架中的不一致性。
• 建立（增强）闭泡沫的组合化评估规则，回答文献 [40] 中关于此类规则存在的问题。
• 证明范畴化量子群的范畴化 skew Howe 对偶性可用于推导出 sln 链同调的拓扑化、图示化描述。
• 将先前基于泡沫的构造（尤其是 Khovanov、Mackaay-Stosic-Vaz 和 Blanchet 的工作）统一并推广为一个在整数上的连贯2-范畴框架。

提出的方法

• 构建一个具有1-态射为彩色 sln 网、2-态射为增强泡沫的 sln 泡沫2-范畴，其中面被标记为1到n的整数，并包含特殊‘增强’面以控制符号。
• 引入一个从范畴化量子群到泡沫2-范畴的2-函子（泡沫化），利用范畴化 skew Howe 对偶性将泡沫关系与 KLR 代数关系联系起来。
• 使用增强泡沫演算定义闭泡沫的组合化评估映射，证明其定义良好且与表示无关。
• 利用 KLR 代数关系（例如 (3.11)、(3.14)）和泡沫同构（例如 (3.8)、(3.13)）推导出泡沫关系，包括气泡、球面和二边形移除关系。
• 将泡沫化2-函子应用于范畴化 q-Schur 代数，表明该构造的直极限实现了量子群表示的2-范畴。
• 将新泡沫2-范畴与现有框架（例如 Mackaay-Stosic-Vaz、Cautis、Webster）进行比较，表明其在符号和表示上结构等价。

实验结果

研究问题

• RQ1 能否在不依赖矩阵因子化或几何构造的前提下，完全以组合方式表述彩色 sln 链同调？
• RQ2 如何解决泡沫评估中的符号模糊性，以获得一致且组合化的不变量？
• RQ3 是否存在一个生成元与关系的泡沫2-范畴表述，使得闭泡沫的评估可完全算法化？
• RQ4 范畴化 skew Howe 对偶性是否可用于从 KLR 代数关系推导出全部泡沫关系？
• RQ5 新泡沫2-范畴与 Mackaay-Stosic-Vaz、Cautis 和 Webster 等先前构造的关系如何？

主要发现

• 作者构建了一个增强 sln 泡沫2-范畴，为彩色 sln 链同调提供了完全组合化、整数分次的表述。
• 引入增强泡沫面解决了早期泡沫评估中的符号问题，使得闭泡沫的评估具有一致且组合化的规则。
• 证明了任意（增强）闭泡沫的评估均为组合化且可算法化，为 Kapustin-Li 公式提供了直接的组合化类比。
• 泡沫2-范畴被证明与范畴化量子群通过范畴化 skew Howe 对偶性所导出的2-函子像等价，从而在表示理论与链不变量之间建立了深层联系。
• 该构造证明了范畴化 q-Schur 代数的直极限在拓扑上被实现为左向 sln 网的2-范畴，为该代数提供了图示模型。
• 本文建立了 Mackaay-Stosic-Vaz 泡沫范畴中的关系与新增强泡沫2-范畴中关系之间的对应关系，表明所有 MSV 关系均可通过新框架恢复，仅在符号和表示上存在差异。