[论文解读] Extremal part of the PBW-filtration and E-polynomials

Cherednik, Ivan, Feigin, Evgeny|arXiv (Cornell University)|Jun 13, 2013

Algebraic structures and combinatorial models参考文献 15被引用 17

一句话总结

本文建立了有限维单李代数不可约表示中PBW滤子的极值次数与在 $ t \to \infty $ 极限下非对称Macdonald多项式（E-dag多项式）的极值项的 $ q $-次数之间的对应关系。通过使用nil-DAHA和 $ G $-算子理论，作者证明了所有经典李型和 $ G_2 $ 型下这些次数一致，借助Demazure模和Kostant的 $ q $-分拆函数，将PBW理论与Macdonald多项式渐近行为联系起来。

ABSTRACT

Given a reduced irreducible root system, the corresponding nil-DAHA is used to calculate the extremal coefficients of nonsymmetric Macdonald polynomials, also called E-polynomails, in the limit t=infinity and for antidominant weights, which is an important ingredient of the new theory of nonsymmetric q-Whittaker function. These coefficients are pure q-powers and their degrees are expected to coincide in the untwisted setting with the extremal degrees of the so-called PBW-filtration in the corresponding finite-dimensional irreducible representations of the simple Lie algebra for any root systems. This is a particular case of a general conjecture in terms of the level-one Demazure modules. We prove this coincidence for all Lie algebras of classical type and for G_2, and also establish the relations of our extremal degrees to minimal q-degrees of the extremal terms of the Kostant q-partition function; they coincide with the latter only for some root systems.

研究动机与目标

• 建立有限维表示中PBW滤子的极值次数与 $ E^\dagger $-多项式（$ t \to \infty $ 时非对称Macdonald多项式的极限）中极值项的 $ q $-次数之间的对应关系。
• 证明在所有经典根系和 $ G_2 $ 型下，这些极值次数一致，支持一个涉及一级Demazure模的一般性猜想。
• 将极值 $ q $-次数与Kostant $ q $-分拆函数极值部分的最小 $ q $-次数相关联，识别出两者一致与不一致的情形。
• 针对类型 $ A_n $、$ B_n $、$ C_n $、$ D_n $ 和 $ G_2 $ 的基本权，利用归纳法与计算技术，给出 $ E^\dagger $-多项式极值 $ q $-次数的显式公式。

提出的方法

• 利用nil-DAHA框架和 $ \mathfrak{T} $-算子分析非对称Macdonald多项式在 $ t \to \infty $ 时的渐近行为，从而得到 $ E^\dagger $-多项式。
• 使用 $ G $-算子在余权扇形中建立极值 $ q $-次数的完全可加性，将问题约化至基本权。
• 对经典根系应用归纳法与递归结构，显式计算基本权的极值 $ q $-次数。
• 通过计算机代数计算 $ F_4 $ 的极值 $ q $-次数，并对 $ E_6 $ 得到部分结果，公式以系数 $ A[\cdot] $ 表示。
• 将 $ E^\dagger $-多项式得到的极值 $ q $-次数与Kostant $ q $-分拆函数中极值部分的最小 $ q $-次数进行比较，识别出一致与非可加的情形。
• 通过一般性猜想（将 $ E^\dagger $-多项式与结合Kac-Moody和PBW次数的Demazure模联系起来）验证了该对应关系。

实验结果

研究问题

• RQ1 对于所有经典李代数和 $ G_2 $，非余权权重下 $ E^\dagger $-多项式的极值 $ q $-次数是否与有限维表示中极值PBW次数一致？
• RQ2 Kostant $ q $-分拆函数极值部分的最小 $ q $-次数与 $ E^\dagger $-多项式的极值 $ q $-次数在多大程度上一致？
• RQ3 在余权扇形中，极值 $ q $-次数函数是否在基本权上可加？这是否意味着PBW-$ E^\dagger $ 对应关系的完全成立？
• RQ4 nil-DAHA理论中 $ E^\dagger $-多项式与有限维李代数表示中经典PBW滤子之间的精确代数机制是什么？

主要发现

• 在类型 $ A_n $、$ B_n $、$ C_n $、$ D_n $ 和 $ G_2 $ 中，基本权的 $ E^\dagger $-多项式极值 $ q $-次数被显式计算，并证明与相应有限维表示中极值PBW次数一致。
• 该对应关系在所有非扭经典根系和 $ G_2 $ 型下成立，证实了涉及一级Demazure模的一般性猜想的特定情形。
• 仅在类型 $ A $、扭的 $ B $、非扭的 $ C $ 和扭的 $ G_2 $ 中，$ E^\dagger $-多项式的极值 $ q $-次数与Kostant $ q $-分拆函数极值部分的最小 $ q $-次数一致；其他情形则不一致。
• 极值 $ q $-次数函数在余权扇形中完全可加，这使得一般问题可约化为基本权的情形，且该可加性通过 $ G $-算子和 $ \mathfrak{T} $-算子得到证明。
• 对于 $ F_4 $，作者通过计算机代数计算了 $ E^\dagger $-多项式的极值 $ q $-次数，给出了以系数 $ A[\cdot] $ 表示的显式公式。
• 本文建立了双 affine Hecke代数（DAHA）与经典有限维李代数表示理论之间出人意料的代数联系，这是DAHA在该领域首次大规模非仿射应用。