[논문 리뷰] Knot invariants and higher representation theory

Ben Webster|2013. 09. 15.

Algebraic structures and combinatorial models참고 문헌 74인용 수 51

한 줄 요약

이 논문은 2-양자군의 2표현과 다이어그램 기반 분류화를 사용하여, 모든 유한차원 표현에 대해 양자군의 양자 링크 불변량을 분류화하는 이중첨자 링크 homology를 구축한다. 이 불변량들은 sl₂에 대해 코호몰로지 이론을 복원하고, slₙ에 대해 마조르추크-스트롭엘-수산의 이론을 복원하며, 코호몰로지 이론의 비퇴화성과 순환 KLR 대수의 프로베누스 성질을 증명한다.

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₂에 대해 코호몰로지, slₙ에 대해 마조르추크-스트롭엘-수산 호몰로지
• 분류화된 표현 이론을 사용하여 코호몰로지-라우다의 2-category의 비퇴화성과 순환 KLR 대수의 프로베누스 성질을 증명하는 것

제안 방법

• 루콴리와 코호몰로지-라우다의 의미에서 2-양자군의 2표현을 사용하여 기약 표현의 텐서곱을 분류화하는 것
• KLR 대수의 순환 몫을 일반화한 다이어그램 표현을 가진 유한차원 대수를 구성하는 것
• 자기 dual인 프로젝티브를 갖는 표준적 분할 구조를 가진 분할 범주를 도입하고, 분할을 통해 버마 모듈과 유사한 테스트 함자를 정의하는 것
• 브레이딩 함자와 코에비전/에비전 함자를 정의하여 리셰티힌-투라에프 맵을 분류화하고, 테이글 및 링크 불변량을 가능하게 하는 것
• 모리타 동치를 수립하고, 엔레인-쉐르턴 및 즈크만 함자를 사용하여 분류화된 표현을 파라볼릭 범주 O와 연결하는 것
• 이중 중심자 성질과 분할을 적용하여 비퇴화성 및 프로베누스 형식과 같은 구조적 결과를 증명하는 것

실험 결과

연구 질문

• RQ1 모든 유한차원 표현에 대해 양자군의 양자 링크 불변량을 통일적으로 분류화할 수 있는가? 특히 최소표현이나 기본 표현에 국한되지 않는가?
• RQ2 분류화된 텐서곱 표현은 파라볼릭 범주 O와 같은 전통적 표현 범주와 어떻게 관련이 있는가?
• RQ3 2-양자군의 다이어그램 기반 2표현은 기존의 링크 호몰로지(예: 코호몰로지 또는 코호몰로지-로잔스키 호몰로지)를 복원하는 불변량을 제공하는가?
• RQ4 이러한 분류화된 표현의 존재로부터 유도할 수 있는 구조적 성질(예: 비퇴화성, 프로베누스 형식)은 무엇인가?
• RQ5 분류화된 설정에서의 브레이딩 및 에비전 함자는 양자 topology의 리셰티힌-투라에프 구성과 어떻게 대응하는가?

주요 결과

• 링크 L에 최고 무게 λi로 레이블링된 구성된 링크 호몰로지 K(L, {λi})는 그 중첩된 오일러 특성으로 고전적 양자 불변량을 복원한다.
• g = sl₂ 및 표준 표현일 경우, 이 불변량은 그레이딩 이동을 제외하고 코호몰로지 호몰로지와 일치한다.
• g = sl₃ 및 표준 표현일 경우, 이 불변량은 코호몰로지-로잔스키 호몰로지와 일치한다.
• g = slₙ 및 표준 표현일 경우, 이 불변량은 마조르추크-스트롭엘-수산 호몰로지와 일치한다.
• 코호몰로지-라우다의 2-category가 비퇴화임을 증명: 모든 대칭 가능 유형에서 그 호모지 공간의 차원이 기대되는 바와 일치한다.
• 순환 퀼트 히브 대수가 대칭 프로베누스 대수임을 증명하여 핵심적인 구조적 추측을 확인한다.