[論文レビュー] Brick polytopes of spherical subword complexes and generalized associahedra

Vincent Pilaud, Christian Stump|arXiv (Cornell University)|Nov 14, 2011

Advanced Combinatorial Mathematics参考文献 29被引用数 11

ひとこと要約

この論文は、有限コクセター群の球面的部分語複体に対してブリック多面体の構成を導入し、型Aのアソシアヘドロンの実現を一般化する。根に依存しない部分語複体（特に有限型のクラスター複体）に対しては、ブリック多面体が一般化されたアソシアヘドロンと一致することを証明し、新たな頂点記述、ミンコフスキー分解、および組合せ的交換行列の特徴付けを提供する。

ABSTRACT

We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectives on these constructions. This new approach yields in particular the vertex description of generalized associahedra, a Minkowski sum decomposition into Coxeter matroid polytopes, and a combinatorial description of the exchange matrix of any cluster in a finite type cluster algebra.

研究の動機と目的

• 型Aからすべての有限コクセター群へのブリック多面体構成の拡張。
• ブリック多面体によって実現可能な部分語複体のクラス、特に根に依存しない複体に焦点を当てた同定。
• 有限型クラスター複体に対して、ブリック多面体が既知の一般化されたアソシアヘドロンと一致することの証明。
• 一般化されたアソシアヘドロンの新たな組合せ的および幾何的性質の導出、特に頂点記述とミンコフスキー分解。
• カンブリアラティスやファングに依存せずにクラスター複体を直接実現すること。

提案手法

• コクセター群の幾何的表現における根配置と線形汎関数を用いて、部分語複体のブリック多面体を定義する。
• facet のフラップにおいて根の依存性が存在しないことによって特徴づけられる根に依存しない部分語複体の概念を導入する。
• ブリックベクトル構成を用いて、部分語複体の facet からブリック多面体の頂点への全射写像を確立する。
• ブリック多面体の法線ファングがコクセター・ファンの粗化であることを証明し、群上の弱順序と関連付ける。
• 増加フラップ順序と弱順序の商を用いて、ブリック多面体の1次元骨格を記述する。
• 各 facet の根配置を用いて、コクセター・マトロイド多面体へのミンコフスキー和分解を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの球面的部分語複体が、ブリック多面体構成によって凸多面体の境界複体として実現可能か？
• RQ2 有限型クラスター複体におけるブリック多面体構成は、既知の一般化されたアソシアヘドロンとどのように関係するか？
• RQ3 一般化されたアソシアヘドロンの頂点記述を、ブリック多面体構成から直接導出可能か？
• RQ4 ブリック多面体の法線ファングとコクセター・ファン、あるいはコクセター群上の弱順序との関係は何か？
• RQ5 有限型クラスター代数のクラスターの交換行列は、対応する facet の根配置を用いて組合せ的に記述可能か？

主な発見

• 根に依存しない部分語複体のブリック多面体は、境界複体が部分語複体と同型である凸多面体である。
• 有限型クラスター複体に対しては、ブリック多面体はホールウェーグ、ランゲ、トーマスによって構成された一般化されたアソシアヘドロンの平行移動に一致する。
• ブリック多面体の頂点集合は、ブリックベクトル写像を介して部分語複体の facet と双対的に一対一対応する。
• ブリック多面体の法線ファングはコクセター・ファンの粗化であり、1次元骨格は弱順序のハッセ図の商と同型である。
• ブリック多面体は、各 facet の根配置によって添字づけられるコクセター・マトロイド多面体へのミンコフスキー和分解を許容する。
• 有限型クラスター代数のクラスターの交換行列は、対応する facet の根配置に組み込まれた組合せ的構造によって記述可能である。