[論文レビュー] Real regular KP divisors on $\mathtt M$-curves and totally non-negative Grassmannians

Simonetta Abenda, P. G. Grinevich|arXiv (Cornell University)|Feb 12, 2020

Algebraic structures and combinatorial models参考文献 60被引用数 4

ひとこと要約

本稿は、完全に非負のグラスマン多様体 $
\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 内の既約正性セルを表す平面的双色三価グラフ（plabic ネットワーク）から、$
\mathtt{M}$-曲線上の実正則KP除数への明示的写像を構成し、有限ギャップ解と多直線ソリトン解の間の幾何的橋渡しを完成させる。この構成は、グラフの双対となるスペクトル曲線を用い、ゲージ自由度とポストニコフ移動、および還元に関する不変性を示す。除数の正則性は、完全に非負なアンマニフィケーション構造によって支配される。

ABSTRACT

In this paper we construct an explicit map from planar bicolored (plabic) trivalent graphs representing a given irreducible positroid cell $S$ in the totally non-negative Grassmannian $Gr^{\mbox{TNN}}(k,n)$ to the spectral data for the relevant class of real regular Kadomtsev-Petviashvili II (KP) solutions, thus completing search of real algebraic-geometric data for the KP equation started in [4,6]. The spectral curve is modeled on Krichever construction for degenerate finite-gap solutions, and is a rationally degenerate $M$-curve, $Γ$, dual to the graph. The divisors are real regular KP divisors in the ovals of $Γ$, i.e. they fulfill the conditions for selecting real regular finite--gap solutions KPII solutions in [25]. Since the soliton data are described by points in $S$, we establish a bridge between real regular finite-gap KP solutions [25] and real regular multi-line KP solitons which are known to be parameterized by points in $Gr^{\mbox{TNN}}(k,n)$ [18,43]. We use the geometric characterization of spaces of relations on plabic networks introduced in [7] to prove the invariance of this construction with respect to the many gauge freedoms on the network. Such systems of relations were proposed in [53] for the computation of scattering amplitudes on on--shell diagrams $N=4$ SYM \cite{AGP1} and govern the totally non--negative amalgamation of the little positive Grassmannians, $Gr^{\mbox{TP}}(1,3)$ and $Gr^{\mbox{TP}}(2,3)$, into any given positroid cell $S$. In our setting they rule the reality and regularity properties of the KP divisor. Finally, we explain the transformation of the curve and the divisor both under Postnikov moves and reductions and under amalgamation of positroid cells, and apply our construction to some examples.

研究の動機と目的

• 実正則有限ギャップ KP 解と実正則多直線ソリトン解の間の幾何的対応を完成させること。
• 完全に非負のグラスマン多様体 $
  \mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 内の既約正性セルから、$
  \mathtt{M}$-曲線上の実正則KP除数への写像を確立すること。
• plabic ネットワーク上の関係系を用いて、ゲージ自由度およびポストニコフ移動に関して除数構成が不変であることを証明すること。
• 除数の正則性およびアンマニフィケーションと曲線の特異点除去における挙動を特徴づけること。
• 波関数がノードで恒等的にゼロとなる退化状態における特異点を、ゲージ自由度と極限構成を用いて解消すること。

提案手法

• 既約正性セルを表す三価 plabic グラフに双対する有理的退化 $\mathtt{M}$-曲線 $\Gamma$ を構成する。
• KP 波関数の極構造とバーガー＝アヒエツェル関数を用いて、$\Gamma$ 上の次数 $g$ の除数を定義する。
• 既に [7] で導入された plabic ネットワーク上の関係系を用い、ゲージ変換およびポストニコフ移動に関して不変性を保証する。
• Sato の除数と局所座標を用いて、曲線の輪郭および成分上の除数点を特徴づける。
• 還元されていないグラフにおけるゲージ自由度を用いて、恒等的にゼロとなる波関数を排除し、特異点を回避する。
• 正性セルのアンマニフィケーションおよび曲線変換（特異点除去および極限過程を含む）における除数の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 内のソリトンデータから、$\mathtt{M}$-曲線上の実正則KP除数を明示的に構成できるか？
• RQ2 plabic ネットワーク上の関係系が、ゲージ自由度およびポストニコフ移動に関して除数構成の不変性を保証する役割を果たす仕組みは何か？
• RQ3 正性セルのアンマニフィケーションおよびネットワークの還元に関して、除数およびスペクトル曲線はどのように変化するか？
• RQ4 波関数がエッジまたはノードで恒等的にゼロとなる場合、除数はどのように変化し、このような特異点はどのように解消できるか？
• RQ5 極限過程とゲージ選択を用いて、可約または退化した plabic ネットワークに対しても除数構成を拡張可能か？

主な発見

• 本構成により、$\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 内の既約正性セルから、それに対応する plabic グラフに双対する $\mathtt{M}$-曲線上の実正則KP除数への完全かつ明示的な写像が得られる。
• ネットワーク上の関係系が支配するゲージ自由度とポストニコフ移動に関して、除数が不変である。これは、実性と正則性を保証する。
• 可約グラフでは、エッジの重みに依存するが、ゲージ自由度を用いてゼロ波関数を排除することで、除数が定義可能である（$Gr^{\mathrm{TP}}(1,2)$ の例で示された）。
• 波関数がエッジで恒等的にゼロ（例：$a=1$）となる場合、除数点は二重点に一致し、既約の場合と同様に特異点の解消が必要となる。
• 恒等的にゼロとなる波関数がある場合、除数構造はパラメータの選択に依存するが、還元されていないグラフではゲージ自由度によりこのような退化を排除できる。
• Sato の除数点 $\gamma_S$ はKP時間に依存せず、輪郭 $\Omega_1$ と成分 $\Gamma_0$ の交点に位置する。他の除数点は重みおよびネットワーク構造に依存する。