[论文解读] The computation of Stiefel-Whitney classes

Pierre Guillot|ArXiv.org|May 19, 2009

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

一句话总结

本文提出了一种计算方法，用于确定有限群模 2 上同调中的施蒂费尔-惠特尼类与斯廷罗德运算，该方法利用实表示并结合模 3 约化，将有限正交群的上同调数据上移。关键贡献是一个系统性算法，可识别由代数周期支撑的上同调类，已在超过 100 个群（包括 Q₈）中得到验证。

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.

研究动机与目标

• 将机器计算的群上同调环扩展，纳入更高阶结构，如施蒂费尔-惠特尼类与斯廷罗德运算。
• 提供一个计算框架，将表示理论数据（实与复表示）与有限群上同调中的上同调不变量相联系。
• 确定有限群上同调中哪些上同调类由代数周期支撑，特别是在托塔罗关于分类空间的查沃环猜想的背景下。
• 开发一种算法，通过布劳尔上移与正交群的模 3 约化计算施蒂费尔-惠特尼类，尤其适用于 2-群。

提出的方法

• 将 2-群 G 的实表示模 3 约化，得到同态 f: G → Oₙ(𝔽₃)，保持不变的二次型。
• 使用布劳尔上移将 Oₙ(𝔽₃) 的标准表示上移到 ℤ₃ 上的虚拟复表示，该表示复化后成为实表示。
• 应用施蒂费尔-惠特尼类的函子性，推导出对于实类型实表示 V，有 wᵢ(V) = f*(wᵢ(Vₙ))。
• 利用 Oₙ(𝔽₃) 模 2 上同调在二面体群乘积上的检测性质，使计算变得可行。
• 利用斯廷罗德运算与上拉映射的相容性，并通过 Wu 公式已知 H*(BO(n), 𝔽₂) 上的作用。
• 将这些构造与现有的计算机代数系统结合，计算超过 100 个有限群的施蒂费尔-惠特尼类与斯廷罗德运算。

实验结果

研究问题

• RQ1 能否利用表示理论数据系统地计算有限群模 2 上同调中的施蒂费尔-惠特尼类与斯廷罗德运算？
• RQ2 实表示的施蒂费尔-惠特尼类在多大程度上能检测有限群上同调环中的关系？
• RQ3 H*(BG, 𝔽₂) 中哪些上同调类由代数周期支撑，特别是在查沃环 CH*(BG) 的背景下？
• RQ4 当仅有特征标数据时，如何利用模 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₄(𝔽₃) 足以计算所有相关的施蒂费尔-惠特尼类。
• 该算法可通过识别来自实或复表示的类，实现对由代数周期支撑的上同调类的检测。