[논문 리뷰] Categorification of quantum symmetric pairs I

Huanchen Bao, Peng Shan외 2명|arXiv (Cornell University)|2016. 05. 12.

Algebraic structures and combinatorial models참고 문헌 27인용 수 3

한 줄 요약

이 논문은 양자군 $U(\mathfrak{sl}_{2r+1})$의 코이델 하위대수 $\dot{U}^\jmath$에 대한 2차원 분류를 도입하며, 킬로프-로우다-루케르 분류를 양자 대칭 쌍의 맥락으로 일반화한다. 새로운 관계를 포함하는 2-category $\dot{U}^\jmath$를 구성하며, 특별한 색인 $i = \diamond$에서 수정된 $\jmath$-Serre 관계와 새로운 삼중점 관계를 포함한다. 또한 자기쌍대 불가약 1-형태가 $\dot{U}^\jmath$의 정규 기저를 분류함을 증명한다. 이 분류는 스chu어 2-category과 B/C 유형의 $\mathcal{O}$ 카테고리에 대한 카테고리적 작용으로 상승되며, 양자 대칭 쌍으로의 스chu어 dualit의 확장이다.

ABSTRACT

We categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category à la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the BGG category $\mathcal{O}$ of type B/C.

연구 동기 및 목표

• 양자군 $U(\mathfrak{sl}_{2r+1})$의 코이델 하위대수 $\dot{U}^\jmath$를 분류하는 2-category $\dot{U}^\jmath$를 구축하는 것.
• 킬로프-로우다-루케르의 양자군 분류를 양자 대칭 쌍의 맥락으로 일반화하는 것.
• $\dot{U}^\jmath$의 자기쌍대 불가약 1-형태가 $\dot{U}^\jmath$의 정규 기저를 분류함을 확립하는 것.
• 코homology 환의 부분 플라그 다양체의 모듈러스 카테고리와 B/C 유형의 $\mathcal{O}$ 카테고리에 대한 $\dot{U}^\jmath$의 강한 카테고리적 작용을 정의하는 것.

제안 방법

• KLR 2-category $\dot{U}$와 유사한 2-category $\dot{U}^\jmath$를 도입하며, $i = \diamond, \dots, r - \diamond$에 대해 생성자 $E_i$, $F_i$를 사용한다.
• 특수 색인 $i = \diamond$에 대해 새로운 2형태와 관계를 정의하며, 수정된 $\jmath$-Serre 관계와 삼중점 관계(3.17)를 포함한다.
• 버블 슬라이드 공식과 관계(3.9), (3.17)을 사용하여 그로텐디에크 군에서 분류된 $\jmath$-Serre 관계를 증명한다.
• B/C 유형에서 소르겔 이중다항식과 데무르제 연산자를 통해 스chu어 2-category 위에 2표현을 구성한다.
• 이 작용을 B/C 유형의 부분 플라그 다양체의 코homology 환의 모듈러스 카테고리 위로 강한 카테고리적 작용으로 상승시킨다.
• 하리시-찬드라 이중다항식과 코이델 대수 $U^\jmath$를 통해 B/C 유형의 $\mathcal{O}$ 카테고리 위에 카테고리적 작용을 정의한다.

실험 결과

연구 질문

• RQ1 양자군 $U(\mathfrak{sl}_{2r+1})$의 코이델 하위대수 $\dot{U}^\jmath$는 2-category의 구조를 통해 분류될 수 있는가?
• RQ2 특수 색인 $i = \diamond$에서 $\dot{U}^\jmath$의 분류 과정에서 어떤 새로운 관계가 나타나며, 기존의 KLR 관계와 어떻게 다를까?
• RQ3 $\dot{U}^\jmath$의 2-category 내에서 자기쌍대 불가약 1-형태는 $\dot{U}^\jmath$의 정규 기저와 대응되는가?
• RQ4 버블 슬라이드 항등식과 새로운 2형태 관계를 통해 분류된 $\jmath$-Serre 관계를 증명할 수 있는가?
• RQ5 $\dot{U}^\jmath$는 스chu어 2-category과 B/C 유형의 $\mathcal{O}$ 카테고리 위에 강한 카테고리적 작용을 갖는가?

주요 결과

• 생성자 $E_i$, $F_i$와 함께 수정된 $\jmath$-Serre 관계가 $i = \diamond$에서 만족되는 새로운 2-category $\dot{U}^\jmath$가 구성된다.
• 버블 슬라이드 항등식과 삼중점 관계(3.17)의 조합을 통해 분류된 $\jmath$-Serre 관계가 증명된다.
• 자기쌍대 불가약 1-형태가 $\dot{U}^\jmath$의 정규 기저를 분류함을 보이며, 이는 정리 6.1에서 확인된다.
• $\dot{U}^\jmath$의 2-category는 B/C 유형의 스chu어 2-category 위에 작용하며, 이 작용은 그로텐디에크 군으로 분해될 경우 기존의 작용으로 나타난다.
• 코homology 환의 부분 플라그 다양체의 모듈러스 카테고리 위에 $\dot{U}^\jmath$의 강한 카테고리적 작용이 구성된다.
• 하리시-찬드라 이중다항식을 통해 B/C 유형의 $\mathcal{O}$ 카테고리 위에 $\dot{U}^\jmath$의 카테고리적 작용이 정의되며, 이는 약한 작용을 강한 작용으로 확장한다.