[論文レビュー] Cross characteristic representations of $^3D_4(q)$ are Reducible over proper subgroups

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

Finite Group Theory Research参考文献 2被引用数 3

ひとこと要約

この論文は、$^3D_4(q)$ のすべての絶対的単純表現が、$q$ と互いに素な特徴類において、任意の真部分群に制限すると可約になることを証明する。特徴類理論、表現次数の上限、および CHEVIE を用いた明示的な特徴計算により、可約性を保つ可能性があるのは、最大パラボリック部分群、$G_2(q)$、および $q = q_0^2$ のときの $^3D_4(q_0)$ のみであるが、詳細な分析の結果、これらですら可約性を保つことはできない。したがって、非自明な表現に関しては、$^3D_4(q)$ のいかなる真部分群も、絶対的単純性を保つことはできない、という主要結果が確認された。

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

研究の動機と目的

• $K = {}^3D_4(q)$, $V$ が特徴類 $ eq q$ の絶対的単純表現であり、$H < K$ で $V|_H$ が単純であるような三つ組 $(K, V, H)$ をすべて分類すること。
• 異なる特徴類設定における例外的群 $^3D_4(q)$ に対して、問題1を解決すること。
• $^3D_4(q)$ における部分群上での表現の単純性に関する先行研究を、特に複素数でない表現のケースにまで拡張すること。
• $^3D_4(q)$ のいかなる真部分群も、異なる特徴類における非自明な表現の単純性を保つことはできない、と確立すること。

提案手法

• $^3D_4(q)$ の最大部分群、特にパラボリック部分群、$G_2(q)$、および $q = q_0^2$ のときの $^3D_4(q_0)$ に注目するため、還元定理を適用する。
• 次数の上限を用いる：$ ext{dim}(V) \neq \text{m}_{\text{C}}(H)$ であるため、$ \text{m}_{\text{C}}(H) < \text{d}_{\text{C}}(K)$ ならば、$H$ 上での単純性は不可能である。
• 有限体上の加法的特徴と誘導された特徴を用いて、単純な特徴の対称的特徴値を計算する。
• CHEVIE を用いて、次数 $q^7(q^4 - q^2 + 1)$ の単純な特徴 $[\rho_2]$ とのスカラー積を計算し、整数制約を保証する。
• 特定の単純部分群から誘導された線形特徴を用いて、最大パラボリック部分群 $Q$ の忠実な単純特徴の構造を分析する。
• ブラウアー特徴類理論と、対称的特徴の値が整数でなければならないという事実を用いて、可能な特徴次数を制約する。

実験結果

リサーチクエスチョン

• RQ1 $^3D_4(q)$ の真部分群のいずれかが、$q$ と互いに素な特徴類における非自明な絶対的単純表現の単純性を保つことは可能か？
• RQ2 $^3D_4(q)$ の最大部分群のうち、表現の単純性を支える可能性があるのはどれか？
• RQ3 どの特徴次数の上限と整数制約が、部分群上での単純性を除外するか？
• RQ4 特に $[\rho_2]$ のような単純な特徴が、部分群上での単純性を除外するのに十分な制約を提供するか？
• RQ5 $^3D_4(q)$ の単純な特徴、特に $[\rho_2]$ は、部分群上での単純性を除外するのに十分な制約を提供するか？
• RQ6 誘導された表現の対称的特徴値が、特定の整数倍の $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^\rho_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)$ の倍数でなければならない。これにより、整数性が保証され、特徴値の上限が得られる。