[논문 리뷰] The irreducible unipotent modules of the finite general linear groups via tableaux

Scott Andrews|arXiv (Cornell University)|2015. 02. 23.

Finite Group Theory Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $\mathrm{GL}_n(\mathbb{F}_q)$의 기약 무자기 모듈을 $\mathbb{F}_q^n$의 원소로 표시된 표지판을 사용하여 구성한다. 이는 대칭군에 대한 James의 스펙트 모듈 구성과 유사한 첫 번째 표지판 기반 구성법이다. 핵심 결과는 이러한 모듈이 기약 무자기 특징 $\chi^\lambda$를 나타내며, 이는 이전에 James가 무자기 지표를 사용하여 구성한 것과 동형이며, 일반화된 겔판트-그레이브 특징 $\Gamma^\lambda$ 가 구성에서 핵심 쌍대 대상으로 기능한다는 것이다.

ABSTRACT

We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^ ext{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.

연구 동기 및 목표

• 기약 무자기 모듈을 $\mathrm{GL}_n(\mathbb{F}_q)$에 대해 표지판 기반으로 구성하여 대칭군에 대한 James의 스펙트 모듈 구성과 유사하게 만들기.
• 유한 일반선형군의 경우 무자기 모듈의 기저를 조합론적 표지판 접근법을 통해 찾는 열린 문제를 해결하기.
• 복소수체에서 $p$번째 단위근이 존재하는 체 위에서 새로운 표지판 구성법과 James의 원래 모듈 구성법 사이의 동형성을 확립하기.
• 대칭함수와 $S_n$과 $\mathrm{GL}_n(\mathbb{F}_q)$ 사이의 $q=1$ 유사성에 기반하여 복소수 경우의 구성법을 동기화하기.
• 기본을 이루는 원소를 $\mathbb{C}G$에서 명시적으로 특정하여 $\chi^\lambda$를 나타내는 기약 무자기 모듈을 생성하기.

제안 방법

• $\mathbb{F}_q^n$의 원소로 청크의 상자를 표시하여 $\mathbb{F}_q^n$-표지판을 구성하고, 이 객체들에 자연스러운 $\mathrm{GL}_n(\mathbb{F}_q)$-작용을 정의한다.
• $M^\lambda$를 형상 $\lambda$를 가진 모든 $\mathbb{F}_q^n$-표지판의 $\mathbb{F}_q$-스팬으로 정의하고, 이에 유도된 $\mathrm{GL}_n(\mathbb{F}_q)$-작용을 부여한다.
• $S^\lambda \subseteq M^\lambda$를 파라보릭 부분군 $P(T)$의 무자기 부분군 $U(T)$와 관련된 특정 작용에 의해 0이 되는 벡터들의 스팬으로 구성한다.
• 일반화된 겔판트-그레이브 특징 $\Gamma^\lambda = \mathrm{Ind}_{U(T)}^{G}(\psi_T)$ 를, 대칭군의 부호 표현과 유사한 쌍대 대상으로 사용한다.
• $\langle \mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1}), \Gamma^\lambda \rangle = 1$ 를 보여주어 유일한 공통 기약 성분을 확보한다.
• $S^\lambda$가 기약 무자기 특징 $\chi^\lambda$를 나타낸다는 것을, $\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ 및 $\Gamma^\lambda$와의 내적의 비영성으로 확인한다.

실험 결과

연구 질문

• RQ1 기약 무자기 모듈을 $\mathrm{GL}_n(\mathbb{F}_q)$에 대해 James의 $S_n$에 대한 스펙트 모듈 구성과 유사한 표지판 기반 방법으로 구성할 수 있는가?
• RQ2 일반화된 겔판트-그레이브 특징 $\Gamma^\lambda$ 를 쌍대 대상으로 사용할 경우, James의 원래 모듈 구성법과 동형인 구성이 얻어지는가?
• RQ3 $S_n$과 $\mathrm{GL}_n(\mathbb{F}_q)$ 사이의 $q=1$ 유사성이 $\mathbb{F}_q^n$-원소로 표지판을 표시하는 데 어떤 역할을 하는가?
• RQ4 기본을 이루는 원소를 $\mathbb{C}G$에서 명시적으로 특정하여 $\chi^\lambda$를 나타내는 기약 무자기 모듈을 생성할 수 있는가?
• RQ5 $\Gamma^\lambda$ 안에서 $\chi^\mu$ 의 중복도는 Kostka 다항식 $K_{\mu\lambda}(q)$ 와 어떻게 관련이 있는가?

주요 결과

• 구성된 모듈 $S^\lambda$ 는 James(1984)가 구성한 기약 무자기 모듈과 동형이므로, 새로운 표지판 기반 접근법의 타당성을 입증한다.
• $S^\lambda$ 가 기약 무자기 특징 $\chi^\lambda$ 를 나타낸다는 것은, $\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ 및 $\Gamma^\lambda$ 와의 내적의 비영성으로 입증된다.
• 일반화된 겔판트-그레이브 특징 $\Gamma^\lambda$ 는 임의의 형상 $\lambda$ 를 가진 $\mathbb{F}_q^n$-표지판 $T$ 에 대해 $\mathrm{Ind}_{U(T)}^G(\psi_T)$ 와 같다. 이는 모듈 구성과 특징 이론을 연결한다.
• $\Gamma^\lambda$ 안에서 $\chi^\mu$ 의 중복도는 Kostka 다항식 $K_{\mu\lambda}(q)$ 로 주어지며, $K_{\mu\lambda}(1) = K_{\mu\lambda}$ 이다. 이는 $q=1$ 에서 대칭군의 경우로 복귀된다.
• $\mathbb{C}G$ 내의 원소 $e = \sum_{u \in U_{\lambda'}, p \in P_{\lambda'}^{-}} \varphi_\lambda(u^{-1}) u p$ 는 $\chi^\lambda$ 를 나타내는 기약 $G$-모듈을 생성한다. 이는 명시적인 실현을 제공한다.