[論文レビュー] Quadrirational Yang-Baxter maps and the elliptic Cremona system

James Atkinson, Yasuhiko Yamada|arXiv (Cornell University)|Apr 5, 2018

Algebraic structures and combinatorial models参考文献 1被引用数 6

ひとこと要約

本稿は、KdV型離散系である四有理的ヤン・バクスター写像と、$ ilde{E}_8$ 対称性をもつ離散パンルベ方程式の高次元版である楕円的クレモナ系との間に深い接続を確立する。両者を有理型コクセター群を用いて定式化することで、コブレの群が四有理的写像に付随する群のパラボリック部分群として特定され、コブレの群の有理的実現が可能となり、ワイエルシュトラス $σ$-関数によるパラメータ化を通じて、後者の方程式系に自然な楕円的解が明らかになる。

ABSTRACT

This paper connects the quadrirational Yang-Baxter maps, which are two-dimensional integrable discrete systems of KdV type, and the elliptic Cremona system, which is a higher analogue of discrete Painlevé equations associated with $ ilde{E}_8$ symmetry. This is a natural connection between integrable systems in different dimensions that is outside of the usual paradigm of reductions. Our approach is based on formulation of both systems in terms of birational Coxeter groups.

研究の動機と目的

• 四有理的ヤン・バクスター写像（KdV型離散系）と楕円的クレモナ系（$;tilde{E}_8$ 対称性をもつ離散パンルベ系）という二つの異なる可積分系クラスの間の新しい接続を確立すること。
• 両者を有理型コクセター群の共通フレームで統一することで、標準的還元パラダイムを越えた構造的関係を明らかにすること。
• 線形パラメータ化に依存せず、幾何的（非正規化）変数におけるコブレの有理型群の有理的実現を提供すること。
• 四有理的写像に付随する群に対して、ワイエルシュトラス $\sigma$-関数を用いた自然な楕円的解を特定すること。

提案手法

• 射影空間内の点配置に作用する有理型コクセター群の観点から、楕円的クレモナ系と四有理的ヤン・バクスター写像の両者を定式化すること。
• コブレの作用の幾何的設定として、空間 $\mathcal{M}_{i,j} = \mathrm{PGL}(j+1,\mathbb{C}) \setminus \mathrm{Mat}_{j+1,i+j+2}(\mathbb{C}) / (\mathbb{C}^*)^{i+j+2}$ を用いること。
• 変数 $x_{mn}$ を用いて有理型変換を明示的に表現するための標準的行列形 $X_{\mathrm{can}}$ を導入し、その作用を列の置換と反転によって定義すること。
• ワイエルシュトラス $\sigma$-関数によるパラメータ化を通じて、有理型作用と線形作用の整合性を確立し、リーマン関係を満たすこと。
• 線形パrameter $\epsilon_{ij}$ と新しい変数 $l_1, l_2, k_m, h_n$ 間の変数変換を導出し、両系の関係を明確にすること。
• 線形作用の整合性を、特に $F_I$ 場合について、有理型写像式への代入により検証すること。

実験結果

リサーチクエスチョン

• RQ1 四有理的ヤン・バクスター写像に付随する有理型コクセター群は、楕円的クレモナ系を支配するコブレの群とどのように関係するか。
• RQ2 四有理的写像の群とコブレの群との間の明確な構造的関係は何か。また、これは標準的還元パラダイムとはどのように異なるか。
• RQ3 線形パラメータ化に依存せず、幾何的変数におけるコブレの群の有理的実現を構成可能か。
• RQ4 四有理的写像系は自然な楕円的解を有するか。もしそうならば、それらは特殊関数を用いてどのように記述されるか。
• RQ5 新しいパラメータ化のもとで、$\epsilon$-パラメータ上の線形作用と、変換後の変数 $l_1, l_2, k_m, h_n$ 上の作用との関係は何か。

主な発見

• コブレの有理型群は、四有理的ヤン・バクスター写像に付随する群のパラボリック部分群として特定され、二つの可積分系の間の非自明な構造的関係が確立された。
• 非正規化幾何的変数 $x_{mn}$ におけるコブレの群の有理的実現が達成され、これは従来、線形パラメータ化に依存してのみ得られていた。
• 四有理的写像に付随する群は、ワイエルシュトラス $\sigma$-関数によるパラメータ化を通じて自然な楕円的解を有し、リーマン関係を満たす。
• 線形パラメータ $\epsilon_{ij}$ 上の作用（命題 2.2）は、$l_1, l_2, k_m, h_n$ への変数変換により回復され、これに伴い新しい変数上でも整合的な作用が得られる（命題 5.3）。
• $\sigma$-写像に対応する有理型作用の合成は、$F_I$ 場合にのみ線形変換と整合するが、$F_{II}$ や $F_{IV}$ の極限場合には整合しない。
• 新しい変数を有理型写像式に代入すると、元のコブレのパラメータ化 (42) と等価な式が得られ、一貫性が確認され、四有理的系から線形作用 (44) も回復される。