[논문 리뷰] Supercategorification of quantum Kac-Moody algebras II

Seok‐Jin Kang, Masaki Kashiwara외 1명|arXiv (Cornell University)|2013. 03. 08.

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

한 줄 요약

이 논문은 화살표 히케 슈퍼대수와 그 순환 몫을 이용하여 양자 카크-무디 슈퍼대수와 그 통합 최고 가중치 모듈의 슈퍼분류화(supercategorification)를 수립한다. 2-슈퍼카테고리인 슈퍼모듈의 그로텐디크 군이 양자 카크-무디 슈퍼대수와 동형임을 보이고, 이를 통해 그라디에이션 슈퍼대수와 그 표현 이론을 통한 이러한 양자군의 분류화된 실현을 제공한다.

ABSTRACT

In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.

연구 동기 및 목표

• 양자 카크-무디 대수의 쿠오반-로우다-루카이 분류화를 슈퍼대수 설정으로 확장하기 위해.
• 양자 카크-무디 슈퍼대수와 그 통합 최고 가중치 모듈의 슈퍼분류화를 수립하기 위해.
• 화살표 히케 슈퍼대수의 2-슈퍼카테고리 슈퍼모듈의 그로텐디크 군이 양자 카크-무디 슈퍼대수를 실현함을 증명하기 위해.
• 특수화가 양자 카크-무디 대수와 그 통합 모듈의 분류화를 제공함을 보여주기 위해.
• 슈퍼 설정에서의 완벽 기저와 특성 이론의 구조를 유지하는 슈퍼분류화의 성질을 보여주기 위해.

제안 방법

• 화살표 히케 슈퍼대수와 그 순환 몫에 대한 2-슈퍼카테고리인 슈퍼모듈을 구축하기 위해.
• 프로젝트브 슈퍼모듈의 슈퍼카테고리와 모든 슈퍼모듈의 카테고리의 그로텐디크 군을 정의하기 위해.
• 화살표 히케 슈퍼대수의 표현 카테고리의 강력한 완벽 기저를 이용하여 정규 기저와의 관계를 설정하기 위해.
• 패리티 이동 함수와 슈퍼이항함수를 포함한 슈퍼카테고리와 2-슈퍼카테고리의 개념을 적용하기 위해.
• 그로텐디크 군과 대수 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$ 및 그 쌍대와의 동형을 수립하기 위해.
• 카르탕 데이터의 조건 (C6)을 통해 슈퍼분류화를 특수화하여 표준 양자 카크-무디 대수 $\mathsf{U}_v(\mathfrak{g})$를 회복하기 위해.

실험 결과

연구 질문

• RQ1 화살표 히케 슈퍼대수를 이용하여 양자 카크-무디 대수의 분류화를 슈퍼대수 설정으로 확장할 수 있는가?
• RQ2 화살표 히케 슈퍼대수의 2-슈퍼카테고리 슈퍼모듈의 그로텐디크 군은 양자 카크-무디 슈퍼대수를 실현하는가?
• RQ3 화살표 히케 슈퍼대수의 순환 몫은 어떻게 통합 최고 가중치 모듈을 분류화하는가?
• RQ4 완벽 기저는 양자 카크-무디 슈퍼대수의 슈퍼분류화에서 어떤 역할을 하는가?
• RQ5 특수화가 슈퍼분류화로부터 표준 양자 카크-무디 대수 $\mathsf{U}_v(\mathfrak{g})$를 회복하는 데 어떤 조건을 필요로 하는가?

주요 결과

• 화살표 히케 슈퍼대수의 2-슈퍼카테고리 슈퍼모듈의 그로텐디크 군은 양자 카크-무디 슈퍼대수 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$와 동형이다.
• 프로젝트브 슈퍼모듈의 카테고리의 그로텐디크 군은 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})^\vee$와 동형이며, 이는 양자 카크-무디 슈퍼대수의 음의 부분의 쌍대이다.
• 슈퍼분류화는 정규 기저의 구조를 유지하며, $[\mathrm{Rep}_{\rm super}(R)]$와 $[\mathrm{Proj}_{\rm super}(R)]$는 각각 $\mathrm{B}^{\mathrm{up}}_{\mathbb{A}^\pi}(\mathfrak{g})$와 $\mathrm{B}^{\mathrm{low}}_{\mathbb{A}^\pi}(\mathfrak{g})$ 위의 모듈 구조를 지닌다.
• 특성 사상 $\mathrm{ch}^\pi_q$ 는 단순 슈퍼모듈에 대해 단사적이며, 따라서 $\mathrm{ch}^\pi_q(M) = \mathrm{ch}^\pi_q(M')$ 이면 $M \simeq M'$ 임을 의미한다.
• 조건 (C6) 하에서 슈퍼분류화는 $\mathbb{Q}[\sqrt{\pi}] \otimes \mathsf{U}_v(\mathfrak{g})$ 를 통해 표준 양자 카크-무디 대수 $\mathsf{U}_v(\mathfrak{g})$ 의 분류화를 제공한다.
• 특수화 하에서 슈퍼대수의 프로젝트브 모듈 카테고리와 통합 최고 가중치 모듈 카테고리는 표준 양자 카크-무디 대수의 것들과 동치이다.