[논문 리뷰] A categorification of the Temperley-Lieb algebra and Schur quotients of U(sl(2)) via projective and Zuckerman functors

Joseph Bernstein, Igor Frenkel외 1명|ArXiv.org|2000. 02. 11.

Algebraic structures and combinatorial models참고 문헌 17인용 수 38

한 줄 요약

이 논문은 $\mathfrak{gl}_n$의 범주 $\mathcal{O}$의 특이 및 평행 블록에서의 프로젝티브 및 증명자 함수를 사용하여 양자군 $U_q(\mathfrak{sl}_2)$와 템퍼리-라이브 대수의 분류화를 제시한다. 이는 유도된 범주 위에서 함수를 통해 $\mathfrak{sl}_2$ 작용과 그 교환자 작용을 실현하며, 그로텐디크 군은 $V_1^{\otimes n}$과 동형이 되고, 함수의 동형과 코곱 공식을 통해 분류화된 슈어-웨일 dualit의 수립을 이룬다.

ABSTRACT

We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical basis in U(sl(2)). In the dual realization the n-th tensor power of the fundamental representation is identified with a direct sum of parabolic blocks of the highest weight category. Translation across the wall functors act as generators of the Temperley-Lieb algebra while Zuckerman functors act as generators of U(sl(2)).

연구 동기 및 목표

• 범주 $\mathcal{O}$에서 $\mathfrak{gl}_n$를 사용하여 $V_1^{\otimes n}$의 $n$중 텐서곱 위에서 $U(\mathfrak{sl}_2)$ 작용의 분류화를 구축하는 것.
• 특이 블록에서 $\mathcal{O}$의 프로젝티브 함수를 통해 $V_1^{\otimes n}$ 위에서 템퍼리-라이브 대수 작용을 실현하는 것.
• 유도된 범주 간의 유도 함수를 통해 $U(\mathfrak{sl}_2)$의 코곱 작용을 분류화하는 것.
• 증명자 함수가 프로젝티브 함수와 교환되며 $\mathfrak{sl}_2$ 작용을 분류화함을 보여주는 방식으로 분류화된 슈어-웨일 dualit를 수립하는 것.
• 범주 $\mathcal{O}_n$ 내의 불가분 프로젝티브 함수를 통해 $\dot{U}(\mathfrak{sl}_2)$의 캐논리컬 기저의 함수적 실현을 제공하는 것.

제안 방법

• 기본 표현의 텐서곱에 의해 유도된 프로젝티브 함수 $\mathcal{E}$와 $\mathcal{F}$를 통해 $U(\mathfrak{sl}_2)$ 생성자 $E$와 $F$를 실현하는 것.
• 파라볼릭 부분대수 $\mathfrak{p}_k \subset \mathfrak{gl}_n$에 대한 최대 국소 유한 부분모듈의 유도 함수로서 증명자 함수를 사용하는 것.
• 임베딩과 수반 함수의 복합을 통해 $E^{(l)}$과 $F^{(l)}$의 작용을 분류화하는 $D^b(\mathcal{O}^{k,n-k})$ 위의 함수를 구성하는 것.
• 최대 파라볼릭 부분대수에서의 유도 함수를 포함하는 짧은 정확수열을 사용하여 코곱 작용 $\Delta E = E \otimes 1 + 1 \otimes E$를 분류화하는 것.
• $D^b(\mathcal{O}^n)$ 위에서 텐젤 연산을 모델링하기 위해 $\cap_{i,n}$, $\cup_{i,n}$, $R_{i,n}$ 함수를 정의하는 것.
• 동일한 텐젤 표현에 대응하는 이러한 함수의 복합이, 유도 범주 내에서 이동을 제외하고 동형임을 보이는 것.

실험 결과

연구 질문

• RQ1 어떻게 $\mathfrak{gl}_n$의 범주 $\mathcal{O}$ 내의 함수를 통해 $V_1^{\otimes n}$ 위에서의 $\mathfrak{sl}_2$ 작용을 분류화할 수 있는가?
• RQ2 특이 블록에서 $\mathcal{O}_n$ 내의 프로젝티브 함수를 통해 $V_1^{\otimes n}$ 위에서의 템퍼리-라이브 대수 작용을 실현할 수 있는가?
• RQ3 범주 $\mathcal{O}_n$의 파라볼릭 부분범주 간의 증명자 함수는 어떻게 $V_1^{\otimes n}$ 위에서의 $\mathfrak{sl}_2$ 작용을 분류화하는가?
• RQ4 유도 범주 내의 짧은 정확수열을 통해 코곱 공식 $\Delta E = E \otimes 1 + 1 \otimes E$와 $\Delta F = F \otimes 1 + 1 \otimes F$를 분류화할 수 있는가?
• RQ5 템퍼리-라이브 대수의 텐젤 표현에 대응하는 함수들이 $D^b(\mathcal{O}^n)$ 내에서 이동을 제외하고 동형인가?

주요 결과

• 범주 $\mathcal{O}_n = \oplus_{k=0}^n \mathcal{O}_{k,n-k}$의 그로텐디크 군은 $V_1^{\otimes n}$과 동형이며, $\mathfrak{sl}_2$ 작용은 프로젝티브 함수 $\mathcal{E}$와 $\mathcal{F}$를 통해 실현된다.
• $\mathcal{O}_n$ 내의 불가분 프로젝티브 함수는 $\dot{U}(\mathfrak{sl}_2)$의 루즈티그 캐논리컬 기저의 원소들과 일대일 대응된다.
• 코곱 작용 $\Delta E = E \otimes 1 + 1 \otimes E$는 $\mathfrak{gl}_{n+m}$의 최대 파라볼릭 부분대수에서 유도 함수를 포함하는 짧은 정확수열을 통해 분류화된다. 이 부분대수에는 $\mathfrak{gl}_n \oplus \mathfrak{gl}_m$ 가 포함된다.
• 파라볼릭 부분범주 $\mathcal{O}^{k,n-k}$와 $\mathcal{O}^{k+l,n-k-l}$ 사이의 증명자 함수는 $\mathcal{O}^n$의 그로텐디크 군 위에서 $E^{(l)}$과 $F^{(l)}$의 작용으로 강하된다.
• $\mathcal{O}^n$의 유도 범주 $D^b(\mathcal{O}^n)$에서 기본 텐젤에 대응하는 함수 $\cap_{i,n}$, $\cup_{i,n}$, $R_{i,n}$는 템퍼리-라이브 대수의 관계를 분류화한다.
• 추측 4는 서로 다른 텐젤 표현이 $D^b(\mathcal{O}^n)$ 내에서 이동을 제외하고 동형인 함수를 유도한다고 제기하며, 이는 2-범주적 구조의 지원을 제공한다.