[论文解读] Clasp technology to knot homology via the affine Grassmannian

Sabin Cautis|arXiv (Cornell University)|Jul 9, 2012

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

一句话总结

本文通过仿射格拉斯曼ian中的无限扭结，实现了广义琼斯-温兹尔投影算子（夹板）作为全扭结的极限，对 $υ\text{-}\mathfrak{sl}_m$ 的瑞舍蒂欣-图雷夫纽结不变量进行了范畴化。关键贡献是通过 $U_q(\mathfrak{sl}_\infty)$-模 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ 统一构造了同调纽结不变量，该模通过仿射格拉斯曼ian上的卷积代数或中岛quiver簇实现，利用斜豪伊对偶性得到等价不变量。

ABSTRACT

We categorify all the Reshetikhin-Turaev tangle invariants of type A. Our main tool is a categorification of the generalized Jones-Wenzl projectors (a.k.a. clasps) as infinite twists. Applying this to certain convolution product varieties on the affine Grassmannian we extend our earlier work with Kamnitzer from standard to arbitrary representations.

研究动机与目标

• 通过高阶表示理论对所有 $\mathfrak{sl}_m$ 的瑞舍蒂欣-图雷夫纽结不变量进行统一范畴化。
• 通过仿射格拉斯曼ian中的无限扭结，将广义琼斯-温兹尔投影算子（夹板）实现为全扭结的极限。
• 通过斜豪伊对偶性，建立来自仿射格拉斯曼ian和中岛quiver簇的不变量之间的等价性。
• 通过 $U_q(\mathfrak{sl}_\infty)$-模 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ 将早期结果从标准表示扩展到任意表示。
• 通过无限扭结极限和卷积簇上的2-范畴结构，统一范畴化纽结不变量。

提出的方法

• 将夹板范畴化为极限 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$，其中 $T_\omega$ 是 $n$ 根辫子上的全扭结。
• 通过斜豪伊对偶性，在 $\Lambda_q^{N}(\mathbb{C}^m \otimes \mathbb{C}^{2N})$ 上定义辫子群作用，从而为有限 $N$ 构造纽结不变量。
• 取 $N \to \infty$ 的 $\infty$-极限，得到 $U_q(\mathfrak{sl}_\infty)$-模 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$，实现统一范畴化。
• 通过 $\mathrm{PGL}_m$ 的仿射格拉斯曼ian上的卷积代数实现该范畴化模，从而获得几何范畴化。
• 通过中岛quiver簇构造相同不变量，利用2-范畴 $\mathcal{K}_{\mathrm{Gr},m}$ 和 $\mathcal{K}_{\mathrm{Q},m}$ 展示其等价性。
• 使用里卡尔德复形和 $U_q(\mathfrak{sl}_\infty)$ 的2-表示，定义范畴化纽结函子并验证关系。

实验结果

研究问题

• RQ1 如何通过几何和范畴构造对 $\mathfrak{sl}_m$ 的广义琼斯-温兹尔投影算子（夹板）进行范畴化？
• RQ2 能否通过极限构造，对 $\mathfrak{sl}_m$ 的任意表示的瑞舍蒂欣-图雷夫纽结不变量进行统一范畴化？
• RQ3 通过仿射格拉斯曼ian和中岛quiver簇对同一 $U_q(\mathfrak{sl}_\infty)$-模进行范畴化，二者之间有何关系？
• RQ4 无限扭结极限 $\lim_{\ell \to \infty} T_\omega^{2\ell}$ 在范畴化设定下如何恢复夹板投影算子？
• RQ5 仿射格拉斯曼ian和quiver簇上的2-范畴结构在多大程度上产生等价的同调纽结不变量？

主要发现

• 夹板投影算子 $P\mathbf{1}_{\underline{i}}$ 被实现为极限 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$，为类型 $A$ 中琼斯-温兹尔投影算子提供了几何范畴化。
• $U_q(\mathfrak{sl}_\infty)$-模 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ 支持对所有 $\mathfrak{sl}_m$ 的瑞舍蒂欣-图雷夫纽结不变量的统一范畴化。
• 通过2-范畴 $\mathcal{K}_{\mathrm{Gr},m}$ 和 $\mathcal{K}_{\mathrm{Q},m}$，在 $\mathrm{PGL}_m$ 的仿射格拉斯曼ian上构造的范畴化不变量与中岛quiver簇上的不变量等价。
• 通过斜豪伊对偶性，辫子群在 $\Lambda_q^N(\mathbb{C}^m \otimes \mathbb{C}^{2N})$ 上的作用与 $\mathfrak{sl}_m$ 的瑞舍蒂欣-图雷夫 $R$-矩阵构造一致。
• 范畴化夹板被实现为 $A_{1,2} = \mathbb{C}[t]/t^2$ 上双模的导出张量积，其与类型 $A_1$ 中早期构造通过科祖尔对偶性相关联。
• 通过在 $\infty$-极限下工作，该构造将卡姆尼策尔的早期工作从基本表示扩展到任意表示。