Duality for local fields and sheaves on the category of fields

Abstract

Duality for complete discrete valuation fields with perfect residue field with coefficients in (possibly p-torsion) finite flat group schemes was obtained by Bégueri, Bester, and Kato. In this paper, we give another formulation and proof of this result. We use the category of fields and a Grothendieck topology on it. This simplifies the formulation and proof and reduces the duality to classical results on Galois cohomology. A key point is that the resulting site correctly captures extension groups between algebraic groups.