[論文レビュー] Polypositroids

Thomas Lam, Alexander Postnikov|arXiv (Cornell University)|Oct 14, 2020

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿では、一般化 permutohedron（多量体）と alcoved 多面体の両方である多面体、すなわち polypositroids を導入し、マトロイド理論、クラスタ代数、幾何的組合せ論を統合する。著者らは Coxeter のネックレスとバランスの取れたグラフを用いて polypositroids をパラメータ化し、極値の方向と面を定義する不等式によってその錐を特徴づけ、膜と plabic グラフを通じて有限型クラスタ代数および一般化されたアソシアヘドロンと関連付ける。

ABSTRACT

We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of (W,c)-polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of (W,c)-polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.

研究の動機と目的

• 一般化 permutohedron でありかつ alcoved 多面体である新しい多面体クラスとしての polypositroids の定義と研究。
• ポジトロイドのための Grassmann のネックレスを一般化し、Coxeter のネックレスとバランスの取れたグラフを用いた polypositroids のパラメータ化の確立。
• 極値の方向と面を定義する不等式によって polypositroids の錐を特徴づけ、それが部分加法的関数の錐への射影写像の像であることを示す。
• Coxeter 群と Coxeter 要素への理論の一般化を行い、(W,c)-polypositroids を導入し、有限型クラスタ代数と関連付ける。
• polypositroidsにおける膜の理論を発展させ、2次元の三角形分割された曲面への plabic グラフ技法の拡張を行い、クラスタ変異と八面体再帰と関連付ける。

提案手法

• ポジトロイド理論における装飾付き置換と plabic グラフを一般化する、Coxeter のネックレスとバランスの取れたグラフを用いて polypositroids をパラメータ化する。
• polypositroids の錐を、alcoved 錐への射影写像による部分加法的関数の錐の像として定義し、その極値の方向が {1,2,…,n} 上の有向サイクルによってインデックス付けられることを確立する。
• マッチング集合を用いて、一般の単純な polypositroid の正規ファンを特徴づけ、それがブレードファンの粗化であることを示す。
• polypositroids 内部に三角形分割された2次元曲面としての膜を導入し、境界ループがルートループに対応し、膜が plabic グラフと関連することを示す。
• 膜の局所的移動がクラスタ変異に対応するように、最小の膜を有限型クラスタ代数のクラスタと関連付ける。
• 漸近的クラスタ代数の予想を提示し、境界ループのスケーリングに伴い膜の分布が極限曲面に収束し、格子点上の測度が極限測度に収束すると提案する。

実験結果

リサーチクエスチョン

• RQ1 一般化 permutohedron でありかつ alcoved 多面体である多面体の組合せ論的・幾何的構造は何か？
• RQ2 polypositroids はどのようにパラメータ化可能であり、そのパラメータ化と Coxeter のネックレスやバランスの取れたグラフの関係は何か？
• RQ3 polypositroids の錐の構造は何か？ また、部分加法的関数の錐と alcoved 多面体の錐とはどのように関係しているか？
• RQ4 polypositroids 内の膜はどのように plabic グラフを一般化し、クラスタ代数や八面体再帰と関係するか？
• RQ5 境界ループのスケーリングに伴う膜の漸近的挙動は何か？ 極限曲面が出現するか？

主な発見

• polypositroids は Coxeter のネックレスとバランスの取れたグラフの間で一対一対応し、ポジトロイドのパラメータ化を一般化する。
• polypositroids の錐は、alcoved 錐への射影写像による部分加法的関数の錐の像であり、極値の方向は {1,2,…,n} 上の有向サイクルによってインデックス付けされる。
• 一般の単純な polypositroid の正規ファンはマッチング集合によって特徴づけられ、すべてのこのようなファンはサイクロヘドロンと同じ f ベクトルを持つ。
• polypositroids の正規ファンの集合はブレードファンの粗化に対応し、最大の錐は交互に非交差する木によってラベル付けされる。
• polypositroids 内の膜は plabic グラフを一般化し、高次元の八面体再帰を通じてクラスタ代数と関連し、局所的移動がクラスタ変異に対応する。
• 予想では、スケーリングに伴い膜の分布が極限測度に収束し、極限曲面に支持されるものであり、これはプレートーの問題と漸近的表現論と関連するとされる。