[論文レビュー] Permutahedra and Associahedra: Generalized associahedra from the geometry of finite reflection groups

Christophe Hohlweg|arXiv (Cornell University)|Dec 14, 2011

Advanced Combinatorial Mathematics参考文献 21被引用数 10

ひとこと要約

この論文は、有限反射群の置換体から、コックスター単体に従って特定の面を削除することによって一般化アソシアヘドロンの幾何的構成を確立する。この方法により、一般化アソシアヘドロンは置換体の射影として実現され、カンブリアラティスおよびファンと結びつけられ、反射群の幾何学を用いてアソシアヘドロン、サイクロヘドロン、およびそれらの一般化を統一的に扱う枠組みを提供する。

ABSTRACT

This is a chapter in an upcoming Tamari Festscrift. Permutahedra are a class of convex polytopes arising naturally from the study of finite reflection groups, while generalized associahedra are a class of polytopes indexed by finite reflection groups. We present the intimate links those two classes of polytopes share.

研究の動機と目的

• 有限反射群の視点から、アソシアヘドロン、サイクロヘドロン、および一般化アソシアヘドロンの幾何的実現を統一すること。
• 特定の面を削除することにより、置換体から一般化アソシアヘドロンを体系的に構成する方法を確立すること。
• 得られた多面体がカンブリアラティスおよびファンを符号化することを示し、タマリラティスおよびその幾何的構造を一般化すること。
• 特に整数座標構造およびミンコフスキー和分解について、これらの実現の組合せ論的および幾何的性質を調査すること。
• 多面体体積の計算、整数点の数え上げ、およびマルチアソシアヘドロンへの一般化に関する未解決問題を特定すること。

提案手法

• 一般の点 $\mathbf{a} \in V$ の $W$-軌道の凸包として構成される、有限反射群 $W$ の置換体を出発多面体とする。
• 群 $W$ に関連するコックスター単体を用いて、置換体の面を特定し、どの面を削除するかを決定する。
• コックスター単体に対応する面を削除することで、一般化アソシアヘドロン $\mathrm{Asso}^{\mathbf{a}}_c(W)$ を得る。この際、弱順序構造が保存される。
• 得られた多面体の法線ファンが、N. リーディングが定義したカンブリアファンであるという事実を活用し、幾何学とラティス理論を結びつける。
• 整数点のラティスにおけるウェイル群 $W$ の作用を用いて、頂点および面の座標の整数性を分析する。
• 一般化置換体（ポストニコフ）および球面部分語複体の技術を応用し、ミンコフスキー和分解および潜在的な一般化を探索する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限反射群に対して、一般化アソシアヘドロンを、対応する置換体の面削除部分多面体として体系的に実現できるか？
• RQ2 コックスター単体が、一般化アソシアヘドロンを得るためにどの面を削除するかを決定するのにおける正確な役割は何か？
• RQ3 元の置換体が整数座標を持つ場合、この方法で得られる一般化アソシアヘドロンの頂点および面は常に整数座標を持つだろうか？
• RQ4 一般化置換体の枠組みを有限反射群に拡張し、一般化アソシアヘドロンを単体のミンコフスキー和および差として表現できるか？
• RQ5 アソシアヘドロンを一般化し、球面部分語複体から生じる一般化マルチアソシアヘドロンの多面体的実現は存在するか？

主な発見

• 任意の有限反射群 $W$ に対して、コックスター単体に従って置換体から特定の面を削除することにより、一般化アソシアヘドロンを構成できる。
• 得られた多面体は、頂点の順序集合としてカンブリアラティスを実現し、法線ファンとしてカンブリアファンを実現する。これは、タマリラティスおよびその幾何的実現を一般化する。
• この構成は、$W$ 上の弱順序を保存し、一般化アソシアヘドロンの頂点上のタマリラティスに類似た順序へ写像する。
• 一般化アソシアヘドロンの頂点は、クラスタ複体内のクラスタによってラベル付けされ、この構成によりクラスタ代数構造の幾何的実現が得られる。
• 元の置換体の点が整数座標を持たないにもかかわらず、得られる一般化アソシアヘドロンの頂点は整数座標を持つ。この現象はまだ完全に説明されていない。
• この方法により、古典的アソシアヘドロン（$S_n$ を通じて）、サイクロヘドロン（$B_n$ を通じて）、およびその他の一般化アソシアヘドロンを、反射群の幾何学と統一的に結びつける幾何的枠組みが提供される。