[论文解读] Cohomological invariants mod 2 of Weyl groups

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

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

一句话总结

该论文通过构造从对合共轭类集合到不变量环的显式、保持次数的单射，为Weyl群的模2上同调不变量环建立了规范基。关键结果表明，该不变量环是基域上同调环上的自由模，其基由对合共轭类索引，并通过与由交换反射生成的立方体的标量积显式构造。

ABSTRACT

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

研究动机与目标

• 将对称群模2上同调不变量的已知描述扩展至所有Weyl群。
• 为任意Weyl群的模2上同调不变量环提供一个规范的、保持次数的基。
• 解决多个对合共轭类具有相同次数而无法被标准Stiefel-Whitney类区分的情况。
• 建立在特征≠2的任意域上不变量环的普遍结构。

提出的方法

• 对上同调不变量a与对合g，定义标量积⟨a, g⟩ ∈ H•(k₀)，通过a在由交换反射生成的立方体上的限制的最高系数。
• 证明⟨a, g⟩不依赖于g分解为交换反射的方式，而仅依赖于g的共轭类σ。
• 构造基元素e(σ) ∈ Iⁿ_G，使其为唯一满足⟨e(σ), σ⟩ = 1且对所有σ′ ≠ σ有⟨e(σ), σ′⟩ = 0的不变量。
• 通过归纳法和对奇数指标的经典型子群的限制，将零化证明约化为已知良好特征结果适用的情形。
• 对退化对合类的情形（如E₈在度数4），利用Milnor猜想（Voevodsky定理）通过滤子和Brauer特征标，将Witt不变量上移为上同调不变量。
• 通过证明同构关系建立不变量环的普遍性：Inv_k₀(G) ≅ Inv_C(G) ⊗_F₂ H•(k₀)（加法结构）与Inv_k₀(G) ≅ Inv_R(G) ⊗_{H•(R)} H•(k₀)（环结构）。

实验结果

研究问题

• RQ1 Weyl群的模2上同调不变量环能否被赋予一个以对合共轭类为索引的规范基？
• RQ2 当标准不变量（如Stiefel-Whitney类）失效时，如何区分同一度数的两个对合共轭类？
• RQ3 在特征≠2的任意域上，Inv_k₀(G)的普遍结构是什么？它与复数域C和实数域R的基域有何关系？
• RQ4 在标准Stiefel-Whitney类无法分离对合类的情况下，如何构造非平凡的上同调不变量？

主要发现

• Weyl群G的模2上同调不变量环I_G是H•(k₀)-上的自由模，其规范基由G中对合共轭类索引。
• 对于E₈型G，有10个基元素：度数0至3及5至8各一个，度数4有两个，反映出|Σ_G,4| = 2。
• 对于E₇型G，基元素的度数为0,1,2,3,3,4,4,5,6,7；对于E₆型G，度数为0,1,2,3,4。
• 每个对合类σ的基元素e(σ)的构造由对偶性条件唯一确定：⟨e(σ), σ⟩ = 1且对所有σ′ ≠ σ有⟨e(σ), σ′⟩ = 0。
• 当Stiefel-Whitney类无法分离同度数类时，本文利用Witt不变量与Brauer特征标构造所需不变量，其中χ(σ) − χ(σ′) = 2ⁿ确保非平凡性。
• 不变量环Inv_k₀(G)通过基变换普遍描述：作为F₂-向量空间，其同构于Inv_C(G) ⊗_F₂ H•(k₀)；作为分次F₂-代数，其同构于Inv_R(G) ⊗_{H•(R)} H•(k₀)。