[논문 리뷰] A categorification of finite-dimensional irreducible representations of quantum sl(2) and their tensor products

Igor Frenkel, Mikhail Khovanov외 1명|ArXiv.org|2005. 11. 18.

Algebraic structures and combinatorial models참고 문헌 30인용 수 32

한 줄 요약

이 논문은 $U_q(\mathfrak{sl}_2)$의 유한차원 기약 표현과 그 텐서곱을 $\mathfrak{gl}_n$에 대한 하리시-찬드라 이중모듈을 사용하여 분류화하고, $\mathfrak{gl}_n$-카테고리 $\mathcal{O}$의 블록들을 통한 그레디에이션을 갖춘 분류화를 수립하며, 플래그 다양체와 스텐베르크 다양체를 통한 기하적 실현과 연결한다. 주요 기여는 $V_{\mathbf{d}} = \bigotimes V_{d_i}$에 대한 $U_q(\mathfrak{sl}_2)$-행동의 카테고리적 실현으로, 프로젝티브, 기울임, 단순 모듈을 통한 근본적 기저와 표준 기저에 대한 명시적 연결을 제공한다.

ABSTRACT

The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules.

연구 동기 및 목표

• 표현 이론을 통한 $\mathfrak{gl}_n$의 $U_q(\mathfrak{sl}_2)$-모듈의 임의의 유한차원 텐서곱의 분류화를 개발한다.
• Harish-Chandra 이중모듈의 블록들을 통한 $V_{\mathbf{d}} = \bigotimes V_{d_i}$의 그레디에이션을 갖춘 분류화를 수립한다.
• $\mathcal{O}(\mathfrak{gl}_n)$를 통한 대수적 분류화와 그라스만리안의 코homology 링 및 일반화된 스텐베르크 다양체를 통한 기하적 실현을 연결한다.
• 양자 슈어-웨일 dualit의 카테고리적 버전을 제공하고, 근본적 기저와 표준 기저를 하리시-찬드라 이중모듈을 통해 해석한다.
• Borel-Moore 호모로지와 일반화된 스텐베르크 다양체를 사용한 $\overline{V}_{\mathbf{d}}$의 기하적 분류화를 추측하고 이를 뒷받침한다.

제안 방법

• 분류화는 $\mathfrak{gl}_n$에 대한 하리시-찬드라 이중모듈 $\mathcal{H}_\mu$의 그레디에이션 버전을 사용하여 구성되며, $\mu$는 $S_{\mathbf{d}} = \prod S_{d_i}$를 안정화군으로 갖는 정상적 가중치이다.
• 모든 $i=0$에서 $n$까지의 ${}_{\omega_i}\mathcal{H}_\mu$의 카테고리의 그로텐디크 군은 $U_q(\mathfrak{sl}_2)$-모듈 $V_{\mathbf{d}}$를 분류화함을 보여준다.
• 표준적 $\mathcal{U}(\mathfrak{sl}_2)$-분류화와의 연결은 $X \mapsto X \otimes_{\mathcal{U}(\mathfrak{gl}_n)} M(\mu)$의 함자에 의해 수립되며, 이는 $\mathcal{H}_\mu$를 $\mathcal{O}(\mathfrak{gl}_n)$의 블록들과 연결한다.
• 기하적 분류화는 $H_{\mathbf{d}}^i$를 그라스만리안의 코homology 링의 불변량과 식별하고, 일반화된 스텐베르크 다양체의 Borel-Moore 호모로지와 연결함으로써 달성된다.
• $U_q(\mathfrak{sl}_2)$의 작용은 프로젝티브 함자와 증명된 함자로부터 유도된 함자 $E^G$와 $F^G$를 통해 카테고리적으로 실현되며, Soergel 이론을 통한 그레디에이션 버전이 제공된다.
• Koszul 대칭은 특이 블록 분류화와 파라보릭 부분카테고리 분류화 사이의 연결을 제공하며, [BFK99]의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathfrak{gl}_n$의 표현 이론을 사용하여 $U_q(\mathfrak{sl}_2)$-모듈의 유한차원 기약 표현의 텐서곱 $V_{\mathbf{d}} = \bigotimes V_{d_i}$를 분류화할 수 있는가?
• RQ2 하리시-찬드라 이중모듈은 $V_{\mathbf{d}}$에서 $U_q(\mathfrak{sl}_2)$-행동을 카테고리 수준에서 어떻게 실현하는가?
• RQ3 분류화에서 프로젝티브, 기울임, 표준, 단순 모듈에 대응하는 $V_{\mathbf{d}}$의 근본적 기저, 표준 기저, 쌍대 근본적 기저는 각각 무엇인가?
• RQ4 일반화된 스텐베르크 다양체와 Borel-Moore 호모로지를 사용하여 $\overline{V}_{\mathbf{d}}$의 기하적 분류화를 구성할 수 있는가?
• RQ5 대수적 분류화($\mathcal{O}(\mathfrak{gl}_n)$를 통한)와 기하적 분류화(스텐베르크 다양체의 호모로지 통한) 사이에 개념적 연결이 존재하는가?

주요 결과

• 모든 $i=0$에서 $n$까지의 ${}_{\omega_i}\mathcal{H}_\mu$의 카테고리의 그로텐디크 군은 $U_q(\mathfrak{sl}_2)$-모듈 $V_{\mathbf{d}}$와 동형이므로, 이는 텐서곱의 분류화를 수립한다.
• 하리시-찬드라 이중모듈을 통한 분류화는 $E^G$와 $F^G$의 함자들을 통해 $U_q(\mathfrak{sl}_2)$-행동을 실현하며, 이는 $V_{\mathbf{d}}$에서 표준 $\mathfrak{sl}_2$-행동을 그레디에이션으로 올린다.
• 근본적 기저와 쌍대 근본적 기저는 각각 프로젝티브 및 기울임 하리시-찬드라 이중모듈의 클래스에 의해 분류화된다.
• 표준 기저와 쌍대 표준 기저는 분류화에서 표준 및 단순 모듈의 클래스로 실현되며, 대수적 기저와 카테고리적 기저 사이의 완전한 사전을 제공한다.
• $n=2,3$일 때, $E_{\text{geom}}$와 $F_{\text{geom}}$ 함자를 포함하는 추측적 기하적 분류화는 프로젝티브 모듈의 덧셈 카테고리를 유지하며, 대수적 분류화와 일致함을 확인하였다.
• 일반화된 스텐베르크 다양체 $Z_{\mathbf{d}}^i$의 Borel-Moore 호모로지는 $H_*(Z)$ 내의 $W_{\mathbf{d}} \otimes W_i$-불변량의 부분대수와 동형이므로, 기하적 및 대수적 구조를 연결한다.