[论文解读] Subrepresentations in the Polynomial Representation of the Double Affine Hecke Algebra of type $GL_n$ at $t^{k+1}q^{r-1}=1$

Masahiro Kasatani|arXiv (Cornell University)|Jan 18, 2005

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

一句话总结

该论文在参数 $t^{k+1}q^{r-1}=1$ 下，利用非对称轮条件，构建了 $GL_n$ 型双重仿射 Hecke 代数多项式表示中的一系列子表示。证明了理想 $I_1^{(k,r)}$ 是不可约的，并通过满足 $\beta^{(k,r)}$ 条件的分拆索引的非对称 Macdonald 多项式给出了其显式基，将对称情形的结果推广到了非对称设置。

ABSTRACT

We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some cases, we give an explicit basis of the subrepresentation in terms of nonsymmetric Macdonald polynomials. These results are nonsymmetric versions of \cite{FJMM} and \cite{KMSV}.

研究动机与目标

• 将双重仿射 Hecke 代数多项式表示中理想的研究结果从对称情形推广到非对称情形。
• 在洛朗多项式表示中引入并研究一种新的消去条件——称为“非对称轮条件”——以定义和研究子表示。
• 在特化参数下，利用非对称 Macdonald 多项式构造这些子表示的显式基。
• 证明第一个子表示 $I_1^{(k,r)}$ 的不可约性，并通过对偶性和滤子技术确定其特征标。
• 猜想所有后续商 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$ 均为不可约，并在 $n = k+1$ 的情况下予以验证。

提出的方法

• 在洛朗多项式上引入一个消去条件（即“非对称轮条件”），要求当某些变量比满足 $x_{i_{l,a+1}} = x_{i_{l,a}} t q^{s_{l,a}}$ 时多项式为零，且对索引和指数施加约束。
• 将理想 $I_m^{(k,r)}$ 定义为满足该条件的洛朗多项式空间，且包含 $m$ 个不相交的 $(k+1, r-1)$ 类型邻域。
• 利用非对称 Macdonald 多项式的对偶关系分析极点与零点的阶数，确保在特化参数 $t = u^{(r-1)/M}, q = \tau u^{-(k+1)/M}$ 下无极点。
• 在多项式表示上构造一个滤子 $V_{(M)}$，并定义其与张量空间之间的非退化配对，以估计 $I_1^{(k,r)} \cap V_{(M)}$ 的特征标。
• 利用交织算子证明：对任意 $\lambda \in B^{(k,r)}$，均有 $E_\lambda$ 是 $I_1^{(k,r)}$ 的循环向量，从而证明不可约性。
• 证明当 $n = k+1$ 时，$V/I_1^{(n-1,r)}$ 是不可约的，其基由 $\{E_\lambda \mid \lambda \in S^{(n-1,r)}\}$ 给出。

实验结果

研究问题

• RQ1 如何将多项式表示中理想所用的对称轮条件推广到非对称情形？
• RQ2 在 $t^{k+1}q^{r-1}=1$ 下，双重仿射 Hecke 代数多项式表示中子表示 $I_1^{(k,r)}$ 的结构是什么？
• RQ3 能否在特化参数下，利用非对称 Macdonald 多项式构造 $I_1^{(k,r)}$ 的显式基？
• RQ4 对所有 $m$，商 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$ 是否都是不可约的？
• RQ5 当 $n = k+1$ 时，商 $V/I_1^{(n-1,r)}$ 的特征标和不可约性如何？

主要发现

• 理想 $I_1^{(k,r)}$ 是在特化参数 $t^{k+1}q^{r-1}=1$ 下双重仿射 Hecke 代数 $\mathcal{H}_n^{(k,r)}$ 的不可约表示。
• 理想 $I_1^{(k,r)}$ 的基由非对称 Macdonald 多项式 $E_\lambda$ 给出，其中 $\lambda \in B^{(k,r)}$，而 $B^{(k,r)}$ 是满足 $\lambda_{i_a} - \lambda_{i_{a+k}} \geq r$ 或 $\lambda_{i_a} - \lambda_{i_{a+k}} = r-1$ 且 $i_a < i_{a+k}$ 的整数序列集合。
• 在特化参数 $t = u^{(r-1)/M}, q = \tau u^{-(k+1)/M}$ 下，$E_\lambda$（$\lambda \in B^{(k,r)}$）是良定义的（无极点）。
• 当 $n = k+1$ 时，商 $V/I_1^{(n-1,r)}$ 是不可约的，且其基为 $\{E_\lambda \mid \lambda \in S^{(n-1,r)}\}$，其中 $S^{(n-1,r)}$ 是至多包含一个 $(k+1, r-1)$ 类型邻域的 $\lambda$ 的集合。
• 商 $I_1^{(1,r)}/I_1^{(1,r)}$ 是不可约的，且不是 $Y$-半单的，表明高阶商中存在非平凡的表示结构。
• 猜想所有商 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$ 均为不可约的，在 $n = k+1$ 的情况下已验证，并在其他情形中有部分证据支持。