[論文レビュー] A new proof of the Mullineux conjecture

Jonathan Brundan, Jonathan R. Kujawa|arXiv (Cornell University)|Oct 7, 2002

Advanced Algebra and Geometry被引用数 11

ひとこと要約

本稿は、スーパー群双対性を活用することで、表現論的証明を用いてミューリノー予想を提示する。対称群 $S_n$ とスーパー群 $GL(n|n)$ 間のシュール＝ウェイル双対性を用い、符号表現とのテンソル積に対応する表現上の対合を定義する。主な結果は、セルガノワの $GL(n|n)$ 上のアルゴリズムによるミューリノー写像の直接計算であり、これがクスの組合せ的アルゴリズムと一致することが示され、クレシュチェフの以前のアルゴリズムに依存せずに予想が証明される。

ABSTRACT

Let S_d be the symmetric group on d letters and let k be a field of characteristic p>2. Tensoring an irreducible S_d module with the sign representation defines an involution on the p-regular partitions of d. It is suprisingly difficult to describe this involution combinatorially. Mullineux conjectured an algorithmic description in 1979. Kleshchev gave an entirely new algorithm describing the involution in 1996 and proved with Ford that it agrees with Mullineux's. Using the modular representation theory of the supergroup GL(m|n) we provide the first new proof of the Mullineux conjecture which is independent of Kleshchev's approach. Similar techniques allow us to classify the irreducible polynomial representations of GL(m|n), completing recent partial results by Donkin.

研究の動機と目的

• スーパー群の表現論を用いてミューリノー予想の新たな直接的証明を提供すること。
• クレシュチェフのアルゴリズムに依存せずに、スーパー群双対性を用いて符号表現のねじれを構成すること。
• セルガノワのアルゴリズムが $GL(n|n)$ 上でミューリノー写像を組合せ的に計算できることを示すこと。
• 正標数における多項式表現の分類とスーパー群 $GL(m|n)$ 間の関係を確立すること。
• 新フレームワークを用いてベレケとレーゲブの「フック定理」を正標数へ一般化すること。

提案手法

• 対称群 $S_n$ とスーパー群 $GL(n|n)$ 間のシュール＝ウェイル双対性を用い、$S_n$ の表現と $GL(n|n)$ の表現を関連付ける。
• 外自己同型に由来する $GL(n|n)$-表現上の対合を定義し、これは $S_n$ の符号表現とのテンソル積に対応する。
• セルガノワのアルゴリズムを用い、$GL(n|n)$ の最高重量モジュール上でこの対合を計算し、$D^\lambda \otimes \mathrm{sgn}$ の表現論的構成を得る。
• $GL(m|n)$ を $M \geq m$、$N = M - m$ を満たすより大きなスーパー群 $GL(M|N)$ に埋め込み、最高重量理論を安定化させ、計算を容易にする。
• $GL(M|N)$-モジュールを $S(m|n,d)$-モジュールに制限するために、$GL(m|n)$ に対応する重量空間への射影 $\xi$ を用いる。
• 得られる $GL(m|n)$ の最高重量 $\lambda$ が $j(t(\lambda)) \leq \lambda_m$ を満たすことを示し、正標数における既約多項式表現の分類を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 クレシュチェフのアルゴリズムに依存せずに、スーパー群の表現論からミューリノー予想を直接証明できるか？
• RQ2 $GL(n|n)$-表現上の対合（外自己同型に由来）は、$S_n$ の符号表現とのテンソル積に対応するか？
• RQ3 セルガノワのアルゴリズムがこの対合を計算する方法は、ミューリノー写像のクスの組合せ的アルゴリズムと同等か？
• RQ4 正標数における $GL(m|n)$ の既約多項式表現の分類は何か？
• RQ5 ゼロ標数におけるベレケとレーゲブの「フック定理」は、スーパー群双対性を用いて正標数へ一般化可能か？

主な発見

• 外自己同型に由来する $GL(n|n)$-表現上の対合は、$D^\lambda \otimes \mathrm{sgn}$ のラベルを計算する。これにより、表現論的証明によってミューリノー予想が証明される。
• セルガノワのアルゴリズムが $GL(n|n)$ 上で計算する結果は、クスの組合せ的アルゴリズムと同一であり、ミューリノー予想の新たな直接的証明が得られる。
• 正標数における $GL(m|n)$ の既約多項式表現の分類は、$j(t(\lambda)) \leq \lambda_m$ という条件によって与えられる。ここで $t(\lambda)$ は重量 $\lambda$ のテールを表す。
• この条件は、ゼロ標数におけるベレケとレーゲブの「フック定理」およびセルゲーエフの結果を正標数へ一般化する。
• 証明はクレシュチェフのアルゴリズムを完全に回避し、スーパー群双対性を用いたミューリノー予想へのより直接的な道筋を提供する。
• $M \gg m$、$N = M - m$ を満たす $GL(M|N)$ を用いた構成により、最高重量理論が安定化され、重要な条件 $j(t(\lambda)) \leq \lambda_m$ の導出が可能になる。