[논문 리뷰] Irreducibility of induced modules for general linear supergroups

František Marko|arXiv (Cornell University)|2013. 09. 02.

Advanced Algebra and Geometry참고 문헌 11인용 수 5

한 줄 요약

이 논문은 임의의 특성수를 가진 체 위에서 일반선형(super)군 $G = GL(m|n)$의 유도 모듈 $H^0_G(\lambda)$의 기약성에 대한 기준을 설정한다. 초등부분군 $G_{\text{ev}}$에 대한 대응 모듈 $H^0_{G_{\text{ev}}}\!(\lambda)$의 기약성과 최고원소 $\lambda$의 일반성(typicality) 조건을 이용하여, 슈퍼트레이스를 통한 반대변형 대칭을 통해, $H^0_G(\lambda)$가 기약임은 물론이고, Kac의 특성수 0에서의 결과를 양의 특성수로 확장한다.

ABSTRACT

In this note we determine when is an induced module H^0_G(λ), corresponding to a dominant integral highest weight λof the general linear supergroup G=GL(m|n) irreducible. Using the contravariant duality given by the supertrace we obtain a characterization of irreducibility of Weyl modules V(λ). This extends the result of Kac who proved that, for ground fields of characteristic zero, V(λ) is irreducible if and only if λis typical.

연구 동기 및 목표

• 일반선형 슈퍼군 $G = GL(m|n)$에 대한 유도 모듈 $H^0_G(\lambda)$가 임의의 특성수에서 언제 기약인지 규명하는 것.
• Kac의 특성수 0에서의 Weyl 모듈의 기약성 결과를 양의 특성수로 확장하는 것.
• 최고원소 $\lambda$의 일반성과 $G_{\text{ev}}$-모듈의 구조 간 상호작용을 통해 기약성을 특성화하는 것.
• 슈퍼트레이스에 의해 유도되는 반대변형 대칭을 통해 Weyl 모듈의 기약성에 대한 이중성 기반 기준을 수립하는 것.

제안 방법

• 주어진 다항식적 정수 가중치 $\lambda$에 대응하는 일차원 $B$-슈퍼모듈 $K_\lambda$의 유도를 통해 유도 모듈 $H^0_G(\lambda)$를 정의한다.
• 일반성의 개념을 도입: 어떤 $i,j$에 대해 $\omega_{ij}(\lambda) = \lambda^+_i + \lambda^-_j + m + 1 - i - j$ 가 $\text{char}(K)$로 나누어 떨어지면 $\lambda$는 비일반적이다.
• PBW 정리와 $Dist(G)$ 내의 행렬 단위 $e_{ij}$의 교환관계를 이용하여 가중치 공간과 모듈 생성자를 분석한다.
• 슈퍼전치 $\tau$를 통한 반대변형 대칭을 적용하여 $H^0_G(\lambda)$와 Weyl 모듈 $V_G(\lambda)$를 연결한다.
• $M = \{1,\dots,m\} \times \{m+1,\dots,m+n\}$의 부분집합 $S$에 대한 귀납법을 통해, $H^0_{G_{\text{ev}}}(\lambda)$가 기약이고 $\lambda$가 일반적이라면 $H^0_G(\lambda)$가 최고원소로 생성됨을 보인다.
• 특수한 가중치 $\kappa = \lambda + (-n,\dots,-n|m,\dots,m)$에 대해 $H^0_G(\lambda)_\kappa$가 일차원이며 $v_{1}D\dots v_{m}D$로 생성됨을 이용하여, 홀수 미분연산자 간의 슈퍼교환관계를 활용한다.

실험 결과

연구 질문

• RQ1 $G = GL(m|n)$에 대해 임의의 특성수를 가진 체 위에서 유도 모듈 $H^0_G(\lambda)$는 언제 기약인가?
• RQ2 $H^0_G(\lambda)$의 기약성은 그 짝을 이루는 짝수부분군 $H^0_{G_{\text{ev}}}(\lambda)$의 기약성과 어떻게 관련되는가?
• RQ3 최고원소 $\lambda$의 일반성은 유도 모듈과 Weyl 모듈의 기약성에 어떤 역할을 하는가?
• RQ4 Kac의 특성수 0에서의 Weyl 모듈 기약성 결과는 양의 특성수로 확장될 수 있는가?
• RQ5 슈퍼트레이스에 의해 유도되는 반대변형 대칭은 $H^0_G(\lambda)$와 $V_G(\lambda)$의 기약성 간에 어떻게 관련되는가?

주요 결과

• 유도 모듈 $H^0_G(\lambda)$는 $H^0_{G_{\text{ev}}}(\lambda)$가 $G_{\text{ev}}$-모듈로서 기약이면서 $\lambda$가 일반적일 때에만 기약이다.
• Weyl 모듈 $V_G(\lambda)$는 $V_{G_{\text{ev}}}(\lambda)$가 기약이면서 $\lambda$가 일반적일 때에만 기약이다.
• 특성수 0에서는 이 결과가 Kac의 정리와 일치한다: $V_G(\lambda)$는 $\lambda$가 일반적일 때에만 기약이다.
• Kac 모듈 $K_G(\lambda)$는 $\lambda$가 일반적일 때에만 기약이다.
• 특성수 0에서 $H^0_G(\lambda)$의 특성치가 단순 모듈 $L_G(\lambda)$의 특성치와 정확히 일치한다. 이는 $H^0_{G_{\text{ev}}}(\lambda)$가 기약이면서 $\lambda$가 일반적일 때 성립한다.
• $\kappa = \lambda + (-n,\dots,-n|m,\dots,m)$에 대한 가중치 공간 $H^0_G(\lambda)_\kappa$는 일차원이며 $v_{1}D\dots v_{m}D$로 생성된다. 이는 $\lambda$가 비일반적일 경우 0이 되며, 이는 진부분모듈을 의미한다.