On convergent sequences in dual groups (Q2293233)

In this paper, the authors study the class of precompact topological groups \(G\) such that the dual group \(G_p^{\wedge}\) endowed with the pointwise convergence topology on elements of \(G\) contains a nontrivial convergent sequence. It is known that if \(G\) is compact, more generally, if \(G\) has the Baire property, then \(G^{\wedge}_p\) does not contain nontrivial convergent sequences. At the end of this paper, then give the following problem: Let \(G\) be a precompact topological abelian group with the Baire property. Is it true that all compact subsets of \(G^{\wedge}_p\) are finite? It has been proved in [\textit{M. J. Chasco} et al., J. Math. Anal. Appl. 448, No. 2, 968--981 (2017; Zbl 1359.22001), Theorem 3.3] for bounded torsion group \(G\). To begin with, they show in Theorem 2.3 that there exists an infinite first category subgroup \(G\) of the compact group \(\mathbb{Z}(2)^{\omega}\) such that \(\mu(G)=0\), where \(\mu\) means the Haar measure of \(\mathbb{Z}(2)^{\omega}\), and every bounded subset of \(G^{\wedge}_p\) is finite. In particular, \(G^{\wedge}_p\) does not contain non-trivial convergent sequences. Then, they present some equivalent conditions guaranteeing that the dual group \(G^{\wedge}_p\) of a precompact abelian group \(G\) contains a nontrivial convergent sequence, such as the following: (Theorem 2.7) For a precompact torsion abelian group \(G\), the following conditions are equivalent: (1) \(G\) has a countably infinite Hausdorff quotient; (2) \(G\) has a countably infinite Hausdorff homomorphic image; (3) \(G^{\wedge}_p\) contains an infinite metrizable subgroup; (4) \(G^{\wedge}_p\) contains a non-trivial convergent sequence. (Theorem 3.6) Let \(G\) be a precompact abelian group. Then \(G^{\wedge}_p\) contains non-trivial convergent sequences if and only if there is a continuous homomorphism of \(G\) onto a separating subgroup of \(c_0(\mathbb{T})\), where the set \(c_0(\mathbb{T})\) of all sequences in \(\mathbb{T}\) converging 1 is identified with a subgroup of \(\mathbb{T}^{\mathbb{N}}\) which is equipped with the subspace topology.