[論文レビュー] The computation of Stiefel-Whitney classes

Pierre Guillot|ArXiv.org|May 19, 2009

Advanced Topology and Set Theory参考文献 11被引用数 15

ひとこと要約

本稿では、有限正交群からのコホロジー情報の還元を用いて、有限群の mod 2 コホロジーにおけるステイファル・ホイットニー類とスティーフェル・オペレーターを決定する計算的手法を提示する。主な貢献は、代数的サイクルに支持されるコホロジー類の同定を可能にする体系的なアルゴリズムであり、Q₈ を含む 100 以上もの群に対して検証済みである。

ABSTRACT

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the underlying (graded) ring. We propose a method to determine some of the extra structure: namely, Stiefel-Whitney classes and Steenrod operations. The calculations are explicitly carried out for about one hundred groups (the results can be consulted on the Internet). Next, we give an application: thanks to the new information gathered, we can in many cases determine which cohomology classes are supported by algebraic varieties.

研究の動機と目的

• 機械計算による群コホロジー環に、ステイファル・ホイットニー類やスティーフェル・オペレーターといった高次の構造を統合すること。
• 表現論的データ（実および複素）と有限群コホロジーにおけるコホロロジー不変量を結びつける計算フレームワークを提供すること。
• 有限群のコホロジーにおいて、どのコホロジー類が代数的サイクルに支持されるかを特定すること、特にトタロの分類空間のチャウ環に関する予想の文脈で。
• 特に 2-群に対して、ブラーレフトと mod 3 の還元を用いて、ステイファル・ホイットニー類を計算するアルゴリズムの開発

提案手法

• 2-群 G の実表現を 3 を法として還元し、f: G → Oₙ(𝔽₃) なる準同型を導出し、不変な二次形式を保存する。
• ブラーレフトを用いて、Oₙ(𝔽₃) の標準的表現を ℤ₃ 上の仮想複素表現に持ち上げ、それが複素化すると実表現に一致する。
• ステイファル・ホイットニー類のファンクター理論的性質を用い、実型の表現 V に対して wᵢ(V) = f*(wᵢ(Vₙ)) を導出する。
• Oₙ(𝔽₃) の mod 2 コホロジーが二面体群の積上で検出可能であるという事実を活用し、計算を扱いやすくする。
• スティーフェル・オペレーターと引き戻しの整合性を用い、Wu の公式により H*(BO(n), 𝔽₂) 上での作用が既知であることを活用する。
• これらの構成を既存のコンピュータ代数システムと組み合わせ、100 以上の有限群に対してステイファル・ホイットニー類とスティーフェル・オペレーターを計算する。

実験結果

リサーチクエスチョン

• RQ1 表現論的データを用いて、有限群の mod 2 コホロジーにおけるステイファル・ホイットニー類とスティーフェル・オペレーターを体系的に計算可能か？
• RQ2 実表現のステイファル・ホイットニー類は、有限群のコホロジー環における関係をどの程度まで検出できるか？
• RQ3 H*(BG, 𝔽₂) のどのコホロジー類が代数的サイクルに支持されるか、特にチャウ環 CH*(BG) の文脈で。
• RQ4 文字データしか入手できない状況で、mod 3 の還元とブラーレフトをどのように用いてステイファル・ホイットニー類を計算できるか？

主な発見

• クォータニオン群 Q₈ に対して、コホロジー環 H*(BQ₈, 𝔽₂) は w₁(r₁)、w₁(r₂)、w₄(Δ) によって生成され、関係はスティーフェル・オペレーターを用いて表現可能である。
• Q₈ のコホロジーにおける関係 z² + y² + zy = 0 は、w₁(r₁)² + w₁(r₂)² + w₁(r₁)w₁(r₂) = 0 に由来し、追加の関係 z³ = 0 は Sq¹ を用いて得られる。
• 本手法は、約 100 以上の有限群に対してステイファル・ホイットニー類とスティーフェル・オペレーターを効果的に計算でき、結果はオンラインで公開済みである。
• 64 のべきを割る 2-群に対しては、実型の表現の次元は最大で 4 であるため、O₄(𝔽₃) で関連するすべてのステイファル・ホイットニー類を計算可能である。
• アルゴリズムにより、実または複素表現から生じるコホロジー類として得られるものを特定することで、代数的サイクルに支持されるコホロジー類の検出が可能になった。