[論文レビュー] Cohomological invariants of finite Coxeter groups

Jérôme Ducoat|arXiv (Cornell University)|Dec 29, 2011

Algebraic structures and combinatorial models参考文献 20被引用数 3

ひとこと要約

この論文は、特性がゼロの体上の有限コックスター群へ、セールの分割原理を一般化し、反射によって生成されるアーベル部分群への制限に基づく消滅基準を確立する。主な結果は、古典型のウェイル群の $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-加群としてのコhomological不変量の完全な記述であり、Stiefel-Whitney不変量の積からなる明示的な基底を持つ自由加群であることが示される。

ABSTRACT

In this paper, we generalize Serre's splitting theorem for cohomological invariants of the symmetric group to finite Coxeter groups, provided that the ground field has characteristic zero. We then use this principle to determine all the cohomological invariants of Weyl groups of classical type with coefficients modulo 2.

研究の動機と目的

• 対称群のコhomological不変量に関するセールの分割原理を、特性がゼロの体上の任意の有限コックスター群へ拡張すること。
• $ \mathbb{Z}/2\mathbb{Z} $係数における古典型ウェイル群のコhomological不変量の構造を特徴づけること。
• 反射によって生成されるアーベル部分群への制限に基づいた不変量の消滅基準を確立すること。
• $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-加群としての、型 $ B_n $、$ C_n $、$ D_n $ のウェイル群のコhomological不変量の自由基底を特定すること。

提案手法

• 特性がゼロの仮定の下で、コhomological不変量がすべての反射によって生成されるアーベル部分群で消えるならば、それが全体で消えることを示すことで、セールの分割原理を一般化する。
• ガロア降下とエタール代数の構造を用いて、ウェイル群の不変量をその最大のアーベル部分群（反射によって生成されるもの）の不変量に関連付ける。
• 群 $ W $ の最大アーベル部分群 $ H_m $ 上に、その正規化群の作用に関して不変である明示的な不変量 $ a_{r,s} $ を導入する。
• 制限写像を用いて、全ウェイル群 $ W $ の不変量と $ H_m $ の不変量を関連付け、制限写像の単射性を証明する。
• Stiefel-Whitney不変量 $ w_i $ と $ \widetilde{w}_j $（$ j $ が偶数）の積からなる基底を構成する。
• $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $ 上の組合せ的恒等式と線形代数を用いて、制限写像の像が $ H_m $ の全不変量加群を張ることを示す。

実験結果

リサーチクエスチョン

• RQ1 特性がゼロの体上の任意の有限コックスター群へ、対称群に関するセールの分割原理を拡張できるか？
• RQ2 $ \mathbb{Z}/2\mathbb{Z} $係数における古典型ウェイル群のコhomological不変量加群の構造は何か？
• RQ3 不変量が反射によって生成されるアーベル部分群への制限が、全体の不変量をどのように決定するか？
• RQ4 $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-加群としての、型 $ B_n $、$ C_n $、$ D_n $ のウェイル群のコhomological不変量の自由基底は何か？

主な発見

• 古典型ウェイル群に対して、制限写像 $ \text{Res}_W^{H_m} : \text{Inv}_{k_0}(W, \mathbb{Z}/2\mathbb{Z}) \to \text{Inv}_{k_0}(H_m, \mathbb{Z}/2\mathbb{Z})^{N_{H_m}/H_m} $ は単射である。
• $ \text{Inv}_{k_0}(H_m, \mathbb{Z}/2\mathbb{Z})^{N_{H_m}/H_m} $ は $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $ 上で自由であり、基底 $ \{a_{r,s}\} $ を持ち、ここで $ r,s \geq 0 $、$ r+s \leq n/2 $ である。
• $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-加群 $ \text{Inv}_{k_0}(W, \mathbb{Z}/2\mathbb{Z}) $ は、基底 $ \{w_i \cdot \widetilde{w}_j\} $ を持ち、ここで $ 0 \leq i \leq \lfloor n/2 \rfloor $、$ 0 \leq j \leq 2(\lfloor n/2 \rfloor - i) $、かつ $ j $ は偶数である。
• $ w_i $ と $ \widetilde{w}_j $ は、エタール代数とそのねじれに付随する標準的二次形式のスティーフェル・ホイットニー類から生じる。
• $ w_i \cdot \widetilde{w}_j $ の $ H_m $ への制限は、$ a_{r,s} $ の線形結合であり、その係数は二項係数である。
• 帰納的議論により、すべての $ a_{r,s} $ が制限写像の像に属することを示し、これにより全射性が得られ、したがって完全な基底が得られる。