On reflexivity of the group of the null sequences valued in an abelian topological group (Q2259194)

Let \(X\) be an arbitrary topological abelian group, and let \(\mathcal{N}(X)\) be the filter of all open neighborhoods at zero in \(X\). Denote by \(X^\mathbb{N}\) the group of all sequences \(x = (x_n)_{n\in \mathbb{N}}\). The subgroup of \(X^\mathbb{N}\) of all sequences eventually equal to zero is denoted by \(X^{(\mathbb{N})}\). The collection \(\{V^\mathbb{N}\mid\;V \in \mathcal{N}(X)\}\) forms a base at \(0\) for a group topology in \(X^\mathbb{N}\). This topology is called the uniform topology and is denoted by \(\mathfrak u\). Denote by \(c_0(X)\) the group of all \(X\)-valued null sequences. The uniform group topology on \(c_0(X)\) induced from \((X^\mathbb{N}, \mathfrak u)\) is denoted by \(\mathfrak u_0\). Following [{\textit{D. Dikranjan}} et al., Forum Math 26, No. 3, 723--757 (2014; Zbl 1307.22002)], define the functor \(\mathfrak{F}_0\) on the category \(\mathbf{TopAb}\) of Hausdorff abelian topological groups and continuous morphisms by the assignment \[ {\mathfrak{F}_0\Big(X\overset {p}\rightarrow Y\Big)}: {\mathfrak{F}_0(X)\overset{\mathfrak{F}_0(p)}\rightarrow \mathfrak{F}_0(Y),} \] where \(\mathfrak{F}_0(X) = (c_0(X), \mathfrak u_0)\) and \(\mathfrak{F}_0(p)\left((x_n)_{n\in \mathbb{N}}\right)= \left(p(x_n)\right)_{n\in \mathbb{N}}\). A character on \(X\) is a continuous homomorphism from \(X\) into \(\mathbb{T}=\{z\in \mathbb{C}\mid\;|z|=1\}\). The pointwise product of two characters is again a character, and the set \(X^\wedge\) of all characters is a group with pointwise multiplication as the composition law. If \(X^\wedge\) is endowed with the compact-open topology, it becomes an abelian Hausdorff group, called dual group of \(X\). The group \(X\) is called reflexive if the canonical morphism \(\alpha_X: X\to X^{\wedge\wedge}\) defined by \(\alpha_X(x)(\chi)=\chi(x)\), for all \(x\in X\) and \(\chi\in X^\wedge\), is a topological isomorphism. The classical Pontryagin-van Kampen duality theorem states that every locally compact abelian group is reflexive. The paper under review addresses the following problem: Does the functor \(\mathfrak{F}_0\) preserve reflexivity? In Sections 2 and 3, some interesting topological properties of the group \(\mathfrak{F}_0(X)\) and its dual group \(\mathfrak{F}_0(X)^\wedge\) are given. The main result of the present paper gives a positive answer to the problem for the class \(\mathbf{LCA}\) of all locally compact abelian groups. More precisely, the author proves: For every locally compact abelian group \(X\), the group \(\mathfrak{F}_0(X)\) is reflexive (Theorem 1.2). It is shown in addition that the group \(\mathfrak{F}_0(X)\) is locally precompact if and only if the abelian topological group \(X\) is discrete (Proposition 2.7). Thus the author obtains a big class of reflexive complete abelian groups which is beyond the class \(\mathbf{LCA}\). In the final section there are three open problems about the functor \(\mathfrak{F}_0\).