[論文レビュー] The block structure of the partition algebras in characteristic $p\geq 0$

C. Bowman, Maud De Visscher+1 more|arXiv (Cornell University)|Feb 20, 2014

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

ひとこと要約

本稿は、正の特性 $ p \geq 0 $ の体 $ \mathbb{F} $ 上での分割代数 $ P_n^{\mathbb{F}}(\bar{\theta}) $ のブロックを決定し、$ \delta \in \mathbb{F}_p $ のとき、ブロックが型 $ A $ のアフィンワイル群の作用によって関連付けられる分割にちょうど一致することを示している。これはマーチンの特徴がゼロの結果を一般化するものである。主な貢献は、アフィン反射群の作用による完全で組合せ的なブロックの記述であり、これは正の特性において必要かつ十分である。これはブラウアー代数の場合とは異なり、成立する。

ABSTRACT

In this paper we describe the blocks of the partition algebra over a field of positive characteristic.

研究の動機と目的

• 体 $ \mathbb{F} $ の正の特性における分割代数 $ P_n^{\mathbb{F}}(\delta) $ のブロック構造を特定すること。
• マーチンの特徴がゼロのときのブロック分類を、特に $ \delta \in \mathbb{F}_p $ の場合に正の特性へ一般化すること。
• 型 $ A $ のアフィン反射群の作用が、正の特性における分割代数のブロック同値関係に対して必要かつ十分であることを確立すること。
• $ n \to \infty $ の極限における分割代数のブロックを定義・分析し、対称群のモジュラー表現理論に依存しないこと。

提案手法

• 分割代数のセル構造を用いて、セル加群とそのブロックへの分解を分析する。
• ジュチス＝マーフィー要素を適用し、$ \delta $-マーク付きアバキと $ p $-コア分割に基づいたブロック所属の必要条件を導出する。
• $ \delta \in \mathbb{F}_p $ かどうかに応じて場合分けを行う：$ \delta \notin \mathbb{F}_p $ の場合、ブロックは対称群のブロックに対応する。$ \delta \in \mathbb{F}_p $ の場合、$ p $ での剰余と $ p $-コアの組合せ論を用いる。
• $ \delta $-マーク付きアバキの概念を導入し、分割とその $ \delta $-重みの組合せ論を符号化する。
• ブロック同値関係を、等価関係 $ \hat{\mu} + \rho_n(\delta) \sim_p \hat{\lambda} + \rho_n(\delta) $ を通じてアフィンワイル群 $ \widetilde{W}_A $ の作用として再定式化する。
• グローバライゼーション関手を用いて極限ブロックを定義し、$ \mathfrak{S}_n $ のモジュラー表現理論に依存せずに、それらが $ \mathcal{O}_\lambda^p(\delta) $ と等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 正の特性において $ \delta \in \mathbb{F}_p $ のとき、分割代数 $ P_n^{\mathbb{F}}(\delta) $ のブロックはどのように振る舞うか？
• RQ2 正の特性におけるブロック構造は、アフィン反射群の作用を用いて組合せ論的に記述可能か？
• RQ3 型 $ A $ のアフィンワイル群の作用は、正の特性における分割代数のブロック同値関係に対して、必要かつ十分か？
• RQ4 $ n \to \infty $ の極限における分割代数のブロック構造は何か？また、対称群のモジュラー表現理論を用いずに記述可能か？

主な発見

• $ \delta \notin \mathbb{F}_p $ のとき、$ P_n^{\mathbb{F}}(\delta) $ のブロックは、$ p $ での剰余による議論により、対称群代数 $ \mathbb{F}\mathfrak{S}_n $ のブロックと同型である。
• $ \delta \in \mathbb{F}_p $ のとき、ブロックは同値関係 $ \hat{\mu} + \rho_n(\delta) \sim_p \hat{\lambda} + \rho_n(\delta) $ によって決定され、これは型 $ A $ のアフィンワイル群の作用に対応する。
• 定理 8.9 は、正の特性における $ P_n^{\mathbb{F}}(\delta) $ のブロックが、$ \delta $-マーク付きアバキの集合上でのアフィンワイル群 $ \widetilde{W}_A $ の作用による軌道にちょうど一致することを確立している。
• 極限ブロック $ \mathcal{B}_\lambda^k(\delta) $ は、$ \mathcal{O}_\lambda^p(\delta) $ に等しく、これは $ n \geq 0 $ における $ \mathcal{O}_\lambda^p(n;\delta) $ の和集合として定義される。この等式は $ \mathfrak{S}_n $ のモジュラー表現理論に依存しない。
• 定理 9.2 の極限ブロックに関する証明は、対称群のモジュラー表現理論に依存せず、直接的にアバキ上のビーズの移動とその $ \beta_\delta $-列への影響を分析することでなされる。
• 証明のケース C’ において、同じランナー上にビーズがある位置の上にある空の位置へビーズを移動させると、$ \Gamma_\delta(\mu,n) $ が保存され、アフィンワイル群の作用を誘導する。これにより、ブロック所属が保証される。