[论文解读] Categorified skew Howe duality and comparison of knot homologies

Marco Mackaay, Ben Webster|arXiv (Cornell University)|Feb 20, 2015

Algebraic structures and combinatorial models参考文献 27被引用 7

一句话总结

本文通过广义斜海伍德对偶的范畴化框架，建立了科凡诺夫-罗赞斯基同调与 sln 的张量积表示的范畴化构造之间的同构关系。通过在图示双模的导出范畴上构造 slℓ×gln 的范畴作用，作者证明了由此产生的纽结同调与所有已知的雷斯捷欣-图雷夫不变量的范畴化构造一致，通过科祖尔对偶与导出等价性，将不同方法统一于同一代数结构之下。

ABSTRACT

In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using matrix factorizations, category $\mathcal{O}$, affine Grassmannians, and diagrammatic categorifications of tensor products. While the definitions of these theories are quite different, there is a key commonality between them which makes it possible to prove that they are all isomorphic: they arise from a skew Howe dual action of $\mathfrak{gl}_\ell$ for some $\ell$. In this paper, we show that the construction of knot homology based on categorifying tensor products (from earlier work of the second author) fits into this framework, and thus agrees with other such homologies, such as Khovanov-Rozansky homology. We accomplish this by categorifying the action of $\mathfrak{gl}_\ell imes \mathfrak{gl}_n$ on $\bigwedge olimits^{\!p}(\mathbb{C}^\ell\otimes \mathbb{C}^n)$ using diagrammatic bimodules. In this action, the functors corresponding to $\mathfrak{gl}_\ell$ and $\mathfrak{gl}_n$ are quite different in nature, but they will switch roles under Koszul duality.

研究动机与目标

• 本文旨在解决长期存在的问题：证明 sln 的雷斯捷欣-图雷夫不变量的多种范畴化构造之间的等价性。
• 旨在通过单一框架统一不同构造——矩阵因子化、泡沫、范畴 O、仿射格拉斯曼ian 以及图示范畴化——在不同数学领域中的范畴化构造。
• 目标包括证明 [Webb] 的张量积图示范畴化构造与 Cautis 基于 sl∞-范畴作用的通用构造同构。
• 作者旨在阐明科祖尔对偶在范畴化对偶框架中交换 slℓ 与 gln 作用的角色。
• 他们进一步旨在通过图示双模的导出范畴，实现 Zuckerman 范函的图示化实现，为表示理论提供一种新的实用工具。

提出的方法

• 作者在图示张量积代数 T_{p1,...,pℓ}^μ 的有界导出范畴上构造了 slℓ×gln 的范畴作用。
• 他们使用图示双模来范畴化 glℓ×gln 在外代数 ^p(Cℓ⊗Cn) 上的作用，该作用是斜海伍德对偶的基础。
• 该构造依赖于导出范畴框架，因为 slℓ 作用在阿贝尔范畴层面上并非正合，因此必须过渡到导出范畴。
• 关键的技术工具是科祖尔对偶，它通过抛物范畴 O 的块的导出范畴之间的等价性，交换了 slℓ 与 gln 的作用。
• 作者利用 Soergel 的 Struktursatz 及线性复形 t-结构中的 Zuckerman 范函的 t-正合性，来控制导出结构。
• 他们通过证明每个已知不变量均可表示为 Hom(C, Z(L)C) 的形式，其中 C 是某个范畴 sl2ℓ-作用中权为 nωℓ 的最高权对象，且 End(C) ≅ k，从而比较了所有已知不变量。

实验结果

研究问题

• RQ1 图示范畴化构造的 sln 张量积表示（来自 [Webb]）是否产生与其它已知构造同构的纽结同调？
• RQ2 斜海伍德对偶框架能否用于统一不同数学领域中雷斯捷欣-图雷夫不变量的范畴化构造？
• RQ3 科祖尔对偶在范畴化对偶框架中如何交换 slℓ 与 gln 作用的角色？
• RQ4 [Webb] 的图示构造是否与基于 sl∞-范畴作用的 Cautis 通用构造等价？
• RQ5 图示双模的导出范畴能否以具体、图示化的方式实现 Zuckerman 范函？

主要发现

• 通过张量积图示范畴化构造的纽结同调 Kn 与科凡诺夫-罗赞斯基同调、Cautis-Kamnitzer 同调、Queffelec 与 Rose 的泡沫型不变量，以及 Mazorchuk-Stroppel 与 Sussan 的范畴 O 型不变量同构。
• 该同构在一次分次移位后成立：Wi,j+wwr(L)(L) ≅ QRi+j,−j(L) ≅ C_{i+j,−j}^+(L!) ≅ C_{−i−j,+j}^−(L)，其中 wwr(L) 是纽结的加权 writhe。
• 图示双模的导出范畴支持一个范畴化斜海伍德对偶的 slℓ×gln-作用，其中 slℓ-作用非正合，但可在导出层面上定义。
• 科祖尔对偶交换了 slℓ 与 gln-作用：T_{p1,...,pℓ}^μ 与 T_{m1,...,mn}^{(pn,...,p1)} 的导出范畴等价，从而交换了 Zuckerman 范函与平移函子。
• 该构造通过图示双模的导出范畴，实现了 Zuckerman 范函的图示化实现，为表示理论提供了一种新的计算工具。
• 所有已知的 sln 树斯捷欣-图雷夫不变量的范畴化构造彼此同构，且均可表示为 Hom(C, Z(L)C) 的形式，其中 C 是某个范畴 sl2ℓ-作用中权为 nωℓ 的最高权对象，且 End(C) ≅ k。