[논문 리뷰] Introduction to categorification

Alistair Savage|arXiv (Cornell University)|2014. 01. 23.

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

한 줄 요약

이 논문은 표현 이론에서 분류화를 통합적 프레임워크로 도입하며, 와일 대수와 하이젠베르크 대수와 같은 대수적 구조의 약한 및 강한 분류화에 초점을 맞춘다. 모듈러 카테고리, 그로텐디크 군, 2-카테고리 등을 사용하여 대수적 관계를 카테고리적 동형으로 승격시키며, 주요 결과로는 다항식 표현과 폭스 공간 표현이 닐코크스터 대수와 대칭 함수 카테고리에 의해 분류화될 수 있음을 보여준다.

ABSTRACT

These are the notes for a two-week mini-course given at a winter school in January 2014 as part of the thematic semester New Directions in Lie Theory at the Centre de Recherches Mathématiques in Montréal. The goal of the course was to give an overview of the idea of categorification, with an emphasis on some examples where explicit computation is possible with minimal background. The notes begin with a very brief review of the representation theory of associative algebras, before introducing the concept of weak categorification with some simple examples. It then proceeds to a discussion of more sophisticated examples of categorification, including a weak categorification of the polynomial representation of the Weyl group and the Fock space representation of the Heisenberg algebra. The notes conclude with a discussion of strong categorification and a brief overview of some further directions in the field.

연구 동기 및 목표

• 기본적인 대수학과 카테고리 이론 배경을 가진 대학원생을 대상으로 분류화에 대한 자율적인 소개를 제공하는 것.
• 와일 대수와 하이젠베르크 대수와 같은 대수적 구조가 모듈러 카테고리와 그로텐디크 군을 통해 어떻게 분류화될 수 있는지 보여주는 것.
• 약한 분류화와 강한 분류화의 차이를 소개하며, 대칭 함수와 닐코크스터 대수에서의 명시적 예를 제시하는 것.
• 분류화 표현 이론에서 고급 주제인 그림자 하이젠베르크 카테고리와 2-카테고리적 구조의 기초를 다지는 것.

제안 방법

• 모듈러 카테고리와 그로텐디크 군을 사용하여 대수적 구조와의 연결을 도모함으로써 약한 분류화를 실현한다.
• 널코크스터 대수와 그 모듈러를 활용하여 와일 대수의 다항식 표현을 약하게 분류화한다.
• 대칭 함수와 호프 대수 Sym을 적용하여 하이젠베르크 대수의 폭스 공간 표현을 분류화한다.
• 2-카테고리와 2-함수를 도입하여 강한 분류화를 형식화하며, 특히 그림자 하이젠베르크 카테고리를 통해 실현한다.
• 탑스 오브 알제브라와 하이젠베르크 듀얼을 사용하여 하이젠베르크 대수의 강한 분류화를 실현한다.
• 이д포텐트 완비화, 카루비 에이벌런스, 가군 2-카테고리 등의 카테고리 도구를 활용하여 분류화된 대수의 구조를 풍부하게 한다.

실험 결과

연구 질문

• RQ1 와일 대수의 다항식 표현은 어떤 방식으로 모듈러 카테고리를 사용하여 약하게 분류화될 수 있는가?
• RQ2 널코크스터 대수는 와일 대수의 다항식에 대한 작용을 약하게 분류화하는 데 어떤 역할을 하는가?
• RQ3 대칭 함수와 모듈러 카테고리를 통해 하이젠베르크 대수의 폭스 공간 표현은 어떻게 분류화될 수 있는가?
• RQ4 강한 분류화를 달성하기 위해 필요한 구조(예: 2-카테고리, 그림자 카테고리)는 무엇인가?
• RQ5 모듈러 카테고리의 그로텐디크 군은 분류화 과정에서 원래의 대수적 구조를 어떻게 복원하는가?

주요 결과

• 와일 대수의 다항식 표현은 닐코크스터 대수와 그 모듈러를 통해 약하게 분류화되며, 그로텐디크 군은 다항식 환과 동형이다.
• 하이젠베르크 대수의 폭스 공간 표현은 대칭 함수의 호프 대수 Sym을 통해 약하게 분류화되며, 모듈러 카테고리의 그로텐디크 군은 폭스 공간을 실현한다.
• 그림자 하이젠베르크 카테고리를 통해 하이젠베르크 대수의 강한 분류화가 달성되며, 이는 대수적 관계의 2-카테고리적 승격을 제공한다.
• 하이젠베르크 듀얼의 구성은 탑스 오브 알제브라와 이중 모듈러를 사용하여 하이젠베르크 대수의 강한 분류화를 실현한다.
• 그림자 하이젠베르크 카테고리의 모듈러 2-카테고리의 그로텐디크 군은 원래의 하이젠베르크 대수를 복원한다.
• 분류화된 폭스 공간은 대칭 함수 카테고리의 모듈러 카테고리의 스플릿 그로텐디크 군으로 실현되며, 작용은 카테고리 간의 함수로 승격된다.