[論文レビュー] Y-systems and generalized associahedra

Sergey Fomin, Andrei Zelevinsky|ArXiv.org|Nov 6, 2001

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

ひとこと要約

この論文は、有限根系 Φ に関連する Y-系のZamolodchikovの周期性予想を、一般化されたアソシアヘドロン複体 Δ(Φ) を導入することによって証明する。この Δ(Φ) は、スターシェフの多面体とボット＝タービーズのサイクロヘドロンを一般化する。Y-系は周期 2(h+2) を示すことが示され、根系幾何と Δ(Φ) 内の適合度の関係に結びつく有理写像変換を用いて、Y-系変数の明示的なローレンツ多項式公式が得られる。

ABSTRACT

We prove, for an arbitrary finite root system, the periodicity conjecture of Al.B.Zamolodchikov concerning Y-systems, a particular class of functional relations arising in the theory of thermodynamic Bethe ansatz. Algebraically, Y-systems can be viewed as families of rational functions defined by certain birational recurrences formulated in terms of the underlying root system. In the course of proving periodicity, we obtain explicit formulas for all these rational functions, which turn out to always be Laurent polynomials. In a closely related development, we introduce and study a family of simplicial complexes that can be associated to arbitrary root systems. In type A, our construction produces Stasheff's associahedron, whereas in type B, it gives the Bott-Taubes polytope, or cyclohedron. We enumerate the faces of these complexes, prove that their geometric realization is always a sphere, and describe them in concrete combinatorial terms for the classical types ABCD.

研究の動機と目的

• 任意の有限根系 Φ に関連する Y-系の、Al. B. Zamolodchikov による周期性予想を証明すること。
• 任意の根系に対して一般化されたアソシアヘドロンと呼ぶ単体的複体 Δ(Φ) を導入し、それらのクラスター適合性と幾何的構造を記述すること。
• Y-系のダイナミクスと Δ(Φ) 内の適合部分集合およびクラスターの組合せ論的性質との関係を確立すること。
• Y-系変数の明示的なローレンツ多項式公式を提示し、有限位数の有理写像変換を用いてその周期性を証明すること。
• 古典的根系 A, B, C, D に対して Δ(Φ) の面構造と位相的型（球面）を特徴づけること。

提案手法

• 有限根系 Φ の Cartan 行列 A に基づく有理関数として Y-系を定義し、有理写像再帰的関係を満たす。
• 根系のコクセター図における近隣の積を用いて、変数 uᵢ の有理関数体上に、2つの対合的自己同型 τ₊ と τ₋ を定義する。
• τ₋τ₊ の合成が有限位数を持つことを証明し、長さのWeyl群元 w₀ = -1 のときには位数 (h+2)/2、それ以外のときは h+2 であることを示す。
• Y-系の進化と τ₋τ₊ の繰り返し適用との対応関係を確立し、ダイナミクスを根系の代数的構造に関連付ける。
• 適合する根の部分集合およびコチェーンの組合せを用いて、一般化されたアソシアヘドロン Δ(Φ) を面複体として構成する。適合性は次数関数によって定義される。
• 正 2n-角形の三角形分割（型 Dₙ の場合）および中心対称な色分けされた対角線を用いた幾何的実現により、交換グラフ内のクラスターとフラップを記述する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限根系 Φ に関連する Y-系は、Zamolodchikov が予想したように周期的であるか？
• RQ2 任意の根系に対して、古典的アソシアヘドロンとサイクロヘドロンを拡張する一般化されたアソシアヘドロン Δ(Φ) を構成できるか？
• RQ3 Δ(Φ) 内の適合部分集合およびクラスターの組合せ論的構造は何か？ そして、根系の幾何とどのように関係するか？
• RQ4 有理写像変換 τ₊ と τ₋ は Y-系のダイナミクスをどのように記述し、周期的挙動を導くか？
• RQ5 Δ(Φ) の位相的・幾何的性質は何か？ また、型 A, B, C, D において、三角形分割を用いた実現はどのように行われるか？

主な発見

• 任意の有限根系 Φ に関連する Y-系は、Coxeter 数 h に対して周期 2(h+2) で周期的であり、Zamolodchikov の予想が証明された。
• Y-系の変数 Yᵢ(t) は、常に初期変数 uᵢ のローレンツ多項式として表され、有理写像ダイナミクスから明示的な公式が導かれる。
• 有理関数体上の対合的自己同型 τ₋τ₊ の合成は、位数 h+2（w₀ = -1 のときには (h+2)/2）で有限位数を持つ。これは周期性を示唆する。
• 一般化されたアソシアヘドロン Δ(Φ) は、根の適合部分集合に対応する単体的複体であり、その幾何的実現は球面にホメオモーティックに同相である。
• 型 Dₙ の場合、Δ(Φ) 内のクラスターは、正 2n-角形の中心対称かつ色分けされた三角形分割と一対一対応する。色は直径と双対根を区別する。
• Δ(Φ) の交換グラフ E(Φ) は、3種類のフラップによって生成される：直径ペアを含む D-型フラップ、中心対称フラップ、および直径と2本の対角線を入れ替える六角形フラップ。