On Borodin-Gorin presentation of Heckman-Opdam $\mathfrak{gl}_n$ hypergeometric function

技術的要約：Borodin–GorinによるHeckman–Opdam $\mathfrak{gl}_n$ 超幾何関数の提示について

問題提起
本論文は、Heckman–Opdam $\mathfrak{gl}_n$ 超幾何関数 $F_{\lambda_n}(x_n)$ の異なる積分表示間の関係を扱っている。具体的には、特定の領域（$x_1 < y_1 < \dots < y_{n-1} < x_n$）におけるインターレース（interlacing）積分によって定義されるBorodin–Gorinの提示と、既存の文献（具体的にはHallnäs–RuijsenaarsおよびKhoroshkin–Khoroshkinによるもの）で確立された2つの他の積分表示との間の等価性を調査している。著者らは、Borodin–Gorin形式が既知の正規化定数を除いて標準的な形式と等価であることを証明することを目的としている。さらに、この関数の新しい「インターレース」Baxter演算子および昇降演算子に関するスペクトル特性を特徴付け、双曲線Ruijsenaarsモデルからこの有理的／三角関数的退化への極限手続きを理解することを目指している。

手法
著者らは、結果を確立するために演算子論と積分恒等性の組み合わせを用いている：

1. 演算子の構成： 本論文では、新しい一連の「インターレース」昇降演算子（$\Lambda^*_n$）およびBaxter演算子（$Q^*_{n,\pm}$）を定義している。これらは、$\mathbb{R}^n$ 上で積分を行う標準的な演算子とは異なり、部分順序 $y_m \succ y_{m-1}$（すなわち、$y_{m,1} < y_{m-1,1} < y_{m,2} < \dots$）によって定義されるインターレース領域上で積分を行う。
2. 交換関係： 手法の核心は、これらの新しい昇降演算子およびBaxter演算子と、標準的な昇降演算子との間の交換関係（交換関係）を証明することにある。これらの関係は、E. Rainsの積分恒等籍の有理的退化を用いて導出される。具体的には、著者らは、双正弦関数 $S_2$ を含むRainsの恒等式を用いた極限手続きを利用して、双曲線Ruijsenaースモデルから三角関数Sutherlandモデルへと移行する。
3. 収束解析： 技術的な作業の大部分は、特に対角線上（$y_i = x_j$）や無限遠における特異性が存在する状況下での、これらの演算子を定義する多重積分の絶対収束を証明することに割かれている。著者らは、Fubiniの定理およびルベーグの収束定理の適用を正当化するために、特定の境界（補題3.1）と波動関数の漸近解析を用いている。
4. 帰納的証明： 積分表示の等価性と、新しい演算子の対角化特性は、確立された交換関係を利用したランク $n$ に関する帰納法によって証明される。

主要な貢献と結果

• 表示の等価性（定理3.1）： 著者らは、Borodin–Gorinのインターレース積分表示 $\Psi^*_{\lambda_n}(x_n)$ が、正規化因子 $\alpha_n^{-1} = \prod_{k=1}^n \frac{\Gamma(g)}{\Gamma(kg)}$ を除いて、標準的な波動関数 $\Psi_{\lambda_n}(x_n)$ （これはHeckman–Opdam超幾何関数 $F_{\lambda_n}$ を生成する）と等価であることを証明している。
  $$\Psi^*_{\lambda_n}(x_n) = \alpha_n^{-1} F_{\lambda_n}(x_n)$$
  これは、Borodin–Gorinの波動関数が新しいインターレース昇降演算子 $\Lambda^*_n$ の逐次的な適用によって生成可能であること、およびこれらの演算子がガンマ関数の因子を除いて標準的な昇降演算子と可換であることを示すことで達成される。

• 新しいBaxter演算子とスペクトル特性（定理3.2）： 本論文では、新しい可換な対称演算子の族 $Q^*_n(\mu) = Q^*_{n,+}(\mu) + Q^*_{n,-}(\mu)$ を導入している。波動関数 $\Psi_{\lambda_n}(x_n)$ がこれらの演算子の固有関数であることが証明されている。その固有値は、ガンマ関数の積の和として明示的に計算される：
  $$\prod_{j=1}^n \frac{\Gamma(\frac{1-g}{2} - i(\lambda_j - \mu))}{\Gamma(\frac{1+g}{2} - i(\lambda_j - \mu))} + \prod_{j=1}^n \frac{\Gamma(\frac{1-g}{2} + i(\lambda_j - \mu))}{\Gamma(\frac{1+g}{2} + i(\lambda_j - \mu))}$$
  これにより、Borodin–Gorinの提示は、標準的な提示におけるものとは異なる特定の家族のBaxter演算子を対角化することが確立される。

• 双曲線モデルからの極限手続き（セクション4）： 著者らは、インターレース昇降演算子 $\Lambda^*_n$ が、パラメータ $\omega_2 \to 0^+$ の極限として、双曲線Ruijsenaarsモデルの反射昇降演算子 $\Lambda^{R*}_n$ から厳密に得られることを示している。これは、極限において対角線上にさらなる可積分特異性が導入されるため、非自明なプロセスである。著者らは、優収束定理を用いてこの極限を正当化するための厳密な境界を提供している。

• Baxter演算子の極限に関する制限： 本論文では、極限挙動における区別について述べている。昇降演算子は極限として自然に現れる一方で、対応するBaxter演算子 $Q^*_n$ は（極限において）発散するため、双曲線系からの直接的な極限としては現れない。著者らは、これらの演算子が、演算子の合成を含むより洗練された極限から生じる可能性が高いことを示唆しているが、これは議論の中で結合定数 $g \in (1, 3/2)$ の制限された範囲においてのみ厳密に確立されている。

意義と主張
本論文は、Borodin–Gorinのインターレース積分提示と、確立されたHeckman–Opdam超幾何関数との間の等価性を厳密に証明したと主張しており、これら二つの双対な積分表示の一致に関する問題を解決している。新しいインターレース演算子を導入し分析することで、標準的な提示において知られている代数的構造（可換な族および交換関係）を、このインターレースの文脈へと拡張している。

また、本研究は、双曲線Ruijsenaarsモデルと、その三角関数的退化（Sutherlandモデル）との関係を明らかにしている。特に、有理的極限においてどのように「インターレース」構造が出現するかを強調している。著者らは、昇降演算子が極限としてよく理解されている一方で、インターレースBaxter演算子の双曲線系からの起源については、演算子の合成に関するさらなる調査を必要とする未解決の技術的課題であることを謙虚に述べている。これらの結果は、これらの可積分系の双対性とスペクトル特性のより深い理解への一歩として提示されている。