[논문 리뷰] Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|2009. 07. 15.

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

한 줄 요약

이 논문은 일반선형(super)군 GL(m|n)의 atypicality가 r인 블록들과 Khovanov의 다이어그램 대수의 극한 버전인 $H^{lat}_{r}$ 사이의 모리타 동치를 확립한다. 이 동치는 이러한 블록들이 코즐러 구조를 지닌다는 것을 의미하며, GL(m|n)의 표현 이론에 대한 다이어그램적 모델을 제공하고, Khovanov의 대수적 프레임워크를 통해 분류된 양자군과 링크 homology와 연결한다.

ABSTRACT

We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.

연구 동기 및 목표

• 일반선형(super)군 GL(m|n)의 블록들과 Khovanov의 다이어그램 대수의 극한 버전 사이의 모리타 동치를 확립하는 것.
• 이 블록들이 코즐러 구조를 지닌다는 것을 보여주어, GL(m|n)의 표현 이론에 대한 다이어그램적 모델을 제공하는 것.
• Khovanov의 다이어그램 대수의 프레임워크를 슈퍼군 설정으로 확장하여, 순환적 히드라 알제브라와 KLR 대수와 연결하는 것.
• 양측의 동치에서 특수한 프로젝티브 함수를 식별하여 슈퍼군과 다이어그램 대수의 카테고리적 구조를 일치시키는 것.

제안 방법

• 순환적 히드라 대수와 관련된 유한차원 대수들의 직접 극한으로 구성된 Khovanov의 다이어그램 대수 $H^{lat}_{r}$ 의 극한 버전 사용.
• GL(m|n)의 atypicality가 r인 유한차원 표현의 카테고리와 $H^{lat}_{r}$ 위의 모듈러의 카테고리 사이의 모리타 동치 구축. 이는 표준적인 최소 프로젝티브 생성자 $P = \text{colim}\thinspace P^{p,q}$ 를 통해 이루어진다.
• 중심적 무게 순서 집합 $X^+(T)$ 와 다이어그램적 집합 $Λ(m|n)$ 사이의 대응 관계를, 이동된 내적 $(\lambda + \rho, \varepsilon_i)$ 를 포함한 무게 사전을 통해 설정.
• 레벨 2의 셔우얼 다이얼로지에 의한 자연 표현 $V$ 의 텐서곱과 순환적 히드라 대수 $H_d^{p,q}$ 의 작용 간의 관계 설정.
• 대수 $R^{p,q}$ (즉, $\text{End}_G(T_d^{p,q})^{\text{op}}$ 와 동형) 와 일반화된 Khovanov 대수 $K^{p,q}$ 를 연결하기 위해 모리타 이중모듈러 $A^{p,q}$ 와 $B^{p,q}$ 를 사용.
• Hom 공간과 함자들 사이의 자연 동형을 통해 함자 동치를 확립하여, $E_i \cong \text{Hom}_G(P,?) \circ \mathcal{E}_i \circ P \otimes_K ?$ 를 보여줌.

실험 결과

연구 질문

• RQ1 일반선형(super)군 GL(m|n)의 표현 이론은 어떻게 다이어그램적 대수로 기술될 수 있는가?
• RQ2 특정 atypicality r을 가진 GL(m|n)의 블록의 구조는 무엇이며, Khovanov의 다이어그램 대수와 어떻게 관련되어 있는가?
• RQ3 GL(m|n)의 블록들과 Khovanov의 다이어그램 대수의 극한 버전 사이에 모리타 동치가 존재하는가?
• RQ4 GL(m|n)의 블록들은 코즐러 구조를 지닐 수 있으며, 만약 그렇다면 이는 다이어그램적 대수에서 어떻게 반영되는가?
• RQ5 슈퍼군 측면의 특수한 프로젝티브 함수는 다이어그램 대수 측면의 그것들과 어떻게 대응되는가?

주요 결과

• atypicality가 r인 일반선형(super)군 GL(m|n)의 블록들은 극한 다이어그램 대수 $H^{lat}_{r}$ 와 모리타 동치이며, 표현 카테고리 간의 범주적 동치를 확립한다.
• 모리타 동치는 각 GL(m|n)의 블록이 코즐러 구조를 지닌다는 것을 의미하며, 슈퍼군 설정에서 코즐러 duality의 다이어그램적 실현을 제공한다.
• 이 동치는 표준적인 최소 프로젝티브 생성자 $P = \varinjlim P^{p,q}$ 를 통해 실현되며, 이는 카테고리의 동치를 유도한다.
• 다이어그램 대수 측면의 특수한 프로젝티브 함수 $E_i$ 와 $F_i$ 는 모리타 동치를 통해 푸시다와 푸시업 함자들의 복합함수와 자연동형이다.
• 이 동치는 순환적 히드라 대수와 KLR 대수의 작용과 호환되며, 슈퍼군 표현 이론을 분류된 양자군과 연결한다.
• 무게 순서 집합 $X^+(T)$ 는 다이어그램적 집합 $\Lambda(m|n)$ 과 일치하며, 이는 수직선 위의 레이블을 통한 주어진 무게의 조합론적 기술을 가능하게 한다.