[논문 리뷰] Knot invariants and higher representation theory I: diagrammatic and geometric categorification of tensor products

Ben Webster|arXiv (Cornell University)|2010. 01. 13.

Algebraic structures and combinatorial models참고 문헌 35인용 수 87

한 줄 요약

이 논문은 일반화된 순환 다항식 히드라 알제브라를 사용하여 대칭가능한 카크-무디 대수의 기약 표현의 텐서곱에 대한 다이어그램적이고 기하학적인 카테고리화를 구축하며, 그 결과로 얻어진 카테고리의 그로텐디크 군이 텐서곱 표현을 실현함을 증명한다. 주요 기여는 이러한 카테고리가 코반옵-로우다의 의미에서 텐서곱을 카테고리화하고 있음을 확립한 것으로, 루프 톱로지와의 연결 및 A형에서의 포라보릭 카테고리 O 및 순환 q-스처 대수와의 관계에 응용된다.

ABSTRACT

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying Reshetikhin-Turaev invariants of knots for arbitrary representations, which will be done in a follow-up paper. We consider an algebraic construction of these categories, via an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the quiver Hecke algebra. One of our primary results is that these categories coincide when both are defined. We also investigate finer structure of these categories. Like many similar representation-theoretic 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 Vermas do in more classical representation theory, as test objects for functors. 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.

연구 동기 및 목표

• 2-양자군의 2표현을 구성하여 $U_q(\mathfrak{g})$의 기약 표현 텐서곱을 카테고리화하는 것.
• 일반화된 순환 다항식 히드라 알제브라를 사용하여 이러한 카테고리화의 다이어그램적 및 대수적 표현을 제공하는 것.
• 이 카테고리와 고전적 표현 이론, 특히 A형에서의 포라보릭 카테고리 O 및 순환 q-스처 대수 간의 연결 고리를 확립하는 것.
• 코반옵-로우다의 2카테고리의 비퇴화성과 순환 히드라 알제브라의 대칭 프로베니우스 성질을 증명하는 것.
• 향후 작업에서 레셰티힌-투라에프 불변량을 카테고리화하는 루프 톱로지의 기초 프레임워크를 마련하는 것.

제안 방법

• 논문은 리 대수 $σ$와 다항식 $Q_{ij}$의 선택에 따라 매개변수화된 순환 다항식 히드라 알제브라의 일반화로 간주되는 대수 $T^{oldsymbol{ ilde{oldsymbol{ u}}}}$를 정의한다.
• 이것은 $T^{oldsymbol{ ilde{oldsymbol{ u}}}}$의 유한차원 모듈러의 카테고리로 구성된 $Π^{oldsymbol{ ilde{oldsymbol{ u}}}}$를 정의하며, 이 카테고리가 2-양자군 $Σ$의 2표현을 지닌다.
• $Π^{oldsymbol{ ilde{oldsymbol{ u}}}}$의 그로텐디크 군이 표준적으로 $V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_\ell}$와 동형임을 증명하여, 카테고리화를 확립한다.
• A형($\mathfrak{sl}_n$)의 경우, $Π^{oldsymbol{ ilde{oldsymbol{ u}}}}$가 $\mathfrak{gl}_k$의 포라보릭 카테고리 O의 전부가 아닌 부분카테고리와 모리타 동치를 통해 동치임을 보인다.
• 논문은 $T^{oldsymbol{ ilde{oldsymbol{ u}}}}$가 표준적으로 스트라티피케이션을 가지며, 자기 이중 모듈러에 대해 이중 중심자 성질을 만족함을 증명한다.
• 이 카테고리에서 $T^{oldsymbol{ ilde{oldsymbol{ u}}}}$가 코즈울임을 증명하고, 카테고리 O의 기존 그레딩과 호환되는 그레딩을 가진 2표현의 립트를 제공한다.

실험 결과

연구 질문

• RQ1 어떻게 임의의 대칭가능한 카크-무디 대수에 대해 $U_q(\mathfrak{g})$의 기약 표현의 텐서곱을 다이어그램적이고 대수적인 구성으로 카테고리화할 수 있는가?
• RQ2 구성된 카테고리와 고전적 표현론적 대상, 특히 A형에서의 포라보릭 카테고리 O 및 순환 q-스처 대수 사이의 정확한 관계는 무엇인가?
• RQ3 코반옵-로우다가 정의한 2카테고리가 비퇴화된 카테고리화를 갖는가? 그리고 대수 $T^{oldsymbol{ ilde{oldsymbol{ u}}}}$는 기대되는 호모로지 공간 차원을 갖는가?
• RQ4 카테고리 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$의 표준 모듈러와 자기 이중 모듈러는 어떻게 행동하며, 카테고리의 구조에서 어떤 역할을 하는가?
• RQ5 카테고리 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$에서의 2표현은 기존 카테고리 O의 그레딩과 호환되는 그레딩을 가진 립트로 올릴 수 있는가?

주요 결과

• $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 카테고리는 텐서곱 $V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_\ell}$의 카테고리화이며, 그 그로텐디크 군은 이 표현의 정수형과 표준적으로 동형이다.
• $\mathfrak{g} = \mathfrak{sl}_n$인 경우, $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$는 $\mathfrak{gl}_k$의 포라보릭 카테고리 O의 전부가 아닌 부분카테고리와 모리타 동치를 통해 동치이다.
• $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$는 표준적으로 스트라티피케이션을 가지며, 분해불가능한 프로젝티브-인젝티브 모듈러의 합은 이중 중심자 성질을 만족한다.
• $\mathfrak{g} = \widehat{\mathfrak{sl}}_n$인 경우, $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$는 특정 프로젝티브 모듈러로 생성되는 순환 $q$-스처 대수의 부분카테고리와 동치이다.
• $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$는 코즈울이며, 2표현은 카테고리 $\mathcal{O}$의 그레딩과 호환되는 그레딩 립트를 갖는다.
• 2카테고리 $\mathcal{U}$는 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$에 이중적이고 양측으로 수반된 함자들을 통해 작용하며, 유한형 단순결합형의 경우 표준 기저를 실현한다.