[论文解读] Zonal Polynomials and Quantum Antisymmetric Matrices

Naihuan Jing, Robert Ray|arXiv (Cornell University)|Sep 16, 2011

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

一句话总结

本文通过构造量子辛群作用下的量子不变量，建立了量子反对称矩阵的量子球对称多项式的量子类比。它定义了量子 Pfaffian，并刻画了其在不变子环中的作用，证明了不可约表示中的双不变函数对应于 Macdonald 对称函数 $P_\lambda(q^2, q^4)$，从而将经典球对称函数推广至量子设置。

ABSTRACT

We study the quantum symmetric spaces for quantum general linear groups modulo symplectic groups. We first determine the structure of the quotient quantum group and completely determine the quantum invariants. We then derive the characteristic property for quantum Phaffian as well as its role in the quantum invariant sub-ring. The spherical functions, viewed as Macdonald polynomials, are also studied as the quantum analog of zonal spherical polynomials.

研究动机与目标

• 确定量子一般线性群模量子辛群的量子不变子环的结构。
• 在量子不变量理论的背景下，定义并研究量子 Pfaffian 作为经典 Pfaffian 的量子类比。
• 将不可约表示中的双不变函数刻画为 Macdonald 对称函数。
• 建立量子球对称函数与 Macdonald 多项式 $P_\lambda(q^2, q^4)$ 之间的对应关系。

提出的方法

• 通过在矩阵生成元上使用非交换关系并引入变形参数 $q \neq 1$（非单位根），构造量子群 $GL_q(2n,\mathbb{C})$。
• 通过矩阵系数中的二次关系定义无穷小不变量，从而定义量子辛群 $Sp_q(2n,\mathbb{C})$。
• 引入量子 Pfaffian 的闭式定义，并分析其表示论性质。
• 利用量子子式和量子 Casimir 算子 $c_k$，将不变子空间分解为不可约模。
• 建立量子 Casimir 算子作用与 Macdonald 差分算子 $D_k(q^2, q^4)$ 之间的对应关系。
• 证明双不变函数限制到对称函数时，其结果为 Macdonald 对称函数 $P_\lambda(q^2, q^4)$。

实验结果

研究问题

• RQ1 在量子反对称矩阵的背景下，如何将量子 Pfaffian 定义为经典 Pfaffian 的量子类比？
• RQ2 在 $Sp_q(2n,\mathbb{C})$ 作用下，量子不变子环的结构是什么？
• RQ3 在量子设置中，量子球对称函数如何与 Macdonald 对称函数相关联？
• RQ4 量子 Casimir 算子 $c_k$ 在实现 Macdonald 差分算子于不变子环上的作用是什么？

主要发现

• 量子 Pfaffian 被定义为量子矩阵生成元上的非交换多项式，满足经典 Pfaffian 恒等式的量子类比。
• 量子辛群 $Sp_q(2n,\mathbb{C})$ 的量子不变子环构成 $A_q(X)$ 的子环，且不可约 $U_q(\mathfrak{sl}_{2n})$-模中的双不变函数同构于 Macdonald 对称函数 $P_\lambda(q^2, q^4)$。
• 量子 Casimir 算子 $c_k$ 作用于最低权向量 $v_0$ 时，其结果为对称函数的和，权重为 $q^{-2\tilde{\lambda}_i + 2(i-2n)}$，与 $D_k(q^2, q^4)$ 的本征值结构一致。
• 算子 $c_k$ 限制到对称函数环 $\mathbb{C}[z_1,\ldots,z_n]^{\mathfrak{S}_n}$ 上时，与 Macdonald 差分算子 $D_k(q^2, q^4)$ 成比例。
• 将量子球对称函数限制到对称函数时，其首项与 $P_\lambda(q^2, q^4)$ 的首项一致，从而确认了该识别关系。
• 量子辛群 $Sp_q(2n,\mathbb{C})$-不变子空间分解为不可约模时，其分解是无重数的，每个不可约分量由一个分拆 $\lambda \in P_n$ 参数化。