[论文解读] Centralizers of reflections and reflection-independence of Coxeter groups

Koji Nuida|ArXiv.org|Feb 8, 2006

Advanced Combinatorial Mathematics参考文献 20被引用 5

一句话总结

本文通过分析与给定生成元交换的反射所生成子群的有限不可约分量，提出了一类新的反射独立性的充分条件，适用于考克斯eter群中反射的唯一性不依赖于生成集的情形。关键结果表明，无限、不可约、2-球面考克斯eter群（即使其秩为无限）是反射独立的，该结论通过中心化子的结构分析，将先前仅限于有限或球面情形的结果推广至更广泛的情形。

ABSTRACT

A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this condition for Coxeter groups in certain classes, possibly of infinite ranks. We also determine the finite irreducible components of another Coxeter group, that is a subgroup of W generated by the reflections centralizing a given generator of W. Determining such a subgroup makes our criterion efficient.

研究动机与目标

• 建立考克斯eter群中反射独立性的新充分条件，且该条件与生成集的选择无关。
• 分析与固定生成元交换的反射所生成子群的结构，特别是其有限不可约分量。
• 将反射独立性的结果推广至无限秩及非球面考克斯eter群，其中先前方法失效。
• 提供一个适用于任意考克斯eter群的一般性框架，包括那些不存在最大有限子群的情形。

提出的方法

• 定义 $ W^{ot x} $ 为 $ W $ 中不同于 $ x $ 且与 $ x $ 交换的反射所生成的子群，并分析其有限不可约分量 $ (W^{ot x})_{\text{fin}} $。
• 利用 Deodhar 和 Dyer 的结果，证明 $ W^{ot x} $ 是一个考克斯eter群，从而实现其结构分解。
• 通过在奇数考克斯eter图及关系上的案例分析，将 $ (W^{ot x})_{\text{fin}} $ 完全分类为六种特殊情形与一种一般情形。
• 应用判据：若对所有 $ x \in S $，均有 $ (W^{ot x})_{\text{fin}} $ 足够小，则 $ W $ 是反射独立的。
• 利用奇数连通及2-球面情形下有限抛物子群的共轭性与极大性，验证该判据。
• 使用图论工具（奇数考克斯eter图、无环性、连通性）分析关系并推导出有限性条件。

实验结果

研究问题

• RQ1 在何种条件下，考克斯eter群中反射的集合不依赖于生成集的选择？
• RQ2 如何利用反射中心化子的结构来确定无限秩考克斯eter群中的反射独立性？
• RQ3 $ W^{ot x} $ 的有限不可约分量在确保反射独立性中起什么作用？
• RQ4 是否可对无限、不可约、2-球面考克斯eter群（即使其秩为无限）建立反射独立性？
• RQ5 奇数连通性与奇数考克斯eter图的无环性如何影响反射独立性的判据？

主要发现

• 本文证明了任意无限、不可约、2-球面考克斯eter群（无论其秩如何）都是反射独立的。
• 有限不可约分量 $ (W^{ot x})_{\text{fin}} $ 被完全分类为六种特殊情形与一种一般情形，从而使得该判据可被有效应用。
• 在奇数连通考克斯eter群中，若 $ (W^{ot x})_{\text{fin}} $ 既非平凡也非由单个反射生成，则主定理的假设成立。
• 在奇数连通情形下，利用极大有限抛物子群 $ W_K $ 与 $ W_I $，证明了反射的共轭类在同构下保持不变。
• 证明依赖于表明此类极大有限子群的交集包含在同构下映射为反射的生成元。
• 即使在不存在极大有限子群的情形下，该判据依然有效，使其适用于先前方法失效的无限秩群。