[논문 리뷰] Character formulae in category $\mathcal O$ for exceptional Lie superalgebras $D(2|1;ζ)$

Shun‐Jen Cheng, Weiqiang Wang|arXiv (Cornell University)|2017. 04. 04.

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

한 줄 요약

이 논문은 예외적인 리 초대칭대수 $D(2|1;\theta)$의 BGG 카테고리 $\mathcal{O}$에서 임의의 무게를 가진 기약 표현에 대한 명시적 특성 공식을 제시한다. 이는 기울어진 플래그의 다중도를 이용한 기울어진 모듈러스와 프로젝티브 모듈러스의 성질을 기반으로 한다. 모든 정수 무게에 대해 $\mathcal{O}$ 내의 모든 베르마 모듈러스의 구성 인자에 대한 완전한 분류를 제공하며, 복소수 매개변수 $\zeta$ 전반에 걸쳐 이 초대칭대수의 기약 특성 문제를 해결한다. 주요 기여는 영역 $k \in \mathbb{Z}_{\geq 0}$로 매개화된 블록들 내에서, 유리수 또는 무리수 $\zeta$에 대해 모두 유효한 전이 함자와 베르마 플래그 분석을 통한 기울어진 모듈러스의 체계적 구성이다. 명시적 공식은 이러한 블록들 내에서 유도된다.

ABSTRACT

We establish character formulae for representations of the one-parameter family of simple Lie superalgebras $D(2|1;ζ)$. We provide a complete description of the Verma flag multiplicities of the tilting modules and the projective modules in the BGG category $\mathcal O$ of $D(2|1;ζ)$-modules of integral weights, for any complex parameter $ζ$. The composition factors of all Verma modules in $\mathcal O$ are then obtained.

연구 동기 및 목표

• BGG 카테고리 $\mathcal{O}$에서 예외적인 리 초대칭대수 $D(2|1;\zeta)$에 대해 정수 무게를 가진 기약 특성 공식 문제를 해결하기 위해.
• 모든 비형상 블록 $\mathcal{B}_k$ 내의 단순 대상과 베르마 플래그 다중도를 분류하기 위해, $\zeta \notin \mathbb{Q}$ 또는 $\zeta \in \mathbb{Q} \setminus \{0,-1\}$ 인지에 따라 구분한다.
• 모든 베르마 모듈러스의 구성 인자에 대한 명시적 공식을 제공함으로써 기약 특성을 결정하기 위해.
• 기울어진 모듈러스의 체계적 귀납적 구성 방법을 제안하기 위해, 반대 도미넌트 순서에서 전이 함자와 베르마 플래그 분석을 사용한다.
• 특히 $\zeta = 1$일 때, 프로젝티브 모듈러스와 기울어진 모듈러스가 어떤 조건에서 일치하는지 명시적 동형사상으로 증명한다.

제안 방법

• 기존의 기울어진 모듈러스 $T_\mu$를 전이 함자 $\mathcal{E}$를 통해 $\mathcal{E}T_\mu$로 매핑함으로써, 제어된 베르마 플래그를 가진 모듈러스를 생성한다.
• 기울어진 모듈러스 $T_\lambda$를, 베르마 모듈러스 $M_\lambda$가 다중도 1로 나타나며, 나머지 모든 베르마 모듈러스 $\nu$가 브루아트 순서에서 $\lambda$보다 작게 되는 불가분 모듈러스로 구성한다.
• $\mathcal{E}T_\mu$의 불가분성(한 가지 예외 제외)을 확인함으로써, 이것이 원하는 기울어진 모듈러스 $T_\lambda$임을 확인한다.
• 유리수 $\zeta \in \mathbb{Q}_{\geq 2}$에 대해 블록 $\mathcal{B}_k$와 $\zeta = 1$일 때 $\mathcal{B}_1$을 분류하며, 비음수 정수 $k$로 매개화한다.
• $\zeta = 1$일 때, $\mathcal{B}_1$ 내 프로젝티브 및 기울어진 모듈러스의 베르마 플래그 다중도를 플래그 구조의 매칭을 통해 명시적으로 계산한다.
• 기존의 기울어진/프로젝티브 모듈러스와의 비교 및 $\mathcal{O}$ 내 표준 특성 이론의 적용을 통해, 베르마 모듈러스의 구성 인자 공식을 유도한다.

실험 결과

연구 질문

• RQ1 BGG 카테고리 $\mathcal{O}$에서 $D(2|1;\zeta)$에 대해 정수 무게를 가진 기울어진 모듈러스와 프로젝티브 모듈러스의 베르마 플래그 다중도는 무엇인가?
• RQ2 $\zeta \in \mathbb{Q}_{\geq 2}$일 때, $\mathcal{O}$의 각 비형상 블록 $\mathcal{B}_k$ 내의 단순 대상은 어떻게 매개화되는가?
• RQ3 $\zeta = 1$일 때, $\mathcal{B}_1$ 내의 베르마 모듈러스의 구성 인자 구조는 어떠한가?
• RQ4 $\zeta = 1$일 때, $\mathcal{B}_1$ 내에서 프로젝티브 모듈러스와 기울어진 모듈러스가 일치하는 조건은 무엇인가?
• RQ5 $\zeta \notin \mathbb{Q}$와 $\zeta \in \mathbb{Q}_{\geq 2}$인 경우에 대해, $D(2|1;\zeta)$의 특성 공식은 어떻게 다를까?

주요 결과

• 무리수 $\zeta \notin \mathbb{Q}$일 경우, 정확히 하나의 비형상 블록인 주요 블록 $\mathcal{B}_0$이 존재하며, $\mathcal{B}_0$ 내 모든 단순 대상이 분류된다.
• $\zeta \in \mathbb{Q}_{\geq 2}$일 경우, 비형상 블록 $\mathcal{B}_k$는 $k \in \mathbb{Z}_{\geq 0}$로 매개화되며, 각 $\mathcal{B}_k$ 내의 단순 대상이 완전히 분류된다.
• $\zeta = 1$일 때, $\mathcal{B}_1$ 내 프로젝티브 모듈러스 $P_0^{\circ++}$, $P_0^{\circ+-}$, $P_0^{\circ-+}$, $P_0^{\circ--}$의 베르마 플래그 다중도가 명시적으로 계산되며, 플래그에 최대 10개의 베르마 모듈러스가 포함된다.
• $\zeta = 1$일 때, 기울어진 모듈러스 $T_{-1}^{+\circ+}$, $T_{-1}^{+\circ-}$, $T_{-1}^{-\circ+}$, $T_{-1}^{-\circ-}$의 베르마 플래그 다중도는 1에서 6까지 다양하다.
• $\mathcal{B}_1$ 내에서 $\zeta = 1$일 때, $M_0^{\circ--}$의 구성 인자는 5개의 서로 다른 단순 모듈러스로 이루어져 있다: $L_0^{\circ--}$, $L_1^{--\circ}$, $L_2^{---}$, $L_{-1}^{-\circ-}$, $L_{-2}^{---}$.
• $\zeta = 1$일 때, $\mathcal{B}_1$ 내에서 동형사상 $T_{-1}^{+\circ+} \cong P_{-1}^{-\circ-}$, $T_1^{++\circ} \cong P_1^{--\circ}$, $T_n^{+++} \cong P_n^{---}$가 모든 $n \in \mathbb{Z} \setminus \{0, \pm1\}$에 대해 성립하며, $\mathcal{B}_1$ 내 다른 프로젝티브 기울어진 모듈러스는 존재하지 않는다.