Higher local duality in Galois cohomology

TL;DR

This paper establishes a new duality theorem for Galois cohomology of certain fields called quasi-classical local fields, extending known dualities to more coefficients and using novel diagram-chasing techniques.

Contribution

It introduces a duality theorem for Galois cohomology of quasi-classical local fields with broad coefficients, generalizing previous results and employing new diagram-chasing methods.

Findings

Nondegenerate pairings of abstract abelian groups are obtained.

Duality extends to many coefficients, including all finite orders.

Reduces complex duality problems to known results of Kato.

Abstract

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of such $K$ with many coefficients, including finite coefficients of any order. Previously, such duality was only known in few cases : as a perfect pairing of finite groups for finite coefficients prime to $\mathrm{char} k_0$ in general, or for any finite coefficients when $k_1$ is $p$-adic ; or as a perfect pairing of locally compact Hausdorff groups for the $\mathrm{fppf}$ cohomology of finite group schemes when $K$ is local. With no obvious reasonable topology available, we abandon perfectness altogether and instead obtain nondegenerate pairings of abstract abelian groups. This is done with new diagram-chasing results for pairings of torsion groups, allowing a d\'evissage approach which reduces our results to the study of $K^M_r(K)/p\times H^{d+1-r}_p(K)\to\mathbb{Z}/p$ using results of Kato.