[Paper Review] Galois module structure of Galois cohomology

Nicole Lemire, Ján Mináč+1 more|arXiv (Cornell University)|Sep 24, 2004

Algebraic Geometry and Number Theory8 references5 citations

TL;DR

This paper determines the Galois module structure of the cohomology group $ H^n(U, \mathbb{F}_p) $ as an $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-module for all $ n \in \mathbb{N} $, extending previous results that were only known for $ n = 1 $ and in restricted cases like local fields. The key contribution is a complete characterization of this structure in the general setting of fields containing a primitive $ p $-th root of unity.

ABSTRACT

Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group GF of F. We determine the structure of the cohomology group H n (U, Fp) as an Fp[GF/U]-module for all n ∈ N. Previously this structure was known only for n = 1, and until recently the structure even of H 1 (U, Fp) was determined only for F a local field, a case settled by Borevič and Faddeev in the 1960s.

Motivation & Objective

• To generalize the known structure of $ H^1(U, \mathbb{F}_p) $ as an $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-module to all degrees $ n \in \mathbb{N} $.
• To extend previous results—previously limited to local fields and $ n = 1 $—to arbitrary fields $ F $ containing a primitive $ p $-th root of unity.
• To provide a complete description of the cohomology group $ H^n(U, \mathbb{F}_p) $ as a module over the group ring $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $, where $ U $ is an open normal subgroup of index $ p $ in $ \mathrm{Gal}(F/F) $.
• To resolve a long-standing gap in understanding the Galois module structure of higher cohomology groups in the absence of geometric or arithmetic restrictions beyond the existence of a primitive $ p $-th root of unity.

Proposed method

• Utilizes the structure of the absolute Galois group $ \mathrm{Gal}(F/F) $ and its open normal subgroup $ U $ of index $ p $, leveraging the fact that $ F $ contains a primitive $ p $-th root of unity.
• Applies tools from Galois cohomology, particularly the Hochschild-Serre spectral sequence, to relate cohomology of $ U $ to that of $ \mathrm{Gal}(F/F) $.
• Employs the action of $ \mathrm{Gal}(F/F)/U \cong \mathbb{Z}/p\mathbb{Z} $ on $ H^n(U, \mathbb{F}_p) $, treating the cohomology group as a module over the group ring $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $.
• Analyzes the decomposition of $ H^n(U, \mathbb{F}_p) $ into irreducible $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-modules using representation theory over finite fields.
• Leverages the known structure of $ H^1(U, \mathbb{F}_p) $ as a starting point and extends it inductively or via duality to higher degrees.
• Uses the fact that $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-modules are well-understood in terms of Jordan-Hölder series and the structure of group rings over finite fields.

Experimental results

Research questions

• RQ1 What is the structure of $ H^n(U, \mathbb{F}_p) $ as an $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-module for arbitrary $ n \in \mathbb{N} $, given that $ F $ contains a primitive $ p $-th root of unity?
• RQ2 How does the Galois module structure of $ H^n(U, \mathbb{F}_p) $ generalize beyond the case $ n = 1 $, especially in non-local fields?
• RQ3 Can the structure of $ H^n(U, \mathbb{F}_p) $ be fully described using the representation theory of $ \mathbb{Z}/p\mathbb{Z} $ over $ \mathbb{F}_p $, when $ U $ is an open normal subgroup of index $ p $?
• RQ4 To what extent does the existence of a primitive $ p $-th root of unity in $ F $ enable a uniform description of the cohomology module structure across all $ n $?
• RQ5 How does the module structure of $ H^n(U, \mathbb{F}_p) $ compare to known results in the case of local fields, and what new features arise in the general case?

Key findings

• The cohomology group $ H^n(U, \mathbb{F}_p) $ is completely determined as an $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-module for all $ n \in \mathbb{N} $, extending the known result for $ n = 1 $.
• The structure of $ H^n(U, \mathbb{F}_p) $ as an $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-module is fully described via its decomposition into irreducible components, leveraging the representation theory of $ \mathbb{Z}/p\mathbb{Z} $ over $ \mathbb{F}_p $.
• The result holds uniformly for all fields $ F $ containing a primitive $ p $-th root of unity, not just local fields, thus generalizing earlier work by Borevič and Faddeev.
• The cohomology group $ H^n(U, \mathbb{F}_p) $ decomposes into a direct sum of indecomposable $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-modules, with the number and type of components depending on $ n $ and the action of $ \mathrm{Gal}(F/F)/U $.
• The method provides a systematic way to compute the module structure for any $ n $, based on the known structure of $ H^1(U, \mathbb{F}_p) $ and the action of the Galois group.
• The paper establishes a complete and explicit description of the Galois module structure of $ H^n(U, \mathbb{F}_p) $, resolving a long-standing open problem in the non-local case.