[논문 리뷰] Positivity and the canonical basis of tensor products of finite-dimensional irreducible representations of quantum sl(k)

Joshua Sussan|ArXiv.org|2008. 04. 12.

Algebraic structures and combinatorial models참고 문헌 25인용 수 5

한 줄 요약

이 논문은 유한 차원 기약 표현의 텐서곱에 대한 캐논컬 기저의 구조 상수들이 $\mathbb{N}[q, q^{-1}]$에 속함을 증명한다. 이는 $\mathfrak{gl}_n$의 평행 부분 카테고리 $\mathcal{O}$에서 기울어진 모듈을 통한 카테고리화를 통해 이루어지며, 프로젝티브 함자는 기울어진 모듈을 보존하므로 체바일 생성자 작용의 긍정성이 보장된다.

ABSTRACT

In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to tilting modules, the coefficients of the canonical basis of tensor products of finite dimensional, irreducible representations under the action of the Chevalley generators are positive.

연구 동기 및 목표

• 유한 차원 기약 표현의 텐서곱에 대한 $\mathcal{U}_q(\mathfrak{sl}_k)$의 캐논컬 기저에서의 구조 상수의 양성성을 확립한다.
• 루스지츠의 단일 기약 표현에 대한 양성 결과를 일반적인 유한 차원 기약 표현의 텐서곱으로 확장한다.
• 기울어진 모듈을 통한 $\mathfrak{gl}_n$-카테고리 $\mathcal{O}$의 평행 부분 카테고리에서의 카테고리화를 사용하여 캐논컬 기저를 실현한다.
• 체바일 생성자 $E_i, F_i$의 캐논컬 기저 위에서의 작용 계수가 $\mathbb{N}[q, q^{-1}]$에 속함을 보인다.

제안 방법

• 기본 표현의 텐서곱을 최고 원소 카테고리와 $\mathfrak{gl}_n$-카테고리 $\mathcal{O}$의 평행 부분 카테고리로 카테고리화한다.
• 이 카테고리 내에서 분해 불가능한 기울어진 모듈을 그라디에이션 리프트로서 캐논컬 기저 원소로 식별한다.
• 프로젝티브 함자를 통해 체바일 생성자 $E_i, F_i$의 캐논컬 기저 위에서의 작용을 모델링한다.
• 프로젝티브 함자가 기울어진 모듈을 보존한다는 사실을 활용하여, 그 작용이 기울어진 필터링에서의 다중도 계수에 대응함을 이용한다.
• 유도된 증명을 통한 증명자를 적용하여 일반화된 버마 모듈과 평행 부분 카테고리 내 기울어진 모듈을 연결한다.
• 텐서곱의 기본 표현과 외적 거듭제곱 $\Lambda^{i_j}V_{k-1}$를 연결하기 위해 투영 사상 $\pi_{i_1,\ldots,i_r}$과 포함 사상 $\iota_{i_1,\ldots,i_r}$을 사용한다.

실험 결과

연구 질문

• RQ1 유한 차원 기약 $\mathcal{U}_q(\mathfrak{sl}_k)$-모듈의 텐서곱에 대한 캐논컬 기저의 구조 상수가 $\mathbb{N}[q, q^{-1}]$에 속하는가?
• RQ2 기울어진 모듈을 통한 $\mathfrak{gl}_n$의 평행 부분 카테고리 $\mathcal{O}$에서 이러한 텐서곱의 캐논컬 기저를 카테고리화할 수 있는가?
• RQ3 체바일 생성자 $E_i$와 $F_i$의 캐논컬 기저 위에서의 작용 계수가 $\mathbb{N}[q, q^{-1}]$에 속하는가?
• RQ4 기울어진 모듈을 통한 프로젝티브 함자에 의한 카테고리화가 캐논컬 기저 계수의 양성성을 어떻게 반영하는가?

주요 결과

• 표현식 $E_i b_j = \sum_n c_{i,j,n} b_n$과 $F_i b_j = \sum_n d_{i,j,n} b_n$에서 계수 $c_{i,j,n}$과 $d_{i,j,n}$은 모든 $i,j,n$에 대해 $\mathbb{N}[q, q^{-1}]$에 속한다.
• 모든 $\mathbf{d}$에 대해 $\oplus_{\mathbf{d}} \mathcal{O}_{\mathbf{d}}(\mathfrak{gl}_n)$의 평행 부분 카테고리 내 분해 불가능한 기울어진 모듈은 그로텐디에크 군에서 캐논컬 기저로 내림내림된다.
• 프로젝티브 함자는 기울어진 모듈을 기울어진 모듈로 보냄으로써, $E_i$와 $F_i$의 캐논컬 기저 위에서의 작용이 기울어진 필터링에서의 다중도 계수에 대응하며, 이는 양성성을 보장한다.
• 결과는 루스지츠의 단일 기약 표현에 대한 양성 결과를 일반적인 유한 차원 기약 표현의 텐서곱으로 확장한다.
• 기울어진 모듈을 통한 평행 부분 카테고리 $\mathcal{O}$의 카테고리화는 캐논컬 기저 계수의 양성성에 기하학적 및 표현론적 메커니즘을 제공한다.