[论文解读] 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,\lambda) $ 分类其不可约表示，其中 $ x \subset \{1,\dots,n\} $，$ |x|=k $，且 $ \lambda \vdash k $。
• 利用表示的分支法则定义分支图 $ \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 $ 作用下的不变量代数如何描述？
• 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,\lambda) $ 参数化，其中 $ x \subset \{1,\dots,n\} $，$ |x|=k $，且 $ \lambda \vdash k $，其满足基于杨图的分支法则。
• $ \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 的多项式，从而以新证明方式确认了已知结果。