[论文解读] Kasteleyn Theorem, Geometric Signatures and KP-II Divisors on Planar Bipartite Networks in the Disk

Simonetta Abenda|arXiv (Cornell University)|Jan 1, 2021

Nonlinear Waves and Solitons参考文献 69被引用 3

一句话总结

本文在圆盘内的平面双部网络上建立了Kasteleyn符号的几何表征，证明其与有向plabic图的几何符号一致。利用此结果，提供了Kasteleyn矩阵与Postnikov边界测量映射相同参数化正单纯形胞腔的全新证明，并将Kasteleyn关系系统应用于在可约M-曲线构造KP-II不变除子数据，其结果与可积系统理论中的已知结论一致。

ABSTRACT

Maximal minors of Kasteleyn sign matrices on planar bipartite graphs in the disk count dimer configurations with prescribed boundary conditions, and the weighted version of such matrices provides a natural parametrization of the totally non–negative part of real Grassmannians (Postnikov et al. J. Algebr. Combin. 30(2), 173–191, 2009; Lam J. Lond. Math. Soc. (2) 92(3), 633–656, 2015; Lam 2016; Speyer 2016; Affolter et al. 2019). In this paper we provide a geometric interpretation of such variant of Kasteleyn theorem: a signature is Kasteleyn if and only if it is geometric in the sense of Abenda and Grinevich (2019). We apply this geometric characterization to explicitly solve the associated system of relations and provide a new proof that the parametrization of positroid cells induced by Kasteleyn weighted matrices coincides with that of Postnikov boundary measurement map. Finally we use Kasteleyn system of relations to associate algebraic geometric data to KP multi-soliton solutions. Indeed the KP wave function solves such system of relations at the nodes of the spectral curve if the dual graph of the latter represents the soliton data. Therefore the construction of the divisor is automatically invariant, and finally it coincides with that in Abenda and Grinevich (Sel. Math. New Ser. 25(3), 43, 2019; Abenda and Grinevich 2020) for the present class of graphs.

研究动机与目标

• 为圆盘内平面双部图上的Kasteleyn符号提供几何解释，证明其与[5]中的几何符号一致。
• 利用此几何表征，重新证明Kasteleyn矩阵与Postnikov边界测量映射相同参数化正单纯形胞腔。
• 将Kasteleyn关系系统应用于构造代数几何数据——特别是KP-II波函数与除子——针对实正则多线孤子解。
• 证明通过Kasteleyn关系构造的除子具有不变性，并与[4, 6]中可约节点谱曲线的已有构造一致。
• 为谱曲线的去热带化及从可约曲线上实正则谱数据求解KP孤子逆问题奠定基础。

提出的方法

• 通过环消行走与边流，在有向plabic图上引入几何符号，定义边上的向量场。
• 通过边流一致性定义几何关系系统，并证明其在所有有限面均满足Kasteleyn条件。
• 通过证明总面符号仅依赖于边界边数，证明几何符号与Kasteleyn符号等价。
• 利用Talaska的流显式求解Kasteleyn关系系统，实现正单纯形胞腔的参数化。
• 通过在谱曲线节点上求解Lam关系系统并施加标记点处的边界条件，构造KP-II波函数与除子。
• 通过正规化与坐标匹配，验证所得在可约M-曲线上除子与Sato除子及[6]中的已知构造一致。

实验结果

研究问题

• RQ1 在圆盘内的平面双部图上，Kasteleyn符号是否与通过环消行走与边流定义的几何符号等价？
• RQ2 几何符号系统是否能重现与Postnikov边界测量映射相同的正单纯形胞腔参数化？
• RQ3 Kasteleyn关系系统能否用于构造在谱曲线退化时保持不变的KP-II波函数与除子？
• RQ4 在可约M-曲线上，除子点如何对应于KP波函数特征方程的根？
• RQ5 通过Kasteleyn关系构造的除子是否与[6]中针对节点曲线上实正则KP解的构造等价？

主要发现

• 当边界边数为奇数时，有向plabic图上的几何符号满足Kasteleyn条件，当且仅当总面符号为−1。
• 总面符号仅依赖于面的边界边数，与特定的边流或行走配置无关。
• 几何符号系统可解Kasteleyn关系系统，通过Talaska的流提供显式解。
• 通过Kasteleyn符号矩阵的最大子式参数化正单纯形胞腔，其结果与Postnikov边界测量映射的像完全一致。
• 通过Kasteleyn关系系统在谱曲线节点上构造的KP波函数满足KP-II方程，并产生与Sato除子一致的除子。
• 该构造中归一化的波函数与除子与[6]中使用Lam关系系统与几何符号定义的结果完全相同，证实了不变性与一致性。