A Mackey-Arens theorem for topological Abelian groups
type: Item
instance of: scholarly article
title: A Mackey-Arens theorem for topological Abelian groups
zbMATH Open document ID: 1045.22001
author: Fernando Garibay Bonales
author: Rigoberto Vera Mendoza
author: F. Javier Trigos-Arrieta
published in: Boletín de la Sociedad Matemática Mexicana. Third Series
publication date: 2004-06-11T00:00:00Z
review text: The attempt to generalize the Mackey-Arens theorem to topological Abelian groups has been undertaken only recently. As posed by \textit{M. J. Chasco}, \textit{E. Martín-Peinador} and \textit{V. Tarieladze} [Stud. Math. 132(3), 257--284 (1999; Zbl 0930.46006)], the problem can be formulated as follows: let \((G,X)\) be any duality of Abelian groups (i. e. \(X\) is a subgroup of the group of all characters on the Abelian group \(G\)), and let \({\mathcal T}_m\) be the supremum of all locally quasi-convex topologies on \(G\) which are compatible with \((G,X)\) (we say that a group topology \({\mathcal T}\) on \(G\) is compatible with \((G,X)\) if the topological dual of \((G,{\mathcal T})\) coincides with \(X\)). (i) Is \({\mathcal T}_m\) compatible with \((G,X)\)? (ii) If so, can it be expressed as the topology of uniform convergence on a family of subsets of \(X\), definable in terms of the duality? (Note that any locally quasi-convex topology \({\mathcal T}\) is the topology of uniform convergence on \(\mathcal T\)-equicontinuous subsets of the dual group.) Locally quasi-convex groups are a natural generalization of locally convex spaces, and from similar results in topological vector spaces it is not difficult to derive that the answer to (i) is negative if we replace ``locally quasi-convex topologies''{} with ``group topologies''{} above. In this paper the authors find a sufficient condition on the duality \((G,X)\), where \(G\) is a topological Abelian group and \(X\) is the group of all continuous characters on \(G\), which allows an affirmative answer to both (i) and (ii). Let \({\mathbb T}\) be the multiplicative group of all complex numbers with modulus 1. Let \(T_n=\exp( \pi i [-(2n)^{-1},(2n)^{-1}])\subset {\mathbb T}\), for every \(n\in {\mathbb N}\). Say that a subset \(U\) of \(G\) determines continuity if any character \(\chi:G\to {\mathbb T}\) which sends \(U\) into \(T_1\) is continuous. Let \({\mathcal M}\) be the family of all subsets \(A\subset X\)…
Mathematics Subject Classification ID: 22A05
Mathematics Subject Classification ID: 43A40
Mathematics Subject Classification ID: 46A20
zbMATH DE Number: 2073857
zbMATH Keywords: Abelian topological group
zbMATH Keywords: Mackey topology
zbMATH Keywords: polar
zbMATH Keywords: locally quasi-convex group
zbMATH Keywords: compatible topologies
zbMATH Keywords: dual group
reviewed by: X. Domínguez
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 2073857