[论文解读] Lattices in finite real reflection groups

Thomas A. Brady, Colum Watt|ArXiv.org|Jan 28, 2005

Advanced Combinatorial Mathematics参考文献 11被引用 17

一句话总结

本文提出了一种统一的、无需分类的证明，表明在有限实反射群 $W$ 中，按反射长度排序的区间 $[I, \gamma]$ 构成一个格。通过构造一个嵌入在球面 $S^{n-1}$ 中的新单纯复形，作者为该区间建立了几何模型，并证明其与广义associahedron同构，从而以一种新的、内在的方式证明了格性质以及associahedron的球面性质。

ABSTRACT

For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.

研究动机与目标

• 为有限实反射群中区间 $[I, \gamma]$ 的格性质提供一种统一的、不依赖分类的证明。
• 构造一个嵌入在 $S^{n-1}$ 中的单纯复形 $X(\gamma)$，用以几何地建模偏序集 $[I, \gamma]$。
• 建立该复形与广义associahedron之间的直接同构，从而在不依赖分类的前提下证明其球面结构。
• 通过使用完整的反射生成集，统一并推广Artin群中Garside结构的理论。

提出的方法

• 通过Coxeter元 $\gamma$ 的作用导出的正根与点积条件，定义单纯复形 $X(\gamma)$，确保其位于 $S^{n-1}$ 上。
• 利用反射长度序及移动子空间 $M(\alpha)$ 和固定子空间 $F(\alpha)$ 的性质，刻画 $W$ 上的偏序结构。
• 为每个 $\sigma \leq \gamma$ 引入子复形 $X(\sigma)$，并通过点积条件 $\rho_i \cdot \mu_j = 0$ 描述其几何实现。
• 利用Petrie多边形和 $\gamma$ 的作用，定义根的循环序，并确定复形中的边关系。
• 通过证明边准则 $R(\rho_i)R(\rho_j) \leq \gamma$ 与正交条件 $\rho_i \cdot \mu_j = 0$ 的等价性，证明 $X(\gamma)$ 的边结构与广义associahedron一致。
• 利用两个具有同构一维骨架的单纯复形必相等的事实，得出 $X(\gamma)$ 与广义associahedron同构。

实验结果

研究问题

• RQ1 能否在不依赖有限实反射群分类的前提下，统一证明有限实反射群中区间 $[I, \gamma]$ 的格性质？
• RQ2 在反射长度序下，何种几何结构建模了偏序集 $[I, \gamma]$？
• RQ3 广义associahedron与由Coxeter元 $\gamma$ 构造的单纯复形 $X(\gamma)$ 之间有何关系？
• RQ4 广义associahedron是否为球面单纯复形？这一性质能否在不依赖分类的前提下证明？
• RQ5 广义associahedron与单纯复形 $X(\gamma)$ 之间的边集存在何种精确对应关系？

主要发现

• 在所有有限实反射群中，区间 $[I, \gamma]$ 在反射长度序下均构成格，且该结论以统一方式证明，无需逐类分析。
• 在 $S^{n-1}$ 中构造了一个新的单纯复形 $X(\gamma)$，其顶点为正根，面由 $\gamma$ 作用下的正交条件决定，为 $[I, \gamma]$ 提供了几何模型。
• 复形 $X(\gamma)$ 与广义associahedron $GA(W)$ 同构，建立了偏序结构与associahedron之间的直接几何联系。
• 该证明表明广义associahedron是一个球面单纯复形，且其性质不依赖于有限反射群的分类。
• 复形 $X(\gamma)$ 的边结构与 $GA(W)$ 一致：当且仅当 $R(\rho_i)R(\rho_j) \leq \gamma$ 时，顶点 $\rho_i, \rho_j$ 之间存在边，该条件等价于 $\rho_i \cdot \mu_j = 0$。
• 该构造为Artin群 $A(W)$ 的 $K(\pi,1)$-空间的非退化性提供了新的、内在的证明，其基础为格性质与几何模型。