[论文解读] Noncommutative symmetric functions

Israel M. Gelfand, Daniel Krob+4 more|ArXiv.org|Jul 20, 1994

Algebraic structures and combinatorial models参考文献 24被引用 160

一句话总结

本文通过在自由结合代数上定义非交换初等、完全和幂和对称函数的非交换类比，提出了一套非交换对称函数的完整理论。该理论建立了与准行列式、下降代数和有理幂级数的联系，证明了带状舒尔函数构成一个多项式基，并通过自动机理论和霍普夫代数方法，表明非交换类比的经典恒等式（如卡莱-哈密顿定理和帕德近似）成立。

ABSTRACT

This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables. This allows us to endow the resulting algebra with a Hopf structure, which leads to a new method for computing in descent algebras. It also gives unified reinterpretation of a number of classical constructions. Next, we study the noncommutative analogs of symmetric polynomials. One arrives at different constructions, according to the particular kind of application under consideration. For example, when a polynomial with noncommutative coefficients in one central variable is decomposed as a product of linear factors, the roots of these factors differ from those of the expanded polynomial. Thus, according to whether one is interested in the construction of a polynomial with given roots or in the expansion of a product of linear factors, one has to consider two distinct specializations of the formal symmetric functions. A third type appears when one looks for a noncommutative generalization of applications related to the notion of characteristic polynomial of a matrix. This construction can be applied, for instance, to the noncommutative matrices formed by the generators of the universal enveloping algebra $U(gl_n)$ or of

研究动机与目标

• 通过在非交换生成元的自由结合代数中重新解释对称函数，发展经典对称函数理论的非交换类比。
• 利用下降代数作为特征标环的非交换类比，建立对称函数与表示理论之间非交换版本的基本关系。
• 通过准行列式和有理幂级数，将经典恒等式（如行列式关系、欧拉多项式及卡莱-哈密顿定理）推广到非交换设置。
• 通过舒茨贝格定理，将非交换对称函数与自动机理论及有理级数联系起来，表明在此背景下可识别级数与有理级数一致。
• 通过非交换对称函数的霍普夫代数结构，为李幂等元、欧拉幂等元和连续的巴克尔-坎贝尔-豪斯多夫公式提供统一框架。

提出的方法

• 将非交换初等、完全和幂和对称函数定义为自由结合代数 $\mathbf{Sym} = K\langle \Lambda_1, \Lambda_2, \ldots \rangle$ 中的元素，按权重而非次数进行分次。
• 通过准行列式构造非交换舒尔函数的类比——带状舒尔函数，并证明它们构成 $\mathbf{Sym}$ 的多项式基。
• 利用非交换对称函数经典恒等式的类比，建立不同基（如 $S$、$\Lambda$、$\Psi$、$\Phi$、$R$）之间的过渡矩阵。
• 在 $\mathbf{Sym}$ 上构造霍普夫代数结构，使得内积同构于所罗门下降代数 $\Sigma_n$ 中的乘积。
• 使用自动机模型表示有理非交换幂级数，其中 $K$-自动机在字母表 $A$ 上的行为产生可识别级数。
• 应用舒茨贝格定理，将有理级数与可识别级数等同，并通过标记有向图中的路径计数实现矩阵的星运算，从而导出非交换卡莱-哈密顿定理。

实验结果

研究问题

• RQ1 如何将经典对称函数理论推广到生成元不交换的非交换设置？
• RQ2 舒尔函数基的非交换类比是什么？其中哪些函数在生成元中仍为多项式？
• RQ3 非交换基之间（如 $S$ 与 $R$）的过渡矩阵如何推广经典恒等式（如雅可比-特鲁迪公式）？
• RQ4 非交换对称函数如何与对称群群代数中的下降代数及李幂等元相关联？
• RQ5 有理非交换幂级数能否通过自动机表征？这如何导致非交换卡莱-哈密顿定理的建立？

主要发现

• 带状舒尔函数（以带状形状为指标）构成非交换对称函数代数 $\mathbf{Sym}$ 的线性基，且是唯一在 $\Lambda_k$ 生成元中为多项式的准舒尔函数。
• $\mathbf{Sym}$ 上的内积（由霍普夫代数结构诱导）对应于所罗门下降代数 $\Sigma_n$ 中的乘积，从而建立了表示的克罗内克积的非交换类比。
• 当行列式被替换为准行列式时，非交换类比的经典恒等式（如雅可比-特鲁迪公式及其对偶）依然成立。
• 非交换欧拉多项式与三角函数自然地从该理论中出现，且 $\Sigma_n$ 中的欧拉幂等元在非交换对称函数中具有简洁的解释。
• 通用 $n \times n$ 矩阵 $A = (a_{ij})$ 的星运算由标记自动机上的路径和公式给出，从而通过 $A^* = I + A A^*$ 得到非交换卡莱-哈密顿定理。
• 在 $K\langle\langle A\rangle\rangle$ 中，有理非交换幂级数等价于可识别级数，根据舒茨贝格定理，$K$-自动机的行为计算出图中路径上的形式和，从而得到 $A^*$ 的各项。