[论文解读] Algebras of conjugacy classes in symmetric groups

Yury A. Neretin|arXiv (Cornell University)|Apr 19, 2016

Finite Group Theory Research参考文献 10被引用 3

一句话总结

该论文将Ivanov与Kerov在对称群共轭类代数中发现的结构常数稳定化现象，推广至更广泛的群对 $G \supset K$，聚焦于 $G = S_n \times S_n$ 与 $K = S_n$ 的对角嵌入情形。论文构建了共轭类的无限维代数 $G_\infty // K_\infty$，引入一个滤子，并证明其对应的分次代数在自然乘积下构成一个交换半群代数，且其上存在由交换子导出的相容泊松括号结构。

ABSTRACT

In 1999 V. Ivanov and S. Kerov observed that structure constants of algebras of conjugacy classes of symmetric groups $S_n$ admit a stabilization (in a non-obvious sense) as $n o \infty$. We extend their construction to a class of pairs of groups $G\supset K$ and algebras of conjugacy classes of $G$ with respect to $K$. In our basic example $G$ is a product of symmetric groups, $G=S_n imes S_n$, $K$ is the diagonal subgroup $S_n$.

研究动机与目标

• 将Ivanov与Kerov在对称群共轭类代数中发现的结构常数稳定化现象推广至更广泛的群对 $G \supset K$。
• 研究当 $G_n = S_n \times S_n$ 且 $K_n = S_n$ 以对角方式嵌入时，共轭类代数 $G_n // K_n$ 的无限维极限。
• 在无限积群 $G_\infty = S_\infty \times S_\infty$ 关于对角子群 $K_\infty = S\_\infty$ 的共轭类代数上构造一个滤子，并分析其对应的分次代数。
• 通过 $\coprod_{j=0}^\infty G_j // S_j$ 上的自然乘积，识别出对应分次代数的结构为半群代数，并在该分次代数上定义泊松括号。

提出的方法

• 基于共轭类中部分双射的秩，定义代数 $\mathcal{B}[G_\infty // K_\infty]$ 上的滤子 $\mathcal{B}_k$。
• 构造对应的分次代数 $\mathop{\mathrm{gr}}\nolimits\mathcal{B}[G_\infty // K_\infty] = \bigoplus_{k=0}^\infty \mathcal{B}_k / \mathcal{B}_{k-1}$，其中每个分量由索引为 $G_k // S_k$ 的基元素张成。
• 通过部分双射 $\theta_{n,k}$ 定义分次代数上的乘积 $\diamond$，映射 $({\,{\overline{\overline{g}}\,}}, {\,{\overline{\overline{h}}\,}}) \mapsto \overline{\overline{\theta_{n,k}(g,V_n)\theta_{n,k}^{-1}(h,V_k)}}}$，该乘积对应于棋盘三角剖分曲面的不相交并。
• 通过交换子 $[V,W] = V*W - W*V$ 在分次代数上定义李括号，从而在 $\mathop{\mathrm{gr}}\nolimits\mathcal{B}[G_\infty // K_\infty]$ 上诱导出泊松结构。
• 当 $X = \varnothing$ 时，分次代数为交换代数，泊松括号由秩为1的部分双射 $\lambda$ 的求和给出，其项为 $B[\overline{\overline{g \circledast_\lambda h}}] - B[\overline{\overline{h \circledast_{\lambda^{-1}} g}}]$。
• 建立一个典范同构 $\coprod_{j=0}^\infty G_j // S_j \simeq (G_\infty // K_\infty) \times \mathbb{Z}_+$，将半群结构与无限共轭类空间联系起来。

实验结果

研究问题

• RQ1 对称群共轭类代数中结构常数的稳定化现象能否从 $S_n$ 推广至其他群对 $G \supset K$？
• RQ2 当 $G_\infty = S_\infty \times S_\infty$ 且 $K_\infty = S_\infty$ 时，无限维极限代数 $\mathcal{B}[G_\infty // K_\infty]$ 的结构是什么？
• RQ3 该极限代数的对应分次代数是否具有自然的半群结构？若有，其具体实现方式为何？
• RQ4 能否在对应分次代数上定义泊松括号？其与原始代数中交换子的关系如何？
• RQ5 所得到的代数结构（半群、泊松代数）与以往关于双陪集的研究相比有何异同，特别是在组合对象的识别方面？

主要发现

• 对应分次代数 $\mathop{\mathrm{gr}}\nolimits\mathcal{B}[G_\infty // K_\infty]$ 同构于半群 $\coprod_{j=0}^\infty G_j // S_j$ 的半群代数，其中乘积 $\bullet$ 通过部分双射 $\theta_{n,k}$ 定义。
• 分次代数中的乘积显式表达为 $B[\overline{\overline{g}}]\diamond B[\overline{\overline{h}}] = B[\overline{\overline{\theta_{n,k}(g,V_n)\theta_{n,k}^{-1}(h,V_k)}}]$，在 $G_\infty = S_\infty \times S_\infty$ 的情形下，该表达式对应于棋盘三角剖分曲面的不相交并。
• 当 $X = \varnothing$ 时，分次代数为交换代数，泊松括号由下式给出： $[B[\overline{\overline{g}}], B[\overline{\overline{h}}]]_{\mathrm{gr}} = \sum_{\lambda \in \mathrm{PB}(J_k, J_n), \mathop{\mathrm{rk}}\nolimits\lambda=1} \left( B[\overline{\overline{g \circledast_\lambda h}}] - B[\overline{\overline{h \circledast_{\lambda^{-1}} g}}] \right)$。
• 半群 $\coprod_{j=0}^\infty G_j // S_j$ 的结构通过与 $(G_\infty // K_\infty) \times \mathbb{Z}_+$ 的典范同构，与 $G_\infty // K_\infty$ 同构，从而将有限与无限层次联系起来。
• 该构造将已知的对称群代数中结构常数的稳定化现象推广至更广泛的群对，无限极限代数通过自然滤子与分次结构捕捉了组合数据。
• 分次代数上的泊松括号自然源自原始代数中的交换子，其显式公式仅涉及秩为1的部分双射，凸显了深刻的组合结构。