[논문 리뷰] Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

Chih-Whi Chen, Kevin Coulembier외 1명|arXiv (Cornell University)|2018. 07. 10.

Algebraic structures and combinatorial models인용 수 3

한 줄 요약

이 논문은 $ \mathfrak{sl}_n $의 단순 및 유한차원 모듈의 텐서곱이 유한형 소클을 갖는다는 것을 증명하며, 이는 $ \mathfrak{q}(n) $-슈퍼모듈의 분류를 단순 $ \mathfrak{sl}_n $-모듈의 분류로 환원할 수 있음을 보여준다. 또한 Kac 유도 함수자가 유형 I 리 슈퍼대수에서 유한형 소클과 뿌리층을 유지함을 보이며, 카테고리 $ \mathcal{O} $의 조합론을 통한 슈퍼모듈 분류의 구조적 프레임워크를 제공한다.

ABSTRACT

We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$.

연구 동기 및 목표

• 단순 및 유한차원 $ \mathfrak{sl}_n $-모듈의 텐서곱이 유한형 소클을 갖는지 여부를 결정하는 것.
• 단순 $ \mathfrak{q}(n) $-슈퍼모듈의 분류를 단순 $ \mathfrak{sl}_n $-모듈의 분류로 환원하는 것.
• 카테고리 $ \mathcal{O} $ 조합론을 이용해 단순 $ \mathfrak{q}(n) $-슈퍼모듈을 $ \mathfrak{sl}_n $-모듈로 본다면 대략적인 구조를 묘사하는 것.
• Kac 유도 함수자가 유형 I 리 슈퍼대수에서 유한형 소클과 뿌리층을 유지함을 증명하는 것.
• 리 슈퍼대수의 표현 이론과 A형에서 카즈단-루즈티그 이론의 조합론 간의 연결 고리를 설정하는 것.

제안 방법

• $ S $가 단순이고 $ E $가 유한차원인 $ \mathfrak{sl}_n $-모듈일 때 $ S \otimes E $의 소클이 유한 길이를 갖는다는 것을 증명하는 것.
• A형에서의 프로젝티브 함수자와 카즈단-루즈티그 조합론을 사용하여, 복소수 위의 재수성 리 슈퍼대수에서 $ S \otimes E $의 소클이 본질적임을 보이는 것.
• 유한형 소클에 관한 결과를 적용하여, $ \mathfrak{g}_{\bar{0}} $가 A형일 경우 임의의 $ \mathfrak{g} $-슈퍼모듈이 유도된 $ \mathfrak{g}_{\bar{0}} $-모듈의 몫임을 보이는 것.
• $ \mathrm{Ind}^{\widetilde{{\mathfrak{g}}}}_{{\mathfrak{p}}} $의 Kac 유도 함수자를 사용하여 $ \mathfrak{g} $-슈퍼모듈과 $ \mathfrak{g}_{\bar{0}} $-모듈을 연결하는 것.
• $ \mathrm{Hom}_{\widetilde{{\mathfrak{g}}}}(K(M), L) \cong \mathrm{Hom}_{{\mathfrak{g}}}(M, S_L)$의 동형을 활용하여 단순 모듈을 연결하고 소클/뿌리층의 구조를 유지하는 것.
• $ \mathrm{soc}(K(V)) $가 $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V)$에 의해 생성됨을 이용하여 소클 유한성과 본질성의 유지성을 보이는 것.

실험 결과

연구 질문

• RQ1 단순 및 유한차원 $ \mathfrak{sl}_n $-모듈의 텐서곱이 유한 길이의 소클을 갖는가?
• RQ2 그러한 텐서곱의 소클은 본질적 부분모듈인가?
• RQ3 단순 $ \mathfrak{q}(n) $-슈퍼모듈의 분류는 단순 $ \mathfrak{sl}_n $-모듈의 분류로 환원될 수 있는가?
• RQ4 Kac 유도 함수자는 유형 I 리 슈퍼대수에서 유한형 소클과 뿌리층을 유지하는가?
• RQ5 단순 $ \mathfrak{q}(n) $-슈퍼모듈을 $ \mathfrak{sl}_n $-모듈로 본다면 대략적인 구조는 어떠한가?

주요 결과

• 단순 및 유한차원 $ \mathfrak{sl}_n $-모듈의 텐서곱은 유한 길이의 소클을 갖는다.
• 그러한 텐서곱의 소클은 본질적 부분모듈이므로, 복소수 위의 A형 재수성 리 슈퍼대수에서 일반적으로 유한형 소클을 갖는다.
• 소클 유한성 성질을 통해 단순 $ \mathfrak{q}(n) $-슈퍼모듈의 분류는 단순 $ \mathfrak{sl}_n $-모듈의 분류로 환원된다.
• Kac 유도 함수자는 유형 I 리 슈퍼대수에서 유한형 소클과 뿌리층을 유지하며, 소클과 뿌리층의 길이도 유지한다.
• 유형 I 리 슈퍼대수에서 특수 Borel 부분대수에 대한 범마 슈퍼모듈은 단순 소클을 갖는다.
• 소클이 유한형인 $ \mathfrak{g} $-모듈 $ V $에 대해 $ K(V) $의 소클은 $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V) $와 동형이며, $ \mathrm{soc}(V) $와 같은 길이를 갖는다.