[论文解读] When is Galois cohomology free or trivial?

Nicole Lemire, Ján Mináč+1 more|ArXiv.org|Oct 29, 2004

Algebraic Geometry and Number Theory参考文献 16被引用 6

一句话总结

本文通过上积结构与零化子，精确确定了在何种条件下，对于循环扩张 $ E/F $ 的度数为 $ p $，Galois上同调群 $ H^n(E) = H^n(G_E, \mathbb{F}_p) $ 作为 $ \mathbb{F}_p[\text{Gal}(E/F)] $-模是自由或平凡的。主要贡献在于以 $ F $ 上的上同调条件完全刻画了自由性与平凡性，并显式构造了实现任意指定上同调维数以及自由性/平凡性阈值的扩张。

ABSTRACT

Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomological dimension, we introduce notions of cohomological freeness and cohomological triviality. We give examples of H^n(E) free or trivial for each n in N with prescribed cohomological dimension.

研究动机与目标

• 确定 $ H^n(E) $ 作为 $ \mathbb{F}_p[\text{Gal}(E/F)] $-模为自由模的确切条件，针对度数为 $ p $ 的循环扩张 $ E/F $。
• 建立 $ H^n(E) $ 作为 $ \mathbb{F}_p[\text{Gal}(E/F)] $-模为平凡模的条件。
• 研究自由性与平凡性在上同调度数 $ n \geq 1 $ 上的遗传性质。
• 显式构造循环扩张 $ E/F $，使得 $ \operatorname{cf}(E/F) = n $ 且 $ \operatorname{ct}(E/F) = n $，对任意 $ n \leq m \leq \infty $，且 $ G_E $ 为上同调维数为 $ m $ 的 pro-$ p $-群。

提出的方法

• 利用 Kummer 同构将 $ H^1(F) $ 识别为 $ F^\times $ 的 $ p $ 次幂类，并研究 $ H^2(F) $ 中的上积。
• 定义在上积作用下的零化子 $ \operatorname{ann}_n(x) $，特别是 $ \operatorname{ann}_{n-1}(a) $，以刻画上同调自由性。
• 应用 Voevodsky 对 Bloch-Kato 猜想的证明，推导出 Milnor K-理论与 Galois 上同调中的等价条件。
• 通过 $ G_{F_n} \star_{\text{pro-}p} G_{F_m} $ 形式的 pro-$ p $-群的自由 amalgamated 乘积构造域 $ F $，使其具有指定的上同调维数。
• 使用限制映射与核心限制映射 $ \operatorname{res}: H^n(F) \to H^n(E) $，$ \operatorname{cor}: H^n(E) \to H^n(F) $ 分析模结构与正合序列。
• 显式选择 $ a \in F^\times $，使得 $ E = F(\sqrt[p]{a}) $，且 $ \operatorname{res}_\star(a) $ 在 $ H^1(F_n) \oplus H^1(F_m) $ 中具有特定分量，以控制上同调行为。

实验结果

研究问题

• RQ1 对于哪些 $ a \in F^\times $，$ H^n(E) $ 是 $ \mathbb{F}_p[\text{Gal}(E/F)] $-模的自由模？
• RQ2 在何种情况下 $ H^n(E) $ 是 $ \mathbb{F}_p[\text{Gal}(E/F)] $-模的平凡模，且该性质是否可推广至更高度数？
• RQ3 在何种条件下，$ H^n(E) $ 的自由性或平凡性可被 $ H^m(E) $（$ m > n $）继承？
• RQ4 能否构造度数为 $ p $ 的循环扩张 $ E/F $，使得 $ H^n(E) $ 为自由或平凡模，但对更低度数不成立，且 $ G_E $ 为具有指定上同调维数的 pro-$ p $-群？
• RQ5 零化子 $ \operatorname{ann}_n(a) $、与 $ (a) $ 的上积，以及 $ H^n(E) $ 作为模的结构之间有何关系？

主要发现

• 当 $ p > 2 $ 时，$ H^n(E) $ 是 $ \mathbb{F}_p[G] $-模的自由模当且仅当 $ H^{n-1}(F) = \operatorname{ann}_{n-1}(a) $，或等价地，限制映射 $ \operatorname{res}: H^n(F) \to H^n(E) $ 是单射。
• 当 $ p = 2 $ 时，$ H^n(E) $ 是自由模当且仅当 $ \operatorname{ann}_{n-1}(a) = \operatorname{ann}_{n-1}(a,-1) $ 且 $ H^n(F) = \operatorname{cor} H^n(E) + (a) \cup H^{n-1}(F) $，或等价地，$ H^n(F) = \operatorname{ann}_n(a) \oplus (a) \cup H^{n-1}(F) $。
• 当 $ p > 2 $ 时，自由上同调具有遗传性；或当 $ p = 2 $ 且 $ a \in (F^{\times 2} + F^{\times 2}) \setminus F^2 $ 时，即若 $ H^n(E) $ 为自由模，则对所有 $ m \geq n $，$ H^m(E) $ 均为自由模。
• 平凡上同调总是具有遗传性：若 $ H^n(E)^G = H^n(E) $，则对所有 $ m \geq n $，有 $ H^m(E)^G = H^m(E) $。
• 对任意 $ 1 \leq n \leq m \leq \infty $，存在一个度数为 $ p $ 的循环扩张 $ E/F $，满足 $ \operatorname{ct}(E/F) = n $ 且 $ \operatorname{cd}(G_E) = m $，其构造基于满足 $ G_F \cong \mathbb{Z}_p^n \star_{\text{pro-}p} \mathbb{Z}_p^m $ 的域 $ F $ 及适当的 $ a \in F^\times $ 选择。
• 当 $ m = \infty $ 时，可构造 $ E/F $ 使得 $ \operatorname{ct}(E/F) = \infty $，表明平凡上同调可在所有度数上成立。