[论文解读] Non-symmetric Macdonald polynomials and Demazure-Lusztig operators

Per Alexandersson|arXiv (Cornell University)|Feb 16, 2016

Advanced Combinatorial Mathematics参考文献 11被引用 21

一句话总结

本文引入了排列基座麦克斯韦多项式作为非对称麦克斯韦多项式的推广，证明其满足三角性，并在戴穆尔-路斯蒂格算子下表现良好。关键贡献是提出一个统一公式，将对称麦克斯韦多项式表示为这些多项式的正系数和，该公式推广了已知的霍尔-利特尔伍德多项式与戴穆尔原子的展开，且在 q=0 时显现出关键多项式与原子的 t-变形。

ABSTRACT

We extend the family non-symmetric Macdonald polynomials and define general-basement Macdonald polynomials. We show that these also satisfy a triangularity property with respect to the monomials bases and behave well under the Demazure-Lusztig operators. The symmetric Macdonald polynomials $J_λ$ are expressed as a sum of general-basement Macdonald polynomials via an explicit formula. By letting $q=0$, we obtain $t$-deformations of key polynomials and Demazure atoms and we show that the Hall--Littlewood polynomials expand positively into these. This generalizes a result by Haglund, Luoto, Mason and van Willigenburg. As a corollary, we prove that Schur polynomials decompose with non-negative coefficients into $t$-deformations of general Demazure atoms and thus generalizing the $t=0$ case which was previously known. This gives a unified formula for the classical expansion of Schur polynomials in Hall-Littlewood polynomials and the expansion of Schur polynomials into Demazure atoms.

研究动机与目标

• 通过在基座中引入排列参数 σ，将非对称麦克斯韦多项式推广，形成一类新多项式，称为排列基座麦克斯韦多项式。
• 证明这些多项式相对于单项基满足三角性，并在戴穆尔-路斯蒂格算子下表现良好。
• 给出对称麦克斯韦多项式 Pλ 关于排列基座麦克斯韦多项式的显式展开。
• 通过证明在 q=0 时 t-变形原子中的正性，推广已知的霍尔-利特尔伍德与施温多项式展开结果。
• 通过一个包含 t-变形的统一公式，同时统一施温多项式展开为霍尔-利特尔伍德多项式与展开为戴穆尔原子的经典结果。

提出的方法

• 通过在带基座的图中填入固定排列 σ 和 {1,…,n} 中的整数，构造非攻击性填法，定义组合统计量如逆序数、共逆序数与主要指标。
• 基于图中方格的腿长与臂长，通过 q-与 t-变形权重定义多项式。
• 刻画戴穆尔-路斯蒂格算子对基座参数 σ 的作用，证明其具有简单的变换规则，从而支持递归构造。
• 利用 ˜πσ 算子作用于非对称版本，结合 [HHL08] 中已知结果，推导出对称麦克斯韦多项式的展开。
• 在 q=0 时的特殊化结果给出戴穆尔原子与霍尔-利特尔伍德多项式的 t-变形，正性由组合系数保证。
• 该方法依赖于非攻击性填法与仿射赫尔代数作用的理论，特别使用 ˜πσ 与 ˜θτ 算子及其 braid 关系与消去关系。

实验结果

研究问题

• RQ1 如何将非对称麦克斯韦多项式推广以包含基座上的排列参数 σ？这些新多项式具有哪些性质？
• RQ2 对称麦克斯韦多项式 Pλ 是否可表示为排列基座麦克斯韦多项式的正线性组合？
• RQ3 在特殊化 q=0 时，排列基座麦克斯韦多项式会发生什么变化？其与霍尔-利特尔伍德多项式和戴穆尔多项式有何关联？
• RQ4 是否存在一个统一公式，能同时推广施温多项式展开为霍尔-利特尔伍德多项式与展开为戴穆尔原子？
• RQ5 戴穆尔-路斯蒂格算子是否以受控方式作用于基座排列 σ，从而支持递归或组合构造？

主要发现

• 对称麦克斯韦多项式 Pλ(x; q, t) 可正系数展开为排列基座麦克斯韦多项式的和，其系数包含 q-与 t-变形权重及因子 ttwinvπ(γ,σ)。
• 在 q=0 时，排列基座麦克斯韦多项式成为戴穆尔原子的 t-变形，且霍尔-利特尔伍德多项式可正系数展开为这些多项式，推广了 Haglund 等人的结果。
• 施温多项式可正系数展开为 t-变形戴穆尔原子，其系数为 Kostka–Foulkes 多项式 Kλγ(t)，统一了两个经典展开。
• 展开公式 (40) 提供了一个单一表达式，在特殊化后分别退化为霍尔-利特尔伍德展开与戴穆尔原子展开。
• 证明了戴穆尔-路斯蒂格算子对基座参数 σ 的作用是简单且组合的，支持递归构造并证明了三角性。
• 本文证明了算子表达式 ˜πσ˜θτxλ 中的抵消次数恰好为 ttwinvπ(γ,σ)，确认了最终表达式中 t-变形因子的正确性。