[논문 리뷰] On blocks of Deligne's category Rep(S_t)

Jonathan Comes, Ostrik, Victor|Scholars' Bank (University of Oregon)|2009. 10. 29.

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

한 줄 요약

이 논문은 델리뉴의 범주 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$의 블록들을 분류하며, $t$가 음이 아닌 정수가 아닐 때 범주는 단순성과 함께 유한한 수의 비단순 블록과 무한히 많은 자명한 블록으로 분해됨을 보여준다. 비단순 블록들은 모두 가군 범주로서 동치이며, 관계가 있는 화살표 다이어그램(쿼버)를 통해 기술되며, 델리뉴의 단순성 정리에 대한 새로운 증명과 이 범주의 아벨 환경에 대한 구조적 기초를 제공한다.

ABSTRACT

Recently P. Deligne introduced the tensor category Rep(S_t) (for t not necessarily an integer) which in a certain precise sense interpolates the categories Rep(S_d) of representations of the symmetric groups S_d. In this paper we describe the blocks of Deligne's category Rep(S_t).

연구 동기 및 목표

• 범주 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$가 비단순일 때, 즉 $t$가 음이 아닌 정수일 때 그 구조를 이해하는 것.
• 항등 함자에 대한 종말형 사상들을 사용하여 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$의 블록을 분류하는 것.
• 관계가 있는 화살표 다이어그램을 통해 비단순 블록을 기술하고, 이들이 가군 범주로서 모두 동치임을 보이는 것.
• 모든 $t \notin \mathbb{Z}_{\geq 0}$에 대해 델리뉴의 단순성 정리에 대한 새로운 증명을 제공하는 것.

제안 방법

• 범주 이론적 및 표현 이론적 기법을 사용하여 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$에서 항등 함자의 비자명한 종말형 사상들을 구성하는 것.
• 항등 함자의 종말형 사상 링을 이용해 표준적인 표현 이론적 방법으로 범주를 블록들로 분해하는 것.
• 이 종말형 사상들이 불가분 대상들 위에 작용하는 방식을 분석하여 블록 분해를 규명하는 것.
• 비단순 블록들이 모두 가군 범주로서 동치임을 보이기 위해 명시적인 동치를 구성하는 것.
• 요영 다이어그램의 조합론적 자료와 대칭군의 표현 이론을 활용하여 비단순 블록을 관계가 있는 화살표 다이어그램으로 기술하는 것.
• 형식적 멱급수 대수에서의 비중복원소의 올림 기법을 활용하여 구조적 결과를 뒷받침하는 것.

실험 결과

연구 질문

• RQ1 $t$가 음이 아닌 정수일 때 델리뉴의 범주 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$의 블록은 어떻게 분류되는가?
• RQ2 비단순 블록의 구조는 어떠한가? 이들은 가군 범주로서 동치인가?
• RQ3 블록 분해와 항등 함자의 종말형 사상들을 사용하여 $t \notin \mathbb{Z}_{\geq 0}$일 때 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$의 단순성이 재증명될 수 있는가?
• RQ4 비단순 블록을 기술하는 데 사용되는 관계가 있는 화살표 다이어그램은 무엇인가?
• RQ5 불가분 대상들이 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$에서 블록 분해 아래에서 어떻게 행동하는가?

주요 결과

• 범주 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$는 무한히 많은 자명한 블록을 포함하며, 각 블록은 유한 차원 $F$-벡터 공간의 범주와 동치이다.
• $t$가 음이 아닌 정수일 때 비단순 블록은 유한 개 존재한다.
• 모든 비단순 블록은 가군 범주로서 동치이다.
• 비단순 블록은 요영 다이어그램의 조합론적 자료와 대칭군 표현 이론으로부터 명시적으로 구성된 관계가 있는 화살표 다이어그램으로 기술된다.
• 블록 분해와 항등 함자의 종말형 사상들을 통해 델리뉴의 단순성 정리에 대한 새로운 증명을 확보하였다.
• 이 결과들은 아벨 환경 $\underline{\operatorname{Re}}\!\operatorname{p}^{ab}(S_t)$와 그 보편 성질을 연구하는 데 기초를 제공한다.