[论文解读] Coxeter Complexes and Graph-Associahedra

Michael Carr, Satyan L. Devadoss|ArXiv.org|Jul 13, 2004

Advanced Combinatorial Mathematics参考文献 9被引用 5

一句话总结

本文引入了图-单纯形体（graph-associahedra），这是一类简单且凸的多面体，其面偏序集基于给定图 Γ 的连通子图。研究证明，对于任意单纯形 Coxeter 系统，其 Coxeter 复形的最小爆破（minimal blow-up）可自然地被图-单纯形体镶嵌，从而推广了 Deligne-Knudsen-Mumford 对实模空间曲线的紧化构造，并扩展了关于单单纯形体（associahedra）和循环体（cyclohedra）的已知结果。

ABSTRACT

Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.

研究动机与目标

• 通过基于图结构构造一类新的多面体，推广 Stasheff 的单单纯形体和 Bott-Taubes 的循环体。
• 为所有单纯形 Coxeter 系统建立其 Coxeter 复形的最小爆破被图-单单纯形体镶嵌的结构。
• 提供一个几何与组合学框架，统一通过多面体分解已知的模空间紧化构造。
• 将 Kapranov 关于 Coxeter 复形与爆破的观察扩展到更广泛的 Coxeter 群类。

提出的方法

• 通过迭代截切单纯形构造图-单单纯形体，其中截切操作对应于图 Γ 的 1-管装（1-tubings，即连通子图）。
• 将管装（tubings）定义为相容的管（tubes，即不相交、不相邻、不嵌套的子图）集合，其相容性基于交集与邻接关系。
• 证明所得多面体的面偏序集同构于按包含关系排序的有效管装集合的偏序集。
• 利用 Coxeter 复形与最小爆破的理论，证明单纯形 Coxeter 复形的最小爆破可分解为图-单单纯形体。
• 在复形的最小爆破元素与面子复形的最小爆破元素之间建立双射，保持细胞剖分结构。
• 应用超平面排列与球面对称 Coxeter 群的结果，验证爆破可分解为低维爆破复形的乘积。

实验结果

研究问题

• RQ1 如何通过一致的多面体构造，将单单纯形体与循环体推广至任意图？
• RQ2 能否将 Deligne-Knudsen-Mumford 紧化中由单单纯形体镶嵌的构造推广至其他 Coxeter 系统？
• RQ3 Coxeter 复形的最小爆破结构是怎样的？其与多面体分解有何关系？
• RQ4 Coxeter 复形中面的爆破与子复形中爆破的关系如何？能否建立一种典范对应？
• RQ5 从低维分量的角度看，爆破后的 Coxeter 复形在几何上如何分解？

主要发现

• 图-单单纯形体是简单且凸的多面体，其面偏序集同构于按包含关系排序的图 Γ 上有效管装集合的偏序集。
• 当图 Γ 为具有 n−1 个节点的路径时，图-单单纯形体的维度为 n−2，与 Stasheff 单单纯形体一致。
• 对于任意单纯形 Coxeter 系统 W，其 Coxeter 复形的最小爆破 C(W)# 可被与 W 的图相关联的图-单单纯形体镶嵌。
• 在 C(W)# 中，面 α 的爆破等价于 parabolic 子群 W_α 的爆破复形与 W_α 的射影化复形的乘积。
• 爆破复形的细胞剖分在爆破过程中保持不变，且在全复形与面子复形的最小爆破元素之间存在典范双射。
• 每个爆破单元可分解为低维爆破复形的乘积，证实了 C(W)# 中存在递归的几何结构。