[论文解读] Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials

Boris Feigin, M. Jimbo+2 more|ArXiv.org|Sep 4, 2002

Algebraic structures and combinatorial models参考文献 2被引用 18

一句话总结

本文引入了在平移对角线上消失的对称多项式理想关于 $ q $ 的形变，其特征由 Macdonald 多项式在 $ t^{k+1}q^{r-1} = 1 $ 处给出。证明了商代数保持了 $ \widehat{\mathfrak{sl}}_r $ 的 $ k $-级可积表示的单项式基，提供了当前代数关系的形变，并通过 Macdonald 多项式将其与关联函数联系起来。

ABSTRACT

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection.

研究动机与目标

• 通过 Macdonald 多项式表征在平移对角线上消失的对称多项式理想 $ I_n^{(k,r)} $。
• 在 $ k $-级下，建立 $ \widehat{\mathfrak{sl}}_r $ 当前代数关系的 $ q $-形变，保持单项式基结构。
• 将形变代数与可积表示中阿贝尔当前的关联函数联系起来。
• 将 $ \widehat{\mathfrak{sl}}_r $-表示中当前矩阵元的零条件特征推广至 $ q $-形变设置。

提出的方法

• 将理想 $ I_n^{(k,r)} $ 定义为在 $ t^{k+1}q^{r-1} = 1 $ 处的 Macdonald 多项式 $ P_\lambda(x_1,\dots,x_n;q,t) $ 的张量。
• 通过在平移对角线上显式给出消失条件来表征 $ I_n^{(k,r)} $：$ x_{i+1} = t q^{s_i} x_i $，其中 $ 1 \leq i \leq k $，且 $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $。
• 构造一个形变的阿贝尔当前 $ e(z) = \sum e_i z^i $，满足对所有此类 $ s_i $ 有 $ e(z) e(tq^{s_1}z) \cdots e(t^k q^{s_k}z) = 0 $。
• 证明该乘积的傅里叶系数在 $ \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] $ 中生成一个理想 $ \tilde{\mathcal{J}}(q,t) $，并证明商代数具有与 $ \widehat{\mathfrak{sl}}_r $ 的 $ k $-级真空表示相同的单项式基。
• 利用 Macdonald 多项式的结构及其在 $ t^{k+1}q^{r-1} = 1 $ 处的特化，分析消失条件与基性质。
• 将形变代数 $ E_{k,r}(q,t) $ 与 Weyl 群作用联系起来，并证明对于通用 $ q,t $，$ \widehat{\mathfrak{sl}}_r $ 的不可约表示在限制到 $ E_{k,r}(q,t) $ 时仍保持不可约性。

实验结果

研究问题

• RQ1 在平移对角线上，表征对称多项式理想 $ I_n^{(k,r)} $ 的精确零条件集合是什么？
• RQ2 如何通过 $ q,t $-参数对 $ \widehat{\mathfrak{sl}}_r $ 的 $ k $-级可积表示进行形变，同时保持单项式基？
• RQ3 Macdonald 多项式在表征形变理想及其与当前代数关系的关联中起什么作用？
• RQ4 满足 $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $ 的 $ q $-形变当前代数 $ e(z) $ 如何与关联函数的结构相关？
• RQ5 在可积表示中，当前 $ e(z) $ 的矩阵元能否通过 $ k+1 $-余维对角线上的 $ q $-形变零条件来表征？

主要发现

• 理想 $ I_n^{(k,r)} $ 由对所有形如 $ x_{i+1} = t q^{s_i} x_i $ 的平移对角线上的对称多项式消失来表征，其中 $ 1 \leq i \leq k $，且 $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $。
• 在 $ t^{k+1}q^{r-1} = 1 $ 处，Macdonald 多项式 $ P_\lambda(x_1,\dots,x_n;q,t) $ 构成 $ I_n^{(k,r)} $ 的基，提供了杰克多项式理想的形变版本。
• 对于满足 $ t^{k+1}q^{r-1} = 1 $ 的通用 $ q,t $，商代数 $ \mathbb{C}[\{e_i\}_{i \geq 1}] / \mathcal{J}(q,t) $ 具有与 $ \widehat{\mathfrak{sl}}_r $ 的 $ k $-级真空表示的主子空间相同的单项式基。
• 形变当前 $ e(z) $ 满足对所有 $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $ 有 $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $，这推广了在 $ t=1, q=\tau $ 处的未形变关系 $ e(z)^{k+1} = 0 $。
• 代数 $ E_{k,r}(q,t) = \mathbb{C}[D,D^{-1}] \ltimes \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] / \tilde{\mathcal{J}}(q,t) $ 的不可约表示是 $ \widehat{\mathfrak{sl}}_r $ 的不可约表示的形变，在限制时保持不可约性。
• $ q $-形变为当前 $ e(z) $ 的可积性条件提供了显式的、依赖于 $ q $ 的表征，而在未形变情况下该条件是隐含的。