[論文レビュー] Cambrian Lattices

Nathan Reading|arXiv (Cornell University)|Feb 5, 2004

Advanced Combinatorial Mathematics被引用数 162

ひとこと要約

この論文は、有限コクセター群上の弱順序の畳み込みをラティス同型を用いて定義したカンブリアンラティスを導入し、それらに関連する完全ファンを構成し、一般化されたアソシアヘドロンの法線ファンと組み合わせ的に同型であると予想する。A型およびB型では、三角形分割と置換を用いた組み合わせ的実現が与えられ、ファンが一般化されたアソシアヘドロンと同型であり、フォミンとツェレヴィンスキーのクラスターファン構成と線形同型であることを証明する。

ABSTRACT

For an arbitrary finite Coxeter group W we define the family of Cambrian lattices for W as quotients of the weak order on W with respect to certain lattice congruences. We associate to each Cambrian lattice a complete fan, which we conjecture is the normal fan of a polytope combinatorially isomorphic to the generalized associahedron for W. In types A and B we obtain, by means of a fiber-polytope construction, combinatorial realizations of the Cambrian lattices in terms of triangulations and in terms of permutations. Using this combinatorial information, we prove in types A and B that the Cambrian fans are combinatorially isomorphic to the normal fans of the generalized associahedra and that one of the Cambrian fans is linearly isomorphic to Fomin and Zelevinsky's construction of the normal fan as a cluster fan. Our construction does not require a crystallographic Coxeter group and therefore suggests a definition, at least on the level of cellular spheres, of a generalized associahedron for any finite Coxeter group. The lattice is one of the Cambrian lattices of type A, and two Tamari lattices in type B are identified and characterized in terms of signed pattern avoidance. We also show that open intervals in Cambrian lattices are either contractible or homotopy equivalent to spheres.

研究の動機と目的

• 有限コクセター群上の弱順序の商として、ラティス同型を用いてカンブリアンラティスを定義すること。
• 各カンブリアンラティスに対して完全ファンを関連付け、それが一般化されたアソシアヘドロンの法線ファンと組み合わせ的に同型であると予想すること。
• A型およびB型における三角形分割と置換を用いたカンブリアンラティスの組み合わせ的実現を提供すること。
• あるカンブリアンファンがフォミンとツェレヴィンスキーのクラスターファン構成と線形同型であることを確立すること。
• 細胞的球面モデルを用いて、非水晶系コクセター群に対しても一般化されたアソシアヘドロンの概念を拡張すること。

提案手法

• 有限コクセター群W上の弱順序の特定のラティス同型を用いた商としてカンブリアンラティスを定義する。
• 各カンブリアンラティスに対して完全ファンを構成し、一般化されたアソシアヘドロンの候補法線ファンとして解釈する。
• ファイバー多面体の構成を用いて、A型およびB型において三角形分割と置換を用いたカンブリアンラティスの組み合わせ的実現を行う。
• カンブリアンラティス内の開区間が、いずれかの点に収縮可能であるか、または球面とホモトピー同値であることを示す。
• A型およびB型におけるカンブリアンファンと一般化されたアソシアヘドロンの法線ファンとの間の組み合わせ的同型を確立する。
• A型およびB型におけるあるカンブリアンファンが、フォミンとツェレヴィンスキーのクラスターファンと線形同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 カンブリアンラティスは、水晶系に限らず、任意の有限コクセター群に対して定義可能か？
• RQ2 カンブリアンラティスに関連するファンは、一般化されたアソシアヘドロンの法線ファンと組み合わせ的に同型か？
• RQ3 三角形分割と置換を用いたA型およびB型におけるカンブリアンラティスの組み合わせ的実現は、正しいラティス構造を与えるか？
• RQ4 A型およびB型において、カンブリアンファンとフォミンとツェレヴィンスキーのクラスターファンとの間に線形同型が存在するか？
• RQ5 カンブリアンラティス内の開区間のホモトピー型は何か？

主な発見

• カンブリアンラティスは、任意の有限コクセター群に対して、弱順序の商とラティス同型を用いて定義される。
• 各カンブリアンラティスに関連するファンは完全ファンであり、一般化されたアソシアヘドロンの法線ファンと組み合わせ的に同型であると予想されている。
• A型では、多角形の三角形分割を通じてカンブリアンラティスが組み合わせ的に実現される。
• B型では、符号付き置換と符号付きパターン回避を用いてカンブリアンラティスが実現され、2つのタマリラティスが特定され特徴づけられる。
• カンブリアンラティス内の開区間は、いずれかの点に収縮可能であるか、または球面とホモトピー同値である。
• A型およびB型におけるあるカンブリアンファンは、フォミンとツェレヴィンスキーのクラスターファンと線形同型であり、重要な予想が裏付けられた。