[论文解读] The polynomial representation of the double affine Hecke algebra of type $(C^\vee_n, C_n)$ for specialized parameters

Masahiro Kasatani|ArXiv.org|Jul 17, 2008

Advanced Algebra and Geometry参考文献 7被引用 8

一句话总结

该论文通过使用修正多项式——即通过组合非对称 Koornwinder 多项式以消除极点的多项式——在特殊参数下构造了类型 $(C^{ u}_n, C_n)$ 的双重仿射 Hecke 代数（DAHA）的多项式表示的线性基。该方法基于修正的互变算子，采用归纳的、组合的方法，建立了不可约性与 $Y$-半单性的条件，并在可约时通过零化条件刻画子表示。

ABSTRACT

In this paper, we study the polynomial representation of the double affine Hecke algebra of type $(C^\vee_n, C_n)$ for specialized parameters. Inductively and combinatorially, we give a linear basis of the representation in terms of linear combinations of non-symmetric Koornwinder polynomials. The basis consists of generalized eigenfunctions with respect to $q$-Dunkl-Cherednik operators $\hat{Y}_i$, and it gives a way to cancel out poles of non-symmetric Koornwinder polynomials. We examine irreducibility and $Y$-semisimplicity of the representation for the specialized parameters. For some cases, we give a characterization of the subrepresentations by vanishing conditions for Laurent polynomials.

研究动机与目标

• 在参数被特殊化时，特别是当表示可能非 $Y$-半单或可约时，构造类型 $(C^{ u}_n, C_n)$ 的 DAHA 多项式表示的线性基。
• 解决非对称 Koornwinder 多项式在参数特殊化时出现的极点问题，以及标准互变算子论证在特殊参数下失效的问题。
• 提供一种组合的、归纳的方法，以计算作为基的广义特征函数（即修正多项式）。
• 确定表示保持不可约或 $Y$-半单的条件，并在可约时刻画子表示。
• 通过 Laurent 多项式上的零化条件或 DAHA 作用下的不变理想来描述子表示。

提出的方法

• 引入修正多项式，作为非对称 Koornwinder 多项式的线性组合，以消除极点，并形成广义的 $Y$-特征函数。
• 定义修正的互变算子，使其作用于这些修正多项式，从而归纳地生成完整的表示。
• 使用 $r-1$-商映射 $\lambda \mapsto \lambda^{\mathrm{quot}}$ 来分类和关联仿射 Weyl 群作用下的轨道。
• 通过三步约化过程（负部、支配性、标准形式）证明，任意权在等价关系 $\leftrightarrow$ 下等价于其标准形式 $\lambda^{\mathrm{std}}$。
• 利用 $q$-Dunkl-Cherednik 算子 $\widehat{Y}_i$ 及其特征函数的结构，分析 $Y$-半单性与不可约性。
• 借鉴 Cherednik 的配对论证方法，通过检查配对的根为平凡来判断不可约性。

实验结果

研究问题

• RQ1 在参数 $q, t, a^*, b^*, c^*, d^*$ 满足什么条件时，类型 $(C^{ u}_n, C_n)$ 的 DAHA 多项式表示是不可约且 $Y$-半单的？
• RQ2 当标准非对称 Koornwinder 多项式因参数特殊化而出现极点时，如何构造多项式表示的线性基？
• RQ3 当参数特殊化导致表示可约时，其子表示的结构是怎样的？
• RQ4 修正的互变算子与修正多项式如何实现非一般情形下基的归纳、组合构造？
• RQ5 子表示能否通过 Laurent 多项式上的零化条件或作为 DAHA 作用下的不变理想来刻画？

主要发现

• 当参数避开五个指定的洛朗多项式（1）–（5）的根时，多项式表示是不可约且 $Y$-半单的，这些多项式包括 $t^{(k+1)/m}q^{(r-1)/m} - \omega_m$、$t^{k+1}q^{r-1}a^{*2} - 1$ 以及其他涉及 $b^*, c^*, d^*$ 的条件。
• 当参数被特殊化为（1）–（5）中某一个条件的根但非其他条件时，通过修正多项式构造了线性基，这些多项式是通过组合非对称 Koornwinder 多项式以消除极点而得到的。
• 在情况（1）中，当 $k+1 \geq 2$ 时，表示是可约的；仅当 $k+1 = n$ 时为 $Y$-半单，当 $2 \leq k+1 < n$ 时非 $Y$-半单，此时存在 $N = \lfloor n/(k+1) \rfloor$ 个嵌套子表示 $I_1^{(k,r)} \subset \cdots \subset I_N^{(k,r)}$。
• 子表示通过零化条件刻画：例如，$I_N^{(k,r)}$ 由在与 $r-1$-商相关联的某些点上为零的 Laurent 多项式组成。
• 通过三步约化过程保持 $r-1$-商不变，建立了等价关系 $\lambda \leftrightarrow \lambda^{\mathrm{std}}$，证明所有权等价于其标准形式。
• 修正多项式与修正互变算子提供了一种系统化、归纳的方法来计算基，即使在标准互变算子因极点或非半单性而失效时依然有效。