[논문 리뷰] An introduction to diagrammatic algebra and categorified quantum sl(2)

Aaron D. Lauda|arXiv (Cornell University)|2011. 06. 10.

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

한 줄 요약

이 논문은 1-형식이 기본 표현의 텐서곱에 대응하고 2-형식이 그림적 관계에 의해 생성되는 2-category U를 사용하여 양자 sl(2)의 다이어그램적 카테고리화를 제안한다. 주요 기여는 그림적 계산법이 부분 플라그 다양체의 코homology 작용과 일치함을 보장하면서도 추가 생성자를 요구하지 않고도 전체 구조를 완전히 기술할 수 있음을 입증한 것이다. 이는 지그재그 항등식과 호모지오지 공간의 차수 제약 조건과 같은 관계를 통해 이루어진다.

ABSTRACT

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.

연구 동기 및 목표

• 다이어그램적 계산법을 사용하여 양자 sl(2)를 카테고리화하는 다이어그램적 2-category U를 구성하는 것.
• 부분 플라그 다양체의 코homology 링에 대한 작용과 일치하는 U 내의 관계 정확한 형태를 규명하는 것.
• 지그재그 다이어그램과 항등형식에서 유도된 것 외에 추가적인 생성 2-형식이 필요로 하지 않는다는 것을 보여주는 것.
• 호모지오지 공간의 0차 부분이 스칼라 배수의 항등형식 2-형식으로 완전히 기술된다는 것을 확립하는 것, 제약 조건을 고려하여.
• 차수 제약 조건과 대칭성을 사용하여 다이어그램적 계산법이 합성에 대해 일관되고 닫혀져 있음을 보장하는 것.

제안 방법

• 1-형식을 n에 의해 인덱싱된 기본 표현의 텐서곱으로 정의하고, 2-형식을 줄과 교차를 갖는 다이어그램으로 정의하는 2-category U를 정의한다.
• HOM_U(EF1^n, FE1^n) 및 HOM_U(FE1^n, EF1^n)의 호모지오지 공간에 대한 차수 고려를 통해 가능한 2-형식의 차수를 제약한다.
• 지그재그 다이어그램을 항등형식으로 동일시하는 관계 (3.19)를 도입하여 다이어그램적 계산법의 일관성을 확보한다.
• 부분 플라그 다양체의 코homology 링에 대한 작용을 활용하여 관계의 정확한 형태를 고정한다.
• 다이어그램적 추론을 적용하여 계산법 내의 모든 다이어그램이 주어진 생성자와 관계만으로 축소됨을 보여준다.
• 결과로 얻어진 2-category가 카테고리화된 양자 sl(2)의 요구 조건을 충족함을 검증한다. 이는 이동 등변성과 기본 기저 대응을 포함한다.

실험 결과

연구 질문

• RQ1 부분 플라그 다양체의 코homology 링에 대한 작용과 일치하기 위해 2-category U에 필요한 관계는 무엇인가?
• RQ2 추가 생성 2-형식을 도입하지 않고도 U의 다이어그램적 계산법이 합성에 대해 닫혀 있는가?
• RQ3 HOM_U(EF1^n, FE1^n) 및 HOM_U(FE1^n, EF1^n)의 호모지오지 공간에 대한 차수 제약 조건이 2-category의 구조에 어떤 영향을 미치는가?
• RQ4 지그재그 다이어그램은 호모지오지 공간의 0차 부분에 얼마나 기여하는가? 그리고 항등형식 2-형식과의 관계는 무엇인가?
• RQ5 주어진 다이어그램적 생성자와 관계만으로 2-category U가 양자 sl(2)를 카테고리화하는 데에 충분한가?

주요 결과

• HOM_U(EF1^n, FE1^n) 내 지그재그 다이어그램의 차수는 0이며, 관계 (3.19)를 통해 항등형식 2-형식으로 식별된다.
• 다이어그램적 계산법은 일관되고 합성에 대해 닫혀 있으며, 지그재그와 항등형식 외에 추가 생성 2-형식이 필요로 하지 않는다.
• 관계 (3.19)는 특정 지그재그 다이어그램을 항등형식으로 동일시하여, 호모지오지 공간의 0차 부분이 스칼라 배수의 항등형식으로 완전히 기술됨을 보장한다.
• 관계의 정확한 형태는 부분 플라그 다양체의 코homology 링에 대한 작용과의 일관성에 의해 고정된다.
• 주어진 생성자와 관계를 갖는 2-category U는 추가 생성자를 요구하지 않고도 양자 sl(2)를 카테고리화한다.
• 이동 등변성 하에서 다이어그램적 구조는 루스지트의 기본 기저와 일치하여, 제시의 완전성을 확인한다.