[论文解读] Yang-Baxter equation, symmetric functions and Grothendieck polynomials

Sergey Fomin, Anatol N. Kirillov|ArXiv.org|Jun 1, 1993

Algebraic structures and combinatorial models参考文献 14被引用 20

一句话总结

本文通过约旦代数中的杨-巴克斯方程的指数解，特别是尼尔-科亨特代数和投影算子，建立了一套新的格罗滕迪克多项式代数框架。它引入了一个基于0-1-矩阵的组合模型，证明了广义的柯西恒等式和主特殊化公式，并通过对称函数对偶性为稳定格罗滕迪克多项式提供了新解释。

ABSTRACT

New development of the theory of Grothendieck polynomials, based on an exponential solution of the Yang-Baxter equation in the algebra of projectors are given.

研究动机与目标

• 基于杨-巴克斯方程的指数解，发展格罗滕迪克多项式的全新理论。
• 建立可积系统、对称函数与施伯特/格罗滕迪克多项式之间的联系。
• 利用0-1-矩阵和科亨特移动，为格罗滕迪克多项式提供组合解释。
• 将经典恒等式（如柯西恒等式与主特殊化公式）推广至格罗滕迪克设定。
• 探讨非约化排列分解在格罗滕迪克多项式结构中的作用。

提出的方法

• 在满足杨-巴克斯方程与彩色辫子关系的结合代数中构造算子 $ h_i(x) = \exp(xe_i) $。
• 使用尼尔-科亨特代数和投影算子作为代数关系的关键实现，尤其针对 $ d=0 $ 和 $ d\neq 0 $ 的情形。
• 引入0-1-矩阵模型以表示排列，并组合定义格罗滕迪克多项式。
• 将科亨特移动（辫子关系）作为0-1-矩阵上的运算，生成多项式恒等式。
• 运用非交换乘积以及 $ \oplus $、$ \ominus $ 运算，表达多项式乘法与特殊化。
• 通过归纳法与算子微积分推导恒等式，包括使用 $ f = \sum i e_i $ 构造生成函数。

实验结果

研究问题

• RQ1 通过杨-巴克斯方程，哪些可积模型对应于施尔与格罗滕迪克多项式？
• RQ2 如何利用0-1-矩阵与科亨特移动，组合地构造格罗滕迪克多项式？
• RQ3 在格罗滕迪克多项式设定中，柯西恒等式与主特殊化公式的类比是什么？
• RQ4 杨-巴克斯方程的指数解如何与具有算子系数的对称函数结构相关联？
• RQ5 非约化分解在格罗滕迪克多项式的构造中起什么作用？

主要发现

• 证明了杨-巴克斯方程与迭代交换子恒等式之间的等价性：对所有 $ n $，有 $ [e_1, [e_1, \dots, [e_1, e_2]\dots]] = [e_2, [e_2, \dots, [e_2, e_1]\dots]] $。
• 建立了格罗滕迪克多项式的柯西恒等式：$ \langle \tilde{\mathcal{G}}(y)\mathcal{G}(x), w_0 \rangle = \prod_{i+j \leq n} (x_i + y_j + d x_i y_j) $。
• 推导出主特殊化公式：$ \mathcal{G}(1,\dots,1) = \exp\left(\frac{\log(1+d)}{d} f\right) $，其中 $ f = \sum i e_i $。
• 稳定格罗滕迪克多项式 $ \mathcal{F}_w $ 表示为对 $ w = u \cdot v $ 的求和：$ \mathcal{F}_w(x_1,\dots,x_{n-1}) = \sum_{w=u\cdot v} \mathcal{G}_u(x) \mathcal{G}_{w_0 v^{-1} w_0}(x_{n-1},\dots,x_2) $。
• 特殊化 $ \mathcal{G}(1,q,\dots,q^{n-2}) $ 由非交换乘积给出：$ \prod_{k=0}^{\infty} \prod_{j=n-1}^{1} h_j\left(\frac{q^k - q^{k+j}}{1 + d q^{k+j}}\right) $。
• 提出了一种基于0-1-矩阵与科亨特移动的新组合规则，用于格罗滕迪克多项式，扩展了斯托内利的对称函数理论。