[論文レビュー] Bergman Complexes, Coxeter Arrangements, and Graph Associahedra

Federico Ardila, Victor Reiner+1 more|ArXiv.org|Aug 14, 2005

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

ひとこと要約

本稿では、コクセター配置の向き付きマトロイドの正のベルグマン複体が、その関連するディンキン図のグラフアソシアヘドロンと双対であり、ベルグマン複体が配置のネスト集合複体と一致することを確立している。これらの結果は、マトロイド論およびコクセター系を通じて、トロピカル幾何、超平面配置、および多面体組合せ論を統合的に結びつける。

ABSTRACT

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.

研究の動機と目的

• 向き付きマトロイドの文脈においてベルグマン複体および正のベルグマン複体の位相的・組合せ的構造を明確化すること。
• コクセター配置におけるベルグマン複体とネスト集合複体の関係を調査すること。
• 有限コクセター系に対して、正のベルグマン複体とグラフアソシアヘドロンとの双対性を確立すること。
• コクセター配置のベルグマン複体が、そのネスト集合複体と等しいことを示すこと。
• 粗いセルがコクセター群の作用により正のベルグマン複体内のセルと$W$-同値であることを示し、テヴェレフの予想を裏付けること。

提案手法

• 重みベクトル$\omega$とそれに対応するフラグのフラットを用いて、マトロイド$M$のベルグマン複体$\mathcal{B}(M)$および正のベルグマン複体$\mathcal{B}^+(M)$を定義する。
• 重みに誘導されるマトロイド$M_\omega$を用い、$\omega$が一定でかつ厳密に増加する部分集合のフラグ$\mathcal{F}(\omega)$に基づいて、ベルグマン複体内のセルを定義する。
• $\mathcal{B}^+(M_\Phi)$、すなわちコクセター配置$\mathcal{A}_\Phi$の正のベルグマン複体が、タイプ$\Phi$のディンキン図$\Gamma$のグラフアソシアヘドロン$P(\Gamma)$と双対であることを確立する。
• 有限根系$\Phi$に対して、ベルグマン複体$\mathcal{B}(M_\Phi)$が配置$\mathcal{A}_\Phi$のネスト集合複体に等しいことを証明する。
• 基底集合上のコクセター群$W$の作用を活用し、ベルグマン複体の任意の粗いセルが$\mathcal{B}^+(M_\Phi)$内のセルと$W$-同値であることを示す。ベルグマン複体の自己同型不変性を用いる。
• フェヒトナー、シュトゥルムフェルスらのネスト集合複体およびそれらとベルグマン複体の関係に関する結果を応用し、セル構造を精緻化し、複体の等しさを証明する。

実験結果

リサーチクエスチョン

• RQ1 コクセター配置の向き付きマトロイドの正のベルグマン複体は、そのディンキン図のグラフアソシアヘドロンと双対であるか？
• RQ2 コクセター配置のベルグマン複体は、そのネスト集合複体と一致するか？
• RQ3 コクセター配置のベルグマン複体の任意の粗いセルは、コクセター群の作用により正のベルグマン複体内のセルに写像可能か？
• RQ4 向き付きマトロイドの再向きの変更がベルグマン複体をどのように被覆するか。また、その際、モービウス関数はどのような役割を果たすか？
• RQ5 向き付きマトロイドのラス・ベルナスの面格子と正のベルグマン複体の間の正確な関係は何か？

主な発見

• タイプ$\Phi$のコクセター配置の正のベルグマン複体$\mathcal{B}^+(M_\Phi)$は、対応するディンキン図$\Gamma$のグラフアソシアヘドロン$P(\Gamma)$と双対である。
• 有限コクセター配置のベルグマン複体$\mathcal{B}(M_\Phi)$は、そのネスト集合複体に等しく、単体的複体である。
• 任意の可向きマトロイド$M$に対して、ベルグマン複体$\mathcal{B}(M)$は、$|\mu(M)|$個の異なる正のベルグマン複体によって被覆され、ここで$\mu(M)$はフラット格子のモービウス関数である。
• 複体$\mathcal{B}(M_\Phi)$の粗いセルは、$\mathcal{B}^+(M_\Phi)$内のセルと$W$-同値である。これはテヴェレフの予想を裏付ける。
• 正のベルグマン複体$\mathcal{B}^+(M_\Phi)$はフラッグ複体であり、球面と位相的に同相である。これにより、その位相的構造が確認された。
• 向き付きマトロイド$M_\Phi$の正のフラットのネスト集合は、ディンキン図$\Gamma$のチューブングと一対一に対応し、これによりグラフアソシアヘドロンとの双対性が確立された。