On convergent sequences in dual groups

We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact abelian \emph{torsion} groups $G$, we characterize the existence of a nontrivial convergent sequence in $G_p^\wedge$ by the following property of $G$: \emph{No infinite quotient group of $G$ is countable.} Finally, we present an example of a dense subgroup $G$ of the compact metrizable group $\mathbb{Z}(2)^\omega$ such that $G$ is of the first category in itself, has measure zero, but the dual group $G_p^\wedge$ does not contain infinite compact subsets. This complements Theorem 1.6 in [J.E.~Hart and K.~Kunen, Limits in function spaces and compact groups, \textit{Topol. Appl.} \textbf{151} (2005), 157--168]. As a consequence, we obtain an example of a precompact reflexive abelian group which is of the first Baire category.


Introduction
Our aim is to 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 [16]). A more general result follows from [19,Proposition 4.4]: If G ∧ p contains infinite compact subsets then G is not pseudocompact. An even more general fact is established in [13]: 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 [5,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 present an example of a dense subgroup G of the compact metrizable group Z(2) ω such that G is of the first category in itself, has measure zero, but the dual group G ∧ p does not contain nontrivial convergent sequences. Furthermore, since G ∧ p is countable, all compact subsets of G ∧ p are finite. This complements [18, Theorem 1.6] by J.E. Hart and K. Kunen. We conclude, therefore, 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 [8,9] 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 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 ⊂ ω [7, 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 ∧ . The dual group consists of the continuous characters of G with the pointwise multiplication, (χ 1 · χ 2 )(x) = χ 1 (x) · χ 2 (x) for each x ∈ G. 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 [24,1]). 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 [6,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

Duals of precompact torsion groups
The following dichotomy for homogeneous spaces is a kind of the topological folklore (see [22,Theorem 2.3]).
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 χ i : 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 [20] or [3, Section 6.10]). It is clear that all compact subsets of X are bounded. Conversely, in a Diedonné complete space X, the closure of every bounded subset is compact [3, Proposition 6.10.1 c)].
In the following theorem, we denote by µ the Haar measure of the compact group Z(2) ω (see [17,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 ∧ does not contain non-trivial convergent sequences.
For an element x ∈ Z(2) ω , let 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 It is easy to see that the sets O m,N are open and dense in Z(2) ω whenever N ≥ 2, while our definition of G implies that G is disjoint from the set Let us show that µ(G) = 0, where µ is the Haar measure on the compact group Z(2) ω . It is easy to see that G is measurable. Indeed, every set O m,N is open in the compact second countable group Z(2) ω and, hence, is measurable.
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 [21], every ϕ n depends on finitely many coordinates, i.e. one can find a finite set A n ⊂ ω and a character ψ n on Z(2) An such that ϕ n = ψ n • π An , where π An : Z(2) ω → Z(2) An 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∈An x(i), for each x ∈ Z An 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 π An (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 (π An (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 : 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 [3,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 [25], 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). 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) (cf. [14]). 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 [14,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 two 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: 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 ϕ ∧ : (A(K), t p (C(K, T))) −→ G ∧ p . 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.
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 [11,Theorem 3.4] or [27, Proposition 2.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 a compact Efimov subspace is consistent with ZF C (see [12]).
We can now characterize the groups whose dual groups do contain nontrivial 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. Proof. Let K := {1/n : n ∈ N} ∪ {0} be a nontrivial convergent sequence. It is easy to see that C p (K, T) is topologically isomorphic to c 0 (T) equipped with the topology inherited from T N . Then it suffices to apply Proposition 3.3.
The group c 0 (T) equipped with the sup-metric is complete and, hence, is a Polish topological group. Therefore, there exist precompact abelian groups admitting a finer non-discrete Polish topological group topology and whose dual groups contain non-trivial convergent sequences.
In the fall of 1990's several specialists in the Pontryagin duality theory were discussing the problem whether every precompact reflexive abelian group was compact. Counterexamples to this conjecture appeared in [2] and [15], where the authors established the existence of pseudocompact noncompact reflexive abelian groups. Clearly every pseudocompact space has the Baire property. Afterward, a method of constructing precompact nonpseudocompact reflexive abelian groups was presented in [4]. All the groups in [4] with this combination of properties had the Baire property. These facts suggest the new conjecture that all precompact reflexive abelian groups have the Baire property. In Theorem 3.9 we show that this conjecture is false by presenting an example of a precompact reflexive abelian group which is of the first category. Our arguments require two auxiliary results (for the first of them, see [19,Proposition 4.4]).
Lemma 3.7 If G is an infinite pseudocompact abelian group, then all compact subsets of the dual group G ∧ p are finite.  [25]. 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?