[论文解读] Alternating subgroups of Coxeter groups

Francesco Brenti, Victor Reiner+1 more|ArXiv.org|Feb 7, 2007

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

一句话总结

本文研究了 Coxeter 群 $W$ 的交错子群 $W^+$ 的组合结构，采用 Bourbaki 提供的生成元表示，即通过固定生成元 $s_0$ 定义 $r_i = s_0s_i$ 生成 $W^+$。主要贡献在于当 $s_0$ 为偶数叶节点（即在 Coxeter 图中为叶节点且为偶数连结）时，完全刻画了 $W^+$ 的结构，表明 $W^+$ 与另一个 Coxeter 群 $W'$ 通过近乎 Coxeter 的表示紧密相关，从而可将所有组合不变量——长度、下降集、弱序与强序——从 $W'$ 传递至 $W^+$。该结果为类型 $B_n$、$ ilde{B}_n$、$C_n$ 和 $ ilde{C}_n$ 中 $W^+$ 的研究提供了统一框架。

ABSTRACT

We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.

研究动机与目标

• 理解 Coxeter 群 $W$ 的交错子群 $W^+$ 的组合性质，特别是其结构与不变量。
• 分析选定生成元 $s_0 \in S$ 的选择如何影响 $W^+$ 的表示及其组合结构。
• 研究当 $s_0$ 为偶数叶节点（即偶数连结且为叶节点）时的情况，揭示 $W^+$ 与非抛物型反射子群 $W'$ 之间的深层联系。
• 将 $W^+$ 的不变量（如长度、下降集、弱序与强序）的研究归约为标准 Coxeter 群的已知框架，通过 $W'$ 实现。

提出的方法

• 使用 Bourbaki 提供的 $W^+$ 表示，通过生成元 $r_i = s_0s_i$（$i = 1,\dots,n$）及关系 $r_i^{m_{0i}} = (r_i^{-1}r_j)^{m_{ij}} = e$。
• 引入 $W^+$ 中回文元的概念，作为标准 Coxeter 群中反射的类比。
• 利用生成集 $R \cup R^{-1}$ 定义 $W^+$ 上的弱序与强序偏序关系，推广 Coxeter 群中的弱序结构。
• 在 $s_0$ 为偶数叶节点的情况下，通过近乎 Coxeter 的表示构造一个相关的 Coxeter 系 $(W', S')$，其中 $W'$ 是 $W$ 的反射子群。
• 建立 $W^+$ 与 $W'$ 之间的双射，该双射保持长度、下降集及偏序关系，从而实现组合数据的传递。
• 将理论应用于具体例子（如 $B_3$），通过约化字与下降集表展示 $W^+$ 与 $W'$ 之间的对应关系。

实验结果

研究问题

• RQ1 生成元 $s_0$ 的选择如何影响交错子群 $W^+$ 的表示及其组合结构？
• RQ2 当 $s_0$ 为偶数连结或叶节点时，$W^+$ 的结构与序理论性质（如弱序与强序）如何？
• RQ3 是否可将 $W^+$ 的组合不变量（如长度、下降集与约化解）归约为标准 Coxeter 群的不变量？
• RQ4 与同态 $s_0 \mapsto -1$、其余生成元映射为 $+1$ 的核 $W'$ 之间的精确关系为何？
• RQ5 在何种条件下 $W^+$ 允许近乎 Coxeter 的表示？何时其同构于 Coxeter 群？

主要发现

• 当 $s_0$ 为偶数叶节点时，$W^+$ 不同构于 $W'$，但存在一个保持长度的双射，该双射同时保持下降集与弱/强序关系。
• 子群 $W'$ 是 $W$ 的非抛物型反射子群，其具有与原始 $(W, S)$ 密切相关的 Coxeter 表示 $(W', S')$。
• 在偶数叶节点情况下，$W^+$ 中每个元素均可唯一分解为满足强交换性质的回文元，从而可完全刻画弱序与强序结构。
• 当 $W$ 为 $B_n$、$ ilde{B}_n$、$C_n$ 或 $ ilde{C}_n$ 类型时，若选择 $s_0$ 为偶数叶节点，则 $W^+$ 具有近乎 Coxeter 的表示，且 $W'$ 为 $D_n$ 或 $A_{n-1}$ 类型。
• 在偶数连结与偶数叶节点情况下，$W^+$ 的 Poincaré 系数可通过长度与下降集统计的生成函数计算。
• 在 $B_3$ 例子中，$W^+$ 与 $W'$ 的约化解与下降集表验证了双射关系：对应元素满足 $\ell_{R\cup R^{-1}}(w) = \ell_{S'}(w')$ 且 $\widehat{\rm{Nasc}}_R(w) = \widehat{\rm{Des}}_R(w)$。