[论文解读] The isomorphism problem for Coxeter groups

Bernhard Mühlherr|ArXiv.org|Jun 28, 2005

Advanced Combinatorial Mathematics参考文献 32被引用 15

一句话总结

本文综述了有限生成考克斯eter群的同构问题，表明其可通过穆尔赫雷与豪勒特的最新成果简化为‘保持反射’的版本。关键贡献在于提出一个框架，在两个猜想成立的前提下，可实现同构问题的算法求解，尤其在不存在 $H_3$-子系统时适用。

ABSTRACT

By a recent result obtained by R. Howlett and the author considerable progress has been made towards a complete solution of the isomorphism problem for Coxeter groups. In this paper we give a survey on the isomorphism problem and explain in particular how the result mentioned above reduces it to its `reflection preserving' version. Furthermore we desrcibe recent developments concerning the solution of the latter.

研究动机与目标

• 提供当前考克斯eter群同构问题研究现状的全面综述。
• 解释如何通过穆尔赫雷与豪勒特的最新进展，将一般同构问题简化为‘保持反射’的版本。
• 描述在关于角度变形与考克斯eter生成集图连通性猜想的推动下，对保持反射同构问题的进展。
• 在假设两个关键猜想成立的前提下，提出同构问题的算法解法。
• 阐明考克斯eter群自同构群的结构，特别是保持反射与角度变形自同构的作用。

提出的方法

• 利用穆尔赫雷与豪勒特关于反射子群有限补充结果，将一般同构问题简化为保持反射的版本。
• 将群 $\operatorname{Ref}_S(W)$（即保持反射的自同构群）作为同构分类的核心组件。
• 分析尖角考克斯eter生成集的图 $\mathbf{C}$，其中邻接关系对应扭转变换关系，以研究其连通性与自同构结构。
• 应用猜想：$\mathbf{C}$ 是连通的（猜想2），该猜想若成立，则意味着 $\operatorname{Ang}_S(W)$ 生成所有保持反射的同构。
• 构造一个候选群 $\Omega \leq \widetilde{\Sigma}_S(W)$，其具有正规2-子群，且补群同构于 $\mathrm{GL}(n_i,2)$ 群的积，支持关于自同构群结构的猜想。
• 利用已知的偶考克斯eter矩阵结果，并通过范畴论类比推广至非偶情形。

实验结果

研究问题

• RQ1 在何种条件下，考克斯eter群的同构问题可简化为保持反射的变体？
• RQ2 本文所提出的猜想中，尖角考克斯eter生成集的图 $\mathbf{C}$ 是否连通？
• RQ3 能否以类似于考克斯eter群的方式呈现角度变形群 $\operatorname{Ang}_S(W)$，特别是在存在 $H_3$-子图时？
• RQ4 每个约化考克斯eter系统是否都存在 $\operatorname{Ref}_S(W)$ 在 $\operatorname{Aut}(W)$ 中的补群或有限补充，如猜想3所建议？
• RQ5 当 $W$ 不含 $H_3$-子系统时，$\operatorname{Aut}(W)$ 的结构如何？该结构如何促成同构问题的算法求解？

主要发现

• 通过穆尔赫雷与豪勒特的结果，考克斯eter群的同构问题可借助有限补充构造简化为保持反射的版本。
• 对于不含 $H_3$-子系统的考克斯eter系统，同构问题可解，且在两个关键猜想成立的假设下，提供了算法解法。
• 猜想2——即尖角生成集图 $\mathbf{C}$ 是连通的——等价于从角度变形到保持反射同构的映射是满射。
• 在偶情形下，群 $\operatorname{Ang}_S(W)$ 由对 $\mathbf{C}$ 中邻接元素进行交换的对合 $\theta_R$ 生成，且 $\mathbf{C}$ 成为该群的凯莱图。
• $\widetilde{\Sigma}_S(W)$（即保持反射共轭类的外自同构群）是有限的，且 $\operatorname{Aut}(W) = \widetilde{\Sigma}_S(W) \cdot \operatorname{Ref}_S(W)$。
• 猜想3建议 $\Omega \leq \widetilde{\Sigma}_S(W)$ 具有正规2-子群，且补群同构于 $\mathrm{GL}(n_i,2)$ 群的积，支持 $\operatorname{Ref}_S(W)$ 的有限补充结构。