[論文レビュー] Cohomological invariants mod 2 of Weyl groups

Jean-Pierre Serre|arXiv (Cornell University)|May 18, 2018

Advanced Algebra and Geometry参考文献 1被引用数 7

ひとこと要約

本稿では、Weyl群のmod 2コホモロジー不変量の環に対して、標準的基底を確立する。具体的には、共役類の集合から不変量環への明示的かつ次数を保存する単射を構成することで達成される。主な結果として、不変量環が、不変量の共役類によって添字づけられる自由H•(k₀)-加群であることが示され、可換な反射によって生成される立方体とのスカラー積を用いた明示的構成が与えられる。

ABSTRACT

We give a description of the cohomological invariants mod 2 of a Weyl group G in terms of the involution classes of G.

研究の動機と目的

• 対称群に対する既知のmod 2コホモロジー不変量の記述を、すべてのWeyl群に拡張すること。
• 任意のWeyl群のmod 2コホモロジー不変量の環に対して、標準的かつ次数を保存する基底を提供すること。
• 標準的スタイフェル＝ブリッジクラスでは区別できない、同じ次数の複数の不変量の共役類がある場合に、それらを区別できることを解決すること。
• 任意の特徴類≠2の体上の不変量環の普遍的構造を確立すること。

提案手法

• 共役類gの不変量aとに対し、可換な反射によって生成される立方体への制限の最高次係数を用いて、スカラー積⟨a, g⟩ ∈ H•(k₀)を定義する。
• ⟨a, g⟩がgの可換な反射への分解の選び方に依存せず、gの共役類σにのみ依存することを示す。
• ⟨e(σ), σ⟩ = 1 かつすべてのσ′ ≠ σに対して⟨e(σ), σ′⟩ = 0を満たす唯一の不変量e(σ) ∈ Iⁿ_Gとして基底元e(σ)を構成する。
• 奇数次の古典型部分群への帰納法と制限を用いて、消滅の証明を、既知の良い特徴類が適用可能な場合に還元する。
• 退化した不変量クラス（例：E₈の次数4）の例外的ケースに対しては、ミルナーの予想（ヴォエヴォズキーの定理）を用い、フィルトレーションとブローバー指標を介して、Witt不変量をコホモロジー不変量に持ち上げる。
• 不変量環の普遍性を確立する。加法的構造に関してはInv_k₀(G) ≅ Inv_C(G) ⊗_F₂ H•(k₀)、環構造に関してはInv_k₀(G) ≅ Inv_R(G) ⊗_{H•(R)} H•(k₀)を示す。

実験結果

リサーチクエスチョン

• RQ1 Weyl群のmod 2コホモロジー不変量の環は、不変量の共役類によって添字づけられる標準的基底を持つだろうか？
• RQ2 標準的不変量（例：スタイフェル＝ブリッジクラス）が同じ次数の不変量クラスを区別できない場合、それらを区別する方法は何か？
• RQ3 任意の特徴類≠2の体k₀上のInv_k₀(G)の普遍的構造は何か？また、CおよびRの基本体とどのように関係するか？
• RQ4 標準的スタイフェル＝ブリッジクラスが不変量クラスを分離できない場合、非自明なコホモロジー不変量をどのように構成できるか？

主な発見

• Weyl群Gのmod 2コホモロジー不変量の環I_Gは、G内の不変量の共役類によって添字づけられる自由H•(k₀)-加群である。
• GがE₈型の場合、基底要素は10個存在する：次数0〜3および5〜8の各1つずつ、および次数4の2つ（|Σ_G,4| = 2に一致）。
• GがE₇型の場合、基底要素の次数は0,1,2,3,3,4,4,5,6,7であり、E₆型では0,1,2,3,4である。
• 各不変量クラスσに対して基底要素e(σ)の構成は、双対性条件⟨e(σ), σ⟩ = 1 かつすべてのσ′ ≠ σに対して⟨e(σ), σ′⟩ = 0を満たす一意的な性質によって特徴づけられる。
• スタイフェル＝ブリッジクラスが同じ次数のクラスを区別できない場合、本稿ではWitt不変量とブローバー指標を用いて必要な不変量を構成し、χ(σ) − χ(σ′) = 2ⁿが非自明性を保証する。
• 不変量環Inv_k₀(G)は、基底変換を介して普遍的に記述される。F₂-ベクトル空間としてInv_C(G) ⊗_F₂ H•(k₀)と同型であり、次数付きF₂代数としてInv_R(G) ⊗_{H•(R)} H•(k₀)と同型である。