[論文レビュー] Young module multiplicities and classifying the indecomposable Young permutation modules

Christopher C. Gill|arXiv (Cornell University)|Mar 28, 2012

Algebraic structures and combinatorial models参考文献 10被引用数 3

ひとこと要約

本稿は、特徴値 $p$ の体上のヤング置換モジュールにおけるヤングモジュールの重複度である $p$-コスタ数の新たな還元公式を確立する。ブレイヤー構成とヤング頂点の組合せ論を用いて、分割に $p$ を乗じることでこれらの重複度が保存されることを証明し、特に $p=2$ の場合に、分解不能なヤング置換モジュールを分類する。その結果、$M^\lambda$ が分解不能であるための明確な条件が特定された。

ABSTRACT

We study the multiplicities of Young modules as direct summands of permutation modules on cosets of Young subgroups. Such multiplicities have become known as the p-Kostka numbers. We classify the indecomposable Young permutation modules, and, applying the Brauer construction for p-permutation modules, we give some new reductions for p-Kostka numbers. In particular we prove that p-Kostka numbers are preserved under multiplying partitions by p, and strengthen a known reduction given by Henke, corresponding to adding multiples of a p-power to the first row of a partition.

研究の動機と目的

• 対称群の正の特性におけるすべての分解不能ヤング置換モジュールを分類すること。
• ヤングモジュールの重複度を数える $p$-コスタ数の新たな還元公式を特定すること。
• 分割に $p$ を乗じることによる $p$-コスタ数の不変性を確立し、既知の安定性結果を拡張すること。
• 分割の最初の行に $p$ のべき乗の整数倍を加えることによる $p$-コスタ数の保存を示すことで、既存の還元を強化すること。
• 新しい還元を用いて、シュール代数 $S(r,r)$ と $S(rp,rp)$ の分解数の間の明確な関係を確立し、アルゴリズムによる計算を可能にすること。

提案手法

• Brou\'e の枠組みと Erdmann によるヤングモジュールのブレイヤー商の記述を用いて、$p$-置換モジュールにブレイヤー構成を適用する。
• ヤング頂点の組合せ論的分析を通じて、$p$-コスタ数の構造的性質を導出する。
• ルーカスの定理を用いて、特に重複度の計算の文脈において、二項係数を $p$ を法として分析する。
• $p$-コスタ数とヤング置換モジュールの自己準同型代数の構造との間の関係を確立する。
• $p$-コアとブロック分解の理論を用いて、モジュールが主ブロックの外にあるかどうかを分析する。
• 新しい還元を応用して、$S(rp,rp)$ の分解数から $S(r,r)$ の分解数を計算するアルゴリズムを導出する。

実験結果

リサーチクエスチョン

• RQ1 特徴値 $p$ の体上でヤング置換モジュール $M^\lambda$ がいつ分解不能か？
• RQ2 分割に $p$ を乗じることで $p$-コスタ数はどのように変化するか？
• RQ3 分割の最初の行に $p$ のべき乗を加えることによる $p$-コスタ数の還元を、さらに強化できるか？
• RQ4 $S(r,r)$ と $S(rp,rp)$ の分解数の正確な関係は何か？
• RQ5 $p=2$ で $r$ が偶数のとき、どの分割 $\lambda$ に対して $M^\lambda$ が分解不能か？

主な発見

• 分割に $p$ を乗じることで $p$-コスタ数が保存される：すべての分割 $\lambda, \mu \vdash r$ に対して $[M^{p\lambda}:Y^{p\mu}] = [M^\lambda:Y^\mu]$ が成り立つ。
• $p=2$ で $r$ が偶数のとき、分解不能ヤング置換モジュール $M^\lambda$ は、$M^{(r)}$ と $M^{(r-k_i,k_i)}$ に限り、ここで $k_i$ は $2^{i-1} \leq k_i < 2^i$ かつ $k_i \equiv \frac{r-2^n}{2} \mod 2^{i-1}$ を満たし、$1 \leq i \leq n$ かつ $2^n \leq r < 2^{n+1}$ を満たす。
• $M^\lambda$ が分解不能であれば、$M^{2\lambda}$ に対しても分解不能であり、$r$ に対する分解不能 $M^\lambda$ と $2r$ に対する分解不能 $M^\mu$ の間には、$(2r-1,1)$ を除いて、全単射が存在する。
• $p$-コスタ数は、分割の最初の部分に $p$ のべき乗の整数倍を加える操作によっても保存され、ヘンケによる先行結果を強化する。
• $p=2$ で $r$ が偶数のとき、$M^{(r-j,j)}$ は、$r-2j$ が $2^{n_j}$ で割り切れるときかつそのときに限り分解不能である。ここで $n_j$ は $2^{n_j-1} \leq j < 2^{n_j}$ を満たす最小の整数である。
• $S(r,r)$ の分解数は、$S(rp,rp)$ の分解数からアルゴリズム的に決定可能であり、特に $p$-コアが空である分割に対して成立する。