[论文解读] Cohomological invariants of finite Coxeter groups

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

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

一句话总结

本文将塞尔的上同调不变量分裂原理推广至特征零域上的有限考克斯eter群，基于由反射生成的阿贝尔子群上的限制建立了一个消去准则。关键结果是完整描述了经典型威垂群的 $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-模上同调不变量，表明其为自由模，且具有由斯蒂费尔-惠特尼不变量乘积构成的显式基底。

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.

研究动机与目标

• 将对称群上同调不变量的塞尔分裂原理推广至特征零域上的有限考克斯eter群。
• 刻画经典型威垂群在 $ \mathbb{Z}/2\mathbb{Z} $ 系数下的上同调不变量结构。
• 基于其在由反射生成的阿贝尔子群上的限制，建立不变量的消去准则。
• 确定威垂群类型 $ B_n $、$ C_n $ 和 $ D_n $ 在 $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $ 上的上同调不变量模的自由基底。

提出的方法

• 通过证明：若一个上同调不变量在所有由反射生成的阿贝尔子群上消失，则在整体上也消失，从而在特征零假设下推广塞尔的分裂原理。
• 利用伽罗瓦下降和 étale 代数的结构，将威垂群的不变量与它们由反射生成的最大阿贝尔子群的不变量联系起来。
• 在威垂群 $ W $ 的最大阿贝尔子群 $ H_m $ 上引入显式不变量 $ a_{r,s} $，这些不变量在该子群的正规化子作用下保持不变。
• 应用限制映射，将完整威垂群 $ W $ 的不变量与 $ H_m $ 的不变量联系起来，证明限制映射的单射性。
• 通过斯蒂费尔-惠特尼不变量 $ w_i $ 和 $ \widetilde{w}_j $（其中 $ j $ 为偶数）的乘积构造不变量模的基底。
• 运用 $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $ 上的组合恒等式与线性代数，证明限制映射的像张成 $ H_m $ 的完整不变量模。

实验结果

研究问题

• RQ1 塞尔对对称群的上同调不变量分裂原理能否推广至特征零域上的任意有限考克斯eter群？
• RQ2 经典型威垂群在 $ \mathbb{Z}/2\mathbb{Z} $ 系数下的上同调不变量模的结构是什么？
• RQ3 不变量在由反射生成的阿贝尔子群上的限制如何决定全局不变量？
• RQ4 威垂群类型 $ B_n $、$ C_n $ 和 $ D_n $ 的 $ H^*(k_0, \mathbb{Z}/2\mathbb{Z}) $-模上同调不变量的自由基底是什么？

主要发现

• 对于经典型威垂群，限制映射 $ \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 $ 来源于与 étale 代数及其扭化相关的标准二次型的斯蒂费尔-惠特尼类。
• $ w_i \cdot \widetilde{w}_j $ 在 $ H_m $ 上的限制是 $ a_{r,s} $ 的线性组合，其系数为二项式系数。
• 通过归纳法证明每个 $ a_{r,s} $ 属于限制映射的像，从而证明满射性，因此获得完整的基底。