[논문 리뷰] A diagrammatic approach to categorification of quantum groups III

Mikhail Khovanov, Aaron D. Lauda|arXiv (Cornell University)|2008. 07. 21.

Algebraic structures and combinatorial models참고 문헌 38인용 수 209

한 줄 요약

이 논문은 평면 다이어그램을 사용하여 스트레인, 점, 그레ading 이동을 포함하는 레이블이 부여된 스트랜드를 통해 아이디포텐트 양자군 \dot{U}(\mathfrak{sl}_n)의 다이어그램적 2-category 카테고리화를 제시한다. 이는 카테고리화된 카테고리의 그로텐디에크 군과 \dot{U}(\mathfrak{sl}_n)의 정수형 사이의 동형사상 수립을 통해 완전한 카테고리화를 증명하며, 비퇴화된 그래픽스 계산법을 통해 이루어지고, 플래그 2-category에서 카테고리화된 양자군으로의 2-함수를 구성한다.

ABSTRACT

We categorify the idempotented form of quantum sl(n).

연구 동기 및 목표

• 아이디포텐트 양자군 \dot{U}(\mathfrak{sl}_n)의 다이어그램적 2-category 카테고리화를 구축하는 것.
• 카테고리화된 카테고리의 그로텐디에크 군과 \dot{U}(\mathfrak{sl}_n)의 정수형 사이의 동형사상 수립.
• 그래픽스 계산법의 비퇴화성 증명 및 플래그 2-category에서 카테고리화된 양자군으로의 2-함수 정의.
• \dot{U}(\mathfrak{sl}_n)의 대칭성을 카테고리화된 카테고리 위의 2-함수로 올리는 것.
• 반복 플래그 다양체와 동차 코homology를 통한 카테고리화된 양자군의 기하적 실현 제공.

제안 방법

• 정수 가중치를 객체로, 레이블이 부여된 스트랜드(E_i1_\lambda)의 형식적 합과 그레딩 이동을 1-준위로 하는 2-카테고리 U를 구성한다.
• 방향성 있는 스트랜드가 단순 루트로 레이블링되고, 점이 스트랜드에 부여되며, 양자군 관계를 코딩하는 관계를 포함하는 평면 다이어그램의 동치류로 2-준위를 정의한다.
• 널리 퍼진 대수 관계와 차수 할당을 포함하는 그래픽스 계산법을 사용하여 2-카테고리 U를 정의한다.
• 완전한 카테고리화를 보장하기 위해 U의 카루비 에이펜드를 구성한다.
• 반복 플래그 다양체의 코homology를 사용하여 플래그 2-category Flag_N에서 \dot{U}(\mathfrak{sl}_n)로의 2-함수 Γ_N를 수립한다.
• 비퇴화성과 명시적 기저 대응을 통해 그로텐디에크 군에 유도된 사상 γ: A\dot{U} → K_0(\dot{U})가 동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 아이디포텐트 양자군 \dot{U}(\mathfrak{sl}_n)은 다이어그램적 2-category를 통해 완전히 카테고리화될 수 있는가?
• RQ2 카테고리화된 양자군에 대한 그래픽스 계산법은 비퇴화적인가로, 이는 카테고리화의 충실성을 보장하는가?
• RQ3 플래그 2-category에서 \dot{U}(\mathfrak{sl}_n)로의 2-함수는 기하학적 표현 이론을 통해 카테고리화된 양자군을 실현하는가?
• RQ4 \dot{U}(\mathfrak{sl}_n)의 대칭성은 카테고리화된 카테고리 위의 2-함수로 올릴 수 있는가?
• RQ5 카테고리화된 2-카테고리의 그로텐디에크 군은 \dot{U}(\mathfrak{sl}_n)의 정수형과 동형인가?

주요 결과

• 플래그 2-category에서 \dot{U}(\mathfrak{sl}_n)로의 2-함수 Γ_N는 전사적이고, 반복 플래그 다양체의 코homology를 통해 카테고리화된 양자군을 실현한다.
• 그로텐디에크 군에 유도된 사상 γ: A\dot{U} → K_0(\dot{U})는 동형사상이며, 이는 카테고리화된 카테고리의 그로텐디에크 군이 \dot{U}(\mathfrak{sl}_n)의 정수형을 복원함을 증명한다.
• 그래픽스 계산법은 임의의 가환환 위에서 비퇴화되어 있어, 2-카테고리 U가 잘 정의되고 충실함을 보장한다.
• 카테고리화된 양자군 \dot{U}(\mathfrak{sl}_n)은 \dot{U}(\mathfrak{sl}_n)의 대칭 ψ, ω, σ, τ를 카테고리화하는 2-함수를 갖는다.
• 2-카테고리 \dot{U}(\mathfrak{sl}_n)는 U의 카루비 에이펜드로 구성되어 있어 완전한 카테고리화와 직접 합 분해를 보장한다.
• 카테고리화된 양자군은 반복 플래그 다양체 위의 코herent sheaf의 유도 범주에 작용하여, 카테고리화된 표현 이론의 기하적 실현을 제공한다.