Poitou–Tate duality
Generated by GPT-5-miniExpansion Funnel Raw 1 → Dedup 0 → NER 0 → Enqueued 0
| Poitou–Tate duality | |
|---|---|
| Name | Poitou–Tate duality |
| Field | Algebraic number theory |
| Introduced | 1965 |
| Key figures | Georges Poitou, John Tate |
| Related | Local Tate duality, Artin–Verdier duality, class field theory |
Poitou–Tate duality is a central theorem in algebraic number theory relating global Galois cohomology groups for a number field with local cohomology groups at its places via a long exact sequence and perfect pairings. The result connects results from class field theory, the work of Hilbert, and the cohomological formalism introduced by Grothendieck, giving a framework that unifies local duality theorems of Tate with global reciprocity laws of Artin and Frohlich.
Statement of the theorem
The theorem provides a long exact sequence and perfect pairings between the cohomology groups H^i(G_S(K), M) and H^{3-i}(G_S(K), M^*(1)) for a finite Galois module M over a number field K with restricted ramification set S, where G_S(K) is the Galois group of the maximal extension of K unramified outside S. The statement synthesizes local duality at each place v of K, global duality of class formations as in Artin and Tate, and compatibility with the cup product, producing explicit pairings that generalize the global reciprocity map used in Chebotarev density arguments and Hilbert's reciprocity law. In concrete formulations one uses Pontryagin duals and Tate twists, comparing Selmer-type groups and Tate–Shafarevich groups arising in arithmetic of Abelian varieties and motives studied by Mordell, Faltings, and Fontaine.
Historical development and context
Poitou introduced analytic methods inspired by Chebotarev and Frobenius, while Tate formalized local duality and cohomological languages influenced by Grothendieck's Éléments de géométrie algébrique, leading to the combined Poitou–Tate results communicated in seminars linked to Bourbaki and the Institute for Advanced Study. The duality has antecedents in Hilbert's reciprocity and Artin reciprocity used by Hecke and Artin, and it crystallized during the development of class field theory by Takagi and Chebotarev and the cohomological reinterpretations by Hochschild and Serre. Later developments tied the theorem to the arithmetic of elliptic curves studied by Mordell and the Birch and Swinnerton-Dyer conjecture investigated by Birch, Swinnerton-Dyer, and Gross.
Proof outline and key ingredients
Proofs combine local Tate duality for p-adic representations and finite modules, global Poitou sequences derived from Mayer–Vietoris-type excision for étale cohomology, and spectral sequence techniques akin to Hochschild–Serre spectral sequences used by Serre and Grothendieck. One builds the long exact sequence by patching local cohomology groups at places v using restriction and corestriction maps from Frobenius elements in decomposition groups, exploiting inflation–restriction exact sequences familiar from Noether and Artin, and proving perfectness via Pontryagin duality methods similar to those in Tate's thesis and the work of Iwasawa on cyclotomic towers. Important technical tools include Shapiro's lemma, Nakayama's lemma when dealing with Iwasawa modules as developed by Iwasawa and Mazur, and explicit cup product computations reflecting reciprocity laws of Neukirch and Serre.
Examples and special cases
Classical class field theory arises as the rank-one case where M = μ_n or the multiplicative group of roots of unity, recovering Artin reciprocity results used by Chebotarev and Takagi and interpretations by Hecke and Dirichlet. For elliptic curves studied by Mordell and Tate, Poitou–Tate identifies dualities between Selmer groups and Tate–Shafarevich groups appearing in the Birch and Swinnerton-Dyer framework pioneered by Birch and Swinnerton-Dyer and refined by Kolyvagin and Gross–Zagier. In the context of cyclotomic fields treated by Kummer, Iwasawa theory examples connect Poitou–Tate to control theorems of Iwasawa and Main Conjecture formulations by Mazur and Wiles. Finite flat group schemes over Dedekind domains considered by Raynaud and Fontaine produce concrete instances aligning with Artin–Verdier duality and Grothendieck's duality theorems.
Applications in number theory and arithmetic geometry
Poitou–Tate duality underpins modern approaches to Selmer group calculations in the work of Mazur, Rubin, and Kato, informs descent techniques used by Selmer and Shafarevich in diophantine studies, and is instrumental in proofs related to modularity theorems by Wiles and Taylor–Wiles. It features in formulations of the Bloch–Kato conjectures and Perrin-Riou's work on p-adic L-functions, connects to Fontaine–Mazur conjectures in the study of Galois representations by Fontaine and Colmez, and aids the analysis of deformation rings in the work of Mazur and Kisin. Practical consequences include controlling local-to-global principles examined by Hasse and Cassels, analyzing Tate–Shafarevich groups as in the investigations of Cassels and Tate, and contributing to the study of L-values in the research of Deligne and Beilinson.
Generalizations and related dualities
Generalizations extend Poitou–Tate to higher-dimensional global fields studied by Artin and Verdier, to étale cohomology contexts in Grothendieck's SGA seminars, and to noncommutative Iwasawa theory advanced by Coates and Fukaya–Kato. Related dualities include local Tate duality for Galois modules of Tate and Lubin–Tate theory, Artin–Verdier duality for schemes over Dedekind rings, and Poincaré duality in the arithmetic geometry of algebraic varieties examined by Deligne and Milne. Contemporary work links these ideas to categorical approaches in the Langlands program developed by Langlands, Harris, and Taylor, and to motivic dualities considered by Voevodsky and Beilinson.