[论文解读] Combinatorial $B_n$-analogues of Schubert polynomials

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

Advanced Combinatorial MathematicsMathematics参考文献 2被引用 21

一句话总结

本文引入了对称群（$A_n$）到超octahedral群（$B_n$）的Schubert多项式组合类比，记为$\goth B^{(n)}_w$，利用超octahedral群的nilCoxeter代数中$B_n$-Yang-Baxter方程的指数解。这些多项式具有非负系数，满足除特殊生成元$s_0$外的差分算子递推关系，并可通过$B_n$-辫子和约化分解进行直接组合解释。关键贡献在于构造对称函数$H_w$作为$\goth B^{(n)}_w$的极限，其推广了Schur $P$-函数，并证明$H_w$是非负整数系数的Schur $P$-函数的线性组合。

ABSTRACT

Combinatorial $B_n$-analogues of Schubert polynomials and corresponding symmetric functions are constructed from an exponential solution of the $B_n$-Yang-Baxter equation that involves the nilCoxeter algebra of the hyperoctahedral group.

研究动机与目标

• 将Schubert多项式的代数与组合框架从对称群（$A_n$）推广至超octahedral群（$B_n$）。
• 利用超octahedral群的nilCoxeter代数中$B_n$-Yang-Baxter方程的指数解，构造$B_n$-Schubert多项式的类比。
• 建立这些多项式在$B_n$-辫子与约化分解意义上的组合解释。
• 将对称函数$H_w$定义为$\goth B^{(n)}_w$的极限，推广Schur $P$-函数。
• 证明$H_w$是非负整数系数的Schur $P$-函数的线性组合，且斜Schur $P$-函数是$H_w$的特例。

提出的方法

• 构造使用包含形式变量和结合代数中元素$h_i(x)$的$B_n$-Yang-Baxter方程的指数解。
• 通过半条带中带底镜的直线构型来建模$B_n$-辫子，其中交点与反射点被赋予层级编号并关联变量。
• 由$h_i(z)$因子构成的关联表达式$\Phi(\mathcal{C})$，其变量取决于线段斜率与反射点。
• Yang-Baxter方程对$h_i(x)$的代数关系施加一致性条件，确保辫子移动下的不变性。
• 通过nilCoxeter代数定义多项式$\goth B^{(n)}_w$，其中$n^2$个因子与最长元素$w_0$的标准约化解中的条目一一对应。
• 对称函数$H_w$被定义为$\goth B^{(n)}_w$在$n \to \infty$时的极限，其中$H_w$是通过变量零填充后$\goth B^{(n)}_w$的稳定极限。

实验结果

研究问题

• RQ1 如何利用代数结构将Schubert多项式从对称群$A_n$推广至超octahedral群$B_n$？
• RQ2 哪些组合对象（如辫子、分解）与$B_n$-Schubert多项式的类比相对应？
• RQ3 如何理解$B_n$-Schubert多项式与对称函数（特别是Schur $P$-函数）之间的关系？
• RQ4 对称函数$H_w$能否作为$\goth B^{(n)}_w$的极限获得，其系数的稳定性如何？
• RQ5 哪些$W^{(n)}$中的元素$w$满足$H_w = P_\sigma$，即对应于偏移形状$\sigma$的斜Schur $P$-函数？

主要发现

• 通过$B_n$-辫子的组合解释，证明了$B_n$-Schubert多项式$\goth B^{(n)}_w$具有非负整数系数。
• 这些多项式满足差分算子递推关系，但对特殊生成元$s_0$存在例外情况。
• 在nilCoxeter代数中的定义表达式包含$n^2$个因子，与最长元素$w_0$的标准约化解条目之间存在自然双射。
• 对称函数$H_w$被定义为极限$\lim_{N\to\infty} \goth B^{(n+N)}(0^N, x_1, \dots, x_n)$，且当$N \geq n-1$时该极限稳定。
• $H_w$是非负整数系数的Schur $P$-函数的线性组合，当$w = w_\sigma$对应于斜偏移形状$\sigma$时，斜Schur $P$-函数成为$H_w$的特例。
• 满足$H_w = P_\sigma$的$w$的集合，对应于避免模式$321$、$\overline{3}21$、$32\overline{1}$、$\overline{3}2\overline{1}$、$1\overline{2}$与$\overline{1}\overline{2}$的元素。