Pontryagin duality

Pontryagin duality
Melchoir · CC BY-SA 3.0 · source
Name	Pontryagin duality
Field	Topological group theory
Introduced	1934
Introduced by	Lev Pontryagin

Pontryagin duality is a fundamental theorem in the theory of locally compact abelian groups relating a group to the group of its continuous characters. It connects structures studied by Lev Pontryagin, Hermann Weyl, John von Neumann, Élie Cartan and influences work in Harmonic analysis, Fourier analysis, Representation theory, Algebraic topology and Number theory. The duality underpins links between examples arising in Euclidean space, p-adic numbers, tori and Discrete mathematics and informs developments in Category theory, Functional analysis, Operator algebras and Langlands program-related ideas.

Definition and basic properties

Let G be a locally compact abelian group. The Pontryagin dual is the group of continuous homomorphisms from G to the unit circle group, equipped with the compact-open topology. This definition parallels constructions used by Henri Lebesgue and Norbert Wiener in Fourier transform theory and echoes dual group notions from Emmy Noether and David Hilbert in algebraic contexts. Basic properties include that the dual is a locally compact abelian group, duality is contravariant and exact on short exact sequences studied by André Weil and Claude Chevalley, and characters separate points in the spirit of results by H. H. Rugh and Marshall Stone. Pontryagin duality preserves products and coproducts under hypotheses considered by Samuel Eilenberg and Saunders Mac Lane in Homological algebra, and it interacts with compactness and discreteness as seen in work by John Tate and Alexander Grothendieck.

Examples and calculations

Classical examples illustrate the correspondence between familiar objects: the dual of the circle group is isomorphic to the integers, reflecting computations in Joseph Fourier-based analysis and used by G. H. Hardy and John Littlewood. The real line's dual is isomorphic to itself, a phenomenon central to Fourier transform theory developed by S. Ramanujan-era contemporaries and later formalized by Norbert Wiener and Stefan Banach. Finite abelian groups have duals isomorphic to themselves, a fact applied in results by Emil Artin and Richard Dedekind in algebraic number contexts. The dual of the additive group of p-adic numbers involves characters tied to constructions by Kurt Hensel and exploited by Iwasawa in Iwasawa theory. Compact groups correspond to discrete duals and vice versa, a principle used by George Mackey and Harish-Chandra in representation theory and in explicit computations by André Weil in adelic settings.

Duality theorem and proof outline

The main theorem states that the evaluation map from G to the double dual of G is an isomorphism of topological groups for every locally compact abelian group G. The proof builds on structure theorems for locally compact abelian groups proved by Pontryagin and elaborated by Edwin Hewitt and K. A. Ross, uses techniques from Haar measure theory introduced by Alfréd Haar and employs compactness arguments reminiscent of methods used by Felix Hausdorff and Maurice Fréchet. Key steps include reduction to cases of compact and discrete groups, verification of continuity and bijectivity via dual pairing akin to bilinear forms studied by Issai Schur and Emmy Noether, and topological isomorphism established using results of Marshall Stone and John von Neumann. Alternate proofs exploit categorical adjunctions developed by Eilenberg and Mac Lane or functional-analytic frameworks influenced by David Hilbert and Stefan Banach.

Applications and consequences

Pontryagin duality provides foundational tools in harmonic analysis on locally compact abelian groups used by Norbert Wiener and Yves Meyer; it underlies Fourier inversion and Plancherel theorems applied in works by Lars Hörmander and Agmon. In number theory it appears in the theory of adeles and ideles developed by Claude Chevalley and André Weil and in Tate's thesis by John Tate linking L-functions and harmonic analysis. In representation theory and operator algebras it informs dualities used by George Mackey and Alain Connes; in topology it interacts with Pontryagin classes introduced by Lev Pontryagin in manifold theory and with dualities in Alexander duality contexts studied by James Alexander and Hassler Whitney. Duality principles extend to signal processing and engineering through Norbert Wiener-style ideas and to cryptographic algorithms influenced by finite abelian group duality used in coding theory considered by Claude Shannon.

Generalizations and variants

Generalizations include Tannaka–Krein duality developed by Tadao Tannaka and Mark Krein relating compact groups to their representation categories, and Pontryagin-style dualities for nonabelian locally compact groups explored by George Mackey and in the work of G. Segal and Israel Gelfand. Grothendieck duality frameworks in algebraic geometry by Alexander Grothendieck and Serre duality by Jean-Pierre Serre expand categorical duality notions. Dualities for locally compact quantum groups and noncommutative geometry are advanced by S.L. Woronowicz and Alain Connes, while categorical enhancements draw on concepts from Saavedra Rivano and Pierre Deligne. Arithmetic duality theorems in étale cohomology by Jean Tate and Alexander Grothendieck generalize Pontryagin themes to Galois cohomology studied by Jean-Pierre Serre.

Historical context and development

The concept emerged from work of Lev Pontryagin in the 1930s building on earlier harmonic analysts such as Joseph Fourier, Hermann Weyl and Émile Borel, and on measure-theoretic foundations by Lebesgue and Alfréd Haar. Subsequent formalization and expansion were carried out by Edwin Hewitt, Kenneth A. Ross, John von Neumann and André Weil, and it influenced mid-20th-century developments in abstract harmonic analysis and algebraic number theory. Later interactions with category theory and noncommutative approaches engaged researchers like Alexander Grothendieck, Alain Connes and George Mackey, situating the duality as a bridge between classical analysis, modern algebra, and arithmetic geometry.

Category:Topological groups