[论文解读] Non-Symmetric Hall-Littlewood Polynomials

François Descouens, Alain Lascoux|ArXiv.org|Sep 19, 2006

Algebraic structures and combinatorial models参考文献 8被引用 6

一句话总结

本文通过在 Hecke 代数 $\mathcal{H}_n(q)$ 中对单项式作用 Yang-Baxter 元素，引入了两类新的非对称多项式基 $U_v$ 和 $\widehat{U}_v$。证明了这些基在 $q$-变形内积下彼此对偶，并表明当 $q=0$ 时，它们退化为经典的 key 多项式（即 Demazure 特征），且 Hall-Littlewood 多项式构成 $U_v$ 的对称子族。对偶性通过递归构造和内积正交性得以证明。

ABSTRACT

Using the action of the Yang-Baxter elements of the Hecke algebra on polynomials, we define two bases of polynomials in n variables. The Hall-Littlewood polynomials are a subfamily of one of them. For q=0, these bases specialize into the two families of classical Key polynomials (i.e. Demazure characters for type A). We give a scalar product for which the two bases are adjoint of each other.

研究动机与目标

• 通过 Hecke 代数 $\mathcal{H}_n(q)$ 中 Yang-Baxter 元素的作用，定义 $n$ 个变量中两类新的多项式基。
• 建立一个内积，使得这两个基互为伴随，推广对称函数的对偶性。
• 证明当 $q=0$ 时，这些基退化为 $A$ 型的古典 key 多项式（即 Demazure 特征）。
• 在 $U_v$ 基中恢复 Hall-Littlewood 多项式作为对称子族。
• 通过 Hecke 代数与内积对偶性，为非对称 Hall-Littlewood 多项式提供一种新的代数与组合框架。

提出的方法

• 将两个基 $U_v$ 和 $\widehat{U}_v$ 定义为在 Hecke 代数 $\mathcal{H}_n(q)$ 中，Yang-Baxter 元素作用于单项式的结果，其中参数 $u_i = q^{i-1}$。
• 通过 $T_i$ 生成元的作用使用递归定义：$Y_{\sigma s_i} = Y_\sigma (T_i + 1/[k]_q)$ 与 $\widehat{Y}_{\sigma s_i} = \widehat{Y}_\sigma (T_i + q^{k-1}/[k]_q)$，其中 $k = \sigma_{i+1} - \sigma_i$。
• 引入双线性形式 $<h_1, h_2> = $ 在 $h_1 \cdot \varphi(h_2)$ 中 $T_\omega$ 的系数，其中 $\varphi$ 是一个反自同态，满足 $u_i \mapsto u_{n-i+1}$。
• 在多项式环 $\mathfrak{Pol}$ 上定义一个与 Hecke 代数作用相容的 $q$-变形内积 $(\,,\,)_{q}$。
• 通过归纳法证明对偶性：利用核条件和对较低项的正交性，递归构造 $\widehat{U}_v$。
• 利用 $Y_\omega = \sum_{\sigma} T_\sigma$ 与 $\widehat{Y}_\omega = \sum_{\sigma} (-q)^{\ell(\sigma\omega)} T_\sigma$ 来验证最大元的行为。

实验结果

研究问题

• RQ1 如何通过 Hecke 代数作用系统地构造非对称 Hall-Littlewood 多项式？
• RQ2 在 $q$-变形内积下，两个基 $U_v$ 与 $\widehat{U}_v$ 之间的对偶关系是什么？
• RQ3 这些基在 $q=0$ 时如何退化？它们恢复了哪些经典对象？
• RQ4 Hall-Littlewood 多项式能否作为 $U_v$ 基中的对称子族被恢复？
• RQ5 是否存在一个类似 Cauchy 的恒等式，用于刻画 $U_v$ 与 $\widehat{U}_v$ 之间的对偶性？

主要发现

• 两个基 $\{U_v\}$ 与 $\{\widehat{U}_v\}$ 关于内积 $(\,,\,)_{q}$ 构成对偶对，满足 $(U_v, \widehat{U}_{u\omega})_q = \delta_{v,u}$。
• 当 $q=0$ 时，$U_v$ 基退化为经典的 key 多项式 $K_v$，即 $A$ 型的 Demazure 特征。
• $U_v$ 的对称子族恰好对应于 Hall-Littlewood 多项式 $P_\lambda$，其中 $\lambda$ 为分拆。
• 内积 $(\,,\,)_{q}$ 的定义使得 $U_v$ 与 $\widehat{U}_v$ 互为伴随，对偶性通过递归构造与正交性条件得以证明。
• Cauchy 恒等式 $\sum_{u \in \mathbb{N}^n} K_u(x) \widehat{K}_{u\omega}(y) = \prod_{i+j \leq n+1} \frac{1}{1 - x_i y_j}$ 在 $q=0$ 时成立，证实了再生核性质。
• $U_v$ 的首项为 $x^v$，$\widehat{U}_v$ 的首项为 $x^{v\omega}$，这确保了对偶性是非退化的且为三角形形式。