[论文解读] On cycle decompositions in Coxeter groups

Thomas Gobet|arXiv (Cornell University)|Nov 10, 2016

Advanced Combinatorial Mathematics参考文献 6被引用 8

一句话总结

本文利用对偶考赛特理论框架，将对称群中置换的循环分解推广至有限考赛特群。它引入了抛物拟考赛特元——即能以反射长度可加、彼此交换的不可约不可分解因子之积表示的元素——并证明此类元素具有唯一的广义循环分解，从而将经典循环分解推广至更广泛的考赛特群元素类别。

ABSTRACT

The aim of this note is to show that the cycle decomposition of elements of the symmetric group admits a quite natural formulation in the framework of dual Coxeter theory, yielding a generalization of it to the family of so-called parabolic quasi-Coxeter elements of Coxeter groups (in the symmetric group every element is a parabolic quasi-Coxeter element). We show that such an element admits an analogue of the cycle decomposition. Elements which are not in this family still admit a generalized cycle decomposition, but it is not unique in general.

研究动机与目标

• 使用对偶考赛特理论，将对称群中置换的经典循环分解推广至有限考赛特群。
• 识别考赛特群中一类自然的元素，其分解类似于循环分解。
• 将抛物拟考赛特元定义并表征为能以反射长度可加、彼此交换的不可约因子之积表示的元素。
• 证明此类元素具有唯一的广义循环分解（因子顺序除外），从而将经典结果推广至有限考赛特群。
• 阐明非抛物拟考赛特类元素的广义循环分解为何不唯一。

提出的方法

• 定义考赛特群 W 中关于所有反射集合 T 的反射长度函数 ℓ_T。
• 通过条件 1.1 引入抛物拟考赛特元：存在一个生成抛物子群的 T-约化表达式。
• 确立此类元素的抛物闭包 P(w) 唯一，从而建立明确的分解框架。
• 证明在有限考赛特群中，抛物拟考赛特元可唯一分解为反射长度可加、彼此交换的不可约因子。
• 利用 T-约化表达式上 Hurwitz 轨道与 w 为拟考赛特元的反射子群之间的对应关系（推论 3.11），分析分解的非唯一性。
• 利用引理 3.10 证明反射长度在反射子群中保持不变，确保 ℓ_T 在不同子群嵌入下的一致性。

实验结果

研究问题

• RQ1 能否使用对偶考赛特理论，将对称群中置换的经典循环分解推广至有限考赛特群？
• RQ2 考赛特群中哪类元素具有类似于循环分解的分解形式，且满足反射长度可加与因子交换？
• RQ3 为何非抛物拟考赛特类元素的广义循环分解不唯一？
• RQ4 反射子群与 Hurwitz 轨道如何关联于此类分解的存在性与唯一性？
• RQ5 在何种条件下，考赛特群元素可唯一分解为不可约、彼此交换、反射长度可加的因子？

主要发现

• 有限考赛特群中的抛物拟考赛特元可唯一分解为彼此交换、不可约的因子，且反射长度可加，形成广义循环分解。
• 该分解在因子顺序之外唯一，推广了对称群中循环分解的唯一性结果。
• 对于非抛物拟考赛特类元素，广义循环分解存在但不唯一，其分解数量对应于 T-约化表达式上 Hurwitz 轨道的数量。
• 抛物拟考赛特元 w 的抛物闭包 P(w) 唯一确定，且等于其分解中各因子所生成的不可约反射子群的乘积。
• 如引理 3.10 所示，反射长度在反射子群中保持不变，确保 ℓ_T 在不同子群嵌入下的一致性。
• 在 D₄ 型中的一个例子表明，一个拟考赛特元在全群中可能不是考赛特元，但仍具有平凡的广义循环分解；但在更大的群中，它可能非平凡地分解为非抛物子群的考赛特元。