[論文レビュー] Wreath Product Symmetric Functions

Frank Ingram, Naihuan Jing+1 more|ArXiv.org|Sep 15, 2008

Algebraic structures and combinatorial models参考文献 8被引用数 14

ひとこと要約

この論文は、色分けされた分割と表を用いた組合せ的枠組みを導入し、群 $ G \sim S_n $ のための wreath 積対称関数の簡素化された構成を提供する。Pieri および Littlewood-Richardson の規則はテンソル積構造と線形変換を用いて確立され、一般化された対称群の表現理論に対して体系的な手法を提供し、既約キャラクターと内積の明示的公式を提示する。

ABSTRACT

We systematically study wreath product Schur functions and give a combinatorial construction using colored partitions and tableaux. The Pieri rule and the Littlewood-Richardson rule are studied. We also discuss the connection with representations of generalized symmetric groups.

研究の動機と目的

• 色分けされた分割と表を用いた、wreath 積シュール関数の組合せ的かつ初等的な構成を展開すること。
• 一般化された対称群 $ G \sim S_n $ の表現理論を、対称関数を通じて再定式化することにより簡素化すること。
• テンソル積構造を用いて、wreath 積対称関数の Pieri および Littlewood-Richardson の規則を導出すること。
• フロベニウス特徴写像を通じて、対称関数と wreath 積の既約キャラクターとの間の関係を明確にすること。
• 色分けされた分割によって添字づけられたピュア和対称関数を用いて、wreath 群におけるキャラクターと内積を体系的に計算するフレームワークを提供すること。

提案手法

• 著者たちは、wreath 積のための一般化された分割を用いて対称関数を添字づけるために、色分けされた分割 $ \underline{\lambda} = (\lambda^{(0)}, \dots, \lambda^{(r-1)}) $ を用いる。
• 共役類と $ G \sim S_n $ の既約キャラクターに対応する二種類のピュア和対称関数 $ p_{\underline{\rho}} $ と $ P_{\underline{\rho}} $ を定義する。
• 内積構造を保つ線形変換を介して、対称関数のテンソル積から wreath 積への移行を行う。
• クラス関数と対称関数を結ぶためにフロベニウス特徴写像 $ ch $ を用い、$ ch(\chi_{\underline{\rho}}) = \sum_{\underline{\rho}} Z_{\underline{\rho}}^{-1} \chi_{\underline{\rho}} P_{\underline{\rho}} $ が等長性を保証する。
• シュール関数の積の既約成分への分解を分析することで、一般化された Littlewood-Richardson の規則を組合せ的に導出する。
• 既約キャラクターの複素共役に関して不変となるように内積を再定義し、テンソル積から wreath 積構造への滑らかな移行を可能にする。

実験結果

リサーチクエスチョン

• RQ1 wreath 積シュール関数は、色分けされた分割と表を用いてどのように体系的に構成できるか？
• RQ2 wreath 積対称関数における一般化された Pieri の規則とは何か？ そして古典的ケースにどのように拡張されるか？
• RQ3 二つの wreath 積シュール関数の積における構造定数についての Littlewood-Richardson の規則は何か？
• RQ4 $ P_{\underline{\rho}} $ と $ p_{\underline{\rho}} $ は、$ G \sim S_n $ の共役類と既約キャラクターとどのように関係するか？
• RQ5 フロベニウス特徴写像と wreath 積の表現理論との間の正確な関係は何か？

主な発見

• 本論文は、色分けされた表を用いた wreath 積シュール関数の組合せ的構成を提供し、従来の定式化よりも直感的かつ初等的な手法を提示する。
• 一般化された Littlewood-Richardson の規則が導出され、wreath 積の文脈における二つのシュール関数の積の構造定数を組合せ的に与える規則が得られる。
• フロベニウス特徴写像 $ ch $ が、クラス関数の環から $ G \sim S_n $ 上の対称関数の環への等長同型写像であることが示され、$ ch(\chi_{\underline{\rho}}) = \sum_{\underline{\rho}} Z_{\underline{\rho}}^{-1} \chi_{\underline{\rho}} P_{\underline{\rho}} $ が成り立つ。
• ハイパーオクタヘドロン群 $ \mathbb{Z}_2 \sim S_n $ の場合、色分けされた分割を用いて既約キャラクターとキャラクターテーブルの明示的公式が得られる。
• 既約キャラクターの複素共役に関して不変となるように内積が再定義され、テンソル積から wreath 積対称関数への滑らかな移行が可能になる。
• 既約 $ \mathbb{C}(G \sim S_n) $-加群 $ W^{\underline{\lambda}} $ は、対称群表現のテンソル積からの誘導モジュールとして構成され、次のように次元が与えられる：$ \dim W^{\underline{\lambda}} = n! \prod_{i=0}^{r-1} \frac{d_i^{|\lambda^{(i)}|}}{h(\lambda^{(i)})} $。