[論文レビュー] Matching polytopes, toric geometry, and the non-negative part of the Grassmannian

Alexander Postnikov, David E Speyer+1 more|ArXiv.org|Jun 17, 2007

Advanced Combinatorial Mathematics参考文献 20被引用数 38

ひとこと要約

この論文は、平面二部グラフ $G$ に関連するマッチングポリトープ $P(G)$ を用いて、完全非負のグラスマン多様体 $(Gr_{k,n})_{\text{≥}0}$ の位相的構造を研究するためのトーリック幾何学的枠組みを確立する。細胞のパラメータ化に用いられる。細胞分解が正則 CW 複体であることを証明し、各細胞の閉包のオイラー標数が 1 であることを示す。これは、グラフのマッチング、ポリトープの面ラティス、およびモーメント写像を介したトーリック多様体との関係を用いる。

ABSTRACT

In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.

研究の動機と目的

• 完全非負のグラスマン多様体 $(Gr_{k,n})_{\text{≥}0}$ の位相的構造を、組合せ的および代数的幾何学的道具を用いて理解すること。
• 平面二部グラフ $G$ に関連するマッチングポリトープ $P(G)$ を定義・分析し、バーキホフポリトープを平面的設定に一般化すること。
• 非負部分が $(Gr_{k,n})_{\text{≥}0}$ の細胞をパラメータ化する rational 写像 $m_G$ を通じて、トーリック多様体 $X_G$ を構成すること。
• $(Gr_{k,n})_{\text{≥}0}$ の細胞分解が正則 CW 複体であり、各細胞の閉包のオイラー標数が 1 であることを証明すること。

提案手法

• 平面二部グラフ $G$ のほぼ完全マッチングのインシデントベクトルの凸包としてマッチングポリトープ $P(G)$ を構成する。
• モーメント写像を用いて、$P(G)$ がトーリック多様体 $X_G$ のモーメントポリトープとして同定され、$P(G)$ が非負部分 $(X_G)_{\text{≥}0}$ と位相的に同相であることを示す。
• 写像 $m_G: X_G \to Gr_{k,n}$ を rational 写像として定義し、$P(G)$ の内部で既知のパラメータ化 $\mathrm{Meas}_G$ に制限されることを示す。
• $G$ の基本的部分グラフと $P(G)$ の面との間の面ラティスの対応関係を確立し、フェースは $G$ の辺の同値類に対応する。
• 面のポセット構造とウィリアムズのオイラー的ポセットに関する結果を活用し、細胞の閉包のオイラー標数を計算する。
• 組合せ的不変量（$f$-ベクトル、エーリヒャー級数、体積など）を用いて $P(G)$ および関連するトーリック多様体を分析する。

実験結果

リサーチクエスチョン

• RQ1 完全非負のグラスマン多様体の位相的構造は、どのようにトーリック幾何学と多面体組合せ論を用いて記述できるか？
• RQ2 平面二部グラフ $G$、そのマッチングポリトープ $P(G)$、および $(Gr_{k,n})_{\text{≥}0}$ の細胞分解との間の正確な関係は何か？
• RQ3 $P(G)$ の面ラティスは、$G$ 内のマッチングおよびマッチングの和集合の組合せ論をどのように反映するか？
• RQ4 $(Gr_{k,n})_{\text{≥}0}$ の各細胞の閉包のオイラー標数は何か？ そして、どのようにトーリック幾何学を用いて計算できるか？
• RQ5 $(Gr_{k,n})_{\text{≥}0}$ の細胞分解が、$P(G)$ および $X_G$ の幾何学を用いて正則 CW 複体であることを示せるか？

主な発見

• $(Gr_{k,n})_{\text{≥}0}$ の細胞分解は、モーメントポリトープ $P(G)$ から各細胞の閉包へのホメオモルフィズムを構成することで、正則 CW 複体であることが示された。
• $(Gr_{k,n})_{\text{≥}0}$ の各細胞の閉包のオイラー標数は正確に 1 であり、これは $(\text{Gr}_{k,n})_{\text{≥}0}$ の面ポセットのオイラー的性質から導かれた。
• $P(G)$ の面ラティスは、$G$ の基本的部分グラフのラティスと同型であり、頂点は $G$ の完全な向き（またはほぼ完全マッチング）に対応する。
• $P(G)$ のフェースは、$G$ の辺の同値類と一対一に対応する。ここで、辺は、同じ対の面を同じ向きで分離する場合に同値とされる。
• 頂点細胞に関して、$P(G)$ の $f$-ベクトルが計算された：$P(G24)$ は $(7,17,18,8)$、$P(G25)$ は $(14,59,111,106,52,12)$、$P(G26)$ は $(25,158,440,664,590,315,98,16)$ を有する。
• $P(G24)$、$P(G25)$、$P(G26)$、$P(G36)$ の体積は、それぞれ $\frac{1}{6}$、$\frac{1}{30}$、$\frac{41}{10080}$、$\frac{781}{181440}$ であり、対応するトーリック多様体の次数は 4、24、164、1562 である。