[論文レビュー] 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

ひとこと要約

この論文は、作用素代数におけるYang-Baxter方程式の指数型解を用いて、Grothendieck多項式の新しい代数的枠組みを確立する。特に、nilCoxeter代数と射影子を用い、0-1行列に基づく組合せ的モデルを導入し、一般化されたCauchy恒等式および主スペーシャライゼーション公式を証明する。また、対称関数の双対性を用いて、安定Grothendieck多項式の新たな解釈を提供する。

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.

研究の動機と目的

• Yang-Baxter方程式の指数型解に基づくGrothendieck多項式の新しい理論の構築。
• 可積分系、対称関数、およびSchubert/Grothendieck多項式との間の関係の確立。
• 0-1行列とCoxeter移動を用いたGrothendieck多項式の組合せ的解釈の提供。
• 古典的恒等式（Cauchy恒等式および主スペーシャライゼーション）をGrothendieck設定に一般化すること。
• 置換の非削減分解がGrothendieck多項式の構造に果たす役割の探求。

提案手法

• Yang-Baxter方程式および色付きブレード関係を満たす結合的代数における演算子 $ h_i(x) = \exp(xe_i) $ を構成する。
• 特に $ d=0 $ および $ d\neq 0 $ の場合に、nilCoxeter代数と射影子を用いて代数的関係の主要な実現を提供する。
• 置換の表現およびGrothendieck多項式の組合せ的定義を可能にする0-1行列モデルを導入する。
• Coxeter移動（ブレード関係）を0-1行列上での操作として用い、多項式恒等式を生成する。
• 非可換積および $ \oplus $, $ \ominus $ 演算を用いて、多項式乗算およびスペーシャライゼーションを表現する。
• 帰納法および演算子計算を用いて恒等式を導出し、生成関数のための $ f = \sum i e_i $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Yang-Baxter方程式を介して、Schur多項式およびGrothendieck多項式に対応する可積分モデルは何か？
• RQ2 0-1行列とCoxeter移動を用いて、Grothendieck多項式をどのように組合せ的に構成できるか？
• RQ3 Grothendieck多項式の設定におけるCauchy恒等式および主スペーシャライゼーション公式の類似は何か？
• RQ4 Yang-Baxter方程式の指数型解は、演算子値係数をもつ対称関数の構造とどのように関係するか？
• RQ5 非削減分解は、Grothendieck多項式の構成において果たす役割は何か？

主な発見

• Yang-Baxter方程式と繰り返し交換子恒等式の同値性が証明された：すべての $ n $ に対して $ [e_1, [e_1, \dots, [e_1, e_2]\dots]] = [e_2, [e_2, \dots, [e_2, e_1]\dots]] $。
• Grothendieck多項式のCauchy恒等式が確立された：$ \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 $ である。
• 安定Grothendieck多項式 $ \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行列とCoxeter移動を用いたGrothendieck多項式の新しい組合せ的規則が提案され、Stanleyの対称関数の拡張となっている。