[論文レビュー] Anisotropic spin generalization of elliptic Macdonald-Ruijsenaars operators and R-matrix identities

M. Matushko, A. Zotov|arXiv (Cornell University)|Jan 16, 2022

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿では、$\mathrm{GL}_M$ の基本表現における楕円型バーティス＝ベラヴィン $R$-行列を用いて、楕円型マクドナルド＝ルイゼナールス作用素の異方的スピン一般化を導入する。これらの行列値差分作用素の可換性は、量子的および結合的ヤン・バクスターベルグ方程式から導かれる $R$-行列の恒等式を用いて証明され、スカラーの場合（$M=1$）から非可換でスピンを有する量子可積分系へと拡張される。この枠組みは、楕円型ハルデイン＝シャスティ・モデルへの応用を持つ。

ABSTRACT

We propose commuting set of matrix-valued difference operators in terms of the elliptic Baxter-Belavin $R$-matrix in the fundamental representation of ${ m GL}_M$. In the scalar case $M=1$ these operators are the elliptic Macdonald-Ruijsenaars operators, while in the general case they can be viewed as anisotropic versions of the quantum spin Ruijsenaars Hamiltonians. We show that commutativity of the operators for any $M$ is equivalent to a set of $R$-matrix identities. The proof of identities is based on the properties of elliptic $R$-matrix including the quantum and the associative Yang-Baxter equations. As an application of our results, we introduce elliptic generalization of q-deformed Haldane-Shastry model.

研究の動機と目的

• スカラー楕円型マクドナルド＝ルイゼナールス作用素を、$\mathrm{GL}_M$-値 $R$-行列を用いて行列値で非アーベル的かつ異方的スピン版に一般化すること。
• これらのスピン作用素の可換性を、$R$-行列の恒等式の集合を用いて確立すること。
• 楕円型バーティス＝ベラヴィン $R$-行列を用いてスピン自由度を統合することで、楕円型量子可積分系の枠組みを拡張すること。
• スカラーのマクドナルド＝ルイゼナールス作用素の非可換一般化を提供し、スピンを伴う状況においても可積分性を保つこと。

提案手法

• 楕円型バーティス＝ベラヴィン $R$-行列を $\mathrm{GL}_M$ の基本表現で用いて、スカラーのマクドナルド＝ルイゼナールス作用素を一般化した行列値差分作用素 $\mathcal{D}_k$ を構成する。
• 変数の部分集合上で $R$-行列積 $\mathcal{R}_{I,J}$ および $\mathcal{R}'_{I,J}$ を定義し、作用素の構造とスピンの相互作用を符号化する。
• 量子的および結合的ヤン・バクスターベルグ方程式に依拠して、$R$-行列の恒等式の集合を示すことにより、作用素 $\mathcal{D}_k$ の可換性を証明する。
• $R$-行列が格子周期 $\Omega_{m_1,m_2}$ によるシフトに対して示す変換性を用いて、留数を分析し、恒等式の検証を行う。
• $R$-行列の $\mathbb{Z}_M$ 対称性を用いて、シフトされた $R$-行列の留数を $T^{(a)}_{m_1,m_2}$ 行列によるねじれ共役化に結びつける。
• クレーネッカーの楕円型関数 $\phi(z)$ 及びその性質を用いて、作用素のカーネルを表現し、関数的恒等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 スカラー楕円型マクドナルド＝ルイゼナールス作用素は、非アーベル的かつ行列値の設定において、どのようにスピン自由度を含める一般化が可能か？
• RQ2 任意の $M$ に対して、得られるスピン作用素の可換性を保証するのに必要な・十分な $R$-行列の恒等式は何か？
• RQ3 楕円型 $R$-行列の量子的および結合的ヤン・バクスターベルグ方程式は、一般化されたスピン系の可積分性をどのように規定するか？
• RQ4 $R$-行列の $\mathbb{Z}_M$ 対称性は、$R$-行列の恒等式および作用素の可換性の構造において果たす役割は何か？
• RQ5 この枠組みを用いて、例えば $q$-変形ハルデイン＝シャスティ・モデルの楕円型一般化を構築できるか？

主な発見

• 提案されたスピン作用素 $\mathcal{D}_k$ は、$\mathcal{H} = (\mathbb{C}^M)^{\otimes N}$ 上に作用する行列値差分作用素であり、$M > 1$ の場合にスカラーのマクドナルド＝ルイゼナールス作用素を一般化する。
• 任意の $M$ に対して作用素 $\mathcal{D}_k$ の可換性は、$R$-行列の恒等式の集合と同値であり、それらは量子的および結合的ヤン・バクスターベルグ方程式を用いて証明される。
• $R$-行列の恒等式の証明は、$R$-行列積の留数解析に依拠しており、特に $R_{ij}^\hbar(z)$ が $\Omega_{m_1,m_2}$ によるシフトに対して示す変換性が重要なステップを占める。
• 点 $z_a = z_b + \eta - \Omega_{m_1,m_2}$ における $R_{ab}^{-}$ の留数は、$\exp(2\pi i m_2 \hbar / M) \cdot T^{(a)}_{m_1,m_2} P_{ab} (T^{(a)}_{m_1,m_2})^{-1}$ に等しいことが示され、恒等式の検証において中心的役割を果たす。
• $M > 1$ の場合、量子ヤン・バクスターベルグ方程式だけでは行列の場合の可換性を保証できないため、$R$-行列の恒等式は非自明である。
• 新しい枠組みの直接的応用として、$q$-変形ハルデイン＝シャスティ・モデルの楕円型一般化が構築された。