[论文解读] Triangulations and soliton graphs for totally positive Grassmannian

Rachel Karpman, Yuji Kodama|arXiv (Cornell University)|Aug 5, 2018

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

一句话总结

该论文在 M = 6, 7, 8 时建立了完全正格拉斯曼流形 Gr(3,M)_{>0} 中的孤立子图与波斯托诺夫的平面图（plabic 图）之间的双射，将此前针对 Gr(2,M)_{>0} 的结果（孤立子图与 M 边形的三角剖分相关）加以推广。主要贡献在于证明：当 N=3 且 M=6,7,8 时，所有约化的平面图均可实现为孤立子图；而当 N≥9 时，存在不可实现的平面图，揭示了该对应关系的根本限制。

ABSTRACT

The KP equation is a nonlinear dispersive wave equation which provides an excellent model for resonant interactions of shallow-water waves. It is well known that regular soliton solutions of the KP equation may be constructed from points in the totally nonnegative Grassmannian Gr$(N,M)_{\geq 0}$. Kodama and Williams studied the asymptotic patterns (tropical limit) of KP solitons, called soliton graphs, and showed that they correspond to Postnikov's Le-diagrams. In this paper, we consider soliton graphs for the KP hierarchy, a family of commuting flows which are compatible with the KP equation. For the positive Grassmannian Gr$(2,M)_{>0}$, Kodama and Williams showed that soliton graphs are in bijection with triangulations of the $M$-gon. We extend this result to Gr$(N,M)_{>0}$ when $N=3$ and $M=6,7$ and $8$. In each case, we show that soliton graphs are in bijection with Postnikov's plabic graphs, which generalize Le-diagrams.

研究动机与目标

• 将已知的 Gr(2,M)_{>0} 中孤立子图与 M 边形三角剖分之间的对应关系，从 Gr(2,M)_{>0} 扩展至 Gr(3,M)_{>0}。
• 确定 Gr(3,M)_{>0} 中的孤立子图是否与 M=6,7,8 时的波斯托诺夫平面图构成双射。
• 在 KP 层次的背景下，研究平面图作为孤立子图的可实现性。
• 识别出平面图不再能作为孤立子图实现的临界点，特别是当 N≥9 时。
• 阐明孤立子图与平面图之间在正格拉斯曼流形中对应关系背后的组合与几何约束。

提出的方法

• 通过 Wronskian 衍生的 τ 函数，从 Gr(N,M)_{>0} 中的完全非负矩阵构造 KP 孤立子解。
• 应用热带极限，从 KP 解中提取渐近模式（即孤立子图），并证明其对应于 Le 图，进而对应于平面图。
• 利用波斯托诺夫关于平面图及其行程排列的理论，刻画与 Gr(N,M)_{>0} 相关的约化图。
• 运用孤立子图与孤立子剖分之间的对偶映射，将几何构型与组合数据关联起来。
• 分析行程排列 π(i) = i−N mod M，以验证平面图对应于正格拉斯曼流形。
• 通过构造一个平面上不可拉伸的 N 条伪直线排列作为反例，证明当 N≥9 时存在不可实现性。

实验结果

研究问题

• RQ1 在 M=6,7,8 时，Gr(3,M)_{>0} 中的孤立子图与平面图之间是否存在双射？
• RQ2 对于 M=6,7,8，Gr(3,M)_{>0} 中的所有约化平面图是否均可实现为孤立子图？
• RQ3 在 Gr(N,2N)_{>0} 中，是否存在最小的 N，使得存在无法实现为孤立子图的平面图？
• RQ4 Gr(3,M)_{>0} 中 KP 孤立子的渐近模式是否精确对应于平面图的组合结构？
• RQ5 不可拉伸的伪直线排列能否用于构造正格拉斯曼流形中不可实现的平面图？

主要发现

• 在 Gr(3,6)_{>0} 中，孤立子图与波斯托诺夫的平面图之间存在双射，推广了 Gr(2,M)_{>0} 中孤立子图与三角剖分之间的对应关系。
• 该双射关系在 Gr(3,7)_{>0} 和 Gr(3,8)_{>0} 中同样成立，证实了在这些情况下孤立子图与约化平面图一一对应。
• 当 N≥9 时，平面图作为孤立子图的可实现性失效，这一结论通过 Gr(9,18)_{>0} 中的反例得到证明。
• 平面上 N 条仿射伪直线的不可拉伸排列产生一个无法实现为孤立子图的平面图，即使在收缩等价意义下亦不可行。
• 证明表明，此类平面图要求对伪直线排列进行拉伸以匹配孤立子图的线段结构，但根据构造这是不可能的。
• 目前已知的最小不可实现平面图对应于 Gr(9,18)_{>0}，尽管作者推测可能存在更小的反例。