[論文レビュー] Generalized cluster complexes and Coxeter combinatorics

Sergey Fomin, Nathan Reading|ArXiv.org|May 5, 2005

Advanced Combinatorial Mathematics参考文献 15被引用数 25

ひとこと要約

この論文は、有限根系Φと非負整数パラメータmに対して関連する一般化されたクラスタ複体Δ^m(Φ)を導入し、有限型クラスタ代数に関連する古典的クラスタ複体（m=1）を拡張する。面の数、h-ベクトル、オイラー特性に関する明示的公式を導出し、Fuss-Catalan数およびNarayana数との関係を明らかにするとともに、群論的構成を用いずにコクセター図から直接コクセター理論的不変量（例えばコクセター数や指数）を計算する純粋な組合せ論的・グラフ論的アルゴリズムを開発する。

ABSTRACT

We introduce and study a family of simplicial complexes associated to an arbitrary finite root system and a nonnegative integer parameter m. For m=1, our construction specializes to the (simplicial) generalized associahedra or, equivalently, to the cluster complexes for the cluster algebras of finite type. Our computation of the face numbers and h-vectors of these complexes produces the enumerative invariants defined in other contexts by C.A.Athanasiadis, suggesting links to a host of well studied problems in algebraic combinatorics of finite Coxeter groups, root systems, and hyperplane arrangements. Recurrences satisfied by the face numbers of our complexes lead to combinatorial algorithms for determining Coxeter-theoretic invariants. That is, starting with a Coxeter diagram of a finite Coxeter group, one can compute the Coxeter number, the exponents, and other classical invariants by a recursive procedure that only uses most basic graph-theoretic concepts applied to the input diagram. In types A and B, we rediscover the constructions and results obtained by E.Tzanaki .

研究の動機と目的

• 任意の有限根系Φに対して、m=1（一般化されたアソシアハエドロン）から任意のm ≥ 0 へクラスタ複体の構成を一般化すること。
• これらの一般化された複体の面を数え上げ、そのh-ベクトルおよびオイラー特性を計算すること。
• 群論的または格子論的構成を用いずに、コクセター図からのみの組合せ論的・グラフ論的アルゴリズムを確立し、古典的コクセター理論的不変量（例えばコクセター数、指数）を直接計算すること。
• 同じ組合せ論的枠組みを用いて、無限コクセター群に対して「偽」コクセター不変量を定義・探索すること。
• Fuss-Catalan、Kirkman-Cayley、m-Narayana数などの既知の数え上げ不変量を、すべての有限コクセター型にわたって統一的かつ一般化すること。

提案手法

• 有限根系Φにおけるm個の連続する根からなる単体的複体として、一般化クラスタ複体Δ^m(Φ)を定義する。
• 根系の構造とそのコクセター図に基づいて、再帰的関係と明示的な乗法的公式を用いて、Δ^m(Φ)の面の数を計算する。
• Δ^m(Φ)のh-ベクトルを計算し、アタナシアディスが導入したm-Narayana数を回復することを示す。
• 面の数の恒等式を用いて、Δ^m(Φ)の縮約されたオイラー特性を導出し、コクセター数と関係づける。
• コクセター図上でグラフ論的演算（例えば部分グラフの数え上げ、M(G)の計算など）に基づく組合せ論的アルゴリズムを構築し、コクセター数hと指数を計算する。
• これらのアルゴリズムを無限コクセター群へ形式的に拡張し、同じ面の数の恒等式を用いて「偽」コクセター不変量（例えば偽コクセター数、偽指数）を定義する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限根系Φとパラメータmに対して、一般化クラスタ複体Δ^m(Φ)の面の数とh-ベクトルを明示的にどのように計算できるか。
• RQ2 群論的または根系の構造に依存せずに、コクセター図上のグラフ論的演算のみを用いてコクセター理論的不変量（コクセター数、指数など）を計算できるか。
• RQ3 Δ^m(Φ)の面の数とFuss-Catalan数やm-Narayana数といった既知の組合せ論的数列との関係は何か。
• RQ4 同じ組合せ論的枠組みを無限コクセター群へどの程度まで拡張でき、意味のある「偽」不変量を定義できるか。
• RQ5 再帰的性質、対称性、オイラー特性といった異なる組合せ論的アルゴリズムが、特にアフィン型や無限型において、一貫した結果をもたらす条件は何か。

主な発見

• Δ^m(Φ)の面の数は再帰的関係を満たし、これによりコクセター不変量の組合せ論的アルゴリズムが導かれる。
• Δ^m(Φ)のh-ベクトルはm-Narayana数列に一致し、アタナシアディスの結果が回復されることが示された。
• Δ^m(Φ)の縮約されたオイラー特性は、根系Φのコクセター数h(Φ)の負の値に等しい。
• 古典的型（A_n, B_n, C_n, D_n）において、複体Δ^m(Φ)は凸多角形のm-分割による組合せ的モデルを持つ。
• アフィン型（˜B_5, ˜C_n, ˜E_8など）において、再帰的性質を用いることで、他の方法が失敗する場合でも偽コクセター数hが有理数または整数値をとることが示された。
• いくつかの例（例えば˜B_2/˜C_2, ˜G_2、および2つの4サイクルグラフ）において、偽コクセター数hは正の整数であり、偽指数は実数であることが示された。これは、無限設定においても意味のある解釈が可能である可能性を示唆している。