[论文解读] From Permutahedron to Associahedron

Thomas A. Brady, Colum Watt|ArXiv.org|Apr 15, 2008

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

一句话总结

本文通过将单纯广义 associahedron $AX(c)$ 嵌入到对称群多面体中，利用线性映射 $\mu = 2(I - c)^{-1}$，为有限不可约实反射群 $W$ 构造了 $c$-Cambrian 锥 fan。证明了像 $\mu(AX(c))$ 构成的锥 fan 同构于 $c$-Cambrian 锥 fan。主要贡献在于：基于等距嵌入，给出了 Cambrian 锥 fan 的几何构造，并建立了 associahedron 的面与非交叉划分格 $\mathrm{NCP}_c$ 之间清晰、可计算的双射关系。

ABSTRACT

For each finite real reflection group $W$, we identify a copy of the type-$W$ simplicial generalised associahedron inside the corresponding simplicial permutahedron. This defines a bijection between the facets of the generalised associahedron and the elements of the type $W$ non-crossing partition lattice which is more tractable than previous such bijections. We show that the simplicial fan determined by this associahedron coincides with the Cambrian fan for $W$.

研究动机与目标

• 为有限不可约实反射群 $W$ 构造 $c$-Cambrian 锥 fan 的几何实现，且不依赖于 Coxeter 排序。
• 通过线性变换 $\mu = 2(I - c)^{-1}$，在广义 associahedron 与 $c$-Cambrian 锥 fan 之间建立直接的等距联系。
• 在广义 associahedron 的面与非交叉划分格 $\mathrm{NCP}_c$ 的元素之间，构建更清晰、几何直观的双射关系。
• 证明由像 $\mu(AX(c))$ 定义的锥 fan 与 $c$-Cambrian 锥 fan 一致，从而为这一重要多面体锥 fan 提供了新的实现方式。
• 通过根系与反射群理论为基础的几何构造，调和簇锥 fan 与 Cambrian 锥 fan 之间的关系。

提出的方法

• 构造始于通过根的全序和反射长度条件定义的单纯广义 associahedron $EX(c)$，并应用对合 $c_+$ 得到复形 $AX(c)$。
• 对 $AX(c)$ 应用线性映射 $\mu = 2(I - c)^{-1}$，得到复形 $\mu(AX(c))$，证明其保持等距性与单纯结构。
• 证明 $\mu(AX(c))$ 的每个面均位于对称群多面体锥 fan 的若干反射超平面的并集上，从而确立 $\mu(AX(c))$ 的锥 fan 是对称群多面体锥 fan 的粗化。
• 在 $\mathrm{NCP}_c$ 的元素 $w$ 与 $\mathbb{R}^n$ 中的区域 $F(w)$ 之间定义双射，其中 $F(w)$ 由抛物子群 $W_w$ 与 $W_{cw^{-1}}$ 的基本根所定义的不等式确定。
• $F(w)$ 的射线被证明由 $\mu$ 作用于特定根 $\rho_i$ 的像生成，且通过映射 $\phi$ 将 $\mu(AX(c))$ 的面结构与这些 $F(w)$ 锥体一一对应。
• 最后，证明从簇锥 fan 到 Cambrian 锥 fan 的映射 $L$ 与 $\frac{1}{2} \mu \circ c_+$ 一致，从而确立了 $\mu(AX(c))$ 的锥 fan 与 $c$-Cambrian 锥 fan 之间的线性同构关系。

实验结果

研究问题

• RQ1 如何为有限不可约实反射群 $W$ 的 $c$-Cambrian 锥 fan 构造一个作为对称群多面体锥 fan 粗化的几何实现？
• RQ2 在何种线性同构关系下，单纯广义 associahedron $AX(c)$ 与 $c$-Cambrian 锥 fan 相关联？
• RQ3 能否在广义 associahedron 的面与非交叉划分格 $\mathrm{NCP}_c$ 之间，构建一个更清晰、几何直观的双射关系？
• RQ4 线性变换 $\mu = 2(I - c)^{-1}$ 如何与簇锥 fan 和 Cambrian 锥 fan 相关联？它是否能为后者提供一个自然的实现？
• RQ5 对于双分 Coxeter 元素 $c$，由 $w \in \mathrm{NCP}_c$ 索引的锥体 $F(w)$ 所定义的锥 fan 是否与 $c$-Cambrian 锥 fan 一致？

主要发现

• 由 $w \in \mathrm{NCP}_c$ 索引的锥体 $F(w)$ 所定义的锥 fan 是一个完全的单纯锥 fan，且与簇锥 fan 线性同构。
• 在映射 $\mu = 2(I - c)^{-1}$ 下，单纯广义 associahedron $AX(c)$ 的像 $\mu(AX(c))$ 构成一个多面体复形，其法锥 fan 即为 $c$-Cambrian 锥 fan。
• $\mu(AX(c))$ 的每个面均位于对称群多面体锥 fan 的若干反射超平面的并集上，确认了 $\mu(AX(c))$ 的锥 fan 是对称群多面体锥 fan 的粗化。
• 映射 $L$ 从簇锥 fan 到 $c$-Cambrian 锥 fan 与 $\frac{1}{2} \mu \circ c_+$ 一致，确立了两个锥 fan 之间的线性同构关系。
• 该构造为广义 associahedron 的面与 $\mathrm{NCP}_c$ 的元素之间提供了新的、几何直观的双射关系，其可计算性优于以往的组合构造。
• 在 $C_3$ 情形下，通过 $\mu(AX(c))$ 显式地将 cyclohedron（即 $C_3$ 类型的 associahedron）嵌入到对称群多面体中，并通过立体投影展示了锥 fan 的结构与面的标记。