When is Galois cohomology free or trivial?
classification
🧮 math.NT
math.KT
keywords
cohomologicalfreetrivialcohomologydimensiongaloiswhenabsolute
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.