[논문 리뷰] Categorifications from planar diagrammatics

Mikhail Khovanov|arXiv (Cornell University)|2010. 08. 30.

Algebraic structures and combinatorial models참고 문헌 37인용 수 24

한 줄 요약

이 논문은 평면 스트링 다이어그램을 사용하여 양의 부분에 대한 양자군의 다이어그램적 카테고리화를 제시한다. 여기서 함자들은 띠로 표현되고, 자연 변환은 노드로, 이중첨단성은 호환성 유지 관계를 가능하게 한다. 주요 기여는 Soergel 이중모듈과 카테고리화된 양자군에 대한 그림적 계산법이며, 2-category의 그로텐디크 링은 양자 sl(n)의 BLM 형태와 동형이다.

ABSTRACT

A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi lectures given by the author in Hokkaido University in June 2009.

연구 동기 및 목표

• 영역, 띠, 노드를 갖는 평면 스트링 다이어그램을 사용한 2-category에 대한 다이어그램적 프레임워크 개발.
• 이중첨단 함자에 대한 그림적 계산법을 수립하여 평면 다이어그램에서 호환성 유지 성질 확보.
• Soergel 이중모듈과 R(ν)의 링을 사용하여 양자군의 양의 부분을 카테고리화.
• 그로텐디크 링 동형을 통해 다이어그램적 2-category를 BLM 형태의 양자 sl(n)과 연결.
• U-턴을 포함하고 전체 양자군 관계를 수반하는 다이어그램적 기법을 확장하여 전체 양자군의 카테고리화 기반 마련.

제안 방법

• 함자들은 영역에 라벨링된 방향성 있는 띠로 표현되며, 카테고리는 영역에 라벨링된다.
• 자연 변환은 노드로 묘사되고, 항등 변환은 수직선 또는 라벨링된 영역으로 표현된다.
• 이중첨단성은 컵과 캡 다이어그램(단위 및 쌍대단위)으로 표현되며, 호환성 유지 성질을 위한 지그재그 관계를 만족한다.
• 다이어그램은 자연 변환의 수평 및 수직 합성 가능하며, 호환성 유지가 관계를 유지한다.
• 2-category는 링 R(ν)로부터 구성되며, 기약 프로젝티브 모듈은 균일 기저를 카테고리화한다.
• 2-category의 그로텐디크 링은 양자 sl(n)의 BLM 형태와 동형이며, 가중치 공간은 R(ν)의 그로텐디크 군으로 카테고리화된다.

실험 결과

연구 질문

• RQ1 이중첨단 함자들을 어떻게 다이어그램적으로 표현할 수 있을까? 이를 통해 평면 스트링 다이어그램에서 호환성 유지 성질을 달성할 수 있는가?
• RQ2 Soergel 이중모듈과 그 양의 부분에 대한 양자군의 카테고리화를 뒷받침하는 다이어그램적 구조는 무엇인가?
• RQ3 R(ν)와 그 프로젝티브 모듈은 U+의 가중치 공간과 균일 기저 원소를 어떻게 카테고리화하는가?
• RQ4 다이어그램적 기법을 확장하여 전체 양자군, 즉 양과 음의 부분을 모두 카테고리화할 수 있는가?
• RQ5 이중첨단 함자로 구성된 2-category는 다이어그램적 계산법을 통해 전체 양자군의 구조를 어떻게 실현하는가?

주요 결과

• 이중첨단 함자에 대한 다이어그램적 계산법은 컵과 캡 관계를 통해 호환성 유지 성질을 실현하며, 평면 다이어그램의 위상적 불변성을 보장한다.
• 이중첨단 쌍으로 구성된 함자와 자연 변환의 2-category는 Soergel 이중모듈의 표현 이론과 동치인 그림적 계산법을 지원한다.
• 2-category의 그로텐디크 링은 양자 sl(n)의 BLM 형태와 동형이며, 가중치 공간 U+(ν)는 R(ν)의 그로텐디크 군으로 카테고리화된다.
• 기약 프로젝티브 R(ν)-모듈은 U+의 균일 기저 원소에 대응하며, 균일 기저의 카테고리화를 제공한다.
• U-턴을 允허하고 영역을 정수 가중치로 색칠하며, 호환성 유지 관계를 추가함으로써 다이어그램 기법은 전체 양자군의 카테고리화로 확장되며, Lauda 및 Chuang-Rouquier의 결과에 따라 이를 확인할 수 있다.
• n=2의 경우, Frenkel의 1994년 양자 sl(2)의 카테고리화에 대한 추측을 확인하며, 2-category는 전체 양자군의 구조를 실현한다.