[논문 리뷰] Multi-fusion categories of Harish-Chandra bimodules

Victor Ostrik|arXiv (Cornell University)|2014. 04. 25.

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

한 줄 요약

이 논문은 복소 단순 리 대수 위의 하리슈-찬드라 이중모듈의 텐서 범주에서 유도된 다중 융합 범주를 제시한다. 이 범주는 관련 다양체를 이용한 필터링을 통해 반단순 부분몫범주로 정의되며, 이 범주는 '셀 범주'로 불린다. 이 범주들은 유한군의 표현 범주와 동치이며, 드린펠트 중심 구조와 특성 층을 통해 식별되며, 루스티츠의 분류와 유한 W-대수에 대한 새로운 통찰을 제공한다.

ABSTRACT

We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor categories and describe some applications to representation theory.

연구 동기 및 목표

• 하리슈-찬드라 이중모듈의 텐서 범주를 이해하고자 하며, 이는 비단순적이므로 직접 분류하기 어렵다.
• 관련 다양체에 의한 필터링을 통해 반단순 부분몫범주(즉, 셀 범주)를 정의하고 연구함으로써 표현론적 구조를 단순화하고자 한다.
• 셀 범주들이 다중 융합 범주임을 밝히고, 드린펠트 중심과 같은 범주론적 도구를 사용하여 유한군의 표현 범주와 동치임을 규명하고자 한다.
• 이 틀을 유한 W-대수에 적용하여, 그 유한차원 단순 모듈의 정보를 복원하고자 한다.
• 이 구축을 임의의 코엑서르 군과 양의 특성에서 일반화하고, 특성 층과 조제르 바이모듈과의 연결을 탐색하고자 한다.

제안 방법

• 하리슈-찬드라 이중모듈에 대한 관련 다양체 필터링을 사용하여, 그에 대응하는 등급 범주를 정의하고, 이 등급의 각 조각이 셀 범주가 되도록 한다.
• 다중 융합 범주의 이론을 적용하여 셀 범주를 분류하고, 이들이 $\mathrm{Coh}_{\bar{A},\omega}(Y \times Y)$ 형태의 군의 외부 작용이 있는 편재 범주와 동치임을 보인다.
• 드린펠트 중심 구축을 활용하여 셀 범주를 군 $G$ 위의 유니포텐트 특성 층 $\mathcal{U}_C$와 연결하고, 플래그 다양체 위에서의 함자 $\Gamma = \pi_! f^*$를 통해 기술한다.
• 절단된 콘볼루션과 펄스프 시프 기법을 사용하여 셀 범주를 기하학적으로 실현함으로써, 양의 특성으로의 일반화를 가능하게 한다.
• 베즈루카비크, 루소프, 그리고 다른 이들의 위트너 범주와 W-대수에 관한 결과를 활용하여 셀 범주의 구조를 분석한다.
• 셀 범주가 유한 W-대수의 표현 범주에 작용하는 방식을 실현함으로써, 그 유한차원 단순 모듈의 수를 계산하고 기존 결과를 복원한다.

실험 결과

연구 질문

• RQ1 관련 다양체에 기반한 필터링을 통해 비단순 텐서 범주인 하리슈-찬드라 이중모듈의 구조를 어떻게 단순화할 수 있는가?
• RQ2 이 필터링을 통해 유도된 반단순 부분몫범주(즉, 셀 범주)의 구조는 어떠한가? 그리고 어떻게 분류할 수 있는가?
• RQ3 이 셀 범주는 플래그 다양체 또는 군 $G$ 위의 펄스프 시프나 특성 층을 통해 기하학적으로 실현될 수 있는가?
• RQ4 이 범주들은 유한 W-대수와 그 유한차원 표현과 어떻게 관련이 있는가?
• RQ5 이 틀은 임의의 코엑서르 군이나 양의 특성으로 확장될 수 있으며, 새로운 구조는 무엇이 도출되는가?

주요 결과

• 군 $\mathfrak{g}$의 나이플로턴 궤도와 관련된 셀 범주는 다중 융합 범주이며, $\mathrm{Coh}_{\bar{A},\omega}(Y \times Y)$, 즉 유한 집합 $Y \times Y$ 위의 외부 편재 범주와 동치이다.
• 각 셀 범주 $\mathcal{J}_C$의 드린펠트 중심은 군 $G$ 위의 유니포텐트 특성 층 $\mathcal{U}_C$와 동치이며, 중심 내의 단순 대상과 $\mathcal{U}_C$ 사이의 일대일 대응을 확립한다.
• 유한 W-대수의 경우, 셀 범주가 위트너 범주 위에 작용함으로써, 유한차원 단순 모듈의 수를 계산할 수 있으며, 이는 기존 결과를 복원한다.
• 이 구축은 임의의 코엑서르 군으로 일반화되며, 셀 범주는 $\mathrm{Coh}_Q(Y \times Y)$ 형태로 나타나지만, $Q$가 무한할 경우 다중 융합이 아닐 수 있다.
• 10차 이면형 군의 경우, 셀 범주가 두 개의 단순 대상과 $X \otimes X = \mathbf{1} \oplus X$를 만족하는 융합 부분범주를 포함함을 보여, 이는 $\mathrm{Coh}_{A,\omega}(Y \times Y)$ 형태로 표현될 수 없음을 시사한다.
• 셀 범주 $\mathcal{Z}(\mathcal{J}_C)$의 단순 대상이 $\mathcal{U}_C$와 일치함을 규명함으로써, 루스티츠의 유니포텐트 특성 층 분류에 대한 새로운 범주론적 접근이 가능해진다.