[论文解读] Category O and sl(k) link invariants

Joshua Sussan|ArXiv.org|Jan 1, 2007

Algebraic structures and combinatorial models参考文献 37被引用 54

一句话总结

本文通过 $ \mathfrak{gl}_n $ 的分次范畴 $ \mathcal{O} $ 构造了 $ \mathfrak{sl}_k $ 链 invariant 的范畴化，利用投影函子和 Zuckerman 函子将函子分配给辫图，证明了这些函子的 Grothendieck 群满足 $ \mathfrak{sl}_k $ 的 skein 关系，从而通过 tangle 和 2-tangle 的函子不变量范畴化了 HOMFLYPT 多项式。

ABSTRACT

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors restricted to these categories give rise to a functorial action of the Lie algebra. On the derived category, Zuckerman functors categorify sl(k)- homomorphisms. Cones of natural transformations between the identity functor and Zuckerman functors are assigned to crossings and this assignment satisfies the appropriate relations. On the Grothendieck group, the functors assigned to the crossings satisfy the sl(k)- specialization of the two variable HOMFLYPT polynomial. For the special case of links, we get a homological invariant.

研究动机与目标

• 构建 tangle 的函子不变量，以范畴化 $ \mathfrak{sl}_k $ 链 invariant。
• 将 $ \mathfrak{sl}_2 $ 通过范畴 $ \mathcal{O} $ 的范畴化程序扩展至更高秩李代数 $ \mathfrak{sl}_k $。
• 将 HOMFLYPT 多项式实现为基于范畴 $ \mathcal{O} $ 构建的同调理论的分次 Euler 示性数。
• 定义分配给 tangle 的函子之间的自然变换，使其对应于 2-tangle 设置中的 cobordism，推广早期关于 2-tangle 不变量的工作。

提出的方法

• 通过 $ \mathfrak{gl}_n $ 的分次范畴 $ \mathcal{O} $ 中奇异块的抛物子范畴，对 $ \mathfrak{sl}_k $ 基本表示的张量积进行范畴化。
• 将投影函子分配给 $ \mathfrak{sl}_k $ 的作用，将导出 Zuckerman 函子分配给互异同态，并通过分次提升来模拟量子群关系。
• 使用移位包含函子与 Zuckerman 函子之间伴随态射的锥来建模辫图中的交叉。
• 在函子复合之间建立函子同构，使其镜像反映 $ \mathfrak{sl}_k $ 互异同态的平面图关系。
• 将构造提升至分次设定，使得 Grothendieck 群中的移位对应于量子参数 $ q $ 的乘法，从而实现量子 Serre 关系的范畴化。
• 证明所得函子值 tangle 不变量在 Grothendieck 群中满足 Reidemeister 移动和 $ \mathfrak{sl}_k $ 的 skein 关系。

实验结果

研究问题

• RQ1 如何通过 $ \mathfrak{gl}_n $ 的范畴 $ \mathcal{O} $ 对 $ \mathfrak{sl}_k $ 链 invariant 进行范畴化？
• RQ2 HOMFLYPT 多项式如何通过范畴 $ \mathcal{O} $ 及投影函子和 Zuckerman 函子的分次提升实现为函子实现？
• RQ3 分配给 tangle 的函子之间的自然变换如何对应于 2-tangle 设置中的 cobordism？
• RQ4 $ \mathfrak{sl}_k $ 的 skein 关系是否可在 Grothendieck 群中通过函子复合的同构实现？
• RQ5 范畴 $ \mathcal{O} $ 的分次结构如何通过对应于 $ q $-乘法的移位实现量子群作用的范畴化？

主要发现

• 函子值 tangle 不变量的 Grothendieck 群满足 $ \mathfrak{sl}_k $ 的 skein 关系，其中 $[ \Pi_i] = (-1)^k q^k ([\widetilde{\epsilon}_{\mathfrak{s}_i} L\widetilde{Z}^{\mathfrak{s}_i}} - q^{-1} [\mathrm{Id}])$。
• 在 Grothendieck 群中成立关系 $q^k [ \Omega_i] - q^{-k} [ \Pi_i] = (-1)^{k-1} (q - q^{-1}) [\mathrm{Id}]$，证实了范畴化后的 skein 关系。
• tangle 图中完整扭转的函子复合同构于将恒等函子移位 $[3]\langle 1\rangle$，验证了 Reidemeister I 移动。
• 在包含函子与导出 Zuckerman 函子的复合之间构造了函子同构，其在广义 Verma 模上限制为同构。
• 该构造被提升至分次设定，其中移位对应于量子参数 $ q $，从而实现了量子 Serre 关系的范畴化。
• 分配给 tangle 的函子之间的自然变换对应于 cobordism，推广了早期 $ \mathfrak{sl}_2 $ 的结果，并将该程序扩展至 $ \mathfrak{sl}_k $。