[论文解读] 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

一句话总结

本文利用第二类斯特林数，为对称群 $\mathsf{S}_n$ 的作用在 $\mathsf{M}_n^{\otimes k}$ 上的中心化代数 $Η_k(n) = \operatorname{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ 的不可约模建立了维数公式，表明这些维数等于不可约对称群模在 $\mathsf{M}_n$ 的 $k$ 重张量幂中的重数。该结果对所有 $n \geq 1$ 和 $k \geq 0$ 成立，并通过类 Frobenius 反演的推广，推广至交错群的中心化代数和拟分划代数。

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$ 的排列模 $\mathsf{M}_n$ 的 $k$ 重张量幂上的中心化代数 $\mathsf{Z}_k(n)$ 的不可约模的维数公式。
• 建立这些维数与不可约 $\mathsf{S}_n$-模在 $\mathsf{M}_n^{\otimes k}$ 中的重数之间的关系，依据 Schur-Weyl 对偶性。
• 通过有限群中心化代数的广义 Frobenius 反演，将结果推广至交错群和拟分划代数。
• 为所有 $n \geq 1$ 和 $k \geq 0$ 提供一个统一的框架，不局限于经典的 $n \geq 2k$ 条件。

提出的方法

• 利用分划代数 $\mathsf{P}_k(n)$ 与对称群 $\mathsf{S}_n$ 在 $\mathsf{M}_n^{\otimes k}$ 上的 Schur-Weyl 对偶性，建立映射 $\mathsf{P}_k(n) \twoheadrightarrow \mathsf{Z}_k(n)$。
• 应用有限群及其子群作用在有限维模上的中心化代数的广义 Frobenius 反演，实现不同群作用下的模分解。
• 使用第二类斯特林数表达不可约 $\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{S}_n$-模在 $\mathsf{M}_n^{\otimes k}$ 中的重数与不可约 $\mathsf{Z}_k(n)$-模的维数之间有何关系？
• RQ3 Frobenius 反演原理能否推广至任意有限群及其子群的中心化代数？
• RQ4 交错群 $\mathsf{A}_n$ 作用在 $\mathsf{M}_n^{\otimes k}$ 上的中心化代数，其不可约模的维数公式是什么？
• RQ5 与 $\mathsf{S}_n$ 的反射表示相关的拟分划代数，如何与张量幂的重数及不可约模维数相关联？

主要发现

• 每个中心化代数 $\mathsf{Z}_k(n)$ 的不可约模的维数由涉及第二类斯特林数的公式给出，提供了一个闭式表达式。
• 这些维数精确等于对应不可约 $\mathsf{S}_n$-模在 $k$ 重张量幂 $\mathsf{M}_n^{\otimes k}$ 中的重数，由 Schur-Weyl 对偶性保证。
• 维数公式对所有 $n \geq 1$ 和 $k \geq 0$ 成立，超越了经典范围 $n \geq 2k$（此时 $\mathsf{P}_k(n) \to \mathsf{Z}_k(n)$ 是同构）。
• 有限群中心化代数的广义 Frobenius 反演使我们能够推导出交错群 $\mathsf{A}_n$ 和拟分划代数的类似结果。
• 作用在 $\mathsf{M}_n^{\otimes k}$ 上的交错群 $\mathsf{A}_n$ 的中心化代数，其不可约模的维数公式可通过同一框架导出。
• 与 $\mathsf{S}_n$ 的反射表示相关的拟分划代数，其不可约模的维数公式也成立，使用相同的组合与对偶技术。