A family of duality theorems in Galois cohomology that provide perfect pairings between cohomology groups of a Galois module and those of its Pontryagin dual (often with Tate twists), for local and global fields; local Tate duality is a cornerstone of arithmetic duality theory.

Principle

Cup-product pairings combined with local and global reciprocity produce canonical bilinear pairings H^i(G,M) × H^{2−i}(G,M^*) → Q/Z (or suitable coefficient groups) which are perfect under finiteness and continuity hypotheses; the cohomological dimension of local fields (often 2) governs the shift in degrees.

Demonstration

For a local field K and a finite Galois module M, Tate local duality gives a perfect pairing between H^r(K,M) and H^{2−r}(K,M^*(1)), where M^* is the Pontryagin dual with Tate twist; concrete instances recover classical local class field theory pairings such as the reciprocity between K^×/K^{×n} and H^2(K,μ_n).

Misapplication

Using Tate duality without verifying finiteness, continuity, or correct Tate twists; applying the local statement indiscriminately in global contexts without accounting for global-to-local spectral sequences or missing compact support conditions leads to incorrect conclusions.

Consequence

Gives control of extension classes, Selmer and Shafarevich–Tate type groups, and reciprocity laws; supplies a backbone for duality theorems in arithmetic geometry and explicit computations in class field theory and the arithmetic of abelian varieties.

Reversal

When the required hypotheses fail (infinite modules, wrong topology, absence of Pontryagin duality), the perfect duality breaks down and pairings can be degenerate or fail to identify cohomology groups; global duality mixes local data with global obstructions that can invert naive local statements.

Boundary

Applies to finite Galois modules (or suitable compact or discrete modules) over local or global fields with the Pontryagin dual defined and with ℓ-adic or torsion coefficient restrictions as required; it does not extend in the same form to nonabelian cohomology or to arbitrary infinite modules without refined hypotheses.

Semantic Tension

Tension exists between Pontryagin duality (topological duals) and linear duals used in algebra; also between local duality statements (clean perfect pairings) and global duality statements (which include global obstructions and require compact supports and spectral-sequence bookkeeping).

Synthesis

Tate Duality supplies canonical perfect pairings in Galois cohomology under appropriate finiteness, continuity and twisting hypotheses, linking local and global arithmetic invariants via cup products and reciprocity and forming a central tool in arithmetic duality theory.