[论文解读] Nonsymmetric Macdonald polynomials, Demazure modules and PBW filtration

Evgeny Feigin, Ievgen Makedonskyi|arXiv (Cornell University)|Jul 23, 2014

Algebraic structures and combinatorial models参考文献 19被引用 12

一句话总结

本文在特定情况下证明了类型 A 的 Cherednik-Orr 猜想：当权 λ 的对偶是基本权的倍数，或首尾两个基本权的线性组合时。通过组合公式与 PBW 滤过结构，本文证明了非对称 Macdonald 多项式在 $t\to\infty$ 时的极限等于一级 Demazure 模的 PBW 扭曲特征标。

ABSTRACT

The Cherednik-Orr conjecture expresses the $t o\infty$ limit of the nonsymmetric Macdonald polynomials in terms of the PBW twisted characters of the affine level one Demazure modules. We prove this conjecture in several special cases.

研究动机与目标

• 验证 Cherednik-Orr 猜想，即非对称 Macdonald 多项式 $E_\lambda(x,q,t)$ 在 $t\to\infty$ 时的极限是否等于仿射 Demazure 模的 PBW 扭曲特征标。
• 建立当前代数表示理论与 Macdonald 多项式组合结构之间的联系。
• 为类型 A 中特殊 Demazure 模的 PBW 特征标提供显式组合公式。
• 证明当权的对偶为基本权的倍数，或首尾两个基本权的线性组合时，该猜想在类型 A 中成立。

提出的方法

• 利用 Haglund-Haiman-Loehr 公式，以组合方式表达非对称 Macdonald 多项式。
• 分析 $E_\lambda(x,q,t)$ 在 $t\to\infty$ 时的极限，表明其成为 $x$ 与 $q^{-1}$ 的多项式，且系数非负。
• 在 Demazure 模上构造 PBW 滤过结构，并通过显式基计算其伴随的分次特征标。
• 应用 $q$-多项式系数与加权路径和，以建模 PBW 特征标。
• 利用系数的递推关系与对称性，将 $t\to\infty$ 时的极限与 PBW 特征标匹配。
• 通过 $n$-循环作用的循环移位论证，关联多项式展开中不同位置的系数。

实验结果

研究问题

• RQ1 非对称 Macdonald 多项式 $E_\lambda(x,q,t)$ 在 $t\to\infty$ 时的极限是否等于一级 Demazure 模 $W_\lambda$ 的 PBW 扭曲特征标？
• RQ2 Cherednik-Orr 猜想是否可在类型 A 李代数的特定权类中得到验证？
• RQ3 与反权相关的 Demazure 模的 PBW 特征标背后的组合结构是什么？
• RQ4 $q$-多项式系数与加权格路如何编码 Demazure 模上 PBW 滤过结构？
• RQ5 PBW 特征标系数结构中是否存在对称性或循环性质，使得可递归验证？

主要发现

• 当 $\lambda^*$ 为基本权的倍数，或首尾两个基本权的线性组合时，类型 A 中的 Cherednik-Orr 猜想成立。
• 在 $p = q$ 代换下，证明了 $t\to\infty$ 时的极限 $E_\lambda(x,q^{-1},\infty)$ 等于 PBW 扭曲特征标 $\mathop{\rm ch}_{\rm PBW}W_\lambda$。
• Demazure 模 $W_\lambda$ 的 PBW 特征标被显式计算为关于组合的和，其中包含 $q$-多项式系数与加权指数。
• 通过循环移位论证，PBW 特征标中 $x_1^{k_1}\cdots x_n^{k_n}$ 的系数与 $E_\lambda(x,q^{-1},\infty)$ 在 $t\to\infty$ 时极限中的系数一致。
• 证明依赖于系数 $c^{(\lambda)}_{j|1}$ 之间的递推关系，通过恒等式 $c^{(\lambda)}_{j|1} = c^{(\lambda)}_{j+1|1} - (1-q^{m_2})c^{\lambda}_{j+1|1}$ 验证了位置间的一致性。
• PBW 滤过结构允许将特征标组合实现为关于 $l_i, p_i$ 的和，其权重为 $q^{l_1p_1 + l_{j+1} + \cdots + l_n}$，从而在指定情形下确认了猜想。