[论文解读] Knot invariants and higher representation theory

Ben Webster|Sep 15, 2013

Algebraic structures and combinatorial models参考文献 74被引用 51

一句话总结

本文通过2-量子群的2-表現與圖形化分類化，構造了所有有限維表示之量子扭結不變量的雙分次扭結同調，實現了對量子群所有有限維表示之量子扭結不變量的分類化。證明了這些不變量在sl₂情形下恢復Khovanov同調，在slₙ情形下恢復Mazorchuk-Stroppel-Sussan同調，並確立了Khovanov-Lauda的2-範疇之非退化性與迴圈KLR代數的Frobenius性質。

ABSTRACT

We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel and Sussan for sl_n. Our technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is $\mathfrak{sl}_n$, we show that these categories agree with certain subcategories of parabolic category O for gl_k. We also investigate the finer structure of these categories: they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role as test objects for functors, as Vermas do in more classical representation theory. The existence of these representations has consequences for the structure of previously studied categorifications. It allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius. In work of Reshetikhin and Turaev, the braiding and (co)evaluation maps between representations of quantum groups are used to define polynomial knot invariants. We show that the categorifications of tensor products are related by functors categorifying these maps, which allow the construction of bigraded knot homologies whose graded Euler characteristics are the original polynomial knot invariants.

研究动机与目标

• 構造量子群所有有限維表示之量子扭結不變量的統一分類化，超越最小權或基本表示的限制。
• 建立2-量子群的圖形化2-表現理論，以分類化張量積表示。
• 證明所得扭結同調在適當標記下與已知構造一致：sl₂對應Khovanov同調，slₙ對應Mazorchuk-Stroppel-Sussan同調。
• 利用分類化表示理論，證明Khovanov-Lauda的2-範疇之非退化性與迴圈KLR代數的Frobenius結構。

提出的方法

• 使用2-量子群（Rouquier與Khovanov-Lauda之意義）的2-表現，以分類化不可約表示之張量積。
• 構造具有圖形化陳述之有限維代數，廣義化KLR代數的迴圈商。
• 引入標準分層範疇，具自對偶投影對象，並利用分層定義類似Verma模的測試函子。
• 定義扭結函子與共評價/評價函子，以分類化Reshetikhin-Turaev映射，進而構造tangle與扭結不變量。
• 建立Morita等價，並使用Enright-Shelton與Zuckerman函子，連結分類化表示與拋物型category O。
• 應用雙中心化性質與分層結構，證明非退化性與Frobenius形式等結構結果。

实验结果

研究问题

• RQ1 能否為所有有限維表示（不僅最小權或基本表示）的量子群，構造統一的量子扭結不變量分類化？
• RQ2 分類化張量積表示與經典表示範疇（如拋物型category O）之間的關係為何？
• RQ3 2-量子群的圖形化2-表現是否產生恢復已知扭結同調（如Khovanov或Khovanov-Rozansky同調）的不變量？
• RQ4 從這些分類化表示的存在，可推導出哪些結構性質（如非退化性、Frobenius形式）？
• RQ5 分類化設定中的扭結與評價函子如何對應於量子拓撲中Reshetikhin-Turaev構造？

主要发现

• 對以最高權λi標記之扭結L所構造之扭結同調K(L, {λi})，其graded Euler特徵恢復為經典量子不變量。
• 當g = sl₂且為標準表示時，不變量在分次位移下與Khovanov同調一致。
• 當g = sl₃且為標準表示時，不變量與Khovanov-Rozansky同調相符。
• 當g = slₙ且為標準表示時，不變量與Mazorchuk-Stroppel-Sussan同調一致。
• 證明Khovanov-Lauda的2-範疇為非退化：在所有可對稱化類型中，其Hom空間維數符合預期。
• 證明迴圈quiver Hecke代數為對稱Frobenius代數，確認一項關鍵結構性猜想。