[論文レビュー] The Algebra of Conjugacy Classes in Symmetric Groups and Partial Permutations

В. К. Иванов, S. V. Kerov|ArXiv.org|Feb 18, 2003

Advanced Combinatorial Mathematics参考文献 8被引用数 26

ひとこと要約

本稿では、部分置換の代数を用いて、対称群における正規化された共役類の畳み込み公式を確立する。部分置換半群の射影極限代数を導入し、それがシフトされた対称関数の代数と同型であることを証明し、正規化された類の畳み込みの整数構造定数を導出する。これは、nに関する多項式的依存性を伴う、対称群表現論における長年の問題を解決する。

ABSTRACT

We prove a convolution formula for the conjugacy classes in symmetric groups conjectured by the second author. A combinatorial interpretation of coefficients is provided. As a main tool we introduce new semigroup of partial permutations. We describe its structure, representations, and characters. We also discuss filtrations on the subalgebra of invariants in the semigroup algebra.

研究の動機と目的

• 以前の研究で提唱された、対称群における正規化された共役類の畳み込み公式を証明すること。
• 部分置換の半群代数の射影族を構成し、その構造を分析すること。
• 無限対称群作用における不変量の代数が、シフトされた対称関数の代数と同型であることを示すこと。
• 畳み込みの構造定数が、十分に大きなnに対してnに依存しない整数であることを確立すること。
• 群代数における中心的元の畳み込みに対して、特徴写像と類似した新しい代数的枠組みを提供すること。

提案手法

• サイクル型$ \rho $における固定点の個数を含む二項係数を用いて、正規化された共役類$ A_{\rho;n} $を定義する。
• 集合$ \{1,\dots,n\} $上の部分置換の半群$ \mathcal{P}_n $を導入し、その乗法を、台の和集合と単射の合成によって定義する。
• 半群代数$ \mathbb{C}[\mathcal{P}_n] $を構成し、それが半単純であることを証明し、$ x \subset \{1,\dots,n\} $、$ |x|=k $、および$ \lambda \vdash k $を満たすペア$ (x,\lambda) $によって分類されるその既約表現を特定する。
• 表現の分岐則を用いて分岐グラフ$ \Gamma $を定義し、極限代数$ \mathcal{B}_\infty $の調和関数および特徴を分類するために確率的・エルゴード的手法を適用する。
• $ \mathcal{A}_\infty = \mathcal{B}_\infty^{\mathfrak{S}_\infty} $の不変量代数が、シフトされた対称関数の代数$ \Lambda^* $と同型であることを示し、その軌道は整数分割によってインデックス付けされる。
• 畳み込み公式$ A_{\sigma;n} * A_{\tau;n} = \sum_{\rho} g_{\sigma,\tau}^{\rho} A_{\rho;n} $を導出する。ここで$ g_{\sigma,\tau}^{\rho} \in \mathbb{Z} $であり、$ n \geq |\sigma| + |\tau| $で有効である。

実験結果

リサーチクエスチョン

• RQ1 対称群$ \mathfrak{S}_n $における正規化された共役類の畳み込み代数の構造は何か？ そして、nが十分に大きいとき、どのように安定化するか？
• RQ2 $ \mathcal{B}_\infty $における無限対称群$ \mathfrak{S}_\infty $作用の不変量代数$ \mathcal{A}_\infty $は、どのように記述できるか？
• RQ3 不変量代数$ \mathcal{A}_\infty $と、シフトされた対称関数の代数のような既知の代数的構造との間には、自然な同型が存在するか？
• RQ4 正規化された共役類の畳み込みにおける構造定数$ g_{\sigma,\tau}^{\rho} $は何か？ そして、nに依存しない整数であるか？
• RQ5 群代数の文脈において、乗法の特徴写像を畳み込みに一般化することは可能か？

主な発見

• 対称群$ \mathfrak{S}_n $における正規化された共役類$ A_{\sigma;n} $と$ A_{\tau;n} $の畳み込みは、$ \sum_{\rho} g_{\sigma,\tau}^{\rho} A_{\rho;n} $で与えられ、整数係数$ g_{\sigma,\tau}^{\rho} $を有し、$ n \geq |\sigma| + |\tau| $で有効である。
• 極限半群代数$ \mathcal{B}_\infty $における不変量代数$ \mathcal{A}_\infty $は、シフトされた対称関数の代数$ \Lambda^* $と同型であり、対称群表現論の新しい構造的枠組みを提供する。
• 構造定数$ g_{\sigma,\tau}^{\rho} $はnに依存せず、畳み込み公式は十分に大きなnに対して安定化し、対称群全体にわたる一様な記述を可能にする。
• $ \mathbb{C}[\mathcal{P}_n] $の既約表現は、$ x \subset \{1,\dots,n\} $、$ |x|=k $、および$ \lambda \vdash k $を満たすペア$ (x,\lambda) $によってインデックス付けされ、それらはヤング図形に基づく分岐則を満たす。
• $ \mathcal{B}_\infty $の特徴は、トーマ単体$ \Delta $によってパラメータ化され、分岐グラフ$ \Gamma $上の調和関数は、無限集合$ X $に対して拡張されたシュール関数$ s_\mu(\alpha;\beta) $によって与えられ、有限$ X $では正規化されたテーブルの数え上げによって与えられる。
• 畳み込み公式により、古典的な畳み込み$ C_{\sigma;n} * C_{\tau;n} = \sum_{\rho} q_{\sigma,\tau}^{\rho}(n) C_{\rho;n} $の係数$ q_{\sigma,\tau}^{\rho}(n) $がnの多項式であることが示され、既知の結果が新たな証明を伴って確認された。