[논문 리뷰] The sl(N)-web algebras and dual canonical bases

Marco Mackaay|arXiv (Cornell University)|2013. 08. 02.

Algebraic structures and combinatorial models참고 문헌 30인용 수 9

한 줄 요약

이 논문은 N ≥ 2에 대해 sl(N)-웹 대수를 도입하며, 분류화된 양자 스케우 하우 듀얼리티를 통해 레벨-N 순환 KLR 대수의 블록들과의 모리타 동치를 확립한다. 주요 결과는 sl(N)-웹의 공간과 웹 대수의 스플릿 그로텐디에크 군 사이의 동형사상으로, 이는 이중 캐논ical 기저 원소를 불가분 프로젝티브 모듈의 그로텐디에크 클래스로 매핑하며 정확한 그레디에이션 정규화를 제공한다.

ABSTRACT

In this paper, which is a follow-up to my paper with Yonezawa "sl(N)-web categories", I define and study sl(N)-web algebras for any N greater than one. For N=2 these algebras are isomorphic to Khovanov's arc algebras and for N=3 they are Morita equivalent to the sl(3)-web algebras which I defined and studied with Pan and Tubbenhauer. The main result of this paper is that the sl(N)-web algebras are Morita equivalent to blocks of certain level-N cyclotomic KLR algebras, for which I use the categorified quantum skew Howe duality from the aforementioned paper with Yonezawa. Using this Morita equivalence and Brundan and Kleshchev's work on cyclotomic KLR algebras, I show that there exists an isomorphism between a certain space of sl(N)-webs and the split Grothendieck group of the corresponding sl(N)-web algebra, which maps the dual canonical basis elements to the Grothendieck classes of the indecomposable projective modules (with a certain normalization of their grading).

연구 동기 및 목표

• 임의의 N ≥ 2에 대해 sl(N)-웹 대수를 정의하고 연구함으로써, N=2일 때의 코반노프의 아크 대수와 N=3일 때의 이전 sl(3)-웹 대수를 일반화함.
• 분류화된 양자 스케우 하우 듀얼리티를 사용하여 sl(N)-웹 대수와 레벨-N 순환 KLR 대수의 블록들 사이의 모리타 동치를 확립함.
• sl(N)-웹의 공간과 웹 대수의 스플릿 그로텐디에크 군 사이의 동형사상을 구성함. 이는 이중 캐논ical 기저 원소를 불가분 프로젝티브 모듈의 그로텐디에크 클래스로 매핑함.
• 웹 대수의 중심이 KLR 대수와의 모리타 동치를 통해 스파르텐슈타인 다양체의 코homology와 동형임을 보임.
• 레클레르-토프의 기저를 캐논ical 정규화로 사용하여, 임의의 N에 대해 웹 기저와 듀얼리티 구조를 일반화할 수 있는 프레임워크를 제공함.

제안 방법

• 주어진 sl(N)-웹의 기저로 생성된 웹 범주의 유한한 전체 부분범주를 이용해, 유한 차원의 그레디에이션 대수로 sl(N)-웹 대수 H_Λ를 정의함.
• 논문 [38]의 분류화된 양자 스케우 하우 듀얼리티를 활용하여 웹 범주를 순환 KLR 대수의 그레디에이션 프로젝티브 모듈 범주와 연결함.
• 브룬단과 클레슈체프의 순환 KLR 대수에 대한 연구를 활용하여, 기약 모듈 V_Λ와 스플릿 그로텐디에크 군 K_0^q(V_Λ^p) 사이의 U_q(sl_m)-인터티너를 이중으로 정의함.
• 듀얼리티에 의해 유도되는 모리타 동치를 이용해 웹 범주 H_Λ-pmod_gr와 KLR 대수의 그레디에이션 프로젝티브 모듈 범주 사이의 동치를 구성함.
• KLR 대수의 듀얼리티를 당김을 통해 웹 대수 H_Λ에 듀얼리티 *를 정의함. 이는 그로텐디에크 군 동형사상과의 호환성을 보장함.
• 동치와 듀얼리티를 활용하여, 동형사상 δ′: W_Λ → K_0^q(W_Λ^p)가 이중 캐논ical 기저를 불가분 프로젝티브 모듈의 클래스로 매핑함을 보임.

실험 결과

연구 질문

• RQ1 임의의 N ≥ 2에 대해 sl(N)-웹 대수를 체계적으로 정의할 수 있는 방법은 무엇이며, N=2와 N=3일 때의 알려진 구성들을 일반화할 수 있는가?
• RQ2 sl(N)-웹 대수와 순환 KLR 대수 사이의 정확한 관계는 무엇이며, 이는 모리타 동치로 형식화될 수 있는가?
• RQ3 sl(N)-웹의 공간에 있는 이중 캐논ical 기저는 적절한 동형사상 하에 불가분 프로젝티브 모듈의 그로텐디에크 클래스와 대응되는가?
• RQ4 KLR 대수 범주에서의 듀얼리티는 웹 대수로 어떻게 올라가며, 이는 그로텐디에크 군에 어떤 구조를 유도하는가?
• RQ5 sl(N)-웹 대수의 중심은 무엇이며, 부분 플라그 다양체의 코homology와 같은 기하적 불변량과 어떻게 관련되는가?

주요 결과

• sl(N)-웹 대수 H_Λ는 레벨-N 순환 KLR 대수의 블록과 모리타 동치임이 입증되어, 웹 대수와 KLR 대수 사이의 카테고리적 다리를 구축함.
• sl(N)-웹의 공간 W_Λ와 스플릿 그로텐디에크 군 K_0^q(H_Λ-pmod_gr) 사이에 그레디에이션 대수 동형사상이 존재하며, 이는 이중 캐논ical 기저 원소가 불가분 프로젝티브 모듈의 그로텐디에크 클래스로 정확히 매핑됨.
• H_Λ의 중심은 모리타 동치를 통해 스파르텐슈타인 다양체 X_Λ^k의 코homology 대수 H^*(X_Λ^k)와 동형임을 보임. 여기서 X_Λ^k는 유형 k의 부분 플래그와 임계형태의 니플로턴 연산자를 갖는다.
• H_Λ에 정의된 듀얼리티 *는 KLR 대수의 듀얼리티로부터 유도되며, 그로텐디에크 군 동형사상 하에서 캐논ical 기저의 바-인보리션과 대응됨으로써 캐논ical 및 이중 캐논ical 기저와의 호환성을 확보함.
• 동형사상 δ′: W_Λ → K_0^q(W_Λ^p)는 이sovolumetric U_v(sl_m)-인터티너이며, 양자 스케우 하우 듀얼리티 하에서 V_Λ의 레클레르-토프 기저를 W_Λ의 이중 캐논ical 기저로 매핑함.
• 선택한 기저에 대해 구조가 안정됨: 풍타인의 기저를 사용해도 모리타 동치인 웹 대수와 유사한 구조적 결과를 얻을 수 있음.