[论文解读] Proof of Stanley's conjecture about irreducible character values of the symmetric group

Valentin Féray|arXiv (Cornell University)|Dec 4, 2006

Advanced Combinatorial Mathematics被引用 17

一句话总结

本文利用移位舒尔函数和朱奇-墨菲元素，证明了对矩形形状的分拆，斯坦利关于对称群不可约特征标值的猜想。关键结果给出了对称群归一化特征标的组合公式，以着色排列和循环极大值表示，通过将单位重数情形的函数方程约化，将斯坦利早期关于矩形形状的结果推广至任意形状。

ABSTRACT

R. Stanley has found a nice combinatorial formula for characters of irreducible representations of the symmetric group of rectangular shape. Then, he has given a conjectural generalisation for any shape. Here, we will prove this formula using shifted Schur functions and Jucys-Murphy elements.

研究动机与目标

• 证明对任意分拆，对称群不可约特征标值的斯坦利猜想，将其早期关于矩形形状的公式推广。
• 建立以着色排列和循环极大值表示的对称群归一化特征标的通用组合公式。
• 通过参数 $ p $ 和 $ q $ 的函数方程，将一般情形约化为所有 $ p_i = 1 $ 的情形。
• 利用表示论工具——特别是移位舒尔函数和朱奇-墨菲元素——推导并验证特征标公式。

提出的方法

• 通过不可约表示的特征标值与维数之比，定义归一化特征标 $ \widehat{\chi}_{\lambda}(\mu) $。
• 应用移位舒尔函数理论及 $ S(k) $ 的群代数中朱奇-墨菲元素的作用，将对称函数表示为循环结构的函数。
• 利用杨正交基和群代数中的正交关系，计算群代数元素的迹。
• 利用猜想恒等式两边所满足的函数方程，将猜想的一般情形约化为 $ p_1 = \cdots = p_m = 1 $ 的情形。
• 使用稳定子子群和特征函数 $ \delta_{\mathbf{i}} $ 编码群作用下的不变性，实现对着色排列轨道的求和。
• 将特征标表达式转化为对所有着色排列 $ (\sigma, \varphi) \in S(k)^{(m)} $ 的求和，其中权重由 $ \sigma\mu $ 的循环极大值及 $ \sigma $ 和 $ \sigma\mu $ 的循环上乘积决定。

实验结果

研究问题

• RQ1 斯坦利关于对称群归一化特征标值的猜想公式是否对所有分拆（而不仅矩形形状）成立？
• RQ2 能否通过参数的函数方程，将猜想的一般情形约化为所有 $ p_i = 1 $ 的情形？
• RQ3 特征标值是否具有以着色排列和循环极大值表示的组合解释？
• RQ4 移位舒尔函数和朱奇-墨菲元素能否用于推导所有分拆下归一化特征标的统一公式？
• RQ5 稳定子子群和轨道分解在特征标公式中对着色排列求和过程中起到何种作用？

主要发现

• 本文证明了对所有形如 $ \mathbf{p} \times \mathbf{q} $ 的分拆，其中 $ \mathbf{p} $ 和 $ \mathbf{q} $ 为正整数序列且 $ \mathbf{q} $ 非增，斯坦利猜想成立。
• 归一化特征标 $ \widehat{\chi}_{\mathbf{p} \times \mathbf{q}}(\mu) $ 表示为对所有着色排列 $ (\sigma, \varphi) \in S(k)^{(m)} $ 的带符号和，权重取决于 $ \sigma\mu $ 的循环极大值及 $ \sigma $ 的循环上乘积。
• 该公式可进一步简化为对所有序列 $ \mathbf{j} \in \{1,\ldots,m\}^k $ 的求和，其中 $ \sigma \in S(k) $ 且 $ \mathbf{j} $ 被 $ \mu\sigma^{-1} $ 固定，权重为 $ \prod_{c \in C(\sigma)} -q_{\max_c \mathbf{j}} $。
• 证明依赖于猜想两边在合并相邻 $ p_i $ 时所满足的函数方程，从而可将问题约化为所有 $ p_i = 1 $ 的情形。
• 在 $ p_1 = \cdots = p_m = 1 $ 的简化情形下，公式与通过着色排列和循环极大值推导出的表达式一致，从而证实了猜想。
• 该结果揭示了对称群表示论、对称函数与着色排列组合之间通过朱奇-墨菲元素和移位舒尔函数建立的深刻联系。