[論文レビュー] Supercharacters of the Sylow p-subgroups of the finite symplectic and orthogonal groups

Carlos A. M. André, Ana Margarida Neto|ArXiv.org|Apr 27, 2008

Coding theory and cryptography参考文献 15被引用数 6

ひとこと要約

本稿では、奇数の特性を持つ有限体上の有限シミプレクティック群および直交群のSylow p部分群に対して、超キャラクター理論を構築する。ユニトリアングル群の結果を拡張することで、既約キャラクターを分割する超キャラクターを構成し、直交性および積に関しての閉包性を証明し、根系のデータと正根の基本的集合を用いた最大次数の既約キャラクターの組み合わせ的分類を提供する。

ABSTRACT

We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.

研究の動機と目的

• 有限体の奇数特性を持つ有限シミプレクティック群および直交群のSylow p部分群へのユニトリアングル群の超キャラクター理論の拡張を図ること。
• 超キャラクターが共役関数の空間の直交基底をなしており、積に関して閉じていることを確立すること。
• 根系のデータと正根の基本的集合を用いて、最大次数の既約キャラクターの組み合わせ的特徴付けを提供すること。
• 超キャラクターの値に対する明示的公式を導出し、正則キャラクターを超キャラクターの直交和に分解すること。

提案手法

• ユニトリアングル群の超キャラクター構成を、$U_n(q)$ からそのSylow p部分群への制限によって、シミプレクティック群および直交群へ適応する。
• タイプ $B_n(q)$, $C_n(q)$, および $D_n(q)$ の根系構造を用いて、正根の基本的集合 $D$ を定義し、写像 $\phi: D \to \mathbb{F}_q^\times$ を関連付けて超キャラクターを生成する。
• それらの超キャラクターが直交しており、既約キャラクターの集合を分割することを、それらが張るユニタリ空間の性質を用いて証明する。
• 超キャラクター空間がテンソル積作用に関して閉じていることを示すことで、積に関しての閉包性を確立する。
• 根系の構造と群がそのLie代数に作用する様子を用いて、超キャラクター値の公式を導出する。
• 先行研究の結果（例：[7], [23]）を応用し、特定の基本的集合 $D$ と写像 $\phi$ の配置を用いて、最大次数の既約キャラクターを分類する。

実験結果

リサーチクエスチョン

• RQ1 ユニトリアングル群 $U_n(q)$ の超キャラクター理論を、奇数特性の有限体上のシミプレクティック群および直交群のSylow p部分群にどのように拡張できるか？
• RQ2 これらのSylow p部分群の超キャラクターは、ユニトリアングルの場合と同様に直交的であり、既約キャラクターの集合を分割するか？
• RQ3 超キャラクターが張る空間は積に関して閉じており、超キャラクター値の公式を導出できるか？
• RQ4 Sylow p部分群のどの既約キャラクターが最大次数を持ち、根系を用いてどのように組み合わせ的に特徴付けられるか？
• RQ5 正則キャラクターは、これらの群において超キャラクターの直交線形結合として表現可能か？

主な発見

• 奇数特性の有限体上の $Sp_{2n}(q)$, $O_{2n}^\pm(q)$, および $O_{2n+1}(q)$ のSylow p部分群に対する超キャラクター理論が完全に構築され、$U_n(q)$ からの理論の一般化が示された。
• 超キャラクターは直交的であり、既約キャラクターの集合を分割し、積に関して閉じた空間を張る。
• 正則キャラクターは、超キャラクターの値から導かれる係数を用いた直交線形結合に分解される。
• $U \leq O_{2n}(q)$ に対して、最大次数の既約キャラクター $q^{f(n)}$ は、基本的集合 $D$ が $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup D_1$ の形で、$D_1 \subset \{\varepsilon_{n-1}-\varepsilon_n, \varepsilon_{n-1}+\varepsilon_n\}$ である場合に限り現れ、$n$ が偶数のとき、このようなキャラクターは $d_n = q^{(n+2)/2}(q-1)^{(n-2)/2}$ 個存在する。
• $U \leq O_{2n+1}(q)$ に対しては、$n$ が偶数のとき $D$ に $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup \{\varepsilon_{n-1}\}$ が含まれるか、$n$ が奇数のとき $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-2}+\varepsilon_{n-1}\} \cup \{\varepsilon_n\}$ が含まれる場合に最大次数のキャラクターが現れ、$n$ が偶数のとき $d_n = q^{(n-2)/2}(q+1)(q-1)^{n/2}$、$n$ が奇数のとき $d_n = q^{(n+1)/2}(q-1)^{(n-1)/2}$ となる。
• これらのSylow p部分群における既約キャラクターの最大次数は $q^{f(n)}$ であり、$f(n) = n(n-2)/2$（$n$ が偶数のとき）および $(n-1)^2/2$（$n$ が奇数のとき）である。この次数は、$D$ および $\phi$ に対して指定された条件下でのみ達成される。