[논문 리뷰] Knot invariants and higher representation theory II: the categorification of quantum knot invariants

Ben Webster|arXiv (Cornell University)|2010. 05. 25.

Geometric and Algebraic Topology참고 문헌 33인용 수 52

한 줄 요약

이 논문은 임의의 단순 리 대수에 관련된 양자군의 모든 유한차원 표현에 대해 양자 끈 불변량의 분류화를 구성한다. 이는 Khovanov-Lauda-Rouquier 대수를 통한 분류화된 텐서곱 표현을 사용한다. 주요 결과는 이중차수 환형 이론이며, 그 차수별 오일러 특성은 양자 불변량을 복원한다. 정의 표현을 사용할 경우 $σ\mathfrak{sl}_2$, $σ\mathfrak{sl}_3$, $σ\mathfrak{sl}_n$에 대해 알려진 불변량과 일치한다.

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 uses categorifications of the tensor product representations of Kac-Moody algebras and quantum groups, constructed a prequel to this paper. These categories are based on the pictorial approach of Khovanov and Lauda. In this paper, we show that these categories are related by functors corresponding to the braiding and (co)evaluation maps between representations of quantum groups. Exactly as these maps can be used to define quantum invariants attached to any tangle, their categorifications can be used to define knot homologies.

연구 동기 및 목표

• 단순 리 대수 $σ\mathfrak{g}$의 임의의 유한차원 표현으로 라벨링된 링크에 대해, 해당 양자 불변량을 분류화하는 환형 이론을 구축하는 것.
• 이전에 최소표현 또는 기본 표현에 국한되어 있던 분류화를, 양자군의 모든 최고무게 표현으로 확장하는 것.
• Khovanov, Khovanov-Rozansky, Mazorchuk-Stroppel 등의 이전 구성들을 통합하고 일반화하기 위해, $U_q(\mathfrak{g})$-표현의 R-행렬과 리본 카테고리 구조의 체계적인 분류화를 수행하는 것.
• 제안된 환형 이론이 정의 표현에 제한되었을 때 $σ\mathfrak{sl}_2$, $σ\mathfrak{sl}_3$, $σ\mathfrak{sl}_n$에 대해 알려진 불변량과 일치함을 입증하는 것.

제안 방법

• $U_q(\mathfrak{g})$의 텐서곱 표현을 분류화하기 위해, 그 코herent 군이 $V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_\ell}$의 정수형을 실현하는, 차수를 가진 유한차원 대수 $T^{\underline{\boldsymbol{\lambda}}}$를 사용하는 것.
• $U_q(\mathfrak{g})$-표현의 리본 카테고리에서의 뱀성, (코)평가, 쌍대화 사상의 분류화를 담당하는, 이러한 카테고리 간의 함자를 정의하는 것.
• Khovanov과 Lauda의 그림 기반 형식을 사용하여, 이 분류화된 사상의 복합을 통해 탄성 불변량을 구성하는 것. 이는 Reshetikhin-Turaev 구성과 유사하다.
• ES-동치와 Koszul 대칭을 통해, 교차, 컵, 캡에 대한 함자가 Sussan과 Mazorchuk-Stroppel의 것과 일치함을 입증함으로써, 이전 구성과의 동치성을 확립하는 것.
• $\mathfrak{gl}_N$의 파라볼릭 카테고리 $ϵ\mathcal{O}$에서의 이동 및 비틀림 함자를 활용하여, 분류화된 표현론적 구조를 모델링하는 것.

실험 결과

연구 질문

• RQ1 모든 유한차원 표현에 대해, 최소표현이나 기본 표현에 국한되지 않고, 양자 끈 불변량의 통일된 분류화를 구성할 수 있는가?
• RQ2 고차 표현 이론 프레임워크 내에서 분류화된 R-행렬과 (코)평가 함자는, Khovanov 및 Khovanov-Rozansky 환형 이론과 같은 알려진 끈 환형 이론을 어떻게 재현하는가?
• RQ3 제안된 탄성에 대한 분류화된 함자들이 문헌에서 알려진 구성, 특히 Sussan과 Mazorchuk-Stroppel의 것과 얼마나 일치하는가?
• RQ4 제안된 환형 이론은 링크 cobordism에 대해 함의적인가? 만약 그렇다면, Morse 이론적 핸들 분해 구성은 어떻게 독립적인 사상들을 도출하는가?

주요 결과

• 제안된 환형 이론 $\mathcal{K}(L,\{\lambda_i\})$는 이중차수 벡터 공간이며, 그 차수별 오일러 특성이 라벨링된 링크의 양자 불변량을 복원한다.
• $\mathfrak{g} = \mathfrak{sl}_2$ 및 $\mathfrak{g} = \mathfrak{sl}_3$일 경우, 링크가 정의 표현으로 라벨링되면 각각 Khovanov 환형 이론과 Khovanov-Rozansky 환형 이론을 회복한다.
• $\mathfrak{g} = \mathfrak{sl}_n$일 경우, 정의 표현에 대해 Mazorchuk-Stroppel-Sussan 환형 이론과 일치하며, 추측적으로 Khovanov-Rozansky 환형 이론과 동형이다.
• 이곳에서 구성된 분류화된 교차, 컵, 캡 함자들은 ES-동치와 Koszul 대칭을 통해 Sussan 및 Mazorchuk-Stroppel의 것과 동치임을 입증하였다.
• 이 구성은 제1부에서 확립된 바와 같이, Khovanov-Lauda-Rouquier 대수를 통한 $U_q(\mathfrak{g})$-표현의 분류화와 호환된다.