On the Kronecker product \(s_{(n-p,p)}*s_\lambda\) (Q2571270): Difference between revisions

Let \(\lambda=(\lambda_1,\dots ,\lambda_l)\) be a partition of \(n\). Then irreducible characters of \(S_n\) are indexed by partitions of \(n\). The Kronecker product \(\chi^\lambda \chi^\mu\) is defined by \(\chi^\lambda \chi^\mu(w)=\chi^\lambda(w)\chi^\mu(w)\) for all \(w\in S_n\). We have \[ \chi^\lambda \chi^\mu=\sum_\nu g_{\lambda,\mu,\nu}\chi^\nu, \] where \(g_{\lambda,\mu,\nu}\) is the multiplicity of \(\chi^\nu,\) in \(\chi^\lambda \chi^\mu\). The space of homogeneous symmetric functions of degree \(n\) is denoted by \(\Lambda_n\). For a positive integer \(r\), let \(p_r=x_1^r+x_2^r+\dots \). Then \(p_\mu=p_{\mu_1}\dots p_{\mu_l}\) is the power symmetric function corresponding to the partition \(\mu\) of \(n\). If \(CS_n\) denotes the space of class functions of \(S_n\), then the Frobenius map \(F:CS_n\to \Lambda_n\) is defined by \[ F(\sigma)=\sum_\mu z_\mu^{-1}\sigma(\mu)p_\mu, \] where \(z_\mu=1^{m_1}m_1!\dots n^{m_n}m_n!\), if \(\mu=(1^{m_1},\dots ,n^{m_n})\) and \(\sigma(\mu)=\sigma(\omega)\) for an \(\omega\in S_n\) of cycle type \(\mu\). If \(\chi^\lambda\) is an irreducible character of \(S_n\), then \(F(\chi^\lambda)=s_\lambda\) is the Schur function. This paper gives an algorithm for expanding the Kronecker product \(s_{(n-p,p)}*s_\lambda\) if \(\lambda_2-\lambda_1\geq 2p\), and obtains a formula for \(g_{\lambda,\mu,\nu}\) in terms of the Littlewood-Richardson coefficients.