[论文解读] Symmetric and non-symmetric quantum Capelli polynomials

Friedrich Knop|ArXiv.org|Mar 29, 1996

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

一句话总结

本文引入了一类由参数 $q$ 和 $t$ 相关特定点处的消失条件定义的对称与非对称量子 Capelli 多项式。通过 Cherednik 型差分算子，证明了这些多项式的高次部分为 Macdonald 多项式，并证明了非对称版本是这些算子的共同本征函数，从而实现了系统的构造与对称化过程。

ABSTRACT

We define a family of symmetric and a family of non-symmetric polynomials in terms of vanishing conditions. These families depend on two paramters, q and t. Their main feature is that they consist of non-homogeneous polynomials. The symmetric polynomials form the quantized version of polynomials occuring in the context of generalized Capelli identities. We show that these quantum Capelli polynomials are also characterized by q-difference equations. More precisely, they are eigenfunctions of Cherednik type operators and transform under an affine Hecke algebra. Thus, we are able to identify their top homogeneous component as a Macdonald polynomial (symmetric or non-symmetric, respectively).

研究动机与目标

• 通过在点 $q^{\mu} w_\mu(\varrho)$ 处的量化消失条件构造对称与非对称量子 Capelli 多项式。
• 证明这些多项式的高次部分为 Macdonald 多项式，将经典 Capelli 恒等式推广至量子设置。
• 建立多项式与 Cherednik 型差分算子之间的联系，实现本征函数表征。
• 证明非对称多项式在所需点之外还消失于更多点（额外消失），其规律由 $\Lambda$ 上的广义主导序控制。
• 推导归一化版本在 $\mathbb{Z}[r]$ 中的反演公式与整性结果。

提出的方法

• 定义向量 $\varrho = (1, t^{-1}, \dots, t^{-n+1})$，并为每个 $\lambda \in \Lambda = \mathbb{N}^n$ 关联点 $\overline{\lambda} = w_\lambda(q^{\lambda^+}\varrho)$。
• 将多项式 $E_\lambda$ 构造为唯一（至多标量倍）的次数为 $|\lambda|$ 的多项式，满足对所有满足 $|\mu| \leq |\lambda|$ 且 $\mu \neq \lambda$ 的 $\mu \in \Lambda$，在 $\overline{\mu}$ 处消失。
• 引入 Cherednik 型差分算子 $H_i$ 与 $\overline{H}_i$，它们作用于多项式环，且使 $E_\lambda$ 成为共同本征函数。
• 利用仿射 Hecke 代数作用，通过本征函数性质将非对称多项式与非对称 Macdonald 多项式关联。
• 通过算子 $Z_i$ 与 $\tilde{Z}_i$ 推导反演公式，证明 $\Psi(f) = f(\tilde{Z}_1, \dots, \tilde{Z}_n)(1)$，其中 $\Psi$ 为线性自同构。
• 通过 Young 图中各格子的乘积对 $E_\lambda$ 与 $P\lambda$ 进行归一化，获得在 $\mathbb{Z}[r]$ 中的整性结果。

实验结果

研究问题

• RQ1 如何通过对称与非对称多项式将经典 Capelli 恒等式推广至量子设置？
• RQ2 由在点 $q^\mu w_\mu(\varrho)$ 处消失条件定义的非对称量子 Capelli 多项式具有何种结构？
• RQ3 这些多项式的高次部分如何与 Macdonald 多项式相关？
• RQ4 Cherednik 型差分算子在将这些多项式表征为本征函数中起何作用？
• RQ5 额外消失性质的本质是什么？其规律如何由 $\Lambda$ 上的序关系控制？

主要发现

• 非对称量子 Capelli 多项式 $E_\lambda$ 是 Cherednik 型差分算子 $H_i$ 的共同本征函数，这些算子由仿射 Hecke 代数构造而成。
• 多项式 $E_\lambda$ 的高次齐次部分为非对称 Macdonald 多项式，而对称版本 $P_\lambda$ 的高次部分为对称 Macdonald 多项式。
• 多项式 $E_\lambda$ 不仅在指定点 $\overline{\mu}$（满足 $|\mu| \leq |\lambda|$ 且 $\mu \neq \lambda$）处消失，还在额外点处消失，这一现象称为“额外消失”。
• 在经典极限 $q \to 1$，$t = q^r$ 下，算子 $H_i$ 与 $\Phi$ 分别收敛至 $\sigma_i$ 与 $\tilde{\Phi}$，从而得到满足 $\sigma_i^2 = 1$ 的分次 Hecke 代数作用。
• 归一化多项式 $\tilde{\cal E}_\lambda$ 与 $\tilde{\cal P}_\lambda$ 的系数属于 $\mathbb{Z}[r]$，扩展了先前工作的整性结果。
• 反演公式成立：$\Psi(f) = f(\tilde{Z}_1, \dots, \tilde{Z}_n)(1)$，其中 $\tilde{Z}_i = \sigma_i \cdots \sigma_{n-1} \tilde{\Phi} \sigma_1 \cdots \sigma_{i-1}$，且 $\Psi$ 将 $\tilde{E}_\lambda$ 的首项映射至其自身。