[論文レビュー] A Solomon descent theory for the wreath products G ~ S_n

Pierre Baumann, Christophe Hohlweg|arXiv (Cornell University)|Mar 1, 2005

Advanced Combinatorial Mathematics被引用数 8

ひとこと要約

この論文は、$G$ が有限アーベル群である場合の wreath 群 $G \wr \mathfrak{S}_n$ に対して、Mantaci-Reutenauer代数、コスミンスキー関数、Spechtの表現論を用いて、ソロモン型の降下理論を構築する。主な貢献は、群環 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 内に部分環 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ を構成し、表現環 $R(G \wr \mathfrak{S}_n)$ への全射環準同型を定義することで、ソロモンの降下代数を wreath 群へ一般化することにある。

ABSTRACT

We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.

研究の動機と目的

• コックスタワー群から wreath 群 $G \wr \mathfrak{S}_n$ へのソロモンの降下代数理論を、有限アーベル群 $G$ に対して拡張すること。
• 群環 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 内に、降下構造を捉える部分環 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ を構成すること。
• 表現環 $R(G \wr \mathfrak{S}_n)$ への全射環準同型 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$ を確立し、表現論を群環へと昇格すること。
• 自由コスミンスキー代数の構成を $\mathbb{Z}G$ 上で行い、Malvenuto–Reutenauer双代数枠組みを wreath 群へ一般化すること。

提案手法

• 環 $\mathbb{Z}$ 上の $\mathbb{Z}$-加群 $V$ 上に自由コスミンスキー代数 $\mathscr{F}(V)$ を定義し、外部積とコプロダクトを備えた次数付き双代数とする。
• $\mathscr{F}(V)$ の部分双代数として Mantaci-Reutenauer 双代数 $\mathord{\mathsf{MR}}(V)$ を構成し、$V$ が自由である場合には自由な結合代数となることを見る。
• $\mathbb{Z}$-加群の双対性を用いて、$\mathscr{F}(V)$ と $\mathscr{F}(W)$ の間のペアリングを定め、$V$ が自己双対である場合には自己双対性が成り立つことを保証する。
• $B$-分割と $l$-ベクトル分割を導入し、コスミンスキー関数をパrameter化する。$\mathbf{sr}(\mathbf{I})$ 上に優越順序 $\preccurlyeq$ を定義する。
• $B$-分割 $\mathbf{c}$ に添えられた形式的べき級数 $F_{\mathbf{c}}$ を定義し、行列の数え上げ構成により、これが quasi-ribbon 関数 $F_{\mathbf{K}(\mathbf{c})}$ に等しいことを示す。
• $\mathord{\mathrm{QSym}}(B)$、すなわち色付きコスミンスキー関数の代数が、レベル $l$ のコスミンスキー関数 $\mathord{\mathit{QSym}^{(l)}}$ に埋め込まれることを確立する。

実験結果

リサーチクエスチョン

• RQ1 ソロモンの降下代数の構成を、コックスタワー群から有限アーベル群 $G$ に対する wreath 群 $G \wr \mathfrak{S}_n$ へ一般化できるか。
• RQ2 群環 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ の中で、表現環 $R(G \wr \mathfrak{S}_n)$ への環準同型を支える部分環は何か。
• RQ3 Mantaci-Reutenauer代数とコスミンスキー関数は、wreath 群の群環の文脈でどのように作用するか。
• RQ4 $l$-ベクトル分割とその優越順序は、降下基底をパラメータ化する上で果たす役割は何か。
• RQ5 自由コスミンスキー代数 $\mathscr{F}(V)$ を $V = \mathbb{Z}G$ 上で構成することで、対称群と wreath 群の双代数構造をどのように統一できるか。

主な発見

• $G$ が有限アーベル群であるとき、群環 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 内の部分環 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ は自由な結合代数に同型である。
• 表現環 $R(G \wr \mathfrak{S}_n)$ への全射環準同型 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$ が存在し、$G \wr \mathfrak{S}_n$ の特徴表理論を群環へと昇格する。
• $B$-分割 $\mathbf{c}$ に付随する形式的べき級数 $F_{\mathbf{c}}$ は、$\mathbf{c} \preccurlyeq \mathord{\mathbf{sr}}(\mathbf{K}(\mathbf{c}))$ を満たす唯一の $l$-ベクトル分割 $\mathbf{K}(\mathbf{c})$ に対して、 quasi-ribbon 関数 $F_{\mathbf{K}(\mathbf{c})}$ に等しい。
• 色付きコスミンスキー関数の代数 $\mathord{\mathrm{QSym}}(B)$ は、レベル $l$ のコスミンスキー関数 $\mathord{\mathit{QSym}^{(l)}}$ に部分代数として埋め込まれる。
• $\mathbb{Z}G$ 上の graded 双代数 $\mathscr{F}(\mathbb{Z}G)$ は、Malvenuto–Reutenauer の構成を一般化し、$\mathbb{Z}G$ が自己双対である場合には自己双対構造を備える。
• $\mathscr{F}(V)$ の構成は函手的であり、双対性と整合的であるため、wreath 群の降下代数を統一的に扱う枠組みを提供する。