[論文レビュー] Generalized $q$-Painlevé VI systems of type $(A_{2n+1}+A_1+A_1)^{(1)}$ arising from cluster algebra

Naoto Okubo, Takao Suzuki|arXiv (Cornell University)|Oct 8, 2018

Algebraic structures and combinatorial models参考文献 27被引用数 7

ひとこと要約

本稿では、トーラス上の変異周期的クイバーを用いたクラスタ代数技法を用いて、$q$-Painlevé VI方程式の高次一般化を構成する。この構成は、型$(A_{2n+1}+A_1+A_1)^{(1)}$の拡張アフィン・ウェイル群を実現する。この枠組みにより、既知の系—$q$-Garnier、$q$-UC、$q$-DS階層—が、有理写像によるルート格子上の平行移動として一様に導出される。

ABSTRACT

In this article we formulate a group of birational transformations which is isomorphic to an extended affine Weyl group of type $(A_{2n+1}+A_1+A_1)^{(1)}$ with the aid of mutations and permutations of vertices to a mutation-periodic quiver on a torus. This group provides a class of higher order generalizations of Jimbo-Sakai's $q$-Painlevé VI equation as translations on a root lattice. Then the known three systems are obtained again; the $q$-Garnier system, a similarity reduction of the lattice $q$-UC hierarchy and a similarity reduction of the $q$-Drinfeld-Sokolov hierarchy.

研究の動機と目的

• クラスタ代数とアフィン・ウェイル群の対称性を用いて、高次$q$-Painlevé系の統一的分類枠組みを確立すること。
• トーラス上の変異周期的クイバーを用いて、Jimbo-Sakaiの$q$-Painlevé VI方程式を高次系に拡張すること。
• 既知の系—$q$-Garnier、$q$-UC、$q$-DS階層—が、この一般化枠組みの特別な場合として得られることを示すこと。
• ルート格子上の有理写像としての系の体系的導出を、型$(A_{2n+1}+A_1+A_1)^{(1)}$の拡張アフィン・ウェイル群に同型な形で行うこと。

提案手法

• 変異と頂点の置換を用いて、型$(A_{2n+1}+A_1+A_1)^{(1)}$の拡張アフィン・ウェイル群に同型な有理写像の群を生成する。
• トーラス上に配置された$2n+2$個の頂点を持つクイバーに対して反復的変異を施し、変異列においても周期性を保つように構成する。
• ウェイル群作用を用いてルート格子上の平行移動として力学系を導出し、$q$-Painlevé VI方程式を高次に一般化する。
• 係数を含むクラスタ代数形式を適用し、変異の下でクラスタ変数と係数が明示的な有理写像で変化することを示す。
• 線形$q$-差分方程式との関係を確立するため、$z$に関して次数$n+1$の行列$\mathcal{A}(z)$を構成し、その固有値を系のスペクトルデータに関連付ける。
• $\mathcal{A}(z)$と$\mathcal{B}(z)$の整合性条件を、行列式恒等式と$q$-シフト変換を用いて検証し、$q$-ラプラス変換構造の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 クラスタ代数構造から、$q$-Painlevé VI方程式の高次一般化を体系的に導出する方法は何か？
• RQ2 変異周期的クイバーは、高次離散Painlevé系の拡張アフィン・ウェイル群対称性を実現するために果たす役割は何か？
• RQ3 既知の$q$-Painlevé系、たとえば$q$-Garnier、$q$-UC、$q$-DS階層が、根系とクラスタ変異に基づく同一の枠組みに統合可能か？
• RQ4 関連する線形$q$-差分系のスペクトル性質は、行列$\mathcal{A}_0$の固有値とどのように関係するか？
• RQ5 系の可積分性を保証する$q$-ラプラス変換の整合性条件の正確な形は何か？

主な発見

• 一般化された系は、型$(A_{2n+1}+A_1+A_1)^{(1)}$の拡張アフィン・ウェイル群に同型な有理写像として構成され、統一された対称性構造が得られる。
• $n=1,2,3$に対して、$q$-Garnier系、$q$-UC階層の類似還元、$q$-Drinfeld-Sokolov階層の類似還元がすべて特別な場合として回復される。
• 行列$\mathcal{A}(z)$が$z$に関して次数$n+1$の多項式であることが示され、主係数は$\mathcal{A}_{n+1} = (-a_1)^{n+1} \begin{pmatrix} t^{-1} & 0 \\ * & 1 \end{pmatrix}$である。
• $\mathcal{A}_0$の固有値は$q^{-n/2} t^{-1}$および$q^{n/2} a_1 b_1 \cdots a_{n+1} b_{n+1}$として決定され、スペクトルデータと系のパrameterが結びつく。
• 整合性条件$\det \tau_2(\mathcal{A}) \det \mathcal{B} = \det T_{q,z}(\mathcal{B}) \det \mathcal{A}$が検証され、$q$-ラプラス変換構造の整合性が確認される。
• $n=2m-1$の場合、$\mathcal{B}$の固有値は$\zeta_1 = b_m / a_1$および$\zeta_2 = b_{n+1} / a_1$として得られ、系のパrameterに明示的な依存性が示される。