[论文解读] On Double Schubert and Grothendieck polynomials for Classical Groups

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

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

一句话总结

本文提出了一种新颖的代数-组合框架，通过来自NiCoxeter和IdCoxeter代数中量子杨-巴克斯方程的解所导出的转移矩阵，为典型李群类型A、B、C和D构造了双Schubert多项式与Grothendieck多项式。关键贡献在于定义了满足一致性、消去与归一化条件的三重β-Grothendieck多项式 𝔾_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型经典李群发展双Schubert多项式与Grothendieck多项式的代数-组合构造方法。
• 定义并研究满足一致性和广义消去条件的三重β-Grothendieck多项式 𝔾_w^W(X,Y,Z)。
• 在Id_βCoxeter(W)代数中建立可因式分解的生成函数，从而通过W型管道梦境实现组合描述。
• 将Schubert多项式在稳定性与一致性方面的性质推广至经典类型下的Grothendieck情形。
• 利用来自量子可积系统中的转移矩阵，统一各类经典类型的构造。

提出的方法

• 在经典类型的NiCoxeter和IdCoxeter代数中，利用量子杨-巴克斯方程的指数解构造生成函数。
• 引入对应于量子R-矩阵的转移矩阵，以编码Schubert与Grothendieck多项式的结构。
• 将三重β-Grothendieck多项式 𝔾_w^W(X,Y,Z) 定义为Id_βCoxeter(W)代数中的元素，并具有可因式分解的生成函数。
• 应用Demazure算子 ∂_α^(x) 与 ∂_α^(y) 以强制多项式满足一致性条件。
• 利用Weyl群W的反射表示，定义v ∈ W对变量X_n的作用。
• 通过嵌入W(D_n) → W(D_{n+1})建立稳定性，并证明多项式在变量截断下保持兼容性。

实验结果

研究问题

• RQ1 如何利用代数结构系统地构造所有经典李类型下的双Schubert与Grothendieck多项式？
• RQ2 何种代数框架能够支持Grothendieck情形下这些多项式的统一性与消去条件？
• RQ3 这些多项式的生成函数是否可在非交换代数中实现因式分解？这在组合上意味着什么？
• RQ4 新定义的三重β-Grothendieck多项式在B、C和D型中如何推广经典双Schubert多项式？
• RQ5 量子R-矩阵与转移矩阵在构造这些等变多项式中起何种作用？

主要发现

• 三重β-Grothendieck多项式 𝔾_w^W(X,Y,Z) 的生成函数在Id_βCoxeter(W)代数中可因式分解，这是构造的核心。
• 多项式 𝔾_w^W(X,Y,Z) 满足一致性条件：若 l(ws_α) = l(w)+1，则 ∂_α^(x)𝔾_w^W = 𝔾_{ws_α}^W，否则为0。
• 它们满足广义消去条件：𝔾_w^W(X, -v(X)) = 0，当且仅当在Bruhat序中 v ≤ w。
• 归一化条件 𝔾_id^W(X,Y,Z) = 1 对恒等元成立。
• 由于代数的因式分解，多项式 𝔾_w^W(X,Y,Z) 可通过W型管道梦境实现组合描述。
• 稳定性性质成立：对于 w ∈ W(D_n)，有 𝔾_w^{D_{n+1}}(X_{n+1},Y_{n+1}) = 𝔾_w^{D_n}(X_n,Y_n)，当 x_{n+1}=0, y_{n+1}=0 时。