[論文レビュー] A tableau approach to the representation theory of 0-Hecke algebras

Jia Huang|arXiv (Cornell University)|Jan 21, 2015

Advanced Combinatorial Mathematics参考文献 15被引用数 5

ひとこと要約

本稿は、対称群の古典的ヤング盤枠組みに類似した、0-ヘッケ代数の型A、B、Dにおける表現論のテーブルオウベースのアプローチを導入する。0-ヘッケ代数のグロテンディーク群と非可換対称関数（NSym）および準対称関数（QSym）との間の同型を確立し、明示的なコプロダクト公式を提示するとともに、アンチポードを盤の転置により解釈する。主な貢献は、3つの型すべてにおいて表現論と対称関数論を統合する一貫した組合せ的枠組みを提供することにある。

ABSTRACT

A 0-Hecke algebra is a deformation of the group algebra of a Coxeter group. Based on work of Norton and Krob--Thibon, we introduce a tableau approach to the representation theory of 0-Hecke algebras of type A, which resembles the classic approach to the representation theory of symmetric groups by Young tableaux and tabloids. We extend this approach to type B and D, and obtain a correspondence between the representation theory of 0-Hecke algebras of type B and D and quasisymmetric functions and noncommutative symmetric functions of type B and D. Other applications are also provided.

研究の動機と目的

• 型Aの0-ヘッケ代数の表現論に、対称群のヤング盤に類似したテーブルオウベースの枠組みを構築すること。
• この枠組みを型BおよびDに拡張し、置換モジュール、スペクトモジュール、ヤングの定理の類似物を確立すること。
• 型A、B、Dにおける0-ヘッケ代数のグロテンディーク群とホップ代数NSymおよびQSymとの間の明示的同型を構築すること。
• 0-ヘッケ代数の自己同型と関連するテーブルオウの転置を用いて、QSymおよびNSymにおけるアンチポードの組合せ的解釈を提供すること。
• 型BおよびDの表現論における構造的欠落を、モジュールおよびコモジュール構造の定義と、ホップ代数構造への障害の同定により解消すること。

提案手法

• 一般化されたリブンと標準盤を用いて、Hn(0)の射影的で分解不能なモジュールPαをパラメトライズし、盤のリーディングワードが巡回モジュールを生成することを示す。
• テーブルオウに基づく構成により、ch: K0(H•(0)) → NSym および Ch: G0(H•(0)) → QSym を定義する。
• 定理4.3から導かれるNSymにおけるコプロダクトを用い、QSymとNSymの双対性を適用することで、NSymおよびQSymのコプロダクト公式を確立する。
• 型BおよびDにおけるNSymおよびQSymの類似物（NSymBおよびQSymB）を非可換変数における形式的べき級数として定義し、chBおよびChBをモジュールおよびコモジュールの同型として定義する。
• テーブルオウアプローチを用いて、NSymおよびQSymのアンチポードを盤の転置として解釈し、フェイアーズが研究した0-ヘッケ代数の自己同型と関連付ける。
• 巡回Hn(0)-モジュールにおける長さフィルトレーションを適用し、準対称的特徴を段階的バージョンChq(M)に refining する。これにより、q-多項式係数およびq-リブン係数を含む組合せ的恒等式が得られる。

実験結果

リサーチクエスチョン

• RQ1 型Aの0-ヘッケ代数の表現論を、対称群のヤング盤に類似したテーブルオウベースのアプローチを用いて体系的に展開することは可能か？
• RQ2 型BおよびDにおける置換モジュール、スパクトモジュール、ヤングの定理の類似物は何か？また、それらは準対称関数および非可換対称関数とどのように関係するか？
• RQ3 テーブルオウから導かれる明示的なコプロダクト公式を用いて、非可換特徴写像 ch: K0(H•(0)) → NSym がコアルゲブラ同型であることを示せるか？
• RQ4 QSymおよびNSymにおけるアンチポードの組合せ的解釈は何か？また、型A、B、Dにおける盤の対称性とどのように関連するか？
• RQ5 型Bの塔におけるグロテンディーク群がホップ代数構造をもたないのはなぜか？この設定におけるモジュール／コモジュール同型の障害は何か？

主な発見

• 非可換特徴写像 ch: K0(H•(0)) → NSym はコアルゲブラ同型であり、盤の分解から導かれる明示的なコプロダクト公式を持つ。
• 準対称的特徴写像 Ch: G0(H•(0)) → QSym はコモジュール同型であり、chと双対的にペアリングされ、Frobeniusの相互性に従わない非標準的相互性を示す。
• 任意の組成αに対して、スケュー・シュール関数 sα/β は sβ\textbackslashα に等しく、両者とも盤の分解の和として表され、[δ]および[γ]条件を含む明示的公式を持つ。
• NSymおよびQSymのアンチポードは、表現論に用いられる盤の転置に対応し、0-ヘッケ代数の自己同型を通じて統一された対称性を示す。
• 射影的で分解不能なモジュールPαの次元は、リブン数rαに等しく、これはq→1におけるq-リブン数rα(q)の極限として得られる。このrα(q)はq-階乗を含む行列式の公式として表される。
• 組合せ的恒等式が証明された：∑β≼α≼γ rα(q) = [n/n1,…,nk]q rα1(q)⋯rαk(q) であり、組成(n1,…,nk)はD(γ)∖D(β)に対応する。ここには明示的なq-多項式係数およびq-リブン係数が含まれる。