[논문 리뷰] Representations of tensor categories and Dynkin diagrams

Pavel Etingof, Mikhail Khovanov|ArXiv.org|1994. 08. 13.

Algebraic structures and combinatorial models참고 문헌 4인용 수 8

한 줄 요약

이 논문은 SU(2)의 특성 다항식 환의 분해 불가능한 양의 정수 표현과 애핀/무한 다인킨 다이어그램 사이, 그리고 버린데 대수(근의 단위근에서의 양자군 SU(2)_q)의 기약 양의 정수 표현과 유한 다인킨 다이어그램 사이의 범주론적 대응을 수립한다. 주요 기여는 텐서 범주 표현을 ADE 유형의 다인킨 다이어그램과 연결함으로써, ˈsl(2) 칼라르 대칭을 가진 초등 이론의 ADE 분류와 깊은 연결 고리를 제안한다.

ABSTRACT

In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with loops. We also show that irreducible Z_+-representations of the Verlinde algebra (the character ring of the quantum group SU(2)_q, where q is a root of unity), satisfying similar conditions correspond to usual (non-affine) Dynkin diagrams with loops. Conjecturedly, the last result is related to the ADE classification of conformal field theories with the chiral algebra \hat{sl(2)}.

연구 동기 및 목표

• 흥미로운 대수와 그 양의 정수 표현의 범주론적 기원을 탐색하기.
• 특정 조건 하에서 SU(2) 특성 다항식 환의 분해 불가능한 Z_+-표현을 분류하기.
• 유사한 제약 조건 하에서 버린데 대수(근의 단위근에서의 양자군 SU(2)_q)의 기약 Z_+-표현을 분류하기.
• 해당 표현과 루프가 있는 다인킨 다이어그램 사이의 대응을 수립하기.
• 초등 이론에서의 ADE 분류에 대한 범주론적 설명을 제안하기.

제안 방법

• SU(2)의 특성 다항식 환을 가환 대수로 사용하여 Z_+-표현을 정의하기.
• 범주론 원리를 적용하여 텐서 범주적 구조를 지닌 표현을 식별하기.
• 클렙슈-고르단 및 절단된 클렙슈-고르단 공식의 분석을 통해 표현의 성질 유도하기.
• 애핀, 무한, 또는 유한 다이어그램을 이러한 표현의 분류 도구로 식별하기.
• 버린데 대수와 양자군에 관한 기존 결과를 활용하여 양자 사례로의 대응 확장하기.
• 그래프 이론적 불변량을 통해 루프가 있는 다이어그램을 표현의 구조를 암호화하는 데 사용하기.

실험 결과

연구 질문

• RQ1 SU(2) 특성 다항식 환의 분해 불가능한 양의 정수 표현은 다이어그램과 어떻게 관련이 있는가?
• RQ2 텐서 범주 이론은 이러한 표현의 기원을 이해하는 데 어떤 역할을 하는가?
• RQ3 버린데 대수(근의 단위근에서의 양자군 SU(2)_q)의 기약 Z_+-표현은 다이어그램과 어떻게 대응되는가?
• RQ4 초등 이론의 ADE 분류는 범주론적 표현 이론으로 유도될 수 있는가?
• RQ5 루프가 있는 다이어그램은 이러한 표현을 분류하는 데 어떤 의미를 갖는가?

주요 결과

• 지정된 조건을 만족하는 SU(2) 특성 다항식 환의 분해 불가능한 Z_+-표현은 루프가 있는 애핀 및 무한 다이어그램과 대응된다.
• 유사한 조건을 만족하는 버린데 대수(근의 단위근에서의 양자군 SU(2)_q)의 기약 Z_+-표현은 루프가 있는 유한(비애핀) 다이어그램과 대응된다.
• 이러한 표현의 분류는 그 배경이 되는 텐서 범주들의 구조에 의해 지배된다.
• 결과는 ˈsl(2) 칼라르 대칭을 가진 초등 이론에서의 ADE 분류에 대한 범주론적 설명을 시사한다.
• 수정된 버전에서 클렙슈-고르단 및 절단된 클렙슈-고르단 공식에 수정이 가해져 정확도가 향상되었다.
• 결과는 기존의 알려진 ADE 분류와 일치하며, 표현 이론과 리 유형 다이어그램 간의 연결 고리를 강화한다.