[論文レビュー] Affine Weyl group approach to Painlevé equations

Masatoshi Noumi|ArXiv.org|Apr 28, 2003

Nonlinear Waves and Solitons参考文献 16被引用数 10

ひとこと要約

本稿では、Painlevé方程式および離散Painlevé方程式に対するアフィンワイル群のアプローチを提示し、それらのバックリンド変換が型 $A^{(1)}_{l}$ の拡張アフィンワイル群から生じることを示している。主な貢献は、$M\times N$ 行列上での $\widetilde{W}^{M} \times \widetilde{W}_{N}$ の有理型作用を用いた統一的枠組みの構築であり、$q$-Painlevé系を離散時間発展として実現する。離散時間発展は群元 $\gamma_k^{-1}$ として特定され、超離散化は分岐線形写像を通じて結晶組合せ論と関連づけられる。

ABSTRACT

An overview is given on recent developments in the affine Weyl group approach to Painlevé equations and discrete Painlevé equations, based on the joint work with Y. Yamada and K. Kajiwara.

研究の動機と目的

• アフィンワイル群の対称性を通じて、Painlevé方程式と離散Painlevé方程式の記述を統一すること。
• 拡張アフィンワイル群 $\widetilde{W}^{M}$ および $\widetilde{W}_{N}$ の有理型作用を $M\times N$ 行列変数上に確立すること。
• $q$-Painlevé系の型 $(M,N)$ を、$p=1$ の下で群元 $\gamma_k^{-1}$ によって生成される離散時間発展として実現すること。
• 有理型作用の超離散化が、組合せ的 $R$-行列とKashiwaraの結晶基底上のワイル群作用に関連する分岐線形写像をもたらすことを示すこと。
• $(M,N)=(2,3)$ の場合に $qP_{\rm IV}$ 方程式が特殊ケースとして得られ、微分型 $P_{\rm IV}$ の場合と整合することを示すこと。

提案手法

• 本稿では、生成元 $s_i$（基本反射）と $\pi$（インデックス回転）を備えた拡張アフィンワイル群 $\widetilde{W}(A^{(1)}_{l}) = \langle s_0,\dots,s_l, \pi \rangle$ を用い、アフィン型のカルタン行列による関係式を定義する。
• 有理関数体 $\mathcal{K} = \mathbb{C}(q,p)(x^i_j)$ 上に、$M\times N$ 行列変数に対して周期的境界条件 $x^{i+M}_j = q x^i_j$, $x^i_{j+N} = p x^i_j$ を満たす有理変換 $r_k$, $s_l$, $\omega$, $\pi$ を定義する。
• 時間発展作用素 $T_k$ は $\gamma_k^{-1}$ に一致し、$\gamma_k = r_{k-1} \cdots r_1 \omega r_M \cdots r_k$ によって定義され、自由アーベル部分群 $L \simeq \mathbb{Z}^M$ をなす。
• $\widetilde{W}^{M}$ の作用は、$L \rtimes S_M$ の半直積として分解され、$S_M$ は $\gamma_k$ 生成子を置換する。
• 超離散化は $q \to Q$, $p \to P$ と置き換え、$P=0$ または $P=Q=0$ とすることで、行列空間上の分岐線形写像を得る。
• 得られた分岐線形写像は、$GL_N$ の対称テンソル表現の結晶基底 $\mathcal{B}^{\otimes M}$ 上での組合せ的 $R$-行列とKashiwaraのワイル群作用と対応する。

実験結果

リサーチクエスチョン

• RQ1 型 $(M,N)$ の $q$-Painlevé系を、アフィンワイル群の対称性を用いて離散力学系としてどのように実現できるか？
• RQ2 拡張アフィンワイル群 $\widetilde{W}^{M} \times \widetilde{W}_{N}$ は、$q$-Painlevé方程式の可換な離散時間発展を生成するために果たす役割は何か？
• RQ3 有理型作用の超離散化は、結晶基底に関連する可積分な分岐線形系をどのように導くか？
• RQ4 変換 $r_k$ と $s_l$ は、組合せ的 $R$-行列といった表現論の既知の構造とどのように対応するか？
• RQ5 $qP_{\rm IV}$ 方程式は型 $(2,3)$ の $q$-Painlevé系からどのように導かれ、微分型 $P_{\rm IV}$ と関係するか？

主な発見

• 型 $(M,N)$ の $q$-Painlevé系は、時間発展 $T_k$ が $\gamma_k^{-1}$ に一致する離散力学系として実現され、$p=1$ の下で $\widetilde{W}^{M}$ の有理型作用から導かれる。
• 拡張アフィンワイル群 $\widetilde{W}^{M}$ は、有理写像 $r_k$, $\omega$, $\pi$ を用いて $M\times N$ 行列空間に作用し、$\gamma_k$ が自由アーベル部分群 $L \simeq \mathbb{Z}^M$ をなす。
• $qP_{\rm IV}$ 方程式は、型 $(2,3)$ の $q$-Painlevé系の特殊ケースとして回復され、微分型 $P_{\rm IV}$ の場合と整合する。
• $P=0$ の超離散化により、可換な分岐線形流れ $\gamma_k$ が得られ、型 $(M,N)$ の超離散Painlevé系が形成される。
• $P=Q=0$ の場合、系は $M$-周期的なボックスアンドボール系に特異化し、写像 $r_k$, $s_l$ は、$GL_N$ の対称テンソル表現の結晶基底 $\mathcal{B}^{\otimes M}$ 上での組合せ的 $R$-行列とKashiwaraのワイル群作用に対応する。
• 変数 $\varphi_0, \varphi_1, \varphi_2$ とパラメータ $\alpha_0, \alpha_1, \alpha_2$ を用いた $P_{\rm IV}$ の対称形は、正規化と変数変換の下で標準的 $P_{\rm IV}$ 方程式と同値であることが示された。