[論文レビュー] 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波関数と除集合を構成する。
• 正規化と座標の一致を用いて、得られた除集合がSato除集合と[6]で知られている構成と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 平面的二部グラフにおけるKasteleynシグネチャは、ループを消去したウォークとエッジフローによって定義される幾何的シグネチャと等価か？
• RQ2 幾何的シグネチャ系は、Postnikovの境界測定マップと同一の正体的セルのパラメータ化を再現するか？
• RQ3 Kasteleyn関係系を用いて、スペクトル曲線の退化に対して不変となるKP-II波関数と除集合を構成できるか？
• RQ4 可約M曲線上の除集合点は、KP波関数の特性方程式の根とどのように対応するか？
• RQ5 Kasteleyn関係系による除集合構成は、[6]で提示されたノード曲線上の実正則KP解に対して、同一のものか？

主な発見

• 有向plabic図における幾何的シグネチャは、境界エッジ数が奇数のとき、面全体のシグネチャが−1である場合に限り、Kasteleyn条件を満たす。
• 面全体のシグネチャは、エッジフローまたはウォークの具体的な配置に依存せず、面を囲むエッジ数にのみ依存する。
• 幾何的シグネチャ系はKasteleyn関係系を解き、Talaskaのフローを用いて明示的な解を提供する。
• Kasteleyn符号行列の最大小行列式による正体的セルのパラメータ化は、Postnikovの境界測定マップの像と完全に一致する。
• Kasteleyn関係系を用いてスペクトル曲線のノードで構成されたKP波関数はKP-II方程式を満たし、Sato除集合と一致する除集合を生成する。
• この構成における正規化波関数と除集合は、[6]で幾何的シグネチャを用いたLam関係系により定義されたものと同一であり、不変性と整合性が確認された。