[论文解读] Generalized cluster complexes and Coxeter combinatorics

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

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

一句话总结

本文引入了与有限根系及非负整数参数 m 相关联的广义簇复形 Δ^m(Φ)，将经典簇复形（m=1）推广至任意 m ≥ 0 的情形，后者与有限类型簇代数相关。论文推导出面数、h-向量和欧拉示性数的显式公式，揭示其与 Fuss-Catalan 数和 Narayana 数的联系，并提出纯组合的、图论的算法，直接从 Coxeter 图计算 Coxeter 不变量（如 Coxeter 数与指数），无需使用群论或格理论构造。

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（广义 associahedra）推广至任意 m ≥ 0 的任意有限根系 Φ。
• 枚举这些广义复形的面，并计算其 h-向量与欧拉示性数。
• 建立组合的、图论的算法，直接从 Coxeter 图计算经典 Coxeter 不变量（如 Coxeter 数、指数），无需使用群或格理论。
• 利用相同的组合框架，为无限 Coxeter 群定义并探索“虚假”Coxeter 不变量。
• 统一并推广已知的枚举不变量，如 Fuss-Catalan、Kirkman-Cayley 与 m-Narayana 数，涵盖所有有限 Coxeter 类型。

提出的方法

• 将广义簇复形 Δ^m(Φ) 定义为由有限根系 Φ 中 m 个连续根构成的单纯复形。
• 利用递推关系与显式乘法公式计算 Δ^m(Φ) 的面数，其推导基于根系结构及其 Coxeter 图。
• 计算 Δ^m(Φ) 的 h-向量，并证明其恢复了 Athanasiadis 引入的 m-Narayana 数。
• 利用面数恒等式推导 Δ^m(Φ) 的约化欧拉示性数，并将其与 Coxeter 数关联。
• 基于图论操作（如子图计数、计算 M(G)）构建组合算法，在 Coxeter 图上直接计算 Coxeter 数 h 与指数。
• 形式化地将这些算法扩展至无限 Coxeter 群，利用相同的面数恒等式定义“虚假”Coxeter 不变量，如虚假 Coxeter 数与虚假指数。

实验结果

研究问题

• RQ1 如何为任意有限根系 Φ 与参数 m 显式计算广义簇复形 Δ^m(Φ) 的面数与 h-向量？
• RQ2 是否可仅通过 Coxeter 图上的图论操作计算 Coxeter 不变量（如 Coxeter 数与指数），而无需参考底层群或根系？
• RQ3 Δ^m(Φ) 的面数与 Fuss-Catalan 数、m-Narayana 数等已知组合序列之间存在何种关系？
• RQ4 该组合框架在多大程度上可扩展至无限 Coxeter 群，以定义有意义的“虚假”不变量？
• RQ5 在仿射型或无限型情形下，不同组合算法（对偶性、对称性、欧拉示性数）在何种条件下能对 Coxeter 不变量产生一致结果？

主要发现

• Δ^m(Φ) 的面数满足递推关系，可导出计算 Coxeter 不变量的组合算法。
• Δ^m(Φ) 的 h-向量被证明为 m-Narayana 数序列，恢复了 Athanasiadis 的结果。
• Δ^m(Φ) 的约化欧拉示性数等于根系 Φ 的 Coxeter 数 h(Φ) 的相反数。
• 对于经典类型（A_n, B_n, C_n, D_n），复形 Δ^m(Φ) 可通过凸多边形的 m-划分实现组合模型。
• 在仿射类型如 ˜B_5, ˜C_n, ˜E_8 中，对偶性方法可为虚假 Coxeter 数 h 输出有理数或整数结果，即使其他方法失效。
• 在若干情形下（如 ˜B_2/˜C_2, ˜G_2 及两个 4-环图），虚假 Coxeter 数 h 为正整数，虚假指数为实数，提示其在无限情形下可能具有有意义的解释。