[論文レビュー] Affine parts of abelian surfaces as complete intersection of three quartics

A. Lesfari|ArXiv.org|Jun 22, 2007

Nonlinear Waves and Solitons参考文献 29被引用数 4

ひとこと要約

本稿は、3つの四次不変量を有する5次元代数的完全可積分ハミルトニアン系を構成し、その一般的レベル集合が、2つの種数2の超楕円曲線にパラメータ付けられた、種数2の超楕円曲線のヤコビアンに補完されるアーベル面のアフィン部分であることを示している。この系は種数2の超楕円関数を用いて積分可能であり、不変多様体は $
5$ 次元空間に埋め込まれたクーマー面の2重被覆として実現され、2つの接する種数2の超楕円曲線によってパラメータ付けられた明示的な有理型解が得られる。

ABSTRACT

We consider an integrable system in five unknowns having three quartics invariants. We show that the complex affine variety defined by putting these invariants equal to generic constants, completes into an abelian surface; the jacobian of a genus two hyperelliptic curve. This system is algebraic completely integrable and it can be integrated in genus two hyperelliptic functions.

研究の動機と目的

• 5変数の代数的完全可積分ハミルトニアン系を、3つの四次第一積分を有する形で構成すること。
• これらの不変量の一般的レベル集合が、アーベル面のアフィン開部分集合をなすことの証明。
• この系が種数2の超楕円関数の観点から明示的に積分可能であることを示すこと。
• アフィン多様体の補完が、種数2の超楕円曲線のヤコビアンに一致することの同定。
• 不変多様体の幾何学的・力学的構造の分析、特に埋め込みおよびクーマー面の役割の解明。

提案手法

• 系は、$H = F_1$ であるハミルトニアンベクトル場として定義され、$F_1, F_2, F_3$ は運動方程式から導かれる3つの四次不変量である。
• 系のフローは、コンパクト化多様体 $\widetilde{B}$ 上で線形であることが示され、アーノルド＝リウヴィルの定理により、$\widetilde{B}$ が複素トーラス $\mathbb{C}^2 / \Lambda$ に同型であることが証明される。
• アフィン多様体 $B(3)$ は $\mathbb{P}^{15}$ に埋め込まれ、$\mathcal{D} = \mathcal{H}_i + \mathcal{H}_{-i}$ という除数を加えることでコンパクト化される。ここで $\mathcal{H}_\varepsilon$ は種数2の超楕円曲線である。
• 4つの自由パラメータ $\alpha, \beta, \gamma, \theta$ に依存するローラン級数解が構成され、これらは曲線 $\mathcal{H}_{\varepsilon=\pm i}$ 上に制限され、それらは1点で接している。
• $\zeta = 1/z_1$ および $\xi = z_1/z_2$ の微分を用いて、$\widetilde{B}$ 上の正則1形式 $dt_1$ と $dt_2$ を計算し、超楕円微分 $\omega_1$ と $\omega_2$ の明示的表現が得られる。
• $(z_1,z_2,z_3,z_4,z_5) \mapsto (z_1,z_2,-z_3,-z_4,z_5)$ を定める対合 $\sigma$ が時間座標へと拡張され、$\widetilde{B}$ 上の$(-1)$-対合として実現され、2つの曲線 $\mathcal{H}_i$ と $\mathcal{H}_{-i}$ を交換する。

実験結果

リサーチクエスチョン

• RQ1 5次元ハミルトニアン系が3つの四次不変量を有する場合、その一般的レベル集合が射影空間に埋め込まれ、アーベル面にコンパクト化可能であるか。
• RQ2 不変量によって定義されるアフィン多様体 $B(3)$ は、クーマー面および種数2の曲線のヤコビアンとどのように関係しているか。
• RQ3 2つの種数2の超楕円曲線 $\mathcal{H}_{\varepsilon=\pm i}$ が有理型解をパラメータ付けする幾何学的・力学的役割は何か。
• RQ4 系のフローはコンパクト化されたアーベル面上でどのように進化するか。また、正則1形式および超楕円微分構造とどのように関係しているか。
• RQ5 $\mathcal{H}_i$ と $\mathcal{H}_{-i}$ の接点の意味は何か。また、ベクトル場の挙動とどのように関連しているか。

主な発見

• この系は代数的完全可積分である：3つの四次不変量の一般的レベル集合 $B(3)$ は、種数2の超楕円曲線のヤコビアンであるアーベル面 $\widetilde{B}$ のアフィン開部分集合である。
• コンパクト化 $\widetilde{B}$ は、射影的アーベル面（ケーラー多様体）であり、$\mathbb{C}^2 / \Lambda$ に同型である。主極性は周期行列 $\delta_1 = \delta_2 = 1$ から生じる。
• $B(3)$ はクーマー面の2重被覆であり、除数 $\mathcal{D} = \mathcal{H}_i + \mathcal{H}_{-i}$ は非常に豊富で、幾何学的 genus 5 であり、$\mathcal{S} = 2\mathcal{D}$ は genus 17 を有する。
• 系の有理型解は、2つの同型な種数2の超楕円曲線 $\mathcal{H}_{\varepsilon=\pm i}$ によってパラメータ付けされ、それらは1点で横断的に交わっており、その点で接している。フローはその点で両曲線に接する。
• 正則1形式 $\omega_1 = dt_1|_{\mathcal{H}_\varepsilon}$ と $\omega_2 = dt_2|_{\mathcal{H}_\varepsilon}$ は明示的に計算され、$\omega_1 = \frac{\alpha d\alpha}{\sqrt{P(\alpha)}}$ および $\omega_2 = \frac{\sqrt{2} d\alpha}{2\sqrt{P(\alpha)}}$ となる。ここで $P(\alpha) = 4\alpha^6 - 4a\alpha^4 - 4c_1\alpha^2 + 2\varepsilon\sqrt{2}c_2\alpha - c_3$ であり、比 $\omega_1 / \omega_2 = -\varepsilon\sqrt{2}\alpha$ が成り立つ。
• $(-1)$-対合は、時間反転 $(t_1,t_2) \mapsto (-t_1,-t_2)$ によって誘導され、曲線 $\mathcal{H}_i$ と $\mathcal{H}_{-i}$ を交換する。また、ローランパラメータ上で $(t,\alpha,\beta,\gamma,\theta,\varepsilon) \mapsto (-t,-\alpha,-\beta,-\gamma,-\theta,-\varepsilon)$ として作用する。