[論文レビュー] On a class of third order mappings with two rational invariants

V. É. Adler|ArXiv.org|Jun 23, 2006

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

ひとこと要約

本稿では、2つの有理関数不変量と、変数の対に作用する3つの対合写像を用いて構成された、新たな可積分な3次有理写像の族を紹介する。これらの対合写像を逐次適用しても不変量が変わらないようにすることで、可換な写像が得られ、不変曲線が楕円曲線によってパラメトライズされ、明示的な代数的構成と非自明な恒等式の検証を通じて可積分性が示される。

ABSTRACT

A novel family of integrable third order maps is presented. Each map possesses, by construction, a pair of rational invariants and a commuting map from the same class. The 3-dimensional invariant curve is parametrized, in general, by an elliptic curve.

研究の動機と目的

• 2つの有理関数不変量を用いて、新たな可積分3次有理写像の族を構成すること。
• 得られた写像が対合的であり、非自明な可換性恒等式を満たすことを確立し、可積分性を保証すること。
• 不変曲線が一般に楕円曲線によってパラメトライズされることを示し、力学系と代数幾何学を結びつけること。
• 多項式的および有理関数的不変量を持つ明示的例を提示し、写像の複雑さと可積分性を示すこと。
• 対合写像が可換になるか、置換に還元される退化した場合を調べ、不変曲線上での有限群の挙動を明らかにすること。

提案手法

• 変数 $ x,y,z $ に関するアフィン線形多項式 $ f,g,h,k $ を用いて、有理関数不変量 $ I = f/g $, $ J = h/k $ を定義する。
• 各変数を固定し、残りの2変数を解くことで、2つの不変量 $ I $ と $ J $ を保存する3つの対合写像 $ R_1, R_2, R_3 $ を構成する。
• 各変数 $ \tilde{y}, \tilde{z} $ に関する2元2次方程式系は、既知の解 $ (y,z) $ を持つため、第2解は有理関数として得られることを用いる。
• 写像が恒等式 $ R_1 R_2 R_3 = R_3 R_2 R_1 $ を満たすことを証明する。この恒等式は非自明であり、可積分性に不可欠である。
• 不変量を共通に持つ可換写像 $ T_1 = R_2 R_3 $, $ T_2 = R_3 R_1 $, $ T_3 = R_1 R_2 $ を定義する。
• 不変曲線 $ f = Ig $, $ h = Jk $ が genus 1 の曲線（すなわち楕円曲線）であることを示し、力学系がその上に閉じることを検証することで、可積分性を確認する。

実験結果

リサーチクエスチョン

• RQ1 2つの有理関数不変量と変数の対に対する対合的更新を用いて、可積分3次有理写像を体系的に構成できるか？
• RQ2 対合写像が可換な写像の存在と可積分性を保証するために満たすべき代数的恒等式は何か？
• RQ3 不変曲線の構造（例えば、種数、有理性）は、不変量の形と得られる力学系の性質とどのように関係しているか？
• RQ4 対合写像が置換に還元されたり、不変曲線上で有限群を生成するような条件は何か？
• RQ5 多項式的または有理関数的不変量を持つ明示的例を構成できるか。その例は、写像の可積分性と複雑さを示すか？

主な発見

• 写像 $ R_1, R_2, R_3 $ は、2つの有理関数不変量 $ I $ と $ J $ を保存する対合であり、非自明な恒等式 $ R_1 R_2 R_3 = R_3 R_2 R_1 $ を満たす。この恒等式は可積分性に不可欠である。
• 得られた写像 $ T_1 = R_2 R_3 $, $ T_2 = R_3 R_1 $, $ T_3 = R_1 R_2 $ は可換であり、同じ不変量を持つため、システムの可積分性が確認される。
• 不変曲線 $ f = Ig $, $ h = Jk $ は一般に種数1の曲線、すなわち楕円曲線であり、力学系がその上にパラメトライズされる。
• 明示的例では、写像が極めて複雑であることが示された：1つの例では $ T_1 $ に831項、$ R_1 $ に84項が含まれるが、不変量は単純である。
• 退化した場合、$ R_1 $ が自明（恒等写像）であるが、$ T_1 $ は非自明であり、不変曲線は有理曲線になる。
• 対称的な場合、例えば不変量が $ x,y,z $ に対して対称的であるとき、対合写像は可換になり、有限群を生成し、力学系は有限軌道に還元される。