[论文解读] Reflection Groups. A Contribution to the Handbook of Algebra

Meinolf Geck, Gunter Malle|ArXiv.org|Nov 2, 2003

Finite Group Theory Research参考文献 148被引用 3

一句话总结

本章对实与复向量空间上的有限反射群提供了全面综述，重点涵盖其分类、Coxeter型表示、拓扑与几何结构，以及与Hecke代数和表示论的联系。主要贡献在于对理论的统一处理，包括复反射群的分类、多项式环中不变量的作用，以及通过格点不变量和同伦论构造，揭示p进与p紧群的出现。

ABSTRACT

This is a survey article on the theory of finite complex reflection groups. No proofs are given but numerous references are included.

研究动机与目标

• 为实与复向量空间上的有限反射群提供系统性综述，融合经典与现代视角。
• 阐明不可约有限反射群的分类，包括无限族与例外情况。
• 探讨组合表示（Coxeter型）、几何不变量与拓扑结构（如braid群）之间的相互作用。
• 研究反射群在表示论中的作用，特别是通过Hecke代数和阿贝尔缺陷群猜想。
• 研究在p进整数上不变量的行为及其与同伦论中p紧群的联系。

提出的方法

• 使用Shephard–Todd分类将不可约复反射群组织为无限族与例外情况。
• 应用不变量理论表明，有限反射群作用下的不变量环总是多项式环，尤其在复数或p进域上。
• 利用Coxeter–Dynkin图通过生成元与关系编码有限实反射群的表示。
• 将braid群构造为与反射群相关超平面排列补空间的基本群。
• 利用p进格点与挠条件，确定不变量在Z_p上保持多项式的情形，尤其在Weyl群背景下。
• 应用同伦论方法，通过Weyl群数据与环路空间同调，将p进反射群与p紧群联系起来。

实验结果

研究问题

• RQ1 哪些在C或R上的有限反射群具有多项式不变量环？其特征是什么？
• RQ2 有限反射群的表示——尤其是Coxeter型表示——如何促进组合与代数分析？
• RQ3 超平面排列的拓扑与相关braid群的结构之间有何关系？
• RQ4 在何种p的条件下，反射群在p进整数上的不变量仍为多项式？
• RQ5 p进反射群如何作为p紧群的Weyl群出现？其分类由什么决定？

主要发现

• 有限反射群在复向量空间上作用的不变量环总是多项式环，此结果称为Shephard–Todd定理。
• 有限实反射群恰好是Coxeter群，其表示由带有特定边标签的Dynkin图编码。
• 当R中所有W的挠素数均可逆时，Weyl群在Z_p上权重格上的不变量为多项式，此结论由Demazure证明。
• 对于对称群S₃，其在p进整数上的不变量并非多项式，尽管在Q_p和F_p上是多项式。
• Clark–Ewing分类的所有p进反射群均作为p紧群的Weyl群出现，且当p > 2时，Z_p上Weyl群数据可唯一分类连通p紧群（同构意义下）。
• Q_p上p进反射群的分类是完整的，且取决于p关于群参数的同余条件，详见表6。