[論文レビュー] Representation theory of the 0-Ariki-Koike-Shoji algebras

Florent Hivert, Jean-Christophe Novelli+1 more|ArXiv.org|Jul 13, 2004

Algebraic structures and combinatorial models参考文献 18被引用数 5

ひとこと要約

本稿は、q=0 における Ariki-Koike 代数の特殊化である 0-Ariki-Koike-Shoji 代数の表現論を調査する。単純加群および射影加群を分類し、グロテンディーク環を組合せ論的ホップ代数（特に Poirier の準対称関数と Mantaci-Reutenauer の降下代数）と同定する。また、色付き組合せとリボンを用いた明示的公式を用いて、誘導、制限、カーテン不変量、および分解行列を提示する。

ABSTRACT

We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.

研究の動機と目的

• 0-Ariki-Koike-Shoji 代数の単純加群および射影加群を分類し、すべての単純加群が1次元であり、cyclotomic ribbons によってパrameter化されることを示す。
• 射影加群のグロテンディーク環を Mantaci-Reutenauer の降下代数と同定し、単純加群のグロテンディーク環を Poirier の準対称関数と同定する。
• 色付き組合せとリボンの乗法則を用いて、加群上の誘導および制限作用を記述する。
• Mantaci-Reutenauer 代数から対称関数および Poirier の基底への写像を用いて、カーテン不変量および分解行列を明示的に計算する。
• ホップ代数構造を通じて、単純加群と射影加群のグロテンディーク環の間に双対性を確立する。

提案手法

• Shoji の提示における関係式に q=0 を代入することで、0-Ariki-Koike-Shoji 代数 $\mathcal{H}_{n,r}(0)$ を定義する。
• 色付き組合せと cyclotomic ribbons を用いて、単純加群および射影加群をラベルづける特別な基底を導入する。
• リボン基底要素の乗法則を定義する：$u_p \neq v_1$ のとき $R_{(I,u)}R_{(J,v)} = R_{(I,u)\cdot(J,v)}$、$u_p = v_1$ のとき $R_{(I,u)\triangleright(J,v)}$。
• 射影加群からリボン要素への同型写像 $\mathbf{ch}: \mathcal{K} \to \mathbf{MR}^{(r)}$ を構成し、$\mathcal{K}$ が Mantaci-Reutenauer の降下代数に同型であることを証明する。
• $\mathcal{H}_{n,r}(0)$-射影加群の類を 0-Hecke 代数 $H_n(0)$ への制限にマッピングする写像 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$ を定義する。
• 写像 $e: \mathbf{MR}^{(r)} \to \mathrm{Sym}^{(r)}$ と $d: \mathrm{Sym}^{(r)} \to \mathrm{QMR}^{(r)}$ の合成を用いて、カーテン不変量および分解行列を Poirier 基底における係数によって計算する。

実験結果

リサーチクエスチョン

• RQ1 0-Ariki-Koike-Shoji 代数の単純加群および射影加群はどのように分類されるか？
• RQ2 射影加群のグロテンディーク環 $\mathcal{K}$ の構造は何か？ そして既知のホップ代数とどのように関係するか？
• RQ3 0-Ariki-Koike-Shoji 代数における誘導および制限作用はどのように振る舞うか？
• RQ4 0-Ariki-Koike-Shoji 代数のカーテン不変量および分解行列は何か？
• RQ5 $\mathcal{H}_{n,r}(0)$-加群を $H_n(0)$ に制限する代数的計算方法は何か？

主な発見

• すべての単純 $\mathcal{H}_{n,r}(0)$-加群は1次元であり、$r(r+1)^{n-1}$ 個の組合せ論的対象（cyclotomic ribbons と呼ばれるもの）によってパrameter化される。
• 射影加群のグロテンディーク環 $\mathcal{K}$ は、写像 $\mathbf{ch}$ により $[P_{[K,\mathbf{c}]}]$ を $R_{(I,u)}$ にマッピングすることによって、Mantaci-Reutenauer の降下代数 $\mathbf{MR}^{(r)}$ に同型である。
• $\mathcal{H}_{n,r}(0)$-射影加群の $H_n(0)$ への制限は、ホップ代数準同型 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$ を用いて計算され、$S_j^{(i)}$ を $S_j$ にマッピングする。
• $H_n(0)$-射影加群 $P_I$ の $\mathcal{H}_{n,r}(0)$ への誘導は、形状 $I$ のすべての反順序リボン $[I,\mathbf{c}]$ に関する $P_{[I,\mathbf{c}]}$ の直和に分解され、次元はそのようなリボンの数に等しい。
• カーテン行列の成分 $C_{[I,\mathbf{c}],[J,\mathbf{d}]}$ は、$F_{[J,\mathbf{d}]}$ の係数として $c(R_{[I,\mathbf{c}]}) = d \circ e(R_{[I,\mathbf{c}]})$ に現れる。ここで $e$ は $h_j(X_i)$ にマッピングし、$d$ は $F_{[(j),i^j]}$ にマッピングする。
• 分解行列は、写像 $d$ を用いて、Schur 関数 $s_{\lambda^{(1)}}(X_1)\cdots s_{\lambda^{(r)}}(X_r)$ を Poirier 基底 $F_{[I,\mathbf{c}]}$ に変換する形で表現される。