[論文レビュー] Difference equations and cluster algebras I: Poisson bracket for integrable difference equations

Rei Inoue, Tomoki Nakanishi|arXiv (Cornell University)|Dec 27, 2010

Nonlinear Waves and Solitons被引用数 6

ひとこと要約

本稿では、変異に_COMPATIBLE_なヤコビアンを備えたクラスター代数枠組みを導入し、離散的ロトカ・ヴォルテラ方程式および離散的リウヴィル方程式に対して、差分方程式の可積分性を統一的に扱うための枠組みを構築する。特に、歪対称化可能な交換行列を用いて、両方の系に対して明示的なヤコビアン構造を導出する。主な結果として、初期変数のヤコビアンは行列 $ B $ と定数 $ c_y $ によって決定され、クラスター代数とカテゴリフィケーションの観点から、可積分性の統一的代数的基盤を提供する。

ABSTRACT

We introduce the cluster algebraic formulation of the integrable difference equations, the discrete Lotka-Volterra equation and the discrete Liouville equation, from the view point of the general T-system and Y-system. We also study the Poisson structure for the cluster algebra, and give the associated Poisson bracket for the two difference equations.

研究の動機と目的

• T-系およびY-系を用いて、離散的ロトカ・ヴォルテラ方程式および離散的リウヴィル方程式をクラスター代数の枠組みで定式化すること。
• 無限または有限の歪対称化可能な交換行列を有するクラスター代数に対して、変異に_COMPATIBLE_なヤコビアンを構成すること。
• 両方の可積分差分方程式の初期変数に対する明示的なヤコビアン構造を導出すること。
• ヤコビアンと背後にあるクラスター代数構造との関係を確立し、特にカテゴリフィケーションの観点から可積分性を考察すること。

提案手法

• 歪対称化可能な交換行列 $ B $ を用いたクラスター代数形式的枠組みを用い、離散的ロトカ・ヴォルテラ方程式では $ B $ が無限大であり、離散的リウヴィル方程式では有限である。
• クラスター変数 $ x $、係数 $ y $、および関連する $ \tau $-関数に対して変異を適用し、変異列による系のダイナミクスを定義する。
• ヤコビアンをヤコビアン行列 $ P $ を通じて導出する。$ B $ が有限の場合 $ P = c_y B^{-1} $ であり、$ B $ が無限大の場合には一般化された形をとる。変異と整合的であることを保証する。
• 関数 $ f_i(u) $ が変異不変であることを用い、$ \hat{y}_i(u) = y_i(u) f_i(u) $ を導入することで、初期データ上のヤコビアン構造を表現する。
• 一般ヤコビアン構造を、離散的ロトカ・ヴォルテラ方程式およびリウヴィル方程式の具体的なケースに適用し、$ B $ の対称性と周期性を用いて明示的な括弧を計算する。
• 特に $ i \equiv j \mod 3 $ のとき $ \{y_i, f_j\} = 0 $ であるという事実を用いて、離散的ロトカ・ヴォルテラ系におけるヤコビアン括弧の計算を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 T-系およびY-系を用いて、離散的ロトカ・ヴォルテラ方程式をクラスター代数の枠組みでどのように定式化できるか。
• RQ2 交換行列 $ B $ が有限かつ可逆である場合、離散的リウヴィル方程式のヤコビアン括弧の明示的形は何か。
• RQ3 交換行列 $ B $ が無限大かつ非可逆である場合（離散的ロトカ・ヴォルテラの場合）、ヤコビアン構造はどのように振る舞うか。
• RQ4 一般の歪対称化可能な行列（無限大を含む）を有するクラスター代数に対して、変異に_COMPATIBLE_なヤコビアンを構成できるか。
• RQ5 初期変数のヤコビアン括弧と、背後にあるクラスター代数の代数的構造との関係は何か。

主な発見

• 離散的ロトカ・ヴォルテラ方程式の初期変数 $ \{\hat{y}_{3i}(0), \hat{y}_{3i+1}(1) \mid i \in \mathbb{Z}\} $ のヤコビアン括弧は $ \{\hat{y}_{3i}(0), \hat{y}_{3j+1}(1)\} = c_y(-\delta_{j,i} + \delta_{j,i-1}) \hat{y}_{3i}(0) \hat{y}_{3j+1}(1) $ で与えられ、同じ添字を持つ変数間の括弧は消える。
• 離散的リウヴィル方程式で $ N = 2m $ のとき、初期変数 $ \{y_{2k}(0), y_{2k+1}(1) \mid k \in \mathbb{Z}/m\mathbb{Z}\} $ のヤコビアン括弧は $ \{y_{2k}(0), y_{2j+1}(1)\} = -c_y(\delta_{j,k} + \delta_{j,k-1}) y_{2k}(0) y_{2j+1}(1) $ であり、自己括弧は消える。
• $ N = 2m+1 $ のとき、初期変数 $ \{y_{i_+}(0), y_{i_-}(1) \mid i \in \mathbb{Z}/(2m+1)\mathbb{Z}\} $ のヤコビアン括弧は $ \{y_{i_+}(0), y_{j_-}(1)\} = -c_y(\delta_{j,i+1} + \delta_{j,i-1}) y_{i_+}(0) y_{j_-}(1) $ であり、[FV99] で知られている結果と整合的である。
• $ N=2m+1 $ の場合、$ y $-変数のヤコビアン括弧は $ \{y_i, y_j\} = -c_y(\delta_{i+1,j} + \delta_{i-1,j}) y_i y_j $ で与えられ、これは背後の格子構造を反映している。
• $ B $ が可逆であるとき、$ x $-変数のヤコビアン構造は $ P = c_x B^{-1} $ によって一意に決定され、定理 3.5(i) で示されるように、クラスター代数の変異と整合的である。
• $ \hat{y}_i(u) $ のヤコビアン括弧はヤコビアン行列 $ P $ に依存せず、$ B $ と系の対称性にのみ依存する。これは、補題 5.4 および補題 3.10 によって確認されている。