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

技術要約：有理型チェルニドニック代数の次数ゼロ部分のq-類似体および一般化されたVan Diejenのハミルトニアン

問題設定
有限コックスター群に関連する有理型チェルニドニック代数（RCA）は、可積分系、幾何学、および表現論と深い関連を持つ、よく研究されている対象である。特に、型 $GL_n$ のRCAの次数ゼロ部分の部分代数 $H_{\mathfrak{gl}_n}$ は、対称群と、ジョルダン・シュウィンガー（オシレーター）表現の下での普遍包絡環 $U(\mathfrak{gl}_n)$ の像とのクロスド・プロダクトの平坦な変形として知られている。この代数は有理型カロジェロ・モーザー系と結びついており、オイラー演算子によって生成される非自明な中心を持つ。

本論文は、この特定の構造をq-変形の設定へと一般化する際の空白に対処している。型 $GL_n$ の二重アフィンヘッケ代数（DAHA）は、フル型の有理型チェルニドニック代数の自然なq-類似体として機能するが、著者らは、この $H_{\mathfrak{gl}_n}$ のq-類似体として機能する特定の部分代数をDAHA内で定義し、特徴付けることを目的としている。さらに、著者らはこの代数的構造を利用して、二種類の異なる相互作用する粒子を含むケースにおいて、Macdonald–Ruijsenaars系にMorse型ポテンシャルを加えたもの（Van Diejen系）を一般化した、新しい可積分系を構築することを目指している。

手法
著者らは、パラメータ $q$ および $\tau$ に依存する型 $GL_n$ の二重アフィンヘッケ代数 $H_n = H_{n,q,\tau}$ の枠組みの中で、構成的な代数的アプローチを採用している。

1. 代数的構成:

   • 著者らは、ヘッケ生成子 $T_k$、 $Y$-要素 $Y_i^{\pm 1}$、および特定の演算子 $e_{ij} = X_i D_j$ （ただし $i \neq j$）によって生成される部分代数 $H_{\mathfrak{gl}_n} \subset H_n$ を定義する。
   • 演算子 $D_i$ は、量子群 $U_q(\mathfrak{gl}_n)$ のジョルダン・シュウィンガー表現におけるq-オシレーター演算子 $d_i$ の $\tau$-変形として構成される。具体的には、$D_i$ はヘッケ生成子の積による中心要素 $D_n$ の共役によって定義される。
   • 著者らは、$H_{\mathfrak{gl}_n}$ が代数 $\mathcal{A} = \mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n)/I_q)$ （ここで $\rho$ はq-オシレーター表現）の平坦な $\tau$-変形であることを確立する。

2. 構造解析:

   • 定義関係式: 著者らは、$T_k$ と $e_{ij}$ の間の交換関係や、$Y_i^{\pm 1}$ と $e_{ij}$ の間の関係を含む、すべての定義関係式を導出する。これらの関係式は、$\tau \to 1$ のときに代数 $\mathcal{A}$ の関係式を変形することが示されている。
   • PBW基底: $H_{\mathfrak{gl}_n}$ の明示的なポアンカレ・ビーク・ビトロフスキー（PBW）基底を構成し、この代数がローラン多項式 $\tau$ の環上の自由加群であることを証明する。
   • 中心および中心化群: 中心 $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)$ のハウ・デュアリティのq-類似体として解釈される。

3. 可積分系の応用:

   • 著者らは、整数パラメータ $l_1, l_2$ および複素係数 $a_j$ に依存する、一般化された交換する要素の族 $D_i^{(l_1, l_2)}$ を導入する。
   • これらの演算子が対称ローラン多項式の空間に作用することを考慮することで、交換するq-差分演算子の族を導出する。
   • 「制限」手続き（重心を無限遠に送る極限を取ること）をこれらの演算子に適用し、対称群の作用への依存性を排除することで、明示的なハミルトニアンを得る。

主な貢献と結果

• $H_{\mathfrak{gl}_n}$ の定義: 本論文は、DAHAの中に、有理型チェルニドニック代数の次数ゼロ部分のq-類似体として機能する部分代数 $H_{\mathfrak{gl}_n}$ を定義することに成功した。$q \to 1$ の極限において、この代数が既知のRCAの次数ゼロ部分の部分代数に減少することが示されている。
• 構造定理: 著者らは、明示的な定義関係式とPBW基底を用いて $H_{\mathfrak{gl}_n}$ の完全な提示を行う。$H_{\mathfrak{gl}_n}$ が、交差積 $\mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n))$ の平坦な $\tau$-変形であることを証明している。
• 中心および双対性: 中心は単一の可逆な要素 $e_Y$ によって生成されることが証明されている。確立された二重中心化性質は、$H_{\mathfrak{gl}_n}$ をより大きな代数 $\mathcal{A}$ に関連付けており、次数ゼロ部分がオイラー演算子の中心化群であるという古典的な結果を一般化している。
• 新しい可積分ハミルトニアン:
  • 著者らは、Van Diejen系（Morse型ポテンシャルを持つMacdonald–Ruijsenaars系）を一般化する、新しい交換するq-差分演算子の族を導出している。
  • 極めて重要な点として、これら二種類の相互作用する粒子を含むケースへとこれらの系を拡張している。得られるハミルトニアン（式6.16）は、$N_1$ 個の第一種の粒子と $N_2$ 個の第二種の粒子が、種内および種間のポテンシャル、ならびに外部のMorse型場を介して相互作用する系を記述している。
  • これらの演算子の微分極限（$q \to 1$）は、InozemtsevおよびVan Diejenによる先行研究を拡張し、Morse型ポテンシャルを持つ双曲型カロジェロ・モーザー系を二種類の粒子ケースへと一般化したものである。

意義

本論文は、主に以下の二つの領域において重要であると主張している：

1. 代数理論: チェルニドニック代数の理論における構造的な空白を埋め、次数ゼロ部分の部分代数のq-類似体を厳密に定義し、特徴付けている。これは、ジョルダン・シュウィンガー表現の観点を通じて、二重アフィンヘッケ代数、量子群、および可積分系の間の新しい結びつきを提供している。二重中心化性質の特定は、ハウ・デュアリティに類似した、これらの代数の表現論への新しい視点を与える。

2. 可積分系: 新しい可積分差分方程式を生成するための体系的な代数的手法を提供している。Van Diejen系を二種類の粒子を含むように拡張することで、著者らは、外部場を伴う変形されたMacdonald–Ruijsenaars演算子を一般化した。これは、既知の可積分モデルの景観を広げるものであり、量子的な場合において離散スペクトルを持ち、かつ広範な交換する保存量の族を通じて可積分性を保持するハミルトニアンを提供する。これらの結果は、DAHAの表現論を、複雑な多体系量子系の構成へと直接結びつけている。