[论文解读] W-Associahedra are In-Your-Face

Nathan Williams|arXiv (Cornell University)|Feb 5, 2015

Advanced Combinatorial Mathematics参考文献 3被引用 4

一句话总结

本文提出了一种统一的几何证明，表明 $W$-permutahedra 和 $W$-associahedra 是 in-your-face 的，即任意位于同一面上的两个顶点之间的测地线均保持在该面内。通过使用 Coxeter-sortable 元素和一种新颖的几何投影映射，作者在所有有限 Coxeter 群中统一建立了这一性质，恢复并改进了 Sleator、Tarjan 和 Thurston（1988）在类型 $A$ 中的组合投影。关键贡献在于定义了一个统一的、几何构造的归一化映射，该映射对所有类型均蕴含 in-your-face 性质。

ABSTRACT

We use a projection argument to uniformly prove that $W$-permutahedra and $W$-associahedra have the property that if $v,v'$ are two vertices on the same face $f$, then any geodesic between $v$ and $v'$ does not leave $f$. In type $A$, we show that our geometric projection recovers a slight modification of the combinatorial projection given by D. Sleator, R. Tarjan, and W. Thurston.

研究动机与目标

• 为所有有限 Coxeter 群中的 $W$-associahedra 提供一个统一的、几何的证明，表明其为 in-your-face 性质。
• 将 previously 仅通过类型特异性组合方法证明的 in-your-face 性质，推广至 $W$-permutahedra 和 $W$-associahedra。
• 定义一个不依赖于类型特异性组合模型的几何归一化映射。
• 通过几何投影方法，恢复并改进 Sleator、Tarjan 和 Thurston（1988）在类型 $A$ 中的组合投影。
• 建立一个框架，用于将 in-your-face 性质推广至 Fuss-analogues 及其他 Coxeter-Catalan 对象。

提出的方法

• 定义从 $W$-permutahedron 到每个标准抛物子群 $W_{\langle s_i\rangle}$ 的几何投影映射 $\mathfrak{C}_{W_{\langle i\rangle}}$，利用 Coxeter 复形的几何结构和 Coxeter 元素的作用。
• 利用 Coxeter-sortable 元素的理论，将投影的像识别为 $W_{\langle s_i\rangle}$ 中的 $c_i$-sortable 元素。
• 对 $W$-associahedron 的每个面 $f$ 构造一个归一化映射 $\phi_f$，通过使用几何投影 $\mathfrak{C}_{W_{\langle i\rangle}}$ 将顶点投影到包含它们的最小面。
• 证明几何投影满足归一化映射的三个公理：在面上的不动点性、邻接性保持性，以及向外边的坍塌性。
• 在 $c_i$-sortable 元素与三角剖分之间建立双射 $\mathrm{T}_{c_i}$，以在类型 $A$ 中比较几何投影与经典组合投影。
• 证明几何投影 $\mathfrak{C}_{W_{\langle s_i\rangle}}$ 与在三角剖分上定义的修改后组合投影 $\mathfrak{C}_i$ 一致，依据定理 5.2。

实验结果

研究问题

• RQ1 能否使用几何方法，在所有有限 Coxeter 类型中统一证明 $W$-associahedra 的 in-your-face 性质？
• RQ2 几何投影映射与类型 $A$ 中的经典组合投影之间有何关系？
• RQ3 是否可以不依赖于类型特异性组合模型，定义 $W$-associahedra 的归一化映射？
• RQ4 当限制在类型 $A$ 时，几何投影映射是否与 [STT88] 中的组合投影等价？
• RQ5 in-your-face 性质的更广泛适用性是什么？能否将其推广至 associahedra 的 Fuss-analogues？

主要发现

• $W$-permutahedron 是 in-your-face 的：任意位于同一面上的两个顶点之间的测地线均保持在该面内，该性质通过几何归一化映射得到证明。
• 对于所有有限 Coxeter 群，$W$-associahedron 均为 in-your-face，其统一证明基于几何投影与 Coxeter-sortable 元素。
• 几何投影 $\mathfrak{C}_{W_{\langle s_i\rangle}}$ 满足归一化映射的全部三个公理，从而确保 in-your-face 性质。
• 在类型 $A$ 中，几何投影恢复了 [STT88] 中组合投影的修改版本，消除了在对角线翻转前需预先选择顶点（如 $i$ 或 $i+1$）的需要。
• 几何投影与组合投影之间的等价性通过定理 5.2 建立，表明 $\mathrm{T}_{c_i}(\mathfrak{C}_{W_{\langle s_i\rangle}}(w)) = \mathfrak{C}_i(\mathrm{T}_{c_i}(w))$。
• 该证明策略表明，in-your-face 性质的真正普遍性可能超越当前模型，暗示存在更深层次的几何或范畴结构。