[论文解读] Towards a combinatorial representation theory for the rational Cherednik algebra of type G(r,p,n)

Stephen Griffeth|ArXiv.org|Dec 23, 2006

Algebraic structures and combinatorial models参考文献 21被引用 14

一句话总结

本文通过 intertwining 算子和正交函数，为类型 $G(r,p,n)$ 的有理 Cherednik 代数建立了组合表示理论，提供了对 Haiman 猜想（Gordon 定理）在 $r > 1$ 时对 $G(r,p,n)$ 的对角 coinvariant 环的自包含证明，且对 $p$ 无限制。关键贡献是在范畴 $ olimits$ 的背景下，使用模论和组合技术，对对角 coinvariant 环的 Hilbert 系数公式给出了全新的、初等的证明。

ABSTRACT

The goal of this paper is to lay the foundations for a combinatorial study, via orthogonal functions and intertwining operators, of category O for the rational Cherednik algebra of type G(r,p,n). As a first application, we give a self-contained and elementary proof of the analog for the groups G(r,p,n), with r>1, of Gordon's theorem (previously Haiman's conjecture) on the diagonal coinvariant ring. We impose no restriction on p; the result for p

研究动机与目标

• 通过 intertwining 算子和正交函数，为类型 $G(r,p,n)$ 的有理 Cherednik 代数建立组合框架。
• 为 $G(r,p,n)$ 的对角 coinvariant 环提供一个自包含的、初等的证明，证明其类似 Gordon 定理的结论对所有 $p$ 成立，当 $r > 1$ 时。
• 为标准模 $M(V)$ 及其不可约商模 $L(V)$ 构造典范基，从而实现对模格的更深层次组合研究。
• 验证标准模 $M(\mathbf{1})$ 的根由特定单项式生成，从而导出与对角 coinvariant 环同构的商模。

提出的方法

• 引入并分析类型 $G(r,p,n)$ 的有理 Cherednik 代数 $\mathbb{H}$ 的 intertwining 算子，推导其基本代数关系。
• 为 $G(r,p,n)$ 的多项式表示构造基，并计算 intertwining 算子在此基上的作用。
• 使用 Drinfeld Hecke 代数形式化方法，通过 $V = \mathfrak{h}^* \oplus \mathfrak{h}$ 上的反对称形式 $\langle\cdot,\cdot\rangle_w$ 定义 $\mathbb{H}$。
• 利用 Dunkl-Opdam 交换子代数分析多项式表示及其子模的结构。
• 应用 Poincaré-Birkhoff-Witt 定理在 $\mathbb{H}$-模上建立滤子和相应的分次结构，从而可应用分次模理论。
• 使用单项式矩阵 $f_{i,j}$ 和 $v_j$ 的行列式公式，计算 $W$-模 $V$ 的指数，从而导出 coinvariant 环的 Hilbert 系数。

实验结果

研究问题

• RQ1 能否通过 intertwining 算子和正交函数，为类型 $G(r,p,n)$ 的有理 Cherednik 代数建立组合表示理论？
• RQ2 是否对 $G(r,p,n)$ 的对角 coinvariant 环，其 Hilbert 系数与 Haiman 猜想所预测的公式一致，且可不借助 KZ 函子或 DAHA 予以证明？
• RQ3 $G(r,p,n)$ 的多项式表示的子模结构如何，特别是 $M(\mathbf{1})$ 的根结构如何？
• RQ4 在某些参数值下，能否证明 $\mathbb{H}$-模 $L(\mathbf{1})$ 具有 BGG 分解形式 $0 \to M(\Lambda^n V) \to \cdots \to M(\mathbf{1}) \to L(\mathbf{1}) \to 0$？

主要发现

• 标准模 $M(\mathbf{1})$ 的根由 $W$-模 $\mathbb{C}\{f_{\mu_1}, \dots, f_{\mu_n}\}$ 生成，其同构于 $V = \mathbb{C}\{x_1^{h+1}, \dots, x_n^{h+1}\}$。
• 矩阵 $A$（其行向量为 $f_{i,j}$ 和 $v_j$）的行列式为 $(-1)^n (x_1 \cdots x_n)^{m'} \prod_{1\leq i<j\leq n} (x_i^r - x_j^r)$，确认了 coinvariant 环的正确次数与结构。
• 在 $p > 1$ 时，$W$-模 $V$ 的指数为 $e_i(V) = \overline{m} + (i-1)r$（$1 \leq i \leq n-1$），且 $e_n(V) = (n-1)(r - \overline{m}) + n m'$；当 $p=1$ 时，$e_i(V) = \overline{m} + (i-1)r$。
• 对角 coinvariant 环 $R$ 的 Hilbert 系数由 $\sum \text{tr}(w, (L \otimes \Lambda^n V)_i) t^i = \frac{\det(1 - t^{h+1} w_V)}{\det(1 - t w_{\mathfrak{h}^*})}$ 给出，从而确认了 Gordon 定理的公式。
• 商模 $L$ 中 $S(\mathfrak{h}^*)$ 的像是同构于普通 coinvariant 环，表明与经典结果相容。