[논문 리뷰] Indecomposable 1-morphisms of \dot{U}^+_3 and the canonical basis of U_q^+(sl_3)

Marko Stošić|arXiv (Cornell University)|2011. 05. 23.

Algebraic structures and combinatorial models참고 문헌 6인용 수 9

한 줄 요약

이 논문은 정수환 위에서 $·\mathcal{U}^+_3$로 표기되는 양의 측도화된 양의 큸버트 $\mathfrak{sl}_3$의 분류된 1형식을 정수계수 선형 도식 계산을 통해 계산한다. 이들 분해불가능한 1형식이 $U_q^+(\mathfrak{sl}_3)$의 루슈티그의 정규 기저를 분류화함을 증명하고, 고차 양의 세르 관계를 분류화하는 데 사용되는 동치가 0인 호모토피 복합체를 구성함으로써 정수계수 위에서의 도식적 증명을 제공한다.

ABSTRACT

We compute the indecomposable objects of \dot{U}^+_3 - the category that categorifies the positive half of the quantum sl_3, and we decompose an arbitrary object into indecomposable ones. On decategorified level we obtain the Lusztig's canonical basis of the positive half U^+_q(sl_3) of the quantum sl_3. We also categorify the higher quantum Serre relations in U_q^+(sl_3), by defining a certain complex in the homotopy category of $\dot{U}^+_3$ that is homotopic to zero. We work with the category $\dot{U}^+_3$ that is defined over the ring of integers. This paper is based on the (extended) diagrammatic calculus introduced to categorify quantum groups.

연구 동기 및 목표

• 정수환 위에서 $·\mathcal{U}^+_3$로 표기되는 양의 큸버트 $\mathfrak{sl}_3$의 분류된 양의 부분의 모든 분해불가능한 1형식을 분류하는 것.
• 이 분해불가능한 1형식의 분류화가 $U_q^+(\mathfrak{sl}_3)$의 루슈티그 정규 기저를 유도함을 증명하고, 그 구조 상수들이 $π[q,q^{-1}]$에 속함을 보이는 것.
• 호모토피가 0인 복합체를 이용하여 $U_q^+(\mathfrak{sl}_3)$의 고차 양의 세르 관계를 도식적으로 분류화하는 것.
• 정수환 설정으로의 도식 계산을 확장하여, 체 조건 없이 정규 기저의 완전한 분류화를 가능하게 하는 것.

제안 방법

• 도식 계산의 확장된 형태(두꺼운 계산)를 $Χ$ 위에서 사용하여 1형식을 평면 테이글 도식의 $Χ$-선형 조합으로 정의한다.
• $·\mathcal{U}^+_3$에 카루비 에이펜지 구조를 적용하여 모든 아이디포텐트가 분해되도록 하고, 모나이드 1-카테고리의 구조 내에서 작업한다.
• 두꺼운 R2, 두꺼운 R3, 점 이동 이동법을 사용하여 두꺼운 변을 조작하고 호모토피 관계를 검증한다.
• 교대 미분 $d_i$와 호모토피 사상 $h_i$를 갖는 1형식의 복합체를 구성하고, 도식적 항등식을 통해 $h_i d_i + d_{i-1} h_{i-1} = \text{Id}$를 증명한다.
• 항등식 $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(a+c)}\mathcal{E}_1^{(c)} \cong \mathcal{E}_2^{(c)}\mathcal{E}_1^{(a+c)}\mathcal{E}_2^{(a)}$를 사용하여 관계를 단순화하고 검증한다.
• 지수와 도식적 이동법에 따른 케이스 분석을 통해 호모토피 관계가 성립함을 보여, 복합체가 0과 호모토피 임을 검증한다.

실험 결과

연구 질문

• RQ1 정수환 위에서 $\mathfrak{sl}_3$의 분류된 양의 부분에서 분해불가능한 1형식은 무엇인가?
• RQ2 $\u00b7\mathcal{U}^+_3$의 분해불가능한 1형식 집합이 $U_q^+(\mathfrak{sl}_3)$의 루슈티그 정규 기저로 분류화되는가?
• RQ3 $U_q^+(\mathfrak{sl}_3)$의 고차 양의 세르 관계는 호모토피가 0인 도식적 복합체를 통해 분류화될 수 있는가?
• RQ4 $\u03a7$ 위에서의 두꺼운 계산은 체 조건 없이 정규 기저의 완전한 분류화를 어떻게 가능하게 하는가?

주요 결과

• 분해불가능한 1형식은 $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(b)}\mathcal{E}_1^{(c)}\{t\}$와 $\mathcal{E}_2^{(a)}\mathcal{E}_1^{(b)}\mathcal{E}_2^{(c)}\{t\}$이며, 조건은 $b \geq a + c$, $a,c \geq 0$, $t \in \mathbb{Z}$이다.
• 이 분해불가능한 객체의 이동 없이 분류화하면 $B = \{E_1^{(a)}E_2^{(b)}E_1^{(c)}, E_2^{(a)}E_1^{(b)}E_2^{(c)} \mid b \geq a+c, a,c \geq 0\}$의 집합이 되며, 이는 $U_q^+(\mathfrak{sl}_3)$의 루슈티그 정규 기저이다.
• 객체 $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(b)}\mathcal{E}_1^{(i)}\{-(a-b-1)i\}$와 미분 $d_i$를 갖는 복합체 $\mathcal{C}$는 0과 호모토피이며, 고차 양의 세르 관계의 분류화를 제공한다.
• 호모토피 사상 $h_i$는 $h_i d_i + d_{i-1} h_{i-1} = \text{Id}_{C_i}$, $h_0 d_0 = \text{Id}_{C_0}$, $d_{a-1} h_{a-1} = \text{Id}_{C_a}$를 만족하며, 이는 복합체가 영호모토피임을 증명한다.
• 분류화는 $\mathbb{Z}$ 위에서 정의되어 체 조건을 피하며, 정규 기저의 구조 상수들이 도식 계산을 통해 자연스럽게 올라간다.
• 결과적으로 $\u00b7\mathcal{U}^+_3$의 분해불가능한 1형식이 정규 기저를 분류화함을 확인하였으며, 이는 이전의 체 위에서의 결과를 정수환으로 확장한다.