[論文レビュー] On the Brauer constructions and generic Jordan types of Young modules

Yu Jiang, Kay Jin Lim+1 more|arXiv (Cornell University)|Jul 13, 2017

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

ひとこと要約

本稿は、正の標数における有限対称群の下で、ヤング加群のブラウアー構成の次元とその安定的汎用ジョルダン型の間に直接的な関係を確立する。著者らは、p-部分群の軌道型にのみ依存する不変量「軌道数」を導入し、ヤング加群の安定ジョルダン型の指数 r を計算する。2部分割の場合は、p進展開とフック長を用いて明示的な閉形式の公式を導出し、対称群の表現論の主要な側面を解消する。

ABSTRACT

Let p be a prime number. We study the dimensions of Brauer constructions of Young and Young permutation modules with respect to p-subgroups of the symmetric groups. They depend only on partitions labelling the modules and the orbits of the action of the p-subgroups, and are related to their generic Jordan types. We obtain some reductive formulae and, in the case of two-part partitions, make some explicit calculation.

研究の動機と目的

• 対称群の標数 p におけるヤング加群およびヤング置換加群のブラウアー構成の次元を理解すること。
• これらの次元が、素性 p の初等アーベル p-部分群に制限されたモジュールの安定的汎用ジョルダン型に関連する仕組みを特定すること。
• p-部分群の軌道型にのみ依存する不変量「軌道数」を定義し、それらが安定ジョルダン型 [1]^r の指数 r を捉えること。
• 2部分割の場合に、p進展開とフック長を用いて軌道数の明示的公式を導出すること。
• 軌道数を用いた、対称群の不分解的射影加群の次元を計算するという未解決問題に貢献すること。

提案手法

• 著者らはブラウアー構成函手を用いて、ヤング加群の構造と正規化群商上の射影加群の関係を関係づける。
• 彼らは、p-部分群 P に対するヤング加群のブラウアー構成の次元として「軌道数」を定義し、これは {1,…,n} 上での P の軌道型にのみ依存する。
• 彼らは汎用ジョルダン型の理論、特に安定ジョルダン型 [1]^r を適用し、r がブラウアー構成の次元に等しいことを示す。
• 2部分割の場合、分割 (a,b) の p進展開を桁 (x_i, y_i) に分解し、フック長の公式を用いてスペクト加群の次元を計算する。
• 二項係数とデルタ関数 δ(x_i, y_i) を含む簡約化された公式を導出し、p-重み 1 の成分を補正する。
• この手法は、ブラウアー双対性、重み 1 ブロックの構造、およびブロックのモリタ同値性といった既知のモジュラー表現論の結果に依存する。

実験結果

リサーチクエスチョン

• RQ1 ヤング加群のブラウアー構成の次元は、初等アーベル p-部分群に制限されたその安定的汎用ジョルダン型とどのように関係するか？
• RQ2 p-部分群のどの不変量がヤング加群の分解 [1]^r における安定ジョルダン型指数 r を決定するか？
• RQ3 2部分割に対して、p進桁を用いて、軌道数（ブラウアー構成の次元）を明示的に計算できるか？
• RQ4 p-コアとp-重みは、標数 p におけるヤング加群の構造を決定づける役割を果たすか？
• RQ5 2部分割に対応するヤング加群の軌道数に対して、閉形式の公式が存在するか？

主な発見

• ヤング加群 Y^λ と p-部分群 P に対して、ブラウアー構成の次元 dim_F Y^λ(P) は、Y^λ が任意の初等アーベル p-部分群 E に制限されたときの安定的汎用ジョルダン型 [1]^r の指数 r に等しい。
• 軌道数は、P が {1,…,n} 上で示す軌道型にのみ依存し、P の具体的な選択には依存しない。
• 分割 (n-1,1) の場合、p が n を割るならば軌道数は a_0 であり、そうでなければ a_0 - 1 である。ここで a_0 は P の固定点の数である。
• 2部分割 λ = (a,b) の場合、軌道数 y_{λ,𝒪_λ} は、p進桁 (x_i, y_i) における積で表され、(x_i + 2y_i - 1 choose y_i) に加え、x_i < p-1 かつ x_i + y_i + 1 ≥ p のとき、δ(x_i, y_i) を含む補正項が加わる。
• この公式は、スペクト加群の次元を求めるフック長の公式を組み込み、p-重み 1 の成分をデルタ関数によって補正する。
• この結果により、2部分割の場合の軌道数に対する閉形式の表現が得られ、対称群表現論における射影加群の次元を計算するための新しい計算ツールが提供される。