[論文レビュー] Tensor power multiplicities for symmetric and alternating groups and dimensions of irreducible modules for partition algebras

Georgia Benkart, Tom Halverson|arXiv (Cornell University)|May 20, 2016

Advanced Combinatorial Mathematics参考文献 15被引用数 5

ひとこと要約

本稿は、第二種スターリング数を用いて、中心化代数 $Η_k(n) = \operatorname{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ の既約モジュールの次元公式を確立する。この次元は、置換モジュール $\mathsf{M}_n$ の $k$ 重テンソル積における対称群モジュールの既約モジュールの重複度に等しい。この結果はすべての $n \geq 1$ および $k \geq 0$ に対して成り立ち、フロベニウスの随伴性の類似により、交代群および準分割代数の中心化代数へ一般化される。

ABSTRACT

The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) o \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \ge 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.

研究の動機と目的

• 置換群 $\mathsf{S}_n$ の $k$ 重テンソル積 $\mathsf{M}_n^{\otimes k}$ に作用する中心化代数 $\mathsf{Z}_k(n)$ の既約モジュールの次元公式を導出すること。
• シュール＝ウェイル双対性により、これらの次元が $\mathsf{M}_n^{\otimes k}$ における対称群 $\mathsf{S}_n$ の既約モジュールの重複度に一致することを確立すること。
• 有限群の中心化代数およびその部分群に対する一般化されたフロベニウスの随伴性を用いて、交代群および準分割代数へ結果を拡張すること。
• 古典的な $n \geq 2k$ 条件に制限されない、すべての $n \geq 1$ および $k \geq 0$ に対して有効な統一的な枠組みを提供すること。

提案手法

• 分割代数 $\mathsf{P}_k(n)$ と対称群 $\mathsf{S}_n$ の間のシュール＝ウェイル双対性を活用し、$\mathsf{P}_k(n) \twoheadrightarrow \mathsf{Z}_k(n)$ なる全射を確立する。
• 有限群の中心化代数およびその部分群が有限次元モジュールに作用する場合に適用可能な一般化されたフロベニウスの随伴性を適用し、異なる群作用におけるモジュールの分解を可能にする。
• 第二種スターリング数を用いて、既約 $\mathsf{Z}_k(n)$-モジュールの次元を表現し、閉形式の組合せ論的公式を提供する。
• 交代群 $\mathsf{A}_n$ が $\mathsf{M}_n^{\otimes k}$ に作用する場合に、同様の次元公式を導出するための枠組みを拡張する。
• 群 $\mathsf{S}_n$ の反射表現に関連する準分割代数を分析し、同一の随伴性原理により同様の次元表現が得られることを示す。
• 次元公式がすべての $n \geq 1$ および $k \geq 0$ に対して成り立つことを確立し、通常の $n \geq 2k$ の制限を除去する。

実験結果

リサーチクエスチョン

• RQ1 中心化代数 $\mathsf{Z}_k(n) = \operatorname{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ の既約モジュールの次元は、組合せ論的数値を用いてどのように表されるか？
• RQ2 テンソル積 $\mathsf{M}_n^{\otimes k}$ における対称群 $\mathsf{S}_n$ の既約モジュールの重複度と、既約 $\mathsf{Z}_k(n)$-モジュールの次元とはどのように関係するか？
• RQ3 有限群の中心化代数およびその部分群に対して、フロベニウスの随伴性の原理を一般化できるか？
• RQ4 交代群 $\mathsf{A}_n$ が $\mathsf{M}_n^{\otimes k}$ に作用する場合の中心化代数の既約モジュールの次元公式は何か？
• RQ5 群 $\mathsf{S}_n$ の反射表現に関連する準分割代数は、テンソル積の重複度および既約モジュールの次元とどのように関係するか？

主な発見

• 中心化代数 $\mathsf{Z}_k(n)$ の各既約モジュールの次元は、第二種スターリング数を含む公式により与えられ、閉形式の表現が得られる。
• これらの次元は、シュール＝ウェイル双対性により保証されるように、対応する $\mathsf{S}_n$-既約モジュールが $\mathsf{M}_n^{\otimes k}$ に現れる重複度に正確に一致する。
• 次元公式は、$\mathsf{P}_k(n) \to \mathsf{Z}_k(n)$ が同型となる古典的な範囲 $n \geq 2k$ を超えて、すべての $n \geq 1$ および $k \geq 0$ に対して成り立つ。
• 有限群の中心化代数に対する一般化されたフロベニウスの随伴性により、交代群 $\mathsf{A}_n$ および準分割代数に対しても同様の結果が得られる。
• 交代群 $\mathsf{A}_n$ が $\mathsf{M}_n^{\otimes k}$ に作用する場合の中心化代数に対しても、その既約モジュールの次元公式が、同一の枠組みから導出可能である。
• 群 $\mathsf{S}_n$ の反射表現に関連する準分割代数に対しても、同じ組合せ論的および双対性の技法を用いて、その既約モジュールの次元公式が成立する。