On convergent sequences in dual groups

We provide some characterizations of precompact abelian groups G whose dual group Gp∧\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G_p^\wedge $$\end{document} endowed with the pointwise convergence topology on elements of G contains a nontrivial convergent sequence. In the special case of precompact abelian torsion groups G, we characterize the existence of a nontrivial convergent sequence in Gp∧\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G_p^\wedge $$\end{document} by the following property of G: No infinite Hausdorff quotient group of G is countable. Also, we present an example of a dense subgroup G of the compact metrizable group Z(2)ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Z}}(2)^\omega $$\end{document} such that G is of the first category in itself, has measure zero, but the dual group Gp∧\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G_p^\wedge $$\end{document} does not contain infinite compact subsets. This complements a result of J.E. Hart and K. Kunen (2005) on convergent sequences in dual groups. Making use of the group G we construct the first example of a precompact Pontryagin reflexive abelian group which is of the first Baire category.

function on G is bounded). Here, we study the class of precompact topological abelian groups G such that the dual group G ∧ p endowed with the pointwise convergence topology on elements of G contains a nontrivial convergent sequence. It is well known that a group G from this class cannot be compact (see [15,Theorem 1.2]). A more general result follows from [18,Proposition 4.4]: If G ∧ p contains infinite compact subsets then G is not pseudocompact. An even more general fact is established in [12]: If G has the Baire property, then G ∧ p does not contain nontrivial convergent sequences. We conjecture that G ∧ p does not contain infinite compact subsets in this case (see Problem 3.10). This conjecture has been proved in [4,Theorem 3.3] for bounded torsion groups G.
Therefore, we have to consider only precompact groups of the first Baire category, i.e. the groups which can be covered by countably many nowhere dense subsets. In Theorem 2.3 we show that the compact metrizable abelian group Z(2) ω contains a dense subgroup G such that G is of the first category in itself, but every convergent sequence in the dual group G ∧ p is trivial. Furthermore, since G ∧ p is countable, all compact subsets of G ∧ p are finite. This complements [17,Theorem 1.6] by J.E. Hart and K. Kunen. We conclude that the property of a precompact abelian group G to be 'small' (to be Haar nullset in the completion of G or to be of the first category in itself, or both) does not guarantee the existence of nontrivial convergent sequences in G ∧ p . In the special case when G is an infinite topological subgroup of the circle group T, our study is intimately related to the so-called characterized subgroups of T (see the articles [7,8] and the references therein). In this case, the dual group G ∧ is algebraically isomorphic to the group Z of integers. Given a strictly increasing sequence B = (n k ) k∈ω of positive integers, one defines C T B to be the set of all x ∈ T such that x n k → 1 when It is clear from the definition that the sequence B converges to the identity of the dual group Z = (C T B ) ∧ p and that C T B is the biggest subgroup of T for which B converges. It is known that C T B has measure zero in T, for each B ⊂ ω [6,Lemma 3.10]. This is one of very few general results about characterized subgroups of T, though the articles dedicated to their study abound. It is also worth mentioning that the index [T : G] of a characterized subgroup G ≤ T is uncountable-otherwise the circle group could be covered by a countable family of nullsets, which is impossible. Needless to say, no internal description of characterized subgroups of T is available now.
Summing up, searching for nontrivial convergent sequences in the dual groups of dense subgroups of compact connected groups presents considerable difficulties. Here, we tackle this question and present some conditions guaranteeing that the dual group G ∧ p of a precompact abelian group G contains a nontrivial convergent sequence. Clearly, if G is a countable infinite precompact abelian group, then the dual group G ∧ p has a countable base and is not discrete. Hence G ∧ p contains nontrivial convergent sequences. We use this simple observation in the proofs of several results here. We focus our attention on the study of the duals of precompact abelian torsion groups G. In this special case, we characterize in Theorem 2.7 the existence of nontrivial convergent sequences in G ∧ p by the following property of G: No infinite quotient group of G is countable. Finally, an example of a reflexive, precompact, abelian group of the first Baire category is provided.

Notation and terminology
The identity element of a group G is denoted by e G or simply e if no confusion is possible. A character of a group G is an arbitrary homomorphism of G to the circle group T. The latter group is identified with the multiplicative subgroup of the complex numbers z with |z| = 1. If G is a topological group, a continuous character of G is a continuous homomorphism of G to T provided the latter group carries its usual compact topology inherited from the complex plane C. We also set V 1 = {z ∈ T : −π/2 < Arg(z) < π/2}. For a given topological group G, its dual group is denoted by G ∧ (see [22]). The dual group consists of the continuous characters of G with the pointwise multiplication, ( The identity element of G ∧ is the constant homomorphism e : G → T, e(x) = 1 for each x ∈ G. Here 1 is the identity element of T.
In this article, the dual group G ∧ will always be endowed with the pointwise convergence topology whose local base at the identity e is formed by the sets where n is a positive integer and x 1 , . . . , x n ∈ G. The group G ∧ equipped with the pointwise convergence topology on G is denoted by (G ∧ , t p (G)) or by G ∧ p , for short, when there is no possible confusion.
There exist infinite Hausdorff topological abelian groups G with the trivial dual group G ∧ (see [23]). If, however, the group G is precompact (equivalently, is topologically isomorphic to a dense subgroup of a compact topological group), then the continuous characters of G separate points of G. Furthermore, in this case, the topology of G coincides with the topology of pointwise convergence on elements of the dual group G ∧ . This follows from a theorem of Comfort and Ross (see [5,Theorem 1.2]).
If N is a subgroup of a topological group G, we denote by N ⊥ the annihilator of N , i.e. the subgroup of G ∧ which consists of all characters Let f : G → H be a continuous homomorphism of topological groups. We define the dual homomorphism f ∧ : a topological monomorphism and G (hence, H ) is precompact and abelian [9,22].

Duals of precompact torsion groups
The following dichotomy for homogeneous spaces is a kind of the topological folklore (see [21,Theorem 2.3]).

Lemma 2.1 If a homogeneous space X is not Baire, then X is of the first category in itself.
In what follows we identify the two-element cyclic group Z(2) with the subgroup {1, −1} of the multiplicative circle group T. We start with a simple and well known lemma that will be applied in the proof of Theorem 2.3. We include a short proof of it here for completeness sake.
Proof If H = i∈A H i is a product of finitely many Abelian groups and χ : H → T is a homomorphism, then there exist homomorphisms Since every homomorphism of Z(2) to T is either trivial or a monomorphism, the conclusion of the lemma is now immediate.
is a bounded subset of the real line, for every continuous real-valued function f on X (see [2, Sect. 6.10]). It is clear that all compact subsets of X are bounded. Conversely, in a Dieudonné complete space X (that is, complete with respect to the finest uniformity compatible with the topology of X ), the closure of every bounded subset is compact [2, Proposition 6.10.1 c)].
In the following theorem, we denote by μ the Haar measure of the compact group Z(2) ω (see [16,Chapter 10]).

Theorem 2.3
There exists an infinite first category subgroup G of the compact group Z(2) ω such that μ(G) = 0 and every bounded subset of the dual group G ∧ p is finite. In particular, G ∧ p does not contain non-trivial convergent sequences.
Denote by G the set of all x ∈ Z(2) ω such that supp(x) is a thin subset of ω. It is clear that G is a dense subgroup of Z(2) ω and that G is precompact. First, we claim that G is of the first category in Z(2) ω . Indeed, for positive integers m and N , let whence it follows that G is measurable. Since the index of G in Z(2) ω is infinite, no finite number of cosets of G in Z(2) ω covers the group Z(2) ω . Hence, by the additivity of μ, we conclude that μ(G) = 0. Now we verify that the dual group G ∧ p does not contain non-trivial sequences converging to the identity element of G ∧ p . Consider a sequence {χ n : n ∈ ω} ⊆ G ∧ p . We can assume without loss of generality that χ n = χ m if n = m. Since G is dense in Z(2) ω , every χ n extends to a continuous character on Z(2) ω . We denote this extension by ϕ n , for each n ∈ ω.
According to [20,Theorem D 1 ], every ϕ n depends on finitely many coordinates, i.e. one can find a finite set A n ⊂ ω and a character ψ n on Z(2) A n such that ϕ n = ψ n • π A n , where π A n : Z(2) ω → Z(2) A n is the projection. Clearly, we can assume that A n is a minimal (by inclusion) set with this property. It then follows from Lemma 2.2 that ψ n (x) = i∈A n x(i), for each x ∈ Z A n 2 . For every finite A ⊂ ω, there exist only finitely many homomorphisms of Z(2) A to T. Hence, choosing a subsequence of {χ n : n ∈ ω}, if necessary, we can assume that the sets A n are non-empty and that each A n is not covered by the sets A m with m < n. For every n ∈ ω, let k n be the biggest element of the complement A n \ m<n A m . Choosing a subsequence of {χ n : n ∈ ω} once again, we can assume additionally that the set K = {k n : n ∈ ω} is thin.
Denote by x * an element of Z(2) ω such that π A n (x * ) = x n for each n ∈ ω (we apply (a) here) and x * (k) = 1 if k ∈ ω\ n∈ω A n . Since the set K = {k n : n ∈ ω} is thin, (b) implies that supp(x * ) ⊆ K and hence x * ∈ G. It follows from (c) and our definition of x * that χ n (x * ) = ψ n (π A n (x * )) = ψ n (x n ) = −1, for each n ∈ ω. Therefore, the sequence {χ n : n ∈ ω} does not converge to the identity in G ∧ p . This implies that G does not contain non-trivial convergent sequences at all.
Since G is second countable and precompact, the dual group G ∧ p is countable. Suppose that B is an infinite bounded subset of G ∧ p . Then so is B, the closure of B in G ∧ p . Also, it follows from |G ∧ p | = ω that the space G ∧ p is Lindelöf and, hence, Dieudonné complete. Therefore, B is compact. But every countably infinite compact space contains non-trivial convergent sequences, which is a contradiction.

Remark 2.4 We have shown in Theorem 2.3 that all bounded subsets of G ∧
p are finite. This is equivalent to saying that every infinite set X ⊆ G ∧ p contains an infinite subset D such that D is closed and discrete in G ∧ p and C-embedded in G ∧ p . The equivalence follows immediately from the fact that the space G ∧ p is countable and regular, hence, normal. Proposition 2.5 Let G be a precompact topological abelian group. The following conditions are equivalent: (1) G has a countably infinite Hausdorff quotient; (2) G has a countably infinite Hausdorff homomorphic image; (3) G ∧ p contains an infinite metrizable subgroup. Proof (2) ⇒ (1). Let ϕ : G −→ H be a continuous homomorphism onto a countably infinite Hausdorff topological group H . Then N = kerϕ is a closed subgroup of G. Let π : G → G/N be the quotient homomorphism. Clearly, there is a continuous homomorphism ϕ N : G/N −→ H such that ϕ = ϕ N • π. It is clear from the definition that ϕ N is one-to-one, which implies that G/N is countable and Hausdorff.
(1) ⇒ (3). Let π : G −→ H be a quotient homomorphism onto a countably infinite Hausdorff topological group H . Clearly H is precompact. Hence H ∧ p is an infinite metrizable group and π ∧ : H ∧ p → G ∧ p is a monomorphism, which is easily seen to be a topological embedding in G ∧ p . This shows that π ∧ (H ∧ p ) is an infinite metrizable subgroup of G ∧ p . (3) ⇒ (2). Let be an infinite metrizable subgroup of G ∧ p . Then so is , the closure of in G ∧ p (see [2,Proposition 1.4.16]). Hence we can assume that is closed in G ∧ p . Let i : → G ∧ p be the identity embedding. Then the dual homomorphism i ∧ : (G ∧ p ) ∧ p → ∧ p is continuous and surjective, while the kernel of i ∧ is ⊥ . According to [24], the canonical evaluation mapping of G to (G ∧ p ) ∧ p is a topological isomorphism, so we can identify the groups G and (G ∧ p ) ∧ p . We have thus shown that the abstract groups G/ ⊥ and ∧ are isomorphic. Since the latter group is countable and infinite as the dual of an infinite metrizable precompact group and ⊥ is closed in G, we conclude that G/ ⊥ is a countably infinite Hausdorff quotient of G. This completes the proof.
As an obvious corollary we obtain:

Corollary 2.6 Let G be a precompact abelian group. If G ∧ p does not contain non-trivial convergent sequences, then no infinite Hausdorff continuous homomorphic image of G is countable.
Let us turn to torsion abelian groups. In this case, we characterize the existence of nontrivial convergent sequences in the dual group G ∧ p by any of the equivalent conditions on G given in Proposition 2.5.
In the proof of Theorem 2.7 we denote by D (ω) the subgroup of D ω which consists of all elements which differ from the identity of D on at most finitely many coordinates.

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 ∧ p contains an infinite metrizable subgroup; (4) G ∧ p contains a non-trivial convergent sequence.
Proof The equivalence of (1), (2) and (3) was established in Proposition 2.5. The implication (3) ⇒ (4) is evident since an infinite precompact group is non-discrete. Therefore we only need to verify that (4) ⇒ (2). Let {χ n : n ∈ ω} be a non-trivial sequence converging to the identity element of G ∧ p . We can assume that χ n = χ m if n = m. Let f be the diagonal product of the family {χ n : n ∈ ω}. Clearly f is a continuous homomorphism of G to the product group T ω . Take an arbitrary element x ∈ G with x = e and let m be the order of x. Then m is finite since G is a torsion group. Each value χ n (x) belongs to the cyclic subgroup of T generated by an element b ∈ T of order m. Since the sequence {χ n (x) : n ∈ ω} converges to 1 ∈ T for every x ∈ G, the latter implies that there is an integer n(x) ≥ 0 such that χ n (x) = 1 for all n ≥ n(x). In other words, f (x) ∈ D (ω) for all x ∈ G, where D is the torsion subgroup of T. This implies that the image f (G) is countable.
We claim that f (G) is infinite. Indeed, it follows from our definition of f that for every n ∈ ω, there exists a continuous character μ n of f (G) satisfying χ n = μ n • f . Notice that the characters f ∧ (μ n ) = μ n • f = χ n of the group G are pairwise distinct, so the set {μ n : n ∈ ω} ⊂ f (G) ∧ p is infinite. Hence the group f (G) is infinite as well.

Compact subsets of dual groups
In this section we are concerned with the topological groups that are not necessarily torsion. First, we present a machinery for finding arbitrary compact subsets in the duals of precompact abelian groups. In order to do so, a basic ingredient will be the group C p (K , T) of all continuous functions of a compact space K into the torus T, equipped with the pointwise convergence topology. Since C p (K , T) is dense in the compact group T K , it follows that the dual group of C p (K , T) is algebraically isomorphic to A(K ), the free abelian topological group generated by K . Taking into account that, throughout this article, the dual group is always equipped with the pointwise convergence topology, we have that the topological dual of C p (K , T) is the group A(K ) equipped with the topology of pointwise convergence on elements C(K , T). This topology coincides with the Bohr topology of the free abelian group A(K ), that is the topology of pointwise convergence on the elements of A(K ) (see [13] and the references therein). Thus we have:

Proposition 3.1 If K is a compact space, then the dual group of C p (K , T) endowed with the pointwise convergence topology is topologically isomorphic to the free abelian topological group A(K ) on K equipped with its Bohr topology.
We remark that the free abelian group A(K ) respects compactness, which means that every Bohr-compact subset of A(K ) is also compact in A(K ) (see [13,Corollary 4.20]). Definition 3.2 Given a compact space K , we say that a subgroup G of C p (K , T) is separating if for any distinct elements x, y ∈ K , there is g ∈ G such that g(x) = g(y).
Let G be a topological abelian group. As a consequence of Proposition 3.1 we obtain the following result:

Proposition 3.3 The dual G ∧ p of a precompact abelian group G contains a copy of a compact space K if and only if there is a continuous homomorphism of G onto a separating subgroup of C p (K , T).
Proof Sufficiency: Let ϕ : G −→ H be a continuous homomorphism onto a separating subgroup H ⊆ C p (K , T). We have that A(K ) is algebraically isomorphic to C p (K , T) ∧ . Consider the continuous dual homomorphism Since ϕ(G) is separating, it follows that ϕ ∧ K is one-to-one. Necessity: Assume that K ⊆ G ∧ p . Then there is a continuous homomorphism φ : (A(K ), t p (C(K , T))) → G ∧ p , which is the identity map on K . Therefore, φ ∧ (G) is a separating subgroup of C p (K , T), where φ ∧ : G → C p (K , T) is the dual homomorphism. Proposition 3.3 reminds a similar situation which can be encountered in the classical theorem of Peter and Weyl for compact groups (see [19]).

Corollary 3.4
There are precompact abelian groups whose (precompact) dual groups contain infinite compact subsets but no non-trivial convergent sequences. Proof By Proposition 3.1, the dual group of C p (βω, T) is topologically isomorphic to A(βω) equipped with the topology of pointwise convergence on C(βω, T) and the latter group contains a copy of βω. Since A(βω) does not contain nontrivial convergent sequences (see [10,Theorem 3.4]), neither does (A(βω), t p (C(βω, T)). This completes the proof. Remark 3.5 An infinite compact space K is Efimov if K does not contain either nontrivial convergent sequences or βω. Proposition 3.1 implies that the existence of precompact abelian groups whose dual groups contain an Efimov compact subspace is consistent with Z FC (see [11]).
We can now characterize the groups whose dual groups do contain non-trivial convergent sequences. We denote by c 0 (T) the set of all sequences in T converging to 1. Each such a sequence is considered as an element of the compact group T N . Hence c 0 (T) can be identified with a subgroup of T N which is equipped with the subspace topology. the compact set L = K ∩ r −1 (μ) ⊆ G ∧ p is infinite for some μ ∈ r (K ). Take an arbitrary element χ 0 ∈ L and put L * = L · χ −1 0 . Then L * is an infinite compact subset of G ∧ p and the restriction to H of every element ν ∈ L * is the identity of H ∧ p . Hence for every ν ∈ L * there exists a character ψ ∈ (G/H ) ∧ p satisfying ν = ψ • π = π ∧ (ψ). We conclude, therefore, that L * ⊆ π ∧ (G/H ) ∧ p . Since π ∧ is a topological monomorphism, the latter inclusion implies that (G/H ) ∧ p contains an infinite compact subset. This contradicts the lemma assumptions. We have thus proved that all compact subsets of G ∧ p are finite. The argument in the case of convergent sequences is almost the same.
A subgroup H of a topological abelian group G is said to be h-embedded in G if every homomorphism h : H → T extends to a continuous homomorphism of G to T (see [1, p. 290]). It is clear from the definition that every homomorphism h : H → T of an hembedded subgroup H of G is continuous.
Let G be a topological abelian group. We recall that the dual group of G endowed with the compact-open topology is denoted by G ∧ . If all compact subsets of G are finite, then G ∧ = G ∧ p .

Theorem 3.9
There exists a first category, precompact, reflexive abelian group.
Proof Since the compact group Z(2) ω is second countable, one can apply [3, Theorem 4.2] to find a pseudocompact abelian group S and a closed pseudocompact subgroup P of S such that the quotient group S/P is topologically isomorphic to Z(2) ω and all countable subgroups of S are h-embedded in S. In what follows we identify the groups S/P and Z(2) ω . Let G be the subgroup of Z(2) ω considered in Theorem 2.3. Denote by π the quotient homomorphism of S onto S/P. Clearly, H = π −1 (G) is a precompact subgroup of S, H /P ∼ = G, and ϕ = π H is an open continuous homomorphism of H onto G.  [24]). Hence the group H is reflexive.
We finish with the following problem mentioned in the introduction: Problem 3.10 Let G be a precompact topological abelian group with the Baire property. Is it true that all compact subsets of G ∧ p are finite?