\'Etale algebras and the Kummer theory of finite Galois modules

TL;DR

This paper explains how étale algebras provide a finite, combinatorial way to understand Galois cohomology groups, especially $H^1$, clarifying their role in number theory and algebraic structures.

Contribution

It offers a detailed, explicit description of the correspondence between $H^1$ and étale algebras, filling a gap in the literature and clarifying their applications in number theory.

Findings

Provides a combinatorial description of $H^1$ via étale algebras.

Clarifies the Galois-theoretic details of the $H^1$ correspondence.

Illustrates applications to cubic and quartic algebra parametrizations and Tate pairings.

Abstract

Galois cohomology groups $H^i(K,M)$ are widely used in algebraic number theory, in such contexts as Selmer groups of elliptic curves, Brauer groups of fields, class field theory, and Iwasawa theory. The standard construction of these groups involves maps out of the absolute Galois group $G_K$, which in many cases of interest (e.g. $K = \mathbb{Q}$) is too large for computation or even for gaining an intuitive grasp. However, for finite $M$, an element of $H^i(K,M)$ can be described by a finite amount of data. For the important case $i = 1$, the appropriate object is an \'etale algebra over $K$ (a finite product of separable field extensions) whose Galois group is a subgroup of the semidirect product $\operatorname{Hol} M = M \rtimes \operatorname{Aut} M$ (often called the \emph{holomorph} of $M$), equipped with a little bit of combinatorial data. Although the correspondence between $H^1$ and field extensions is in widespread use, it includes some combinatorial and Galois-theoretic details that seem never to have been written down. In this short quasi-expository paper, we fill in this gap and explain how the \'etale algebra perspective illuminates some common uses of $H^1$, including parametrizing cubic and quartic algebras as well as computing the Tate pairing on Galois coclasses of local fields.