[논문 리뷰] Categories of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules

Ivan Penkov, Vera Serganova|arXiv (Cornell University)|2010. 06. 14.

Algebraic structures and combinatorial models참고 문헌 5인용 수 8

한 줄 요약

이 논문은 $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$라는 카테고리, 즉 $\mathfrak{g} = \mathfrak{sl}(\infty), \mathfrak{o}(\infty), \mathfrak{sp}(\infty)$에 대한 통합 가능한 $\mathfrak{g}$-모듈의 카테고리를 정의하고 연구한다. 이 카테고리는 대수적 쌍대화와 유한 로에브 길이에 대해 닫혀 있는 최대의 카테고리로 정의된다. 이 카테고리가 단순하고, 그 단순 대상들이 정확히 단순 텐서 모듈임을 증명한다. $\mathrm{Tens}_{\mathfrak{g}}$는 비어 있지 않은 모듈을 포함하고, 텐서 곱과 쌍대화에 대해 닫혀 있는 유일한 최소 아벨 전체 부분카테고리로 특성화된다.

ABSTRACT

We investigate several categories of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules. In particular, we prove that the category of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules with finite-dimensional weight spaces is semisimple. The most interesting category we study is the category $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ of tensor modules. Its objects $M$ are defined as integrable modules of finite Loewy length such that the algebraic dual $M^*$ is also integrable and of finite Loewy length. We prove that the simple objects of $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ are precisely the simple tensor modules, i.e. the simple subquotients of the tensor algebra of the direct sum of the natural and conatural representations. We also study injectives in $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ and compute the Ext$^1$'s between simple modules. Finally, we characterize a certain subcategory $\mathrm{Tens}_{\mathfrak{g}}$ of $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ as the unique minimal abelian full subcategory of the category of integrable modules which contains a non-trivial module and is closed under tensor product and algebraic dualization.

연구 동기 및 목표

• 무한차원 리 대수 $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$에 대한 자연스러운 통합 가능한 모듈 카테고리를 정의하고 분석하며, 이 카테고리가 대수적 쌍대화와 유한 로에브 길이에 대해 닫혀 있도록 한다.
• 유한차원 무게 공간을 가진 통합 가능한 무게 모듈의 카테고리가 단순하다는 것을 증명하고, 헤르만 바이어의 단순성 정리가 이러한 무한차원 리 대수로 일반화됨을 보인다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ 텐서 모듈의 카테고리를 가장 큰 카테고리로 특성화하고, 그 단순 대상들이 자연 및 쌍대 자연 표현의 텐서 대수의 단순 부분상대의 형태로 나타남을 규명한다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$에서 단순 모듈 간의 $\mathrm{Ext}^1$ 군과 단순 모듈의 포함된 대상의 구조를 연구하여 카테고리의 구조적 통찰을 제공한다.
• $\mathrm{Tens}_{\mathfrak{g}}$가 통합 가능한 $\mathfrak{g}$-모듈의 카테고리에서 유일한 최소 아벨 전체 부분카테고리로서, 비어 있지 않은 모듈을 포함하고, 텐서 곱과 대수적 쌍대화에 대해 닫혀 있음을 보인다.

제안 방법

• 저자는 $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$를 유한 로에브 길이를 가지며 대수적 쌍대화에 대해 닫혀 있는 통합 가능한 $\mathfrak{g}$-모듈의 전체 부분카테고리로 정의한다.
• 그들은 로에브 길이와 소클 시리즈 개념을 사용하여 모듈과 그 쌍대의 구조를 분석하며, 특히 포함된 완전화에서의 구조를 다룬다.
• 단순성 증명은 무게 공간의 구조와 카테고리 내 모든 단순 모듈이 자연 및 쌍대 자연 표현의 유한 텐서 곱의 부분상대임을 이용한다.
• 그들은 $M \mapsto M^*$의 쌍대화 함자 $M \mapsto M^*$를 사용하고, 이 함자가 $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$에서 유한 로에브 길이를 유지함을 보여, 이 카테고리에서 대칭적 반대함자임을 증명한다.
• $\mathrm{Tens}_{\mathfrak{g}}$의 특성화는, $\otimes$와 $*$에 대해 닫혀 있는 임의의 최소 아벨 전체 부분카테고리가 애드조이ント 표현을 포함하므로 자연 및 쌍대 자연 표현도 포함한다는 점을 통해 달성된다.
• 저자들은 국소적으로 유한한 리 대수의 표현 이론 결과를 사용하며, $\mathfrak{g}$가 직접 극한으로서의 구조와 최고 무게 및 쌍대 구성에 의한 단순 모듈의 분류를 포함한다.

실험 결과

연구 질문

• RQ1 무한차원 리 대수 $\mathfrak{g} = \mathfrak{sl}(\infty), \mathfrak{o}(\infty), \mathfrak{sp}(\infty)$에 대해 유한차원 무게 공간을 가진 통합 가능한 $\mathfrak{g}$-모듈의 카테고리의 구조는 어떻게 되며, 이 카테고리는 단순한가?
• RQ2 대수적 쌍대화와 유한 로에브 길이에 대해 닫혀 있는 통합 가능한 $\mathfrak{g}$-모듈의 최대 카테고리는 무엇이며, 그 성질은 무엇인가?
• RQ3 $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$의 단순 대상은 무엇이며, 자연 및 쌍대 자연 표현으로부터 어떻게 구성할 수 있는가?
• RQ4 $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$에서 포함된 대상의 구조와 단순 모듈 간 $\mathrm{Ext}^1$ 군의 구조는 어떻게 되는가?
• RQ5 텐서 곱과 대수적 쌍대화에 대해 닫혀 있으며 비어 있지 않은 모듈을 포함하는 통합 가능한 $\mathfrak{g}$-모듈의 최소 아벨 전체 부분카테고리는 무엇이며, 자연 표현의 텐서 대수와의 관계는 무엇인가?

주요 결과

• 무한차원 리 대수 $\mathfrak{g} = \mathfrak{sl}(\infty), \mathfrak{o}(\infty), \mathfrak{sp}(\infty)$에 대해 유한차원 무게 공간을 가진 통합 가능한 $\mathfrak{g}$-모듈의 카테고리가 단순하다. 이는 헤르만 바이어의 단순성 정리를 무한차원 설정으로 일반화한 것이다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$ 카테고리는 정확히 유한 로에브 길이를 가지며, 그 대수적 쌍대가 또한 유한 로에브 길이를 가지는 통합 가능한 모듈로 구성된다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$의 단순 대상들은 정확히 자연 및 쌍대 자연 표현의 텐서 대수의 단순 부분상대이다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$에서 단순 모듈 $V_{\lambda}$의 포함된 완전화 $I_{\lambda}$는 소클 시리즈를 가지며, $\mathrm{soc}^k(I_{\lambda})$는 $\mu \in \Theta^k(\lambda)$에 대해 $X^\mu \otimes V_\mu$의 직합이다. 여기서 $X^\mu$는 차원 $2^{\mathbb{Z}}$의 자명한 모듈이다.
• $\mathrm{Tens}_{\mathfrak{g}}$는 비어 있지 않은 모듈을 포함하고, 텐서 곱과 대수적 쌍대화에 대해 닫혀 있는 통합 가능한 $\mathfrak{g}$-모듈의 카테고리에서의 유일한 최소 아벨 전체 부분카테고리이다.
• $\widetilde{\mathrm{Tens}}_{\mathfrak{g}}$의 임의의 모듈은 그 쌍대의 소클의 쌍대의 부분모듈이며, 이 카테고리는 리 대수의 준동형에 대해 함자적이다.