$q$-Analogue of the degree zero part of a rational Cherednik algebra and generalised Van Diejen's Hamiltonians

技术摘要：有理切雷德尼克代数（Rational Cherednik Algebra）零度部分的 $q$-类似物与广义 Van Diejen 哈密顿量

问题陈述
与有限 Coxet 群相关的有理切雷德尼克代数（RCA）是研究深入的对象，在可积系统、几何和表示论领域有着深刻的联系。具体而言，类型为 $\mathfrak{gl}_n$ 的 RCA 的零度子代数，记作 $H_{\mathfrak{gl}_n}$，已知是涉及对称群与 Jordan–Schwinger（振子）表示下的通用包络代数 $U(\mathfrak{gl}_n)$ 之像的交叉积的平坦形变。该代数与有理 Calogero–Moser 系统相关联，并拥有由欧拉算子生成的非平凡中心。

本文旨在解决将这一特定结构推广到 $q$-形变设置中的空白。虽然类型为 $GL_n$ 的双仿射 Hecke 代数（DAHA）是全有理切雷德尼克代数的自然 $q$-类似物，但作者试图在 DAHA 中定义并刻画一个特定的子代数 $H_{\mathfrak{gl}_n}$，使其作为 RCA 零度部分的 $q$-类似物。此外，作者旨在利用这一代数结构来构建新的可积系统，特别是将带有外部 Morse 势能的 Macdonald–Ruijsenaars 系统（Van Diejen 系统）推广到涉及两种不同类型相互作用粒子的情形。

方法论
作者在类型为 $GL_n$ 的双仿射 Hecke 代数（DAHA）框架 $H_n = H_{n,q,\tau}$ 内，采用了一种构造性代数方法。

1. 代数构造：

   • 作者定义了一个子代数 $H_{\mathfrak{gl}_n} \subset H_n$，它由 Hecke 生成元 $T_k$、$Y$-元素 $Y_i^{\pm 1}$ 以及特定的算符 $e_{ij} = X_i D_j$（其中 $i \neq j$）生成。
   • 算符 $D_i$ 是通过中心元素 $D_n$ 与 Hecke 生成元乘积的共轭构造而成的，它们是 $U_q(\mathfrak{gl}_n)$ 的 Jordan–Schwinger 表示中 $q$-Dunkl 算符（或 $q$-振子算符）$d_i$ 的 $\tau$-形变。
   • 作者确立了 $H_{\mathfrak{gl}_n}$ 是代数 $\mathcal{A} = \mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n)/I_q)$ 的一个平坦 $\tau$-形变，其中 $\rho$ 是 $q$-振子表示。

2. 结构分析：

   • 定义关系： 本文推导了 $H_{\mathfrak{gl}_n}$ 的所有定义关系，包括 $T_k$ 与 $e_{ij}$ 之间的交换关系，以及 $Y_i^{\pm 1}$ 与 $e_{ij}$ 之间的关系。这些关系被证明在 $\tau \to 1$ 时形变了代数 $\mathcal{A}$ 的关系。
   • PBW 基： 为 $H_{\mathfrak{gl}_n}$ 构造了一个显式的 Poincaré–Birkhoff–Witt (PBW) 基，证明了该代数是 Laurent 多项式环上的自由模。
   • 中心与中心化子： 确定了 $H_{\mathfrak{gl}_n}$ 的中心 $Z(H_{\mathfrak{gl}_n})$ 由元素 $e_Y = \prod_{i=1}^n Y_i$ 生成。作者证明了一个双中心化性质：$H_{\mathfrak{gl}_n}$ 是更大代数 $\mathcal{A}$（由 $T_k, X_i, Y_i^{\pm 1}, D_i$ 生成）中 $e_Y$ 的中心化子，反之亦然，$H_{\mathfrak{gl}_n}$ 在 $\mathcal{A}$ 中的中心化子是其中心 $Z(H_{\mathfrak{gl}_n})$。这被解释为 $(\mathfrak{gl}_n, \mathfrak{gl}_1)$ Howe 对偶性的 $q$-类似物。

3. 可积系统应用：

   • 作者引入了一个依赖于整数参数 $l_1, l_2$ 和复系数 $a_j$ 的广义交换元素族 $D_i^{(l_1, l_2)}$。
   • 通过考虑这些算符在对称 Laurent 多项式空间上的对称组合，作者导出了对称 $q$-差分算符族。
   • 应用了一种“限制”程序（取质心趋于无穷大的极限）来消除这些算符对对称群作用的依赖，从而得到显式的哈密顿量。

主要贡献与结果

• $H_{\mathfrak{gl}_n}$ 的定义： 本文成功地在 DAHA 内部定义了一个子代数 $H_{\mathfrak{gl}_n}$，作为有理切雷德尼克代数零度部分的 $q$-类似物。研究表明，在 $q \to 1$ 的极限下，该代数还原为已知的 RCA 零度子代数。
• 结构定理： 作者提供了 $H_{\mathfrak{gl}_n}$ 的完整表示，包括显式的定义关系和 PBW 基。他们证明了 $H_{\mathfrak{gl}_n}$ 是交叉积 $\mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n))$ 的一个平坦 $\tau$-形变。
• 中心与对偶性： 证明了中心由单个可逆元素 $e_Y$ 生成。建立的双中心化性质将 $H_{\mathfrak{gl}_n}$ 与更大的代数 $\mathcal{A}$ 联系起来，推广了经典结论，即零度部分是欧拉算子的中心化子。
• 新的可积哈密顿量：
  • 作者导出了新的交换 $q$-差分算符，这些算符推广了带有 Morse 势能的 Macdonald–Ruijsenaars 系统（Van Diejen 系统）。
  • 至关重要的是，他们通过引入两种类型的相互作用粒子扩展了这些系统。所得哈密顿量（方程 6.16）描述了一个包含 $N_1$ 个第一类粒子和 $N_2$ 个第二类粒子的系统，这些粒子通过内类间势能、类间势能以及外部 Morse 型场进行相互作用。
  • 这些算符的微分极限（$q \to 1$）恢复了带有 Morse 势能的双粒子类型广义双曲 Calogero–Moser 系统，扩展了 Inozemtsev 和 Van Diejen 先前的研究工作。

意义

本文声称在两个主要领域具有重要意义：

1. 代数理论： 它填补了切雷德尼克代数理论中的结构空白，通过严格定义并刻画了零度部分的 $q$-类似物。这为双仿射 Hecke 代数、量子群和可积系统之间提供了新的联系，特别是通过 Jordan–Schwinger 表示的视角。中心化性质的识别为这些代数的表示论提供了新的视角，类似于 Howe 对偶性。

2. 可积系统： 该工作提供了一种系统性的代数方法来生成新的可积差分方程。通过将 Van Diejen 系统扩展到包含两种不同类型的粒子，作者将变形的 Macdonald–Ruijsenaars 算符推广到了带有外部场的设置中。这扩展了已知的可积模型版图，提供的哈密顿量在量子情形下具有离散谱，并且通过一大族交换守恒量保持可积性。研究结果将 DAHA 的表示论直接与构建复杂的多元体量子系统联系起来。