[論文レビュー] Some reductions of rank 2 and genera 2 and 3 Hitchin systems

О. К. Шейнман|arXiv (Cornell University)|Sep 20, 2017

Nonlinear Waves and Solitons参考文献 9被引用数 6

ひとこと要約

本稿は、種数2および3の超楕円曲線上のランク2ヒチン系の明示的還元を導入し、それらが直線上の2点および3点の相互作用系をもたらす可積分系を構成することを示している。Wolfram Mathematicaを用いた計算的検証により、これらの還元の許容性を証明し、還元系が次数$g-1$のラグランジュ補間多項式から導かれる普遍的可積分系と一致することを示しており、明示的なハミルトニアン力学および特別解を提示している。

ABSTRACT

Certain reductions of the rank 2, genera 2 and 3 Hitchin systems are considered, which are shown to give an integrable system of 2, resp. 3, interacting points on the line. It is shown that the reduced systems are particular cases of a certain universal integrable system related to the Lagrange interpolation polynomial. Admissibility of the reduction is proved using computer technique. The corresponding codes are given in the text.

研究の動機と目的

• 種数2および3の超楕円曲線上のランク2ヒチン系の特定の還元を同定し、その許容性を厳密に証明すること。
• これらの還元系が完全可積分であり、そのハミルトニアン力学を明示的に記述すること。
• 還元系が次数$g-1$のラグランジュ補間多項式に関連する普遍的可積分系に対応することを示すこと。
• 還元された力学を用いて、元のヒチン系の特別解を明示的に得ること。
• 還元の許容性の検証および運動方程式の導出に用いるWolfram Mathematica用の計算コードを提供すること。

提案手法

• Lax作用素の特定成分を0に設定することにより還元を定義する：種数2では$\alpha_{11} = \alpha_{22} = 0$, $\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$であり、種数3に対しても同様の条件を適用する。
• スペクトルパラメータを曲線$y^2 = P_{2g+1}(x)$上に持ち、$2g$個のマークド点$(a_s, b_s)$と関連するベクトル$\alpha_s, \beta_s$を用いて、ティュイリンパrametrizationによるLax作用素を表現する。
• 局所座標で$x = \infty$の近傍において、$\mathrm{tr}\, L(z)^k \, dx/y$の留数を用いてシンプレクティック構造およびハミルトニアンを定義する。ここで$z = 1/\sqrt{x}$である。
• 還元の許容性は、還元ハミルトニアンの流れ下で制約の時間微分が0に等しいことを確認することで、計算的に検証する。
• 還元系が、各々が直線上の2点の相互作用を記述する独立した部分系に分解されることを示し、それらの力学は位置および運動量の有理関数によって支配される。
• Wolfram Mathematicaを用いた明示的なコードを提供し、微分の計算、還元ハミルトニアンの整合性の検証、運動方程式の導出を実行する。

実験結果

リサーチクエスチョン

• RQ1 種数2および3の曲線上のランク2ヒチン系の特定の還元が、取り扱いやすく可積分な力学系をもたらすか？
• RQ2 $\alpha_{11} = \alpha_{22} = 0$, $\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$で定義される還元は許容的か、すなわちハミルトニアンの流れ下でも保存されるか？
• RQ3 種数$g$の曲線上の還元系が、次数$g-1$のラグランジュ補間多項式に関連する普遍的可積分系と一致するか？
• RQ4 還元された力学から、元のヒチン系の特別解を取得できるか？
• RQ5 記号代数ツールを用いて、還元系の整合性をどのように計算的に検証できるか？

主な発見

• Wolfram Mathematicaを用いた記号計算により、種数2における$\alpha_{11} = \alpha_{22} = 0$, $\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$の還元が許容的であることが確認された。
• 種数2の還元系は、2つの独立した部分系に分解され、それぞれが直線上の2点の相互作用を記述する。その力学は位置および運動量の有理関数によって支配される。
• 還元種数2系のハミルトニアンは明示的に$H_{2,2}^{(r)} = 2\left(\kappa_1 - \kappa_4\right)\left(a_4\kappa_1 - a_1\kappa_4\right)/(a_1 - a_4)^2 + 2\left(\kappa_2 - \kappa_3\right)\left(a_3\kappa_2 - a_2\kappa_3\right)/(a_2 - a_3)^2$として与えられ、これは可積分である。
• 種数3では、還元により直線上の3点の相互作用系が得られ、次数2のラグランジュ補間多項式に基づく普遍的可積分系から導かれた運動方程式が得られる。
• 種数2の還元力学は$\frac{\dot{\kappa}_1 - \dot{\kappa}_4}{\kappa_1 - \kappa_4} = \frac{\dot{a}_1 - \dot{a}_4}{a_1 - a_4}$を満たし、線形関係$\kappa_1 = c_1 a_1 + c_2$, $\kappa_4 = c_1 a_4 + c_3$を示唆し、可積分性を裏付けている。
• 計算的検証により、ハミルトニアンの$\kappa_6$に関する微分が、還元された流れ下での$a_6$の時間微分と一致することが確認され、系の整合性が裏付けられた。