[論文レビュー] A two-box-shift morphism between Specht modules

Matthias Kuenzer|ArXiv.org|Mar 14, 2000

Advanced Combinatorial Mathematics参考文献 3被引用数 4

ひとこと要約

本稿は、分割の列の下部から2つの箱を下方にシフトする際のボックスシフト長（または特定の組合せ的条件のもとでその半分）を $m$ として、$\nZ/(m)$ 上のスペクトモジュール間の $Z$-線形な $m$ 階の準同型を構成する。この準同型は $\nExt^1$ における $m$ 階の拡張を実現し、対称群のモジュラー表現に関するカーターとペインの結果を回復・精錬する。

ABSTRACT

Let n geq 1, let lambda be a partition of n, let mu be a partition arising from lambda by a downwards shift of two boxes situated at the bottom of a column. We give a formula for a ZS_n-linear morphism of order m between the corresponding Specht modules over Z/(m), where m is the box shift length (divided by two in certain combinatorially specified cases). Reformulated, this yields an extension of the corresponding Specht modules over Z of order m in Ext^1.

研究の動機と目的

• Young図形における2つの箱の特定のシフトに対し、$\nZ/(m)$ 上のスペクトモジュール間の $\nZ{\textstyle{\frak S}}_n$-線形な準同型を構成すること。
• 準同型の正確な階数 $m$ を特定すること。$m$ はボックスシフト長と分割の形状に関する特定の組合せ的条件に依存する。
• この準同型を $\nExt^1_{\nZ{\textstyle{\frak S}}_n}(S^\nu, S^\nu)$ の元として実現し、$\nZ$ 上のスペクトモジュールの $m$ 階の非自明な拡張を構成すること。
• 1箱シフトに関する既存の結果を2箱シフトの場合に一般化し、特にカーターとペインによる対称群表現のモジュラー理論の結果を拡張すること。

提案手法

• 準同型は、$\nu$-多タブライドの列 $g+1$ から2つの要素を選んで、それを列 $g$ の下部にシフトし、すべてのこのようなシフト配置の交代和に写すことで定義される。
• この構成は1段階のガニル関係に依存し、$m$ はボックスシフト長 $m_0$ と $m_0$ の $p$-進付値の相互作用から得られる。
• $m_0$ が奇数の場合は $m = m_0$、$m_0$ が偶数で列 $g$ の近傍の分割の形状に特定の条件が満たされる場合は $m = m_0/2$ と設定される。
• ガニル関係の構造と2箱シフトに起因する81個の部分ケース（$9^2 = 81$）のケース解析を用いて、明示的な組合せ的恒等式と符号計算を実施する。
• 乗算により $m$ 倍したときの像がゼロであることを検証することで、準同型が適切に定義されており、階数 $m$ であることを示す。非自明性は符号と置換計算により確立される。
• 準同型と $\nExt^1$ の関係は、同型 $\nHom_{(\nZ/(m)){\textstyle{\frak S}}_n}(S^\nu \to S^\nu) \to \nExt^1_{\nZ{\textstyle{\frak S}}_n}(S^\nu, S^\nu)[m]$ を通じて確立される。

実験結果

リサーチクエスチョン

• RQ1 列の下部から2つの箱を下方にシフトすることによって誘導される、$\nZ/(m)$ 上のスペクトモジュール間の $\nZ{\textstyle{\frak S}}_n$-線形な準同型の最大階数 $m$ は何か？
• RQ2 $m_0$ が偶数で、列 $g$ の近傍に特定の局所的形状を持つ図形があるとき、$m$ とボックスシフト長 $m_0$ はどのように関係するか？
• RQ3 2つの要素を列 $g+1$ から選び、それを列 $g$ にシフトするすべての方法の交代和として、この準同型を明示的に構成できるか？
• RQ4 このような準同型は、$\nZ$ 上のスペクトモジュールの $m$ 階の非自明な拡張を $\nExt^1$ で与えるか？
• RQ5 $d=1$ から $d=2$ へのシフトへの一般化はどのように行われるか。また、$p$-進付値は $m$ を決定する際に果たす役割は何か？

主な発見

• 準同型は $\nHom_{(\nZ/(m)){\textstyle{\frak S}}_n}(\nZ/(m)\bigotimes_{\nZ} S^\nu, \nZ/(m)\bigotimes_{\nZ} S^\nu)$ に存在し、組合せ的条件に従って $m = m_0$ または $m = m_0/2$ である。
• モジュラス $m$ はボックスシフト長 $m_0$ と $m_0$ の $p$-進付値に依存し、$m_0$ が奇数の場合は $m = m_0$、$m_0$ が偶数で列 $g$ の近傍の図形が特定の形状条件を満たす場合は $m = m_0/2$ である。
• 準同型は、列 $g+1$ から2つの要素を選ぶすべての方法について、それらを列 $g$ の下部にシフトした配置の交代和として構成され、符号は置換の偶奇性によって決定される。
• この準同型は $\nExt^1_{\nZ{\textstyle{\frak S}}_n}(S^\nu, S^\nu)$ において $m$ 階の非自明な拡張を実現し、$d=2$ の場合にカーターとペインのモジュラー表現結果を回復する。
• $d$ 個のボックスを $g=k$ にシフトする一般の場合には、モジュラスは $m = m_0 \big/ \textstyle{\textstyle\bigprod_{p \text{ prime}, p|m_0}} p^{\text{min}(v_p(m_0), \text{ilog}_p(d))}$ となり、その階数の準同型が得られる。
• ガニル関係と符号計算に起因する81個の部分ケースのケース解析を通じて、構成が検証され、準同型の階数と非自明性が明示的に確認された。