[논문 리뷰] Indecomposable representations of Lie superalgebras

Dimitry Leites|ArXiv.org|2002. 02. 18.

Algebraic structures and combinatorial models참고 문헌 13인용 수 6

한 줄 요약

이 논문은 고전적 표현 이론 기법을 활용하여 ${\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{osp}}(2|2)$의 유한차원 분해불가 표현들을 완전히 분류한다. 이 결과는 ${\mathfrak{sl}}(1|n)$ 및 ${\mathfrak{osp}}(2|2n)$로 확장되며, 주요 기여는 이러한 대수에서 일반적으로 분해불가 모듈의 구성에 typical irreducible 표현들이 참여할 수 있음을 명시적으로 보여주는 것이다. 이는 Cartan 행렬이 없는 다른 단순 리 초대수에서와는 다름을 보여준다.

ABSTRACT

In 1960's I. Gelfand posed a problem: describe indecomposable representations of any simple infinite dimensional Lie algebra of polynomial vector fields. Here, by applying the elementary technique of Gelfand and Ponomarev, a toy model of the problem is solved: finite dimensional indecomposable representations of vect(0|2), the Lie superalgebra of vector fields on the (0|2)-dimensional superspace, are described. Since vect (0|2) is isomorphic to sl(1|2) and osp(2|2), their representations are also described. The result is generalized in two directions: for sl(1|n) and osp(2|2n). Independently and differently J. Germoni described indecomposable representation of the series sl(1|n) and several individual Lie superalgebras. Partial results for other simple Lie superalgebras without Cartan matrix are reviewed. In particular, it is only for vect(0|2) and sh(0|4) that the typical irreducible representations can not participate in indecomposable modules; for other simple Lie superalgebras without Cartan matrix (of series vect(0|n), svect(0|n)$, svect(0|n)', spe(n) for n>2 and sh(0|m) for m>4) one can construct indecomposable representations with arbitrary composition factors. Several tame open problems are listed, among them a description of odd parameters

연구 동기 및 목표

• 1960년대 I. 겔판트의 무한차원 리 초대수의 분해불가 표현 분류 문제를 유한차원 모형을 통해 다루기 위해.
• ${\mathfrak{vect}}(0|2)$의 모든 유한차원 분해불가 표현을 기초적인 표현 이론 기법을 사용해 기술하기 위해, 이는 ${\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{osp}}(2|2)$와 동형임을 이용한다.
• 초기 모형을 넘어서 ${\mathfrak{sl}}(1|n)$ 및 ${\mathfrak{osp}}(2|2n)$. 가족으로 분류를 일반화하기 위해.
• 다양한 리 초대수에서 typical irreducible 표현이 분해불가 모듈에 미치는 영향을 분석하기 위해, 특히 Cartan 행렬이 없는 초대수들에 중점을 둔다.
• 특히 분해불가 모듈에서의 이상 매개변수 문제를 규명하고, 열려 있는 문제를 식별 및 강조하기 위해.

제안 방법

• ${\mathfrak{vect}}(0|2)$의 모듈의 구조를 분석하기 위해 겔판트와 폰마레프의 방법을 채택하며, 이는 ${\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{osp}}(2|2)$와의 동형을 활용한다.
• 분류는 주로 ${\mathfrak{h}}$-대각화 가능성과 가중치 공간 분해에 초점을 맞춘 유한차원 리 초대수의 표현 이론에 기반한다.
• 초대수의 슈퍼트레이스와 행렬 표현을 사용하여, ${\mathfrak{osp}}(m|2n)$ 및 ${\mathfrak{pe}}(n)$와 같은 이중형식을 유지하는 자동형 대수를 정의하고 연구한다.
• 대칭 초대수형 및 반대칭 초대수형 형식을 구분하며, $J_{2n}$ 및 $B_{ev}(m|2n)$와 같은 표준 행렬 형태를 사용해 해당 초대수를 분류한다.
• ${\mathfrak{sl}}(1|2)$에서 ${\mathfrak{sl}}(1|n)$으로, ${\mathfrak{osp}}(2|2)$에서 ${\mathfrak{osp}}(2|2n)$로의 일반화는 초대수의 구조적 성질과 그 표현을 활용한다.
• 논문은 ${\mathfrak{vect}}(0|n)$, ${\mathfrak{svect}}(0|n)$, ${\mathfrak{s}}{\mathfrak{pe}}(n)$, ${\mathfrak{s}}{\mathfrak{h}}(0|m)$와 같이 Cartan 행렬이 없는 다른 단순 리 초대수에 대한 부분 결과를 검토하여, 분해불가 모듈의 행동을 비교한다.

실험 결과

연구 질문

• RQ1 ${\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{osp}}(2|2)$에 대해 존재하는 유한차원 분해불가 표현은 무엇이며, 어떻게 명시적으로 분류할 수 있는가?
• RQ2 ${\mathfrak{sl}}(1|2)$에서 ${\mathfrak{sl}}(1|n)$으로의 분해불가 표현 분류는 어느 정도까지 확장될 수 있는가?
• RQ3 다양한 리 초대수에서 typical irreducible 표현의 성질은 분해불가 모듈의 구성 인자로서의 능력에서 어떻게 다름을 보이는가?
• RQ4 분해불가 표현의 구조에서 이상 매개변수의 역할은 무엇이며, 왜 그 결정은 여전히 열려 있는 문제인가?
• RQ5 Cartan 행렬이 없는 어떤 리 초대수에서 분해불가 표현을 임의의 구성 인자를 가질 수 있도록 구성할 수 있는가?

주요 결과

• ${\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{osp}}(2|2)$에 대한 유한차원 분해불가 표현의 완전한 분류를 제공하며, 이는 ${\mathfrak{sl}}(1|n)$ 및 ${\mathfrak{osp}}(2|2n)$의 보다 광범위한 가족에 대한 기초 결과를 확립한다.
• ${\mathfrak{sl}}(1|n)$ 및 ${\mathfrak{osp}}(2|2n)$의 경우 분해불가 모듈이 완전히 기술되며, 가중치 공간 분해와 ${\mathfrak{h}}$-대각화 가능성에 기반한 명시적 구성이 제공된다.
• 기타 Cartan 행렬이 없는 단순 리 초대수들(예: $n\geq 3$에 대해 ${\mathfrak{vect}}(0|n)$)과는 달리, ${\mathfrak{vect}}(0|2)\simeq{\mathfrak{sl}}(1|2)$ 및 ${\mathfrak{s}}{\mathfrak{h}}(0|4)\simeq{\mathfrak{psl}}(2|2)$의 typical irreducible 표현들은 분해불가 모듈에 참여할 수 없다.
• 기타 모든 Cartan 행렬이 없는 단순 리 초대수들(${\mathfrak{svect}}(0|n)$, ${\widetilde{\mathfrak{svect}}}(0|n)$, $n\geq 3$에 대해 ${\mathfrak{s}}{\mathfrak{pe}}(n)$, $m\geq 5$에 대해 ${\mathfrak{s}}{\mathfrak{h}}(0|m)$ 포함)에서는 임의의 구성 인자를 가진 분해불가 표현을 구성할 수 있다.
• 논문은 분해불가 모듈에서 이상 매개변수의 계산을 주요 열린 문제로 규명하며, 모듈의 구조 자체는 분류되었음에도 불구하고 이를 강조한다.
• 이 작업은 일반적으로 단순 리 초대수의 유한차원 표현이 완전히 기약가능하지 않음을 확인하며, ${\mathfrak{osp}}(1|2n)$를 제외한 모든 경우에서 분해불가 표현의 연구가 필수적임을 보여준다.