[论文解读] Plethysm and the algebra of uniform block permutations

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

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文通过表格模型构建不可约表示并建立到对称函数的弗罗贝尼乌斯特征映射，发展了均匀块置换代数（亦称派对代数）的表示理论，该代数是分划代数的子代数。关键贡献在于将该代数的特征与施瓦茨函数的plethysm联系起来，具体表明：不可约表示限制到对称群后，其特征由plethystic复合 $ 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$ 上类函数到多重字母表对称函数 $k$ 重张量积的弗罗贝尼乌斯特征映射。
• 建立 $\mathcal{U}_k$ 特征与施瓦茨函数plethystic积之间的精确联系。
• 计算 $\mathcal{U}_k$-表示限制到对称群 $\mathfrak{S}_k$ 的分解矩阵，揭示其系数与plethystic展开相关。

提出的方法

• 使用有限反演单群的一般理论，包括克莱夫福德定理、曼定理与波尼佐夫斯基定理，分析 $\mathcal{U}_k$ 的结构。
• 识别极大子群、$\mathscr{J}$-类与 $\mathscr{L}$-类，通过施图茨贝格表示构造不可约表示。
• 引入弗罗贝尼乌斯特征映射 $\phi_{\mathcal{U}_k}$，将 $\mathcal{U}_k$ 上的类函数映射到对称函数的 $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$ 的表示关联，其条目由涉及plethystic复合的内积给出。

实验结果

研究问题

• 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 施瓦茨函数的plethysm如何自然地出现在 $\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]$ 的plethystic积。
• 不可约 $\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$ 的重数。
• 关联 $\mathcal{U}_k$-表示与 $\mathfrak{S}_k$-表示的分解矩阵 $U_k$ 为上单位三角矩阵，其条目对应于plethystic积在施瓦茨函数展开中的系数。
• 对于 $k=2,3,4$，显式计算了矩阵 $U_k$，表明条目可大于 1（例如 $U_{(\varnothing,(1),(1)),((3),(1))} = 2$），表明存在非平凡的plethystic重数。
• 矩阵 $U_k$ 为上单位三角矩阵，满足 $U_{\vec{\lambda},\vec{\lambda}} = 1$，且当 $\vec{\nu}$ 在细化的优超序下类型小于 $\vec{\lambda}$ 时，$U_{\vec{\lambda},\vec{\nu}} = 0$，从而确认其三角结构。