中文

仿射 Coxeter 群中共轭的几何

群论 2025-01-28 v3 组合数学 表示论

摘要

我们为仿射 Coxeter群 W\overline{W} 中任意元素 x,xx,x' 的共轭类 [x][x] 和 coconjugation 集 C(x,x)={yWyxy1=x}\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \} 提供新的精确几何描述。xxW\overline{W} 中的 centralizer 是特殊情况 C(x,x)\operatorname{C}(x,x)。我们描述 [x][x] 的关键结构是其线性化 ww(即 xx 的有限部分)的 mod-set ModW(w)=(wI)R{Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee,其中 RR^\vee 为 coroot 格。接着 C(x,x)\operatorname{C}(x,x')ModW(w){Mod}_{\overline{W}}(w')(即 xx' 的有限部分)以及 ww' 的 fix-set 描述。对于关联有限 Weyl 群 WW 中的任意元素 ww,其 mod-set 包含在经典 move-set Mov(w)=Im(wI){Mov}(w) = \operatorname{Im}(w - \operatorname{I}) 中。我们证明 ModW(w){Mod}_{\overline{W}}(w) 的秩等于 Mov(w){Mov}(w) 的维数,并进一步按类型系统地研究 Z{\mathbb{Z}}-模 {Mod}_\overline{W}(w) 的 surprisingly subtle 结构。作为推论,我们准确确定 ModW(w)=Mov(w)R{Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee 的确切条件,在这种情况下,我们的闭式 [x][x] 和 coconjugation 集描述最为简单。

关键词

引用

@article{arxiv.2407.08080,
  title  = {The geometry of conjugation in affine Coxeter groups},
  author = {Elizabeth Milićević and Petra Schwer and Anne Thomas},
  journal= {arXiv preprint arXiv:2407.08080},
  year   = {2025}
}

备注

116 pages, 6 figures best viewed in color; v3: minor revisions, shorter version to appear in the International Journal of Algebra and Computation (IJAC)