[论文解读] 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

一句话总结

本文構造了一個從平面雙色三valent圖（plabic network）到 $ \mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 中不可約正單元胞腔的顯式映射，進而建立其與 $\mathtt{M}$-曲線上的實正則KP除子之間的幾何橋樑，完整連結了有限gap解與多線性孤子解的KP方程。該構造利用圖形的對偶譜曲線，並在網絡關係系統下證明其在Postnikov移動與簡化下的不變性，除子的正則性由完全非負的併合結構所控制。

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.

研究动机与目标

• 完成實正則有限gap KP解與實正則多線性孤子解之間的幾何對應關係。
• 建立從 $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 中不可約正單元胞腔到 $\mathtt{M}$-曲線上的實正則KP除子的映射。
• 利用plabic網絡上的關係系統，證明除子構造在規範自由度與Postnikov移動下的不變性。
• 特徵化除子的正則性及其在併合與曲線去奇異化下的行為。
• 在波函數在節點處恆為零的退化情形下，利用規範自由度與極限構造來解決奇異性。

提出的方法

• 構造一個與表示 $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 中正單元胞腔的三valent plabic圖對偶的有理退化 $\mathtt{M}$-曲線 $\Gamma$。
• 利用KP波函數的Baker–Akhiezer函數與極點結構，在 $\Gamma$ 上定義一個度數為 $g$ 的除子。
• 使用plabic網絡上的關係系統（先前在 [7] 中提出）以確保在規範變換與Postnikov移動下的不變性。
• 應用Sato除子與局部坐標，特徵化曲線的卵形與分量上的除子點。
• 在未簡化的圖上運用規範自由度，以消除恆為零的波函數，並避免奇異性。
• 透過去奇異化與極限過程分析除子在正單元胞腔併合與曲線變換下的行為。

实验结果

研究问题

• RQ1 如何從 $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 中的孤子資料，顯式構造 $\mathtt{M}$-曲線上的實正則KP除子？
• RQ2 plabic網絡上的關係系統在確保除子構造在規範自由度與Postnikov移動下不變性方面扮演何種角色？
• RQ3 除子與譜曲線在正單元胞腔併合與網絡簡化下如何變換？
• RQ4 當波函數在邊或節點處恆為零時，除子會發生何種變化？此類奇異性如何解決？
• RQ5 能否透過極限過程與規範選擇，將除子構造推廣至可約或退化的plabic網絡？

主要发现

• 該構造提供了從 $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$ 中不可約正單元胞腔到其對應plabic圖的 $\mathtt{M}$-曲線上的實正則KP除子的完整且顯式映射。
• 由於網絡上基礎關係系統的控制，除子在Postnikov移動與簡化下保持不變，該系統同時確保了實性與正則性。
• 對於可約圖，除子依賴於邊權重，除非使用規範自由度消除零波函數，如 $Gr^{\mathrm{TP}}(1,2)$ 例子所示。
• 當波函數在邊上恆為零時（例如在 $a=1$ 處），除子點會重合於雙重點，需類似不可約情形的奇異性解析。
• 在存在恆為零波函數的情形下，除子結構取決於參數選擇；然而，在未簡化的圖中，規範自由度可消除此類退化。
• Sato除子點 $\gamma_S$ 不依賴於KP時間，位於卵形 $\Omega_1$ 與分量 $\Gamma_0$ 的交點上，而其他除子點則依賴於權重與網絡結構。