[论文解读] The diagrammatic Soergel category and sl(N)-foams, for N > 3

Marco Mackaay, Pedro Vaz|arXiv (Cornell University)|Nov 12, 2009

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

一句话总结

本文构建了一个从Elias与Khovanov的图示性Soergel范畴到所有N ≥ 4的sl(N)-泡沫范畴的幺半函子，证明了通过这些函子，Soergel的范畴可以被完全恢复。关键结果是：若一个态射在所有此类函子下映射为零，则其在原始范畴中必为零，从而证明了函子的忠实性，并表明Soergel范畴的所有定义关系均源自泡沫关系。

ABSTRACT

For each N≥4, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stošić, and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams.

研究动机与目标

• 为每个N ≥ 4，建立从Elias与Khovanov的图示性Soergel范畴到sl(N)-泡沫范畴的幺半函子。
• 证明可通过这些函子从sl(N)-泡沫范畴重构Soergel的范畴。
• 证明在N ≥ 4时，Soergel范畴中的所有定义关系均为sl(N)-泡沫范畴中关系的推论。
• 通过泡沫关系提供Soergel范畴的图示实现，为Khovanov-Rozansky同调与谱序列提供新视角。

提出的方法

• 为每个N ≥ 4，定义从图示性Soergel范畴SC1,n到sl(N)-泡沫范畴的函子FN,n。
• 验证该函子保持幺半结构，并尊重图示性Soergel范畴中的所有生成元与关系。
• 利用同痕不变性、泡沫关系（DR31、MP、Bubble）以及Kapustin-Li公式，检验与关系(13)、(14)和(18)的一致性。
• 通过在开放面片上添加点的闭包技术，检验态射的非平凡性，利用当每个球面恰好有N−1个点时，闭包中仅有一项存活的事实。
• 通过证明：若对所有N ≥ 4均有FN,n(f) = 0，则f = 0（在Soergel范畴中），从而证明忠实性，利用自同态的多项式结构与次数论证。
• 利用[2]、[3]与[11]中的已知结果，将一般情形约化为更简单的情形，如空对象或单色生成元。

实验结果

研究问题

• RQ1 能否通过函子性构造，从sl(N)-泡沫范畴（N ≥ 4）完全恢复图示性Soergel范畴？
• RQ2 图示性Soergel范畴中的所有定义关系是否均为sl(N)-泡沫范畴中关系的推论？
• RQ3 是否存在从图示性Soergel范畴到sl(N)-泡沫范畴（N ≥ 4）的忠实函子？
• RQ4 Kapustin-Li公式与泡沫关系能否用于图示性地重构Soergel范畴的全部结构？

主要发现

• 本文为每个N ≥ 4，构建了从图示性Soergel范畴到sl(N)-泡沫范畴的幺半函子FN,n。
• 函子FN,n保持图示性Soergel范畴的所有生成元与关系，包括同痕、单色、双色与三色关系。
• 关键结果是：若Soergel范畴中的一个态射f满足对所有N ≥ 4均有FN,n(f) = 0，则f = 0，从而证明该函子是忠实的。
• 此忠实性意味着当N ≥ 4时，Soergel范畴中的所有定义关系均为sl(N)-泡沫范畴中关系的推论。
• 证明使用了闭包技术：通过在开放面片上添加点，当每个球面恰好有N−1个点时，闭包中仅有一项存活，从而确保对足够大的N具有非平凡性。
• 该结果表明，Soergel的范畴可通过这些函子从sl(N)-泡沫范畴中获得，提供了利用泡沫关系对Soergel范畴的图示实现。