Tate duality

Tate duality
Name	Tate duality
Field	Number theory; Algebraic geometry; Algebraic topology
Introduced	John Tate
Related	Poitou–Tate duality, Artin–Verdier duality, Poincaré duality

Tate duality.

Tate duality is a collection of duality theorems introduced by John Tate that relate Galois cohomology groups of local and global fields to each other and to character groups. It connects arithmetic objects studied by André Weil, Alexander Grothendieck, Emil Artin, and Jean-Pierre Serre with duality phenomena familiar from Henri Poincaré and Alexander Grothendieck’s duality frameworks. The theory plays a central role in Iwasawa theory, class field theory, the study of the Birch and Swinnerton-Dyer conjecture, and the arithmetic of abelian varieties such as those considered by Goro Shimura and Pierre Deligne.

Introduction

Tate duality arises in the context of Galois modules for absolute Galois groups of local fields like p-adic number fields and global fields like Rational numbers or number fields such as Quadratic fields and Cyclotomic fields. It refines earlier duality results by Emil Artin and John H. Coates and complements Verdier duality developed by Jean-Louis Verdier and Grothendieck’s work at the Séminaire de Géométrie Algébrique. Tate introduced pairing constructions leveraging local and global reciprocity laws from Class field theory and cup product structures from Galois cohomology as formalized by Kenkichi Iwasawa and Jean-Pierre Serre.

Statement of Tate Duality

The core statement gives a perfect pairing between cohomology groups H^i(G_K, M) and H^{2-i}(G_K, M^*) for an absolute Galois group G_K of a nonarchimedean local field K and a finite G_K-module M, where M^* denotes the Pontryagin dual or Tate twist related dual introduced by John Tate. For global fields there is a Poitou–Tate sequence linking local pairings at places v of a number field F such as Gaussian integer fields or Imaginary quadratic fields to global cohomology groups. The pairing uses cup product and the local invariant map from H^2(G_K, \bar{K}^\times) to Q/Z, which echoes concepts from Hilbert reciprocity law and Artin map constructions. Tate’s theorems imply that the cohomological dimension of Galois groups of local fields is 2, a fact related to earlier insights by Shafarevich, Igor R. and Chebotarev, Nikolai.

Local and Global Tate Duality

Local Tate duality addresses duality for completions of number fields such as Q_p and their finite extensions, producing canonical isomorphisms that involve Pontryagin duals of finite discrete modules and the group of roots of unity μ_n studied by Kummer theory and Carl Friedrich Gauss. Global Tate duality—the Poitou–Tate duality—assembles local pairings at places v, including archimedean ones linked to Real number and Complex number embeddings, into long exact sequences that govern Selmer groups and Shafarevich–Tate groups appearing in conjectures by Birch and Swinnerton-Dyer and analyses by Gerd Faltings. This global framework interacts with work on L-functions by Atle Selberg and Hasse, Helmut through ramifications considered in Shimura, Goro’s theory of complex multiplication.

Proofs and Techniques

Proofs of Tate duality use spectral sequences, cohomological dimension computations, and explicit cup-product pairings. Tate’s original methods exploited continuous cohomology of profinite groups as in treatments by Jean-Pierre Serre and employed duality for finite flat group schemes developed by Alexander Grothendieck and collaborators at the Institut des Hautes Études Scientifiques. Later approaches invoke étale cohomology methods from Alexander Grothendieck and Verdier duality, trace maps familiar from Alexander Grothendieck’s duality formalism, and derived category techniques popularized by Pierre Deligne and Joseph Bernstein. Iwasawa-theoretic proofs by Kenkichi Iwasawa relate Tate duality to Λ-adic cohomology and control theorems used by Barry Mazur and Ralph Greenberg.

Applications and Consequences

Tate duality underlies local and global class field theory proved by Emil Artin and Helmut Hasse, informs the structure of Selmer groups central to conjectures of Birch and Swinnerton-Dyer and the work of Gerd Faltings, and constrains the structure of Galois representations studied by Pierre Deligne and Andrew Wiles. It yields finiteness results for Shafarevich–Tate groups appearing in the arithmetic of elliptic curves considered by John Cremona and Nicolas Katz, and figures in modularity lifting methods used by Richard Taylor and Andrew Wiles in proofs of cases of the Taniyama–Shimura conjecture. In arithmetic duality for finite flat group schemes, Tate duality complements results by Jean-Marc Fontaine and Barry Mazur that influence deformation theory and Iwasawa theory as developed by Kenkichi Iwasawa.

Examples and Computations

Concrete instances include the duality pairing for cyclic extensions of Q_p computed via local class field theory as exhibited in computations by David Hilbert and modern expositions by Jean-Pierre Serre; pairings for the Galois module μ_n on number fields such as Cyclotomic fields yield explicit identifications with character groups appearing in Kummer theory and Cyclotomic units studied by Ken Ribet and Lawrence C. Washington. For elliptic curves over number fields like Q the duality constrains the relationship between the p-Selmer group and the p∞-Selmer group used by John Coates and Andrew Wiles in Iwasawa-theoretic arguments. Computational tools for Tate pairings are implemented in algebra systems used by researchers such as John Cremona and applied in verifying examples relevant to the Birch and Swinnerton-Dyer conjecture.

Category:Algebraic number theory