关于齐次对称多项式与初等对称多项式展开系数对称性的证明问询

嗨，这个问题我刚好之前研究过，其实可以从对称函数的对偶性或者代数几何中的相交形式对称性这两个角度来理解，下面给你梳理具体的证明思路和依据：

首先明确核心概念的本质 #

先把题目里的定义对应到标准对称函数的术语上：

• 题目中的$f_J$是由单项式$x_1^{j_1}x_2{j_2}...x_r^{j_r}$生成的对称多项式，也就是单项式对称函数$m_\lambda$（其中$\lambda=(j_1,j_2,...,j_r)$是度数为$L$的划分）
• $S_{\lambda}^{\mu}$（$\mu=(i_1,...,i_s)$是另一划分）就是把$m_\lambda$展开为初等对称多项式乘积$e_{\mu_1}e_{\mu_2}...e_{\mu_s}$的线性组合时的系数

题目要证明的是：$S_{\lambda}^{\mu} = S_{\mu}^{\lambda}$，也就是$m_\lambda$中$e_\mu$的系数等于$m_\mu$中$e_\lambda$的系数。

代数角度：对称函数环的对偶配对 #

对称函数环$\Lambda$上存在一个标准的对称双线性配对$\langle \cdot, \cdot \rangle$，满足以下关键性质：

1. 对于任意两个对称函数$f,g$，$\langle f,g \rangle = \langle g,f \rangle$（配对是对称的）
2. 单项式对称函数基${m_\lambda}$和初等对称多项式的单项式基${e_\mu}$是对偶基，即$\langle m_\lambda, e_\mu \rangle = \delta_{\lambda\mu}$（当$\lambda=\mu$时为1，否则为0）

现在利用这个配对来推导系数对称性：

• 我们可以把$m_\lambda$展开为$e_\mu$的线性组合：$m_\lambda = \sum_\mu S_{\lambda}^{\mu} e_\mu$
• 对两边同时取与$m_\mu$的配对：$\langle m_\lambda, m_\mu \rangle = \sum_\nu S_{\lambda}^{\nu} \langle e_\nu, m_\mu \rangle$
• 根据对偶基的性质，右边只有当$\nu=\mu$时项不为0，所以$\langle m_\lambda, m_\mu \rangle = S_{\lambda}^{\mu}$
• 同理，$\langle m_\mu, m_\lambda \rangle = S_{\mu}^{\lambda}$
• 因为配对是对称的，$\langle m_\lambda, m_\mu \rangle = \langle m_\mu, m_\lambda \rangle$，所以直接得到$S_{\lambda}^{\mu} = S_{\mu}^{\lambda}$

拓扑/代数几何角度：相交数的对称性 #

Hirzebruch的这本书是围绕复流形的拓扑与黎曼-Roch定理展开的，这里的对称多项式其实对应着向量丛的陈类或者托德类的单项式：

• $S_{\lambda}^{\mu}$本质上对应着两个特征类在流形上的相交数
• 而拓扑中的Poincaré对偶性告诉我们，相交数是对称的：对于任意两个特征类$c_\lambda$和$c_\mu$，它们的相交数$\langle c_\lambda, c_\mu \rangle = \langle c_\mu, c_\lambda \rangle$
• 这种对称性直接反映到多项式展开的系数上，就得到了题目中的等式

参考资料 #

如果想找更严谨的代数证明，可以看Macdonald的经典著作《Symmetric Functions and Hall Polynomials》，书中详细讨论了对称函数各种基之间的转换系数，以及对偶配对的性质，这个结论是其中对偶性的直接推论。

备注：内容来源于stack exchange，提问作者Yuval