Functorial characterizations of Pontryagin duality

Author:
David W. Roeder

Journal:
Trans. Amer. Math. Soc. **154** (1971), 151-175

MSC:
Primary 22.20; Secondary 18.00

DOI:
https://doi.org/10.1090/S0002-9947-1971-0279233-X

MathSciNet review:
0279233

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be the category of locally compact abelian groups, with continuous homomorphisms as morphisms. Let denote the contravariant functor which assigns to each object in its character group and to each morphism its adjoint morphism. The Pontryagin duality theorem is then the statement that is naturally equivalent to the identity functor in . We characterize by giving necessary and sufficient conditions for an arbitrary contravariant functor to be naturally equivalent to . A sequence of morphisms is called proper exact if it is exact in the algebraic sense and is composed of morphisms each of which is open considered as a function onto its image. A pseudo-natural transformation between two functors in differs from a natural transformation in that the connecting maps are not required to be morphisms in . We study and classify pseudo-natural transformations in and use this to prove that (*R* denotes the real numbers) is naturally equivalent to if and only if the following three statements are all true:

(1) is isomorphic to *R*,

(2) takes short proper exact sequences to short proper exact sequences, and

(3) takes inductive limits of discrete groups to projective limits and takes projective limits of compact groups to inductive limits.

From this we prove that is naturally equivalent to if and only if is a category equivalence.

**[1]**Ion Bucur and Aristide Deleanu,*Introduction to the theory of categories and functors*, With the collaboration of Peter J. Hilton and Nicolae Popescu. Pure and Applied Mathematics, Vol. XIX, Interscience Publication John Wiley & Sons, Ltd., London-New York-Sydney, 1968. MR**0236236****[2]**Edwin Hewitt and Kenneth A. Ross,*Abstract harmonic analysis. Vol. I*, 2nd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 115, Springer-Verlag, Berlin-New York, 1979. Structure of topological groups, integration theory, group representations. MR**551496****[3]**Karl Heinrich Hofmann,*Categories with convergence, exponential functors, and the cohomology of compact abelian groups*, Math. Z.**104**(1968), 106–140. MR**0228615**, https://doi.org/10.1007/BF01109874**[4]**Serge Lang,*Algebra*, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965. MR**0197234****[5]**S. Mac Lane,*Homology*, Die Grundlehren der math. Wissenschaften, Band 114, Academic Press, New York, and Springer-Verlag, Berlin, 1963. MR**28**#122.**[6]**Barry Mitchell,*Theory of categories*, Pure and Applied Mathematics, Vol. XVII, Academic Press, New York-London, 1965. MR**0202787****[7]**Martin Moskowitz,*Homological algebra in locally compact abelian groups*, Trans. Amer. Math. Soc.**127**(1967), 361–404. MR**0215016**, https://doi.org/10.1090/S0002-9947-1967-0215016-3**[8]**L. S. Pontryagin,*Topological groups*, Translated from the second Russian edition by Arlen Brown, Gordon and Breach Science Publishers, Inc., New York-London-Paris, 1966. MR**0201557****[9]**Kazuo Suzuki,*Notes on the duality theorem of non-commutative topological groups.*, Tôhoku Math. J. (2)**15**(1963), 182–186. MR**0148788**, https://doi.org/10.2748/tmj/1178243845**[10]**A. Weil,*L'intégration dans les groupes topologiques et ses applications*, Hermann, Paris, 1951.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
22.20,
18.00

Retrieve articles in all journals with MSC: 22.20, 18.00

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1971-0279233-X

Keywords:
Pontryagin duality,
locally compact abelian group,
character group,
compact open topology,
additive category,
functor,
natural transformation,
natural equivalence,
direct sum,
inductive limit,
projective limit,
proper exact sequence,
compactly generated group,
group without small subgroups

Article copyright:
© Copyright 1971
American Mathematical Society