[논문 리뷰] Cross characteristic representations of $^3D_4(q)$ are Reducible over proper subgroups

Hung Ngoc Nguyen, Pham Huu Tiep|ArXiv.org|2009. 10. 26.

Finite Group Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 특성 q와 서로소인 특성에서 삼중성군 $^3D_4(q)$의 절대적으로 기약 표현이 임의의 진부분군으로 제한될 경우 항상 기약이 아니라는 것을 증명한다. 문자 이론, 표현 차수의 상한 및 CHEVIE를 통한 명시적 문자 계산을 통해, 기약성을 유지할 수 있는 잠재적 후보는 최대 파라보릭 부분군, $G_2(q)$, 그리고 $q = q_0^2$ 인 $^3D_4(q_0)$ 뿐이지만, 세부 분석을 통해 이들 역시 실패함을 보여주며, 주요 결과를 확인한다: 비자명한 표현에 대해 어떤 진부분군도 기약성을 유지하지 못한다.

ABSTRACT

We prove that the restriction of any absolutely irreducible representation of Steinberg's triality groups $^3D_4(q)$ in characteristic coprime to q to any proper subgroup is reducible

연구 동기 및 목표

• 특성 $\neq q$인 절대적으로 기약 표현 $V$를 갖는 $K = {}^3D_4(q)$와 $H < K$에 대해, $V|_H$가 기약이 되는 모든 삼중체 $(K, V, H)$를 분류하는 것.
• 교차 특성 설정에서 예외적 군 $^3D_4(q)$에 대해 문제 1을 해결하는 것.
• 이전의 부분군에서의 표현 기약성 결과를 삼중성군 $^3D_4(q)$로 확장하여, 특히 복소수 표현이 아닌 경우에 대해 다루는 것.
• 특성 $q$와 서로소인 비자명한 표현에 대해, $^3D_4(q)$의 어떤 진부분군도 기약성을 유지할 수 없다는 것을 입증하는 것.

제안 방법

• 최대 부분군에 대한 집중을 위해 감소 정리를 적용하며, 특히 파라보릭 부분군, $G_2(q)$, $q = q_0^2$ 인 $^3D_4(q_0)$를 중심으로 다룬다.
• 차수 상한을 사용: $\text{dim}(V) \neq \text{m}_{\text{C}}(H)$ 이므로, $\text{m}_{\text{C}}(H) < \text{d}_{\text{C}}(K)$ 이면 $H$에서의 기약성은 불가능하다.
• 유니포텐트 문자의 값들을 유한체 위의 유도 문자 및加성 문자를 통해 옹호된 원소에서 계산한다.
• CHEVIE를 사용하여 유니포텐트 문자 $[\rho_2]$의 차수 $q^7(q^4 - q^2 + 1)$와의 스칼라 곱을 계산하여 정수 조건을 확보한다.
• 특정 유니포텐트 루트에서 유도된 선형 문자를 통해 최대 파라보릭 부분군 $Q$의 충실한 기약 문자의 구조를 분석한다.
• 브라우어 문자 이론을 활용하고, 옹호된 원소에서의 값이 정수여야 한다는 사실을 이용하여 가능한 문자 차수를 제약한다.

실험 결과

연구 질문

• RQ1 특성 $q$와 서로소인 비자명한 절대적으로 기약 표현을 갖는 $^3D_4(q)$의 진부분군 중에서 기약성을 유지할 수 있는가?
• RQ2 $^3D_4(q)$의 최대 부분군 중에서 어떤 것이 표현의 기약성을 지원할 수 있는가?
• RQ3 기약성을 제거하는 데 사용되는 문자 차수 상한과 정수 조건은 무엇인가?
• RQ4 특히 $[\rho_2]$인 유니포텐트 문자가 부분군에서의 기약성을 배제하는 데 충분한 제약 조건을 제공하는가?
• RQ5 유도 표현의 문자 값이 옹호된 원소에서 특정 정수 배수 $q(q^3 - 1)$로 제약을 받는가? 이는 기약성에 어떤 영향을 미치는가?

주요 결과

• 특성 $q$와 서로소인 $^3D_4(q)$의 기약 표현의 최소 차수는 $q^5 - q^3 + q - 1$ 이상이며, 이는 $P$, $Q$, $G_2(q)$, 또는 $^3D_4(q_0)$ 유형이 아닌 어떤 진부분군의 최대 복소 문자 차수보다 크다.
• 특성 $q \neq 1 \bmod 3$ 인 $M = PGL^ ho_3(q)$에 대해, 복소 문자 차수 상한 $\mathfrak{m}_{\mathbb{C}}(M)$는 $\mathfrak{d}_{\ell}(^3D_4(q))$보다 엄밀히 작으므로, $M$에서의 기약성은 불가능하다.
• 특성 $q = q_0^\alpha$, $\alpha \geq 5$ 소수인 최대 부분군 $M = {}^3D_4(q_0)$에 대해 $\mathfrak{m}_{\mathbb{C}}(M) \leq q_0^{14}$이며, 이는 $q = q_0^\alpha$, $\alpha \geq 5$ 인 경우에도 여전히 $\mathfrak{d}_{\ell}(^3D_4(q))$보다 작으므로 기약성은 배제된다.
• 최대 파라보릭 부분군 $Q$에 대해, $\chi_{16}(k)$, $\chi_{18}(k)$, $\chi_{19}(k)$, $\chi_{20}(k)$의 문자 값은 옹호된 원소 $x_\beta(1)$에서 $q(q^3 - 1)$의 정수 배수로 제약을 받으며, $[\varepsilon_2]$와의 스칼라 곱의 정수성은 $Q$에서 이러한 문자가 기약이 될 수 없음을 확인한다.
• 스칼라 곱 $(_Q\chi_{16}(k), [\varepsilon_2]_Q)_Q = \frac{q^6 - q^4 - q^3 + q + y_k}{q(q^3 - 1)}$ 는 음이 아닌 정수이며, $y_k \leq q^3(q^3 - 1)(q - 1)$ 이므로 $y_k$는 반드시 $q(q^3 - 1)$의 배수여야 하며, 이는 정수성과 문자 값의 상한을 확인한다.