[论文解读] Noncommutative Analogs of Monomial Symmetric Functions, Cauchy Identity, and Hall Scalar Product

Lenny Tevlin|ArXiv.org|Dec 13, 2007

Advanced Combinatorial Mathematics参考文献 8被引用 5

一句话总结

本文在非交换对称代数 NSym 中引入了单项对称函数和基本非交换对称函数的非交换类比，建立了非交换 Cauchy 恒等式以及类似于 Hall 内积的双线性型。证明了带状 Schur 函数在两个基下均具有非负展开，并表明非交换单项对称函数 $ M^I $ 的交换像等于组合 $ I $ 的所有排列之和，从而恢复了经典单项对称函数。

ABSTRACT

This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand, one can derive a noncommutative Cauchy identity as well as study a noncommutative scalar product implied by Cauchy identity. This scalar product seems be the noncommutative analog of Hall scalar product in the commutative theory.

研究动机与目标

• 在非交换对称函数代数（NSym）中构造单项对称函数和基本对称函数的非交换类比。
• 利用这些新基建立非交换 Cauchy 恒等式。
• 定义并研究一个类似于交换理论中 Hall 内积的非交换双线性型。
• 证明带状 Schur 函数在单项基与基本基下均具有非负展开，并引入非交换 Kostka 数。

提出的方法

• 通过涉及非交换幂和的行列式公式引入非交换单项对称函数 $ M^I $。
• 定义基本非交换对称函数 $ L^I $，并利用组合运算 $ −rhd $ 和 $ \cdot $ 推导其乘法规则。
• 通过将非交换完全对称函数 $ S^I $ 与基本函数 $ L^I $ 配对，建立非交换 Cauchy 恒等式，推广经典 Cauchy 恒等式。
• 通过非交换 Cauchy 恒等式在 NSym 上定义双线性型，证明其行为类似于 Hall 内积。
• 利用 Pieri 型公式与递推关系，证明 $ M^I $ 的交换像等于 $ I $ 的所有排列之和，从而恢复对应于分拆 $ \boldsymbol{\mu} $ 的 $ m_{\boldsymbol{\mu}} $。
• 证明 $ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $，其中求和范围为固定 $ \boldsymbol{\mu} $ 某一部分的排列，从而建立非交换与交换单项对称函数之间的联系。

实验结果

研究问题

• RQ1 能否在 NSym 中定义单项对称函数的非交换类比，使得其交换像恢复经典单项对称函数？
• RQ2 是否存在非交换 Cauchy 恒等式？它与对称函数中经典 Cauchy 恒等式有何关系？
• RQ3 NSym 上是否存在一个类似于交换情形下 Hall 内积的非交换双线性型？
• RQ4 带状 Schur 函数是否在非交换单项基与基本基下均具有非负展开？其系数的组合意义是什么？
• RQ5 非交换 Kostka-Gessel 数（带状 Schur 函数在基本基下展开的系数）能否赋予表示论解释？

主要发现

• 非交换单项对称函数 $ M^I $ 通过涉及非交换幂和的行列式公式定义，其交换像等于组合 $ I $ 的所有排列之和，从而恢复经典单项对称函数 $ m_{\boldsymbol{\mu}} $。
• $ M^I $ 的交换像满足 $ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $，其中求和范围为固定 $ \boldsymbol{\mu} $ 某一部分的排列，从而提供了 $ m_{\boldsymbol{\mu}} $ 的精细分解。
• 非交换 Cauchy 恒等式成立：在非交换设定下 $ \sum_{I} S^I \otimes L^I = \prod_{i<j} (1 - x_i^{-1}x_j)^{-1} $，推广了经典恒等式。
• 通过 Cauchy 恒等式定义的 NSym 上的双线性型满足 $ \langle S^I, L^J \rangle = \delta_{IJ} $，与 Hall 内积类似，且被证明为等距同构。
• 带状 Schur 函数 $ R^I $ 在单项基 $ M^I $ 与基本基 $ L^I $ 下均具有非负展开，其系数称为非交换 Kostka 数。
• 非交换 Kostka-Gessel 数作为展开式 $ R^I = \sum_J K_{IJ} L^J $ 的系数出现，其结构与组合的细化及逆序细化序相关。