[論文レビュー] Idempotent biquadratics, Yang-Baxter maps and birational representations of Coxeter groups

James Atkinson|arXiv (Cornell University)|Jan 20, 2013

Nonlinear Waves and Solitons参考文献 34被引用数 15

ひとこと要約

本稿では、新しいマイウラ型変換を用いて、可積分な多2次四角格子方程式と四 rational なヤン・バクスター写像を統一し、べき等な2次多項式を通じて隠れた対称性を明らかにした。主な貢献は、Coxeter群（特に $BC_n$、$A_n$、およびアフィン型 $ ilde{E}_6$、$ ilde{E}_8$）の有理型表現を提供することであり、標準的な格子幾何をより対称的で高次元な構造へと拡張した。四角格子および三角格子における可積分な力学が、楕円関数周期の代数的3等分から自然に生じる。

ABSTRACT

A transformation is obtained which completes the unification of quadrirational Yang-Baxter maps and known integrable multi-quadratic quad equations. By combining theory from these two classes of quad-graph models we find an extension of the known integrability feature, and show how this leads subsequently to a natural extension of the associated lattice geometry. The extended lattice is encoded in a birational representation of a particular sequence of Coxeter groups. In this setting the usual quad-graph is associated with a subgroup of type BC_n, and is part of a larger and more symmetric ambient space. The model also defines, for instance, integrable dynamics on a triangle-graph associated with a subgroup of type A_n, as well as finite degree-of-freedom dynamics, in the simplest cases associated with affine-E6 and affine-E8 subgroups. Underlying this structure is a class of biquadratic polynomials, that we call idempotent, which express the trisection of elliptic function periods algebraically via the addition law.

研究の動機と目的

• 最近発見された多2次四角格子方程式と既知の四 rational なヤン・バクスター写像を、新しいマイウラ型変換によって統一すること。
• 加法法則を用いて、べき等な2次多項式が楕円関数周期の代数的3等分をどのように表現するかを調査すること。
• Coxeter群の有理型表現を用いて、標準的な四角格子の幾何をより大きな、より対称的な環境空間へと拡張すること。
• A_n型部分群に関連する三角格子における可積分な力学と、$ ilde{E}_6$ および $ ilde{E}_8$ アフィン部分群に関連する有限自由度系を示すこと。
• 合成と隠れた対称性を尊重する有理型群作用を構築することで、完全でグローバルに一貫した格子構造を確立すること。

提案手法

• 多2次四角格子方程式の主モデル（$Q4^*$）と四 rational なヤン・バクスター写像 $F_I$ を結ぶ新しいマイウラ型変換を導入し、辺ベースと頂点ベースのモデルの間の直接的な対応関係を確立する。
• 楕円関数周期の3等分を代数的に表現する「べき等」と呼ばれる対称的2次多項式のクラスを定義し、ワイエルシュトラスの加法公式を用いる。
• 2次多項式の判別式 $r(x)$ を用いて、2つの同様の多項式の結果式から2値群構造を定義し、2つの出力因子を持つ合成則を導出する。
• べき等2次多項式の軌道とその対称性に基づき、変数を対応づけ、対称性が向上したより大きな格子幾何に埋め込むことで、Coxeter群の有理型表現を構築する。
• 完全性の原理と隠れた対称性を用いて、グローバルな閉包性を導出し、四角格子と三角格子の力学が統一された一貫した格子構造が得られることを示す。
• 評価写像 $h(e_0, eta) = 0$ を用いて、判別式の根により2次多項式をパラメータ化し、群法則から多項式 $H(x,y,eta)$ の再構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 可積分な多2次四角格子方程式と四 rational なヤン・バクスター写像を、共通の代数的構造によってどのように統一できるか？
• RQ2 加法法則を用いて、べき等2次多項式が楕円関数周期の代数的3等分をどのように表現するか？
• RQ3 べき等2次多項式の軌道構造に内在する隠れた対称性は、標準的な四角格子を越えて、より拡張され対称性の高い格子幾何をどのように導くか？
• RQ4 この拡張された格子から生じるCoxeter群の有理型表現の性質は何か？ そして、四角格子および三角格子における力学をどのように統一するか？
• RQ5 共通の判別式を持つ2次多項式の合成は、有限およびアフィン型Coxeter群における可積分な力学を支持する一貫した閉じた系を生み出すことができるか？

主な発見

• マイウラ型変換により、$Q4^*$ 四角格子方程式と $F_I$ ヤン・バクスター写像が成功裏に統一され、両者は同一の可積分構造の2つの実現であることが示された。
• べき等2次多項式は、ワイエルシュトラスの加法公式から導かれる楕円関数周期の3等分を代数的に表現し、合成に関して2値アーベル群をなす。
• 同一の判別式を持つ2つの2次多項式の合成は、2つの出力2次多項式を生み出し、標準的な群法則を一般化した2値群構造を明らかにした。
• Coxeter群（特に $BC_n$、$A_n$、$ ilde{E}_6$、$ ilde{E}_8$）の有理型表現は、べき等2次多項式の軌道構造と対称性から自然に導かれる。
• 有理型表現に符号化された拡張された格子幾何は、四角格子（$BC_n$ による）および三角格子（$A_n$ による）の両方における可積分な力学を支持しており、後者は軌道系における隠れた対称性に起因する。
• この構成により、四角格子および三角格子の力学が1つの有理型群作用の下で統一された完全でグローバルに一貫した系が得られ、$E_6$ の場合、立方曲面上の27本の直線の組合せ論的構造を示した。