[論文レビュー] Reflection Groups. A Contribution to the Handbook of Algebra

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

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

ひとこと要約

本章は、実および複素ベクトル空間上の有限反射群について、分類、コックスター型の表現、位相的・幾何的構造、およびヘッケ代数や表現論との関係を強調して包括的な概説を提供する。主な貢献は、理論の統一的取り扱いであり、特に複素反射群の分類、多項式環における不変量の役割、および格子不変量とホモトピー論的構成を介して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.

研究の動機と目的

• 実および複素ベクトル空間上の有限反射群の体系的概説を提供し、古典的および現代的視点を統合する。
• 可約でない有限反射群の分類を明確にし、無限族および例外的ケースを含む。
• 組合せ論的表現（コックスター型）と幾何的不変量、およびブレッド群などの位相的構造との相関を調査する。
• ヘッケ代数やアーベル的欠損部分群予想を通じて、反射群が表現論において果たす役割を検討する。
• p進整数上での不変量の振る舞いと、ホモトピー論におけるp-コンパクト群への関連を調査する。

提案手法

• シューファード＝トッド分類を用いて、可約でない複素反射群を無限族と例外的ケースに分類する。
• 不変量理論の応用により、有限反射群による作用の下での不変多項式環が多項式環であることを示す。特に、複素数体やp進体上での場合を想定する。
• コックスター＝ディンキン図を用いて、有限実反射群の生成元と関係式による表現を符号化する。
• 反射群に関連する超平面配置の補集合空間の基本群としてブレッド群を構成する。
• p進格子とねじれ条件を用いて、Z_p上でも不変量が多項式のままである条件を特定する。特に、ウェイル群の文脈で検討する。
• ホモトピー論的技法を応用し、ウェイル群のデータとループ空間ホモロジーを介して、p進反射群とp-コンパクト群を結びつける。

実験結果

リサーチクエスチョン

• RQ1 C や R 上の有限反射群のうち、不変多項式環が多項式環であるものはどれであり、その特徴は何か？
• RQ2 特にコックスター型の表現を通じて、有限反射群の表現が組合せ論的および代数的解析をどのように容易にするか？
• RQ3 超平面配置の位相と関連するブレッド群の構造との間にはどのような関係があるか？
• RQ4 素数 p に対して、p進整数上での反射群の不変量が多項式のままである条件は何か？
• RQ5 p進反射群はどのようにしてp-コンパクト群のウェイル群として現れるのか？その分類を決定づける要因は何か？

主な発見

• 複素ベクトル空間上で作用する有限反射群の不変多項式環は、常に多項式環である。これはシェパード＝トッドの定理として知られている。
• 有限実反射群は、正確にコックスター群であり、その表現は特定の辺ラベルをもつディンキン図で符号化される。
• Z_p 上の重み格子におけるウェイル群の不変量は、W のすべてのねじれ素数が R で可逆であれば多項式である。これはデマージュによって示された。
• 対称群 S₃ に対して、p進整数上での不変量は多項式でないが、Q_p や F_p 上では多項式である。
• クラーク＝イングの分類したすべてのp進反射群は、p-コンパクト群のウェイル群として現れ、p > 2 のとき、Z_p 上のウェイル群データは、連結なp-コンパクト群の同型類を完全に分類する。
• Q_p 上のp進反射群の分類は完全であり、群のパrameterに関するpの合同条件に依存する。詳細は表6に示されている。