[論文レビュー] On Double Schubert and Grothendieck polynomials for Classical Groups

A. N. Kirillov|arXiv (Cornell University)|Apr 7, 2015

Advanced Combinatorial Mathematics参考文献 19被引用数 4

ひとこと要約

本稿は、量子ヤン・バクスター方程式の解から導かれる転送行列を用いて、古典的リーリー群の型A、B、C、Dにおける二重シューベルト多項式およびグロチエンディーク多項式を構成する、新しい代数的・組合的枠組みを提示する。主な貢献は、一貫性、消滅、正規化条件を満たす三重β-グロチエンディーク多項式 𝔾_w^W(X,Y,Z) の定義であり、Id_βCoxeter(W) における因数分解可能な生成関数を備えることで、組合的パイプドリーム記述が可能になる。

ABSTRACT

We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types. The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.

研究の動機と目的

• 古典的リーリー群の型A、B、C、Dにおける二重シューベルト多項式およびグロチエンディーク多項式の代数的・組合的構成法を開発すること。
• 一貫性および一般化された消滅条件を満たす三重β-グロチエンディーク多項式 𝔾_w^W(X,Y,Z) の定義とその研究を行うこと。
• Id_βCoxeter(W) 代数における因数分解可能な生成関数を確立し、W型パイプドリームによる組合的記述を可能にすること。
• 古典的型におけるシューベルト多項式の安定性および一貫性の性質を、グロチエンディーク設定へと拡張すること。
• 量子可積分系からの転送行列を用いて、古典的型にわたる一貫性のある構成を統一すること。

提案手法

• 古典的型のNiCoxeterおよびIdCoxeter代数における量子ヤン・バクスターベルの指数的解を用いて生成関数を構成する。
• シューベルト多項式およびグロチエンディーク多項式の構造を符号化する、量子R行列に対応する転送行列を導入する。
• 三重β-グロチエンディーク多項式 𝔾_w^W(X,Y,Z) を、因数分解可能な生成関数を持つId_βCoxeter(W)代数の元として定義する。
• 多項式の一致性条件を満たすために、デマズール作用素 ∂_α^(x) および ∂_α^(y) を適用する。
• Weyl群 W の反射表現を用いて、v ∈ W が変数 X_n に与える作用を定義する。
• W(D_n) → W(D_{n+1}) の埋め込みを用い、変数の切断に関して多項式が整合的であることを示すことで、安定性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、代数的構造を用いて、すべての古典的リーマン型における二重シューベルト多項式およびグロチエンディーク多項式を体系的に構成できるか？
• RQ2 グロチエンディーク設定におけるこれらの多項式の一貫性および消滅条件を支える代数的枠組みは何か？
• RQ3 多項式の生成関数が非可換代数において因数分解可能であるか？ そしてそれは組合的意味をどのように示唆するか？
• RQ4 新しい三重β-グロチエンディーク多項式は、型B、C、Dにおける古典的二重シューベルト多項式をどのように一般化するか？
• RQ5 量子R行列および転送行列は、これらの等変多項式を構成する際に果たす役割は何か？

主な発見

• 三重β-グロチエンディーク多項式 𝔾_w^W(X,Y,Z) の生成関数は、Id_βCoxeter(W) 代数において因数分解可能であり、構成の中心的役割を果たす。
• 多項式 𝔾_w^W(X,Y,Z) は一貫性条件を満たす：l(ws_α) = l(w)+1 ならば ∂_α^(x)𝔾_w^W = 𝔾_{ws_α}^W、さもなければ 0 である。
• 一般化された消滅条件を満たす：v ≤ w であるBruhat順序でなければ、𝔾_w^W(X, -v(X)) = 0 である。
• 恒等元に対する正規化条件 𝔾_id^W(X,Y,Z) = 1 が成り立つ。
• 代数的因数分解のおかげで、𝔾_w^W(X,Y,Z) はW型パイプドリームによる組合的記述が可能になる。
• 安定性の性質が成り立つ：w ∈ W(D_n) に対して、x_{n+1}=0, y_{n+1}=0 の下で 𝔾_w^{D_{n+1}}(X_{n+1},Y_{n+1}) = 𝔾_w^{D_n}(X_n,Y_n) が成り立つ。