Pontryagin duality for metrizable groups (Q1383559): Difference between revisions

An abelian topological group \(G\) is called reflexive if the canonical mapping from \(G\) to the second dual group \(\nu\colon G^{\wedge\wedge}\) is an isomorphism of topological groups, where \(G^\wedge\) is the group of continuous characters of \(G\) equipped with the compact-open topology. The classical result by Pontryagin-van Kampen says that every locally compact abelian (LCA) group is reflexive. A lot of effort has been made over the past decades to try and find natural classes of reflexive non-LCA topological abelian groups. Perhaps the best known achievements are those by Smith who proved the reflexivity of additive groups of Banach spaces [\textit{M. Smith}, Ann. Math., II. Ser. 56, 248-253 (1952; Zbl 0047.10701)], by Kaplan who proved that the class of reflexive groups is closed under some natural operations not preserving local compactness [\textit{S. Kaplan}, Duke Math. J. 15, 649-658 (1948; Zbl 0034.30601)], and by Banaszczyk, who had introduced the class of so-called nuclear topological groups and shown that every complete metrizable nuclear group is reflexive [\textit{W. Banaszczyk}, Additive subgroups of topological vector spaces, Lect. Notes Math. 1466 (Berlin etc. 1991; Zbl 0743.46002)]. The present reviewer had proved in [\textit{V. Pestov}, Bull. Aust. Math. Soc. 52, 297-311 (1995; Zbl 0841.22001)] that free topological abelian groups over some topological spaces are reflexive, and asked whether every complete and Čech-complete topological group having sufficiently many characters is reflexive. The present article provides, among many other things, a negative answer to this question: it is shown that every complete locally bounded non locally convex topological vector space admitting a weaker locally convex topology (such as \(l_p\) with \(0<p<1\)) supplies a counter-example. The central result of the note under review is however this: a metrizable separable (that is, Polish) abelian group is reflexive if and only if \(\nu\colon G^{\wedge\wedge}\) is an algebraic isomorphism. It is also shown that a metrizable topological abelian group is reflexive if and only if it satisfies the duality for convergence groups introduced and studied by Binz and Butzmann [\textit{E. Binz}, Continuous convergence on \(C(X)\), Lect. Notes Math. 469 (Berlin etc. 1975; Zbl 0306.54003)], even if in general the two dualities are known to be different [\textit{M. J. Chasco} and \textit{E. Martin-Peinador}, Arch. Math. 63, 264-270 (1994; Zbl 0806.43003)].