[論文レビュー] KP theory, plabic networks in the disk and rational degenerations of M--curves

Simonetta Abenda, P. G. Grinevich|arXiv (Cornell University)|Dec 30, 2017

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

ひとこと要約

本稿は、M曲線の有理的退化を介して、完全非負のグラスマン多様体とKP方程式の実有限ギャップ解との間の組合せ的・幾何学的ブリッジを確立する。ドメイン内の平面的二色三価ネットワーク（plabicネットワーク）を用いて、退化曲線上のKP波動関数と除数を構成し、除数の点が有限な楕円ごとに丁度1つずつ存在することを証明する—これはDubrovin-Natanzon条件を確認するものである—保守的およびエッジフローに由来するエッジベクトルと符号に基づき、エッジ重みに関する有理的で減算を含まない表現式を用いる。

ABSTRACT

We complete the program of Ref. [3,5] of connecting totally non-negative Grassmannians to the reality problem in KP finite-gap theory via the assignment of real regular divisors on rational degenerations of M-curves for the class of real regular multi-line soliton solutions of KP II equation whose asymptotic behavior has been combinatorially characterized by Chakravarthy, Kodama and Williams. We use the plabic networks in the disk introduced by Postnikov to parametrize positroid cells in totally nonnegative Grassmannians. The boundary of the disk corresponds to the rational curve associated to the soliton data in the direct spectral problem, and the bicolored graph is the dual of a reducible curve G which is the rational degeneration of a regular M-curve whose genus g equals the number of faces of the network diminished by one. We assign systems of edge vectors to the planar bicolored networks. The system of relations satisfied by them has maximal rank and may be reformulated in the form of edge signatures.. We prove that the components of the edge vectors are rational in the edge weights with subtraction free denominators and provide their explicit expressions in terms of conservative and edge flows. The edge vectors rule the value of the KP wave function at the double points of G, whereas the signatures at the vertices rule the position of the divisor in the ovals. We prove that the divisor satisfies the conditions of Dubrovin-Natanzon for real finite-gap solutions: there is exactly one divisor point in each oval except for the one containing the essential singularity of the wave function. The divisor may be explicitly computed using the linear relations at the vertices of the network. We explain the role of moves and reductions in the transformation of both the curve and the divisor for given soliton data, and apply our construction to some examples.

研究の動機と目的

• KP有限ギャップ理論の文脈において、完全非負のグラスマン多様体とM曲線の有理的退化上の実正則除数との間の対応を拡張すること。
• ドメイン内の平面的二色三価ネットワーク（plabicネットワーク）を用いて、KPマルチラインソリトン解の幾何学的・組合せ的実現を提供すること。
• KP除数がM曲線の有理的退化においてDubrovin-Natanzon現実性条件を満たすことを証明すること：有限な楕円ごとに丁度1点、本質的特異性を含む楕円には点がないこと。
• 保守的およびエッジフローに基づいて、エッジ重みに関する明示的で有理的かつ減算を含まないエッジベクトルの表現式を導出することにより、二重点における波動関数の計算を可能にすること。
• Postnikovの移動と縮約が曲線、除数、およびエッジベクトルに与える影響を特徴づけ、同値変換のもとで除数構造が不変であることを保証すること。

提案手法

• ドメイン内の平面的二色三価ネットワーク（plabicネットワーク）の双対として、種数gが面数から1を引いた値に等しい可約な有理曲線Γを構成する。
• ネットワークのエッジにエッジベクトルを割り当て、Γの二重点におけるKP波動関数の値を符号化する。
• Lamのエッジ符号形式に基づき、保守的およびエッジフローを用いて、分母に減算を含まない有理的表現式を導出する。
• 頂点の符号とエッジループ削除ウォークを用いて、M曲線の楕円内における除数点の位置を決定し、有限な楕円ごとに1点ずつ存在することを保証する。
• ゲージ自由度と向きの選択を用いて、ネットワーク変換のもとで波動関数と除数構造が不変であることを示す。
• 同じソリトンデータを表す異なるネットワークを関連付けるために、移動（M1–M3）と縮約（R1–R3）を導入し、除数および曲線構造を保存する。

実験結果

リサーチクエスチョン

• RQ1 完全非負のグラスマン多様体は、KPソリトン理論の文脈において、M曲線の有理的退化を介してどのように幾何学的に実現可能か？
• RQ2 M曲線の有理的退化上におけるKP波動関数と除数の正確な組合せ的・代数的構造は何か？
• RQ3 エッジベクトルおよびエッジ重みに関する有理的表現式は、退化曲線の二重点における波動関数とどのように関係するか？
• RQ4 Postnikovの移動と縮約は、ソリトン解を保存する条件下で、曲線、除数、およびエッジベクトルにどのように影響を与えるか？
• RQ5 退化曲線上の除数を明示的に計算可能であり、Dubrovin-Natanzon現実性条件を満たすことを示せるか？

主な発見

• エッジベクトルの成分は、エッジ重みに関する有理関数であり、分母に減算を含まない。保守的およびエッジフローに基づき明示的に表現される。
• 退化曲線の二重点における波動関数は、ネットワークから導出されたエッジベクトル系によって完全に決定される。
• 除数の点は有限な楕円ごとに丁度1つずつ存在し、本質的特異性を含む楕円には点がない—これはDubrovin-Natanzon現実性条件を確認するものである。
• 除数点の位置は、頂点の符号とエッジループ削除ウォークによって組合せ的に決定され、ゲージおよび向きの選択にかかわらず一貫性を保証する。
• 移動と縮約（M1–M3、R1–R3）は除数および曲線構造を保存し、与えられたソリトンデータに対してネットワークの完全な同値関係を提供する。
• 本構成は、KP除数を用いたポジトロイド細胞のグローバルパラメータ化を提供し、Gr^{TP}(1,3)の具体例で示されている。