[论文解读] The diagrammatic Soergel category and sl(2) and sl(3) foams

Pedro Vaz|arXiv (Cornell University)|Sep 18, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 4

一句话总结

本文構造了從圖形化索eger分類（SC）到通用 sl(2) 和 sl(3) 膜類的保 grading 的函子，建立了 categorified 量子群與拓撲鏈路同調之間的圖形化聯繫。主要貢獻是透過膜cobordism 對索eger分類的態射進行系統性、函子性的實現，整個函子族具有聯合忠誠性，從而實現了從 HOMFLYPT 同調到 sl(N) 同調的譜序列的圖形化解釋。

ABSTRACT

We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.

研究动机与目标

• 建立圖形化索eger分類與拓撲 sl(N) 膜理論之間的分類橋樑。
• 透過膜cobordism 對索eger分類態射提供圖形化實現，適用於 sl(2) 和 sl(3)。
• 為所有 N 建立從索eger分類到 sl(N)-膜分類的統一函子族奠定基礎。
• 實現對 Rasmussen 從 HOMFLYPT 同調到 sl(N) 同調的譜序列的圖形化理解。
• 證明函子族的聯合忠誠性，確保 SC 中態射的非平凡性。

提出的方法

• 定義從圖形化索eger分類 SC1 到 Clark-Morrison-Walker 的非定向 sl(2) 膜類的函子 Fsl(2),n。
• 定義從 SC1 到通用 sl(3) 膜類的函子 Fsl(3),n，透過膜cobordism 映射生成元與關係。
• 確保兩個函子均為保 grading 的，容許其延拓至 SC 的 Karoubi 環。
• 利用同痕不變性與膜關係，驗證函子尊重圖形化索eger分類的所有 18 條關係。
• 使用膜關係如 (Bubble)、(DR)、(RD)、(SqR) 和 (Bamboo) 檢查與索eger分類關係的一致性。
• 利用 Karoubi 環的普遍性，將函子從 SC1 延拓至完整的索eger分類 SC。

实验结果

研究问题

• RQ1 如何將圖形化索eger分類函子性地映射到 sl(2) 膜類？
• RQ2 索eger分類生成元與 sl(3) 膜cobordism 之間的精確對應關係為何？
• RQ3 這些函子如何保持索eger分類的 grading 與關係？
• RQ4 從 SC 到 sl(N)-膜類的函子族是否能檢測 SC 中非零態射？
• RQ5 這些函子在解釋 Rasmussen 從 HOMFLYPT 到 sl(N) 同調的譜序列中扮演何種角色？

主要发现

• 函子 Fsl(2),n 將空圖形映射為 sl(2) 膜類中的 n 條平行垂直薄片。
• 函子 Fsl(3),n 將具有相鄰顏色的六價頂點映射為特定配置的負膜，包含三張薄片。
• 函子尊重圖形化索eger分類的所有 18 條關係，包括同痕、單色、雙色與三色關係。
• 涉及三種相鄰顏色的關係（第 18 條）在膜類中的像為零，經由 (Bubble) 關係驗證。
• 整個函子族具有聯合忠誠性：若對所有 N 有 Fsl(N),n(f) = 0，則 SC 中 f = 0。
• 該構造提供了理解從 HOMFLYPT 同調到 sl(N) 同調譜序列的圖形框架。