[논문 리뷰] A diagrammatic categorification of the q-Schur algebra

Marco Mackaay, Marko Stošić외 1명|arXiv (Cornell University)|2010. 08. 07.

Algebraic structures and combinatorial models참고 문헌 33인용 수 15

한 줄 요약

이 논문은 gln-중량을 다이어그램의 영역에 레이블로 사용하여 Khovanov와 Lauda의 다이어그램적 2-category U(sln)의 몫으로서 2-category S(n, d)를 구성함으로써 q-스푸르 대수 Sq(n, d)의 다이어그램적 카테고리화를 제시한다. 주요 결과는 S(n, d)의 그로텐디크 군을 Q(q)와 텐서곱한 것이 Sq(n, d)와 동형이라는 것으로, 이는 또한 d ≤ n일 때 소르겔의 A형 모나이드 카테고리가 S(n, d)에 완전한 부분2-카테고리로 포함됨을 의미한다. 이는 q-스푸르 대수의 카테고리화를 다이어그램적 프레임워크를 통해 실현한 것이다.

ABSTRACT

In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's monoidal category of type A.

연구 동기 및 목표

• q-스푸르 대수 Sq(n, d)를 카테고리화하는 다이어그램적 2-category S(n, d)를 구성하기.
• Khovanov와 Lauda의 U(sln)에 대한 다이어그램적 카테고리화를 gln-중량을 사용함으로써 U(gln)로 확장하기.
• d ≤ n일 때 S(n, d)가 Soergel의 A형 모나이드 카테고리의 완전한 부분2-카테고리로 포함되어 있음을 보여주어 Hq(d) ⊂ Sq(n, d)의 포함관계를 카테고리화하기.
• Khovanov와 Lauda의 ˙U(sln)에 대한 부호 카테고리화에서 발생하는 부호 오류를 gln-중량을 사용한 새로운 부호 규칙을 도입하여 S(n, d)의 막대성(순환성)을 복구하기.

제안 방법

• Khovanov와 Lauda의 U(sln)를 확장하여 다이어그램의 2-준동형에서 영역을 gln-중량으로 레이블링하는 새로운 2-category U(gln)를 정의하기.
• V⊗d의 분해에 나타나지 않는 gln-중량을 가진 영역을 포함하는 다이어그램을 제거하는 관계를 도입함으로써 U(gln)의 몫으로 S(n, d)를 구성하기.
• Elias와 Khovanov의 Soergel 카테고리의 다이어그램적 표현을 사용하여 d ≤ n일 때 히드 대수 Hq(d)를 S(n, d)에 통합하기.
• Soergel의 이중모듈 카테고리에서 S(n, d)로의 완전 충실한 2-함자를 수립하여 Hq(d) ⊂ Sq(n, d)의 포함관계를 카테고리화하기.
• S(n, d)의 그로텐디크 군을 Q(q)와 텐서곱한 것이 Sq(n, d)와 동형임을 증명하기 위해, 맵 γλ: Vλ → KQ(q)0(˙Vλ)의 상사상성(전사성)을 이용하기.
• 모든 λ ∈ Λ+(n, d)에 대해 KQ(q)0(˙Vλ) ∼= Vλ임을 추측하며, 특수한 경우인 λ = (d) 및 n = 2에 대한 부분 증명을 제시하기.

실험 결과

연구 질문

• RQ1 q-스푸르 대수 Sq(n, d)는 gln-중량으로 구성된 다이어그램적 2-category를 통해 카테고리화될 수 있는가?
• RQ2 U(gln)의 몫으로서 구성된 다이어그램적 2-category S(n, d)는 올바른 그로텐디크 군을 갖는 Sq(n, d)의 카테고리화를 제공하는가?
• RQ3 Hq(d) ⊂ Sq(n, d)의 포함관계는 다이어그램적 프레임워크에서 어떻게 카테고리적으로 나타나는가?
• RQ4 Khovanov와 Lauda의 ˙U(sln)에 대한 부호 카테고리화에서 발생하는 부호 오류는 gln-중량을 사용하여 수정될 수 있으며, 이는 S(n, d)의 막대성 회복에 기여하는가?
• RQ5 n = d인 경우 윌리엄슨의 형식이 특이 Soergel 이중모듈에 대해 다이어그램적으로 어떻게 해석될 수 있으며, 이는 S(n, d)의 그로텐디크 군과 어떻게 관련되는가?

주요 결과

• V⊗d에 나타나지 않는 gln-중량을 가진 영역을 제거하는 관계를 도입하여 U(gln)의 몫으로 정의된 2-category S(n, d)는 Q(q)와 텐서곱한 후 그로텐디크 군이 Sq(n, d)와 동형이다.
• d ≤ n일 때, Soergel의 이중모듈 카테고리에서 S(n, d)로의 완전 충실한 2-함수가 존재하여 Hq(d) ⊂ Sq(n, d)의 포함관계를 카테고리화한다.
• 맵 γλ: Vλ → KQ(q)0(˙Vλ)는 전사적이며, λ = (d)인 경우는 동형사상이 되어 KQ(q)0(˙Vλ) ∼= Vλ임을 증명한다.
• n = 2이고 λ = (d−c, c)이며 0 < 2c ≤ d일 때, 함수 Πd,d−2c와 γ(d−2c,0)의 동형사상이 포함된 교환 정사각형을 통해 γ(d−c,c)의 전사성이 확립되어 KQ(q)0(˙V(d−c,c)) ∼= V(d−c,c)임을 증명한다.
• 저자들은 모든 λ ∈ Λ+(n, d)에 대해 KQ(q)0(˙Vλ) ∼= Vλ임을 추측하며, 이는 S(n, d)의 프로젝티브 모듈의 카테고리의 그로텐디크 군이 Sq(n, d)의 기약 표현을 카테고리화함을 의미한다.
• R(∗, λ)의 Khovanov-Lauda 순환 몫 카테고리에서 Vλ의 몫으로의 함자가 동치임을 추측하며, 이 몫은 오른쪽 가장자리 영역의 모든 양의 차수 버블을 0으로 설정함으로써 얻는다.