[論文レビュー] Plethysm and the algebra of uniform block permutations

Rosa Orellana, Franco Saliola+2 more|arXiv (Cornell University)|Dec 27, 2021

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿は、分割代数の部分代数としての均一ブロック置換代数（別名、パーティー代数）の表現理論を、表紙モデルを用いた非可約表現の構成と、対称関数へのフロベニウス特徴写像の確立によって発展させる。主な貢献は、この代数のキャラクターがシュール関数のプレチズムにリンクすることを示し、特に非可約表現を対称群に制限した場合、そのキャラクターがプレチスティック合成 $ s_{\lambda^{(1)}}[s_1] \cdots s_{\lambda^{(k)}}[s_k] $ とシュール関数との内積で与えられることを特定する。

ABSTRACT

We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the characters of the uniform block permutation algebra and plethysms of Schur functions.

研究の動機と目的

• 均一ブロック置換代数 $\mathcal{U}_k$ の表現理論を、有限逆モノイドの一般枠組みを用いて発展させること。$\mathcal{U}_k$ は因数分解可能な逆モノイドである。
• 表紙モデルとシュッツェンベルガー表現を用いて $\mathcal{U}_k$ の非可約表現を特徴づけること。
• クラス関数から複数のアルファベットにおける対称関数へ写像するフロベニウス特徴写像を定義すること。
• 代数 $\mathcal{U}_k$ のキャラクターとシュール関数のプレチスティック積との明確な関係を確立すること。
• 対称群 $\mathfrak{S}_k$ に制限された $\mathcal{U}_k$-表現の分解行列 $U_k$ を計算し、その係数がプレチスティック展開に関連することを明らかにすること。

提案手法

• クラッフ、ムン、ポニゾフスキーの定理を含む有限逆モノイドの一般理論を用い、$\mathcal{U}_k$ の構造を分析する。
• 最大部分群、$\mathscr{J}$-類、$\mathscr{L}$-類を特定し、シュッツェンベルガー表現を用いて非可約表現を構成する。
• クラス関数から $k$ 重テンソル積の対称関数へ写像するフロベニウス特徴写像 $\phi_{\mathcal{U}_k}$ を導入する。
• 複数のアルファベット $X_1, \dots, X_k$ における対称関数の一般化されたスカラー積を用い、キャラクターの内積を計算する。
• 非可約 $\mathcal{U}_k$-表現のキャラクターを $\phi_{\mathcal{U}_k}(\chi^{\vec{\lambda}}_{\mathcal{U}_k}) = \mathbf{s}_{\vec{\lambda}}[\mathbf{E}]$ として導出する。ここで $\mathbf{E}$ は各アルファベットにおける基本対称関数を表す。
• 分解行列 $U_k$ を用いて $\mathcal{U}_k$-表現と対称群 $\mathfrak{S}_k$ への制限を関連付け、その成分はプレチスティック合成を含む内積で与えられる。

実験結果

リサーチクエスチョン

• RQ1 均一ブロック置換代数 $\mathcal{U}_k$ の非可約表現は、集合値表紙のような組合せ的対象を用いてどのように構成できるか？
• RQ2 代数 $\mathcal{U}_k$ のキャラクターと対称関数の間の明確な関係、特にフロベニウス特徴写像を通じての関係は何か？
• RQ3 非可約 $\mathcal{U}_k$-表現が対称群 $\mathfrak{S}_k$ に制限されたとき、どのように分解するか？
• RQ4 代数 $\mathcal{U}_k$-表現と $\mathfrak{S}_k$-表現を関連付ける分解行列 $U_k$ の構造は何か？その成分はどのような意味を持つか？
• RQ5 シュール関数のプレチズムは、なぜ $\mathcal{U}_k$ のキャラクター理論に自然に現れるのか？その組合せ的解釈は何か？

主な発見

• 非可約表現は、$\sum_{i=1}^k i|\lambda^{(i)}| = k$ を満たす $k$-重の分割 $\vec{\lambda} = (\lambda^{(1)}, \dots, \lambda^{(k)})$ によって添字付けられ、集合値表紙の系列に基づく表紙モデルを有する。
• フロベニウス特徴写像は、非可約 $\mathcal{U}_k$-表現のキャラクターを $\mathbf{s}_{\vec{\lambda}}[\mathbf{E}]$ に写像する。これは、異なるアルファベットにおけるシュール関数 $s_{\lambda^{(i)}}[s_i]$ のプレチスティック積である。
• 非可約 $\mathcal{U}_k$-表現を対称群 $\mathfrak{S}_k$ に制限した場合、そのキャラクターは内積 $\langle s_{\lambda^{(1)}}[s_1] \cdots s_{\lambda^{(k)}}[s_k], s_\mu \rangle$ で与えられ、これは $\mathfrak{S}_k$-非可約表現 $V^\mu$ の制限における重複度を計算する。
• 分解行列 $U_k$ は、プレチスティック積のシュール展開における係数に対応する上三角行列である。
• $k=2,3,4$ に対して、行列 $U_k$ を明示的に計算した。その結果、成分が 1 より大きい例（例えば $U_{(\varnothing,(1),(1)),((3),(1))} = 2$）が現れ、プレチスティック重複度が非自明であることが示された。
• $U_k$ は上三角行列であり、$U_{\vec{\lambda},\vec{\lambda}} = 1$ であり、$\vec{\nu}$ が鋭い優越順序で $\vec{\lambda}$ より小さいタイプを持つ場合、$U_{\vec{\lambda},\vec{\nu}} = 0$ である。これにより、その三角構造が確認された。