[論文レビュー] On coadjoint orbits for $p$-Sylow subgroups of finite classical groups

Qiong Guo, Markus Jedlitschky+1 more|arXiv (Cornell University)|Feb 22, 2018

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

この論文は、有限古典的群の型 $\mathfrak{B}_n$、$\mathfrak{D}_n$、$\mathfrak{C}_n$ の $p$-Sylow部分群にモノミアル線形化を拡張し、アンドレ＝ネトゥ超キャラクターを $U$-軌道モジュールに分解する。'主に分離された'軌道モジュールは、互いに同型またはペアワイズ直交するものであり、$U$ のすべての既約キャラクターがちょうど一つのこのようなモジュールに現れることを保証し、直交群および特定のシミプレクティック群に対するより細かい超キャラクター理論を提供する。

ABSTRACT

Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determine the stabilizers of special orbit generators and show, that for the groups of Lie type ${\mathfrak{B}}_n$ and ${\mathfrak{D}}_n$ a subclass of the orbit modules decompose the $U$-modules affording the André-Neto supercharacters into a direct sum of submodules. Moreover these special orbit modules are either isomorphic or have no irreducible constituent in common, and each irreducible $U$ module is up to isomorphism constituent of precisely one of these.

研究の動機と目的

• アンドレ＝ネトゥ超キャラクター理論を、有限古典的群の $p$-Sylow部分群に対して、より細かい成分への分解によって洗練すること。
• 共軛軌道のクラスである'主に分離された軌道'を同定し、それらの軌道モジュールが正則表現の直交または同型成分に分解されることを示すこと。
• $p$-Sylow部分群 $U_n$ のすべての既約キャラクターが、ちょうど一つのこのような軌道モジュールに成分として現れることを示し、既約キャラクターの分割を保証すること。
• 主に分離された軌道モジュールによって与えられるキャラクターが、互いに同型またはペアワイズ直交することを示し、より洗練された超キャラクター理論の候補を構成すること。
• アンタッッチド単三角群から、すべてのアンタッッチドリー型古典的群、特に直交群およびシミプレクティック群を含む、モノミアル線形化技術を拡張すること。

提案手法

• 著者たちは、キリロフの軌道法の一般化であるモノミアル線形化を用い、群代数 $\mathbb{C}U_n$ にモノミアル基底を構成し、それを軌道モジュールに分解する。
• モノミアル基底における特別な行列類である'コア'を用いて、'主に分離された'軌道を定義し、望ましい分解性質を持つ軌道モジュールを生成する。
• 型 $\mathfrak{B}_n$ および $\mathfrak{D}_n$ に対して、行列 $A$ を特定の条件下で'バーチ・行列'に変換する写像 $\hat{A}$ を定義し、軌道モジュールが適切に振る舞うことを保証する。
• 主に分離されたコアによって生成される'バーチ・モジュール'の概念を導入し、これらが $U_n$-モジュールとして、同型または直交する性質を持つことを示す。
• 根系における対称性条件を定義するために、鏡写し写像 $i \mapsto \bar{i} = N+1-i$ と行列転置を用い、特に型 $\mathfrak{B}_n$、$\mathfrak{D}_n$、$\mathfrak{C}_n$ を区別する。
• アンドレ＝ネトゥ超クラスがこれらの主に分離された軌道モジュールと一対一対応することを検証し、それに対応する軌道モジュールが、等しいか直交するキャラクターを実現することを確認する。

実験結果

リサーチクエスチョン

• RQ1 有限古典的群の型 $\mathfrak{B}_n$ および $\mathfrak{D}_n$ の $p$-Sylow部分群において、主に分離されたコアに関連する軌道モジュールが、アンドレ＝ネトゥ超キャラクターを直交または同型な成分に分解するか。
• RQ2 $p$-Sylow部分群 $U_n$ のすべての既約キャラクターが、ちょうど一つの主に分離された軌道モジュールに成分として実現可能か。
• RQ3 主に分離された軌道モジュールによって与えられるキャラクターが、ペアワイズ直交または同型であるか。これにより、より洗練された超キャラクター理論の候補が構成可能か。
• RQ4 モノミアル線形化法は、型 $\mathfrak{C}_n$ のシミプレクティック群にどのように拡張可能か。同じ分解性質を得るために追加の制約は何か。
• RQ5 バーチ行列の構成 $\hat{A}$ は、主に分離されたコアからの軌道モジュールが適切に振る舞い、明確な分解をもたらすために果たす役割は何か。

主な発見

• 型 $\mathfrak{B}_n$ および $\mathfrak{D}_n$ の有限古典的群の $p$-Sylow部分群において、主に分離されたコアに関連する軌道モジュールは、アンドレ＝ネトゥ超キャラクターを、同型またはペアワイズ直交する部分モジュールの直和に分解する。
• $p$-Sylow部分群 $U_n$ のすべての複素既約キャラクターは、ちょうど一つの主に分離された軌道モジュールに成分として現れ、既約キャラクターの分割が保証される。
• 主に分離された軌道モジュールによって与えられるキャラクターは、同型または直交する性質を持つため、より洗練された超キャラクター理論の条件を満たす。
• 型 $\mathfrak{C}_n$ においては、同じ分解が追加の制限的仮定が成立する場合にのみ成り立つため、結果は条件付きであり、完全には一般化されていない。
• コアとバーチ行列写像 $\hat{A}$ を用いた主に分離された軌道の構成により、対応する軌道モジュールが、完全な単三角群の $\tilde{U}$-軌道モジュールの制限として得られ、超キャラクター構造が保存される。
• アンドレ＝ネトゥ $U$-超クラスは主に分離された軌道モジュールと一対一対応しており、新しい分解が元の超キャラクター枠組みを尊重していることが確認された。