Galois groups and cohomological functors

Abstract

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring $H^{\ast }(G_F,\mathbb{Z}/q)$ and is minimal with respect to this property. We prove some fundamental structure theorems related to these quotients. In particular, it is shown that when $q=p$ is an odd prime, $F_{(3)}$ is the compositum of all Galois extensions $E$ of $F$ such that $\mathrm{Gal}(E/F)$ is isomorphic to $\{1\}$, $\mathbb{Z}/p$ or to the nonabelian group $H_{p^3}$ of order $p^3$ and exponent $p$.

AMS-LaTeX, 29 pages. To appear in the Transactions of the American Mathematical Society

References in corpus (2)

• Commuting-Liftable Subgroups of Galois Groups II
• Introduction to birational anabelian geometry

Cited by in corpus (8)

• Triple Massey products vanish over all fields
• The Kernel Unipotent Conjecture and the vanishing of Massey products for odd rigid fields
• Counting Galois ${\mathbb{U}}_4({\mathbb{F}}_p)$-extensions using Massey products
• Dimensions of Zassenhaus filtration subquotients of some pro-$p$-groups
• Filtrations of free groups as intersections
• The Zassenhaus filtration, Massey Products, and Representations of Profinite Groups
• Small Galois groups that encode valuations
• Abelian-by-Central Galois groups of fields I: a formal description