[論文レビュー] A Class of Integrable Geodesic Flows on the Symplectic Group and the Symmetric Matrices

Anthony M. Bloch, Arieh Iserles+2 more|ArXiv.org|Dec 30, 2005

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

ひとこと要約

本稿は、フロベニウスノルムを用いた左不変計量を用いて、対称群 Sp(n,ℝ) および対称行列上における新しい可積分測地線流れのクラスを導入する。バイハミルトニアン構造と非キャシミア積分を用いて完全可積分性を証明し、ミシュチェンコ＝フォメンコの剛体系とは本質的に異なるものであることが示され、N が可逆または階数が1の固有値がすべて異なる場合に可積分性が確立される。

ABSTRACT

This paper shows that the left-invariant geodesic flow on the symplectic group relative to the Frobenius metric is an integrable system that is not contained in the Mishchenko-Fomenko class of rigid body metrics. This system may be expressed as a flow on symmetric matrices and is bi-Hamiltonian. This analysis is extended to cover flows on symmetric matrices when an isomorphism with the symplectic Lie algebra does not hold. The two Poisson structures associated with this system, including an analysis of its Casimirs, are completely analyzed. Since the system integrals are not generated by its Casimirs it is shown that the nature of integrability is fundamentally different from that exhibited in the Mischenko-Fomenko setting.

研究の動機と目的

• 左不変フロベニウス計量を用いた、対称群 Sp(n,ℝ) 上における新しい可積分測地線流れのクラスの特定および解析。
• この系がミシュチェンコ＝フォメンコの剛体型可積分系のクラスに含まれないことを示すこと。
• N が可逆でない場合の分析を拡張し、双対リー代数のポアソン幾何学およびシンプレクティック葉とキャシミアの構造を研究すること。
• バイハミルトニアン構造とモロージ＝ピッツォコエロ技法を用いて完全可積分性を確立すること。キャシミアによって生成されない積分に対しても成立する。
• スペクトル曲線 det(zI - λN - X) = 0 を用いた代数的幾何的構造の探索を今後の研究として計画すること。

提案手法

• X ∈ Sym(n), N ∈ so(n) に対して、Lax方程式 Ẋ = [X, XN + NX] で定義される系。初期条件は Sym(n) に属する。
• 対称行列のリー代数の双対上で、二つの異なるポアソン構造を詳細に分析することで、流れがバイハミルトニアンであることを示す。
• 両方のポアソン構造のキャシミアを明示的に計算し、可積分構造におけるその役割を検討する。
• Bloch と Iserles (2006) のパラメータ付きLaxペアを用いて運動積分を構成し、モロージ＝ピッツォコエロ法によりその可換性（インボリューション）を証明する。
• ミシュチェンコ＝フォメンコ法に依存せず、背理法を直接用いて積分の線形独立性を確立する。
• N が可逆でない場合の分析を、N によって誘導される対称行列上のリー代数構造を研究することで拡張し、一般型のシンプレクティック葉を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Sp(n,ℝ) 上の左不変測地線流れがフロベニウス計量を用いて可積分であるか。また、既知の可積分系とはどのように異なるか。
• RQ2 N が可逆でないか、または階数が1の場合に、この系が完全可積分であることを示せるか。また、その背後にあるポアソン幾何学の構造はいかなるものか。
• RQ3 運動積分がキャシミアによって生成されるか。そうでない場合、可積分性の性質にどのような含意があるか。
• RQ4 二つのポアソン構造およびそれらのキャシミアは、系の力学およびシンプレクティックファイブレーションにどのように関係するか。
• RQ5 スペクトル曲線 det(zI - λN - X) = 0 は、系の代数的幾何的記述において果たす役割は何か。また、線形化にどのように利用できるか。

主な発見

• N が可逆で固有値がすべて異なる場合、系 Ẋ = [X, XN + NX] は、積分の可換性と独立性が示されることにより完全可積分である。
• この系はミシュチェンコ＝フォメンコのクラスに属さない。積分はキャシミアによって生成されないため、可積分性のメカニズムが本質的に異なる。
• N が階数が1で固有値がすべて異なる場合でも、同じ独立性および可換性の議論により、完全可積分性が保たれる。
• 二つのポアソン構造が完全に分析され、それらのキャシミアが特定され、一般型のシンプレクティック葉が特徴付けられた。
• バイハミルトニアン構造のおかげで、モロージ＝ピッツォコエロ技法を用いて、キャシミアによって生成されない積分の可換性を証明できる。
• この系は、剛体型でない半単純リー群（Sp(n,ℝ)）上での可積分測地線流れの新しい例であり、既知の例における空白を埋めるものである。