On the Massey Vanishing Conjecture and Formal Hilbert 90

TL;DR

This paper proves the Massey Vanishing Conjecture for certain profinite groups under a formal Hilbert 90 condition, by constructing a specialized Hilbert 90 module that generalizes Galois modules.

Contribution

It introduces a new approach using Hilbert 90 modules to establish vanishing results for Massey products in profinite groups.

Findings

Massey Vanishing Conjecture holds for triple and some fourfold Massey products.

Construction of a Hilbert 90 module for profinite groups satisfying a formal Hilbert 90 condition.

Provides a new framework connecting Hilbert 90 conditions with Massey product vanishing.

Abstract

Let $p$ be a prime number, let $G$ be a profinite group, let $\theta\colon G\to \mathbb{Z}_p^{\times}$ be a continuous character, and for all $n\geq 1$ write $\mathbb{Z}/p^n\mathbb{Z}(1)$ for the twist of $\mathbb{Z}/p^n\mathbb{Z}$ by the $G$-action. Suppose that $(G,\theta)$ satisfies a formal version of Hilbert's Theorem 90: for all open subgroups $H\subset G$ and every $n\geq 1$, the map $H^1(H,\mathbb{Z}/p^n\mathbb{Z}(1))\to H^1(H,\mathbb{Z}/p\mathbb{Z}(1))$ is surjective. We show that the Massey Vanishing Conjecture for triple Massey products and some degenerate fourfold Massey products holds for $G$. A key step in our proof is the construction of a Hilbert 90 module for $(G,\theta)$: a discrete $G$-module $M$ which plays the role of the Galois module $F_{\text{sep}}^\times$ for the absolute Galois group of a field $F$ of characteristic different from $p$.