- freely available
Axioms 2015, 4(4), 436-458; doi:10.3390/axioms4040436
Abstract: For a locally quasi-convex topological abelian group , we study the poset of all locally quasi-convex topologies on G that are compatible with τ (i.e., have the same dual as ) ordered by inclusion. Obviously, this poset has always a bottom element, namely the weak topology . Whether it has also a top element is an open question. We study both quantitative aspects of this poset (its size) and its qualitative aspects, e.g., its chains and anti-chains. Since we are mostly interested in estimates “from below”, our strategy consists of finding appropriate subgroups H of G that are easier to handle and show that and are large and embed, as a poset, in . Important special results are: (i) if K is a compact subgroup of a locally quasi-convex group G, then and are quasi-isomorphic (3.15); (ii) if D is a discrete abelian group of infinite rank, then is quasi-isomorphic to the poset of filters on D (4.5). Combining both results, we prove that for an LCA (locally compact abelian) group G with an open subgroup of infinite co-rank (this class includes, among others, all non-σ-compact LCA groups), the poset is as big as the underlying topological structure of (and set theory) allows. For a metrizable connected compact group X, the group of null sequences with the topology of uniform convergence is studied. We prove that is quasi-isomorphic to (6.9).
All groups in this paper are abelian, and for a group G, we denote by (resp., ) the set of all (Hausdorff) group topologies on G.
Varopoulos posed the question of the description of the group topologies on an abelian group G having a given character group H and called them compatible topologies for the duality . As the author explains, the question is motivated by Mackey’s theorem, which holds in the framework of locally convex spaces. He treated the question within the class of locally precompact abelian groups. Later on, this problem was set in a bigger generality in ; namely, within the class of locally quasi-convex groups. This is a class of abelian topological groups, which properly contains the class of locally convex spaces, a fact that makes the attempt to generalize the Mackey–Arens Theorem more natural. We denote by , or simply by if no misunderstanding can arise, the set of all locally quasi-convex group topologies on G, which are compatible for , the character group of G.
The bottom element of is the weak topology . In , it was asked if the poset has a top element. We denote the supremum (in ) of by . Then, is a locally quasi-convex topology; nevertheless, the question of whether is still open. In case , it is called Mackey topology and denoted by . Furthermore, if , the group is called a Mackey group. This is a generalization of the notion of a Mackey locally convex space.
Theorem 1.1. () If a locally quasi-convex group G is Čech complete (in particular, complete metrizable or locally compact abelian (LCA)), then G is a Mackey group.
In particular, one has the following immediate corollary concerning the special case when (i.e., :
Corollary 1.2. If G is an LCA group, then if and only if G is compact.
Further attention to topological groups G with is paid in [3,4], where many examples are given, inspired by  (in particular, it is proven that this equality holds for pseudocompact abelian groups).
This paper offers a solution for the following questions from  in the case that G is a non-σ-compact LCA group:
Questions 1.3. Let G be a locally quasi-convex topological group.
 (Question 8.92) Compute the cardinality of the poset .
 (Problem 8.93) Under which conditions on the group G is the poset a chain?
More precisely, in the light of Corollary 1.2, we show that if an LCA group is sufficiently far from being compact (e.g., non-σ-compact), then the poset is as big (and as far from being a chain) as possible (see Section 1.2 for details).
1.1. Measuring Posets of Group Topologies
In order to face Question 1.3, one needs a tool to measure the poset of group topologies.
The complete lattice for a group G and some of its subsets (e.g., , the subset of precompact topologies, its subset of pseudocompact topologies, etc.) have been studied by many authors [6,7,8,9,10,11]. In particular, many cardinal invariants of the specific subposets of have been computed by using the simple idea of replacing the complicated posets , , , etc., by some naturally-defined simple posets of purely combinatorial nature (e.g., the powerset ordered by inclusion). Since is a singleton for a locally quasi-convex group G, we cannot make use of the above-mentioned results where (and even ) were shown to be as big as possible.
Let us recall that a subset A of a partially-ordered set X is called anti-chain if its members are pairwise incomparable. The maximal size of an anti-chain in a partially-ordered set X is called the width of X and denoted by .
In order to measure the size and width of the poset , we introduce the following notion:
Definition 1.4. Two posets and are:
isomorphic (we write ) if there exists a poset isomorphism ;
Clearly, quasi-isomorphic posets share the same monotone cardinal invariants, e.g., cardinality, width, maximum size of chains, etc. As a “sample” poset of combinatorial nature will be used, the poset is defined in the following example.
Example 1.5. Let X be an infinite set, and let be the set of all free filters (i.e., filters on X with ) ordered by inclusion. The bottom element of is known as the Fréchet filter; its elements are the complements of finite sets. A filter on X is free iff it contains . For the sake of completeness, we shall add to also the power set of X to obtain the complete lattice:
Our choice of as a sample poset is justified by the following simple fact:
Proposition 1.6. For every infinite group G, there exists a poset embedding .
Proof. Every Hausdorff group topology τ on G is completely determined by the filter of all τ-neighborhoods of zero. Since τ is Hausdorff, zero is the only common point of all members of . Hence, by restricting this filter to the set , we obtain an element of . In other words, we defined an injective monotone map . Note that the discrete topology on X is mapped to . ☐
Let us recall that a poset is called a dcpo (directedly complete poset) if all directed suprema in X exist ( (Definition 2.1.13)). Clearly, a dcpo with a bottom element is a complete lattice precisely when it is a lattice. The relevant fact that the poset is a dcpo was established in  (Proposition 1.14):
Fact 1.7.  is a dcpo, i.e., stable under directed suprema taken in the complete lattice .
According to the above fact, the poset has maximal elements (actually, every element of is contained in a maximal element of ), so it has a top element precisely when it is a lattice. In such a case, is a complete lattice, and G has a Mackey topology.
1.2. Main Results
We give for a large class of LCA groups concrete descriptions of the set of compatible locally quasi-convex group topologies. More precisely, we first establish the following.
If G is a locally quasi-convex abelian group and K is a compact subgroup of G, then (Theorem 3.15).
If H is an open subgroup of G, then there exist poset embeddings (Theorem 3.6 and Corollary 3.11).
For every discrete group D of infinite rank, the set is quasi-isomorphic to the set of filters on D (Lemma 4.5).
Item (a) above gives a precise and useful form of the intuitive understanding (based on Corollary 1.2) that compact subgroups are “negligible” when is computed for a locally quasi-convex group G. In particular, this holds for an LCA group G and a compact subgroup K. This allows us to reduce the computation of to the case of much simpler (e.g., discrete) groups G.
Items (b) and (c) yield the following:
Theorem A. If H is an open subgroup of a locally quasi-convex group with , then there is a poset embedding:
Corollary 1.8. If a locally quasi-convex group has an open subgroup of infinite co-rank, then:
This answers Problem 8.93 of  (i.e., Question 1.3(b)) in the case of groups that have a discrete quotient of infinite rank.
Item (b) and Theorem A suggest considering open subgroups H of G with the highest possible co-rank. Motivated by this, we introduce the following notion.
Definition 1.9. A topological abelian group G is called r-disconnected if G has an open subgroup H of infinite co-rank.
For example, a non-σ-compact LCA group is r-disconnected (see Section 2 for a proof, as well as for further details). According to (2), r-disconnected groups G have a sufficiently large poset . The term r-disconnected is suggested by the fact that an r-disconnected group G has open subgroups H of infinite co-rank, so its degree of disconnectedness of G “is measured” by the rank of . Now, we introduce a cardinal invariant to carry out the measuring of r-disconnectedness in a natural way:
Definition 1.10. For a topological group G define the discrete rank (d-rank) of G by:
Clearly, r-disconnected groups G have infinite , but a group with need not be r-disconnected unless G is LCA. For the properties of this cardinal invariant and its connection to the compact covering number , see Section 2.
In the case of LCA groups, it is possible to provide an embedding in the opposite direction of the embedding (2). In fact, we prove the following theorem (see Section 5 for the proof of Theorems A and B).
Theorem B. For every r-disconnected LCA group G, there exist poset embeddings:
It turns out that the inclusions (4) hold also under a slightly stronger condition of purely topological flavor
Corollary C. Let G be a non σ-compact LCA group, then ; so, the inclusions (4) hold.
The proof of this corollary will be given in Section 5.
Since both sides of the concluding inequality in Theorem B coincide when , we obtain the equality . One can say something more precise under a stronger assumption:
Corollary 1.11. If an LCA group G has , then .
Since implies that the group G is r-disconnected, Theorem B applies. Now, the assertion follows from the inclusions (4).
From Corollary C and Corollary 1.11, one can immediately deduce:
Corollary 1.12. Under the assumption of CH, holds for every non-σ-compact LCA group.
The last section is dedicated to a natural generalization of the metrizable LCA groups, namely the complete metrizable locally quasi-convex (so, necessarily Mackey) groups. In Theorem 6.1, we prove that for every non-trivial compact connected metrizable group X, the group of null sequences in X carries a Polish Mackey topology τ, and is quasi-isomorphic to , so it contains exactly many connected separable metrizable locally quasi-convex non-Mackey topologies compatible with , the topology induced by the product topology .
The paper is organized as follows. Properties of the d-rank and its connection to the compact covering number are exposed in §2. In §3, we give general properties of the compatible topologies and of the poset (mainly invariance properties w.r.t. passage to products, subgroups and quotient groups). They enable us to prove in Section 4 that for every discrete group G of infinite rank. Using this fact, we prove Theorems A and B and Corollary C in Section 5. Finally, in Section 6, we investigate for , where X is a non-trivial, compact connected metrizable group, and we show that is quasi-isomorphic to . In Section 7, we collect final remarks and open questions.
The main results of the paper were exposed in talks of the second named author at the Prague TopoSym 2011 and at the Seventh Italian Spanish Conference on General Topology in Badajoz in September 2010, as well as at a Colloquim talk at Complutense University of Madrid in 2010.
Notation and preliminaries. We denote by the natural numbers, by the prime numbers, by the group of integers, by the group of rational numbers, by the group of real numbers and by the cyclic group of order m. Let denote the quotient group . We shall identify it with the interval with addition modulo one. It is isomorphic to the unit circle in the complex plane, with the ordinary product of complex numbers. Let . For a topological abelian group G, the character group or dual group is the set of all continuous homomorphisms from G to , with addition defined pointwise.
For an abelian topological group and its dual , we shall denote the weak topology also by . An abelian topological group is said to be maximally almost periodic (MAP), if the continuous characters of G separate the points of G (i.e., if is Hausdorff).
In the beginning of the 1950s, Vilenkin defined the notions of locally quasi-convex subsets and locally quasi-convex groups for abelian Hausdorff groups. These settings generalize the terms convexity and local convexity in topological vector spaces. A subset M of an abelian topological group G is said to be quasi-convex if every element in can be separated from M by means of a continuous character. More precisely: for any , there exists , such that and . An abelian topological group is called locally quasi-convex if it has a neighborhood basis of zero consisting of quasi-convex sets. The most prominent examples of locally quasi-convex groups are , and discrete groups and, more generally, locally compact abelian groups and locally convex vector spaces (see  for an account of the properties of quasi-convex groups).
For an abelian group G, we shall denote by the poset of all Hausdorff locally quasi-convex group topologies on G. Then, .
We use frequently the fact that the supremum of locally quasi-convex topologies is again locally quasi-convex.
Consider the mapping:
Its restriction to the set of all precompact topologies is injective. The image of this mapping is the set of all dense subgroups of the dual group of the discrete group G, and the fiber of is precisely . Therefore, forms a partition of . Since and is a precompact, we obtain:
One of the aims of this paper is to show that each member of the partition containing a non-σ-compact LCA group topology has the same size as the whole and actually the same size as .
For an abelian group G, we denote by the free-rank of G, and for a prime p, we denote by the p-rank of G (namely, ). Finally, the rank of G is defined by:
For a subgroup H of G, the co-rank of H in G is defined to be the rank of the quotient group.
2. The Connections between the Compact Covering Number and the d-Rank of Topological Groups
For a topological group G, we denote by the compact covering number of G, i.e., the minimum number of compact sets whose union covers G. Clearly, either (precisely when G is compact) or . If , the group is called σ-compact. We shall see below (Theorem 2.7) that there is a close connection between the cardinal invariants and .
Clearly, precisely when G has no proper open subgroups. This class of groups (in different, but equivalent terms) was introduced by Enflo  under the name locally generated groups (connected groups are obviously the leading example of locally generated groups). Therefore, the non-r-disconnected groups G (in particular, the groups with ) can be considered as a natural generalization of the locally generated groups introduced by Enflo.
Furthermore, when G is either σ-compact or separable, since both conditions imply that all discrete quotients of G are countable (see Theorem 2.7 for the connection between σ-compactness and countability of the d-rank ϱ).
As the next example shows, the supremum in Equation (3) need not be attained by any specific open subgroup of G. We shall see in Theorem 2.7 that for r-disconnected LCA groups, this supremum is always a maximum.
Example 2.1. Consider the group , where is discrete and G carries the product topology. A base of neighborhoods of zero is formed by the open subgroups , so that G is r-disconnected as for every . Moreover, . On the other hand, every open subgroup H of G contains some , so .
Generalizing the well-known fact that connected locally compact groups are σ-compact, we characterize below the LCA groups that are not r-disconnected, showing that they are σ-compact of a very special form (see Example 2.6). They will be the object of study in , whereas in this paper, we are interested in r-disconnected groups that may well be σ-compact (an example to this effect is any discrete countable group of infinite rank).
Let us start with the description of the groups of finite rank.
Fact 2.2. Let G be an infinite abelian group. Then, the following statements are equivalent:
G is isomorphic to a subgroup of a group of the form , where and are not necessarily distinct primes;
, where , F is a finite abelian group, L is a subgroup of () and are not necessarily distinct primes;
G contains no infinite direct sum of non-trivial subgroups;
G contains no subgroup H, which is a direct sum of -many non-trivial subgroups.
Proof. (a) → (b). Let be the divisible hull of G. Then, , since and by the fact that G is essential in (see  (Lemma 24.3)). Therefore, (a) implies that . Now, (b) follows from the structure theorem for divisible abelian groups.
(b) → (c) Assume wlogthat G is a subgroup of , where . Then, the torsion subgroup of G is a subgroup of D; hence, for subgroup of G and for appropriate and a finite subgroup F of . Since T is a divisible subgroup of G, it splits in G. Therefore, there exists a subgroup (containing F) of G, such that . Note that , since T is a torsion group. By a theorem of Kulikov  (Theorem 27.5), the torsion part of an abelian group splits when it is finite, so we can write , where is a torsion-free subgroup of (isomorphic to ). Since , one has for some , so is isomorphic to a subgroup of .
(c) → (d) is obvious and (d) → (e) is trivial.
To prove the implication of (e) → (a), assume for a contradiction that is infinite. Then, G contains a direct sum of -many non-trivial subgroups (it will be isomorphic to ). To end the proof, it suffices to note that whenever the latter cardinal is infinite . ☐
It is important to note that while the d-rank is obviously monotone with respect to taking quotients, the rank is not (i.e., a quotient of a group may have a bigger rank that the group itself, as we shall see in a while).
A group G of finite rank may have infinite (e.g., , while , witnessed by ). In order to understand better the properties of the d-rank of rational groups, we introduce some specific rational groups.
Let be the subgroup of formed by all rational numbers having only powers of a given fixed prime number p in the denominator. For a set π of prime numbers, denote by the subgroup of , i.e., consists of those rational numbers for which the primes from are excluded from denominators. For completeness, let .
Example 2.3. For , one has and . In particular, (for ) if and only if π is finite. Actually, a torsion-free group G has finite d-rank if and only if G is isomorphic to a subgroup of for some and some finite ( (Lemma 10.8)).
One can describe the non-r-disconnected discrete groups as follows:
Fact 2.4. ( (Lemma 10.12)) A discrete abelian group G is non-r-disconnected (i.e., has ) if and only if , where L is a torsion-free non-r-disconnected group (i.e., isomorphic to a subgroup of for some finite and ), F is a finite abelian group, and are not necessarily distinct primes.
In order to describe also the non-r-disconnected LCA groups, we need a fundamental fact from the structure theory of LCA groups.
Fact 2.5. According to the structure theory, an LCA group G is topologically isomorphic to , where and the group H has a compact open subgroup K (). Therefore, the quotient group is discrete.
Example 2.6. Let G be a non-r-disconnected LCA group.
(a) G has a compact subgroup K, such that for some , a torsion-free discrete non-r-disconnected group L, and not necessarily distinct primes .
(b) The quotient does not depend on the choice of the compact group K up to isomorphism in the following sense. If is another compact subgroup of G, such that with , a torsion-free discrete non-r-disconnected group , and not necessarily distinct primes , then (so , , and for all and an appropriate permutation of the primes ).
Proof. (a) Indeed, as we saw above, there exists a closed subgroup H of G with a compact open subgroup K, such that , so is an open subgroup of G. By our hypothesis, has finite d-rank. By Fact 2.4, , where L is a a torsion-free discrete non-r-disconnected group, F is a finite group and , with , are not necessarily distinct primes. Choosing K a bit larger, we can assume without loss of generality that . Since , we are done.
(b) Since is a compact subgroup of G containing K and as open subgroups, both indexes and are finite. Therefore, is a finite subgroup of , and similarly, is a finite subgroup of . Moreover,
Since F is a finite subgroup of , it is easy to see that . Similarly, . This yields the isomorphisms and . Now, the isomorphisms (6) yield the desired isomorphism . These isomorphisms take the connected component of to the the connected component of ; in particular, . Moreover, these isomorphisms takes the torsion subgroup of to the torsion subgroup of . Hence, , for all and an appropriate permutation of the primes . Finally, the isomorphism induces an isomorphism of the quotients and . Therefore, we deduce . ☐
We need a property of the discrete rank , when the group G is LCA and r-disconnected. Since it is related to the rank of discrete quotients of G, it has also a connection to the compact covering number , as Theorem 2.7 shows.
Theorem 2.7. Let G be an r-disconnected group. Then, . If G is LCA, then:
G has an open σ-compact subgroup L with .
every discrete quotient of G has a size at most .
there exists a compact subgroup N of G, such that for some discrete abelian group D with and .
Proof. Assume that , where each is compact. Then, for every open subgroup H of G with infinite , the quotient map takes each to a finite subset of . Since is infinite, one has . This proves that .
Now, suppose that G is LCA. We may assume without loss of generality that with and K, as in Fact 2.5. Then, the subgroup of G is open and σ-compact. Moreover, is discrete. Every open subgroup of G contains , so having the form , for some open subgroup O of H. Hence, our hypothesis of r-disconnectedness on G implies that H is r-disconnected, as well, and .
(a) To see that , take any open subgroup N of H. We can assume wlog that N is contained in K. Then, the quotient is both discrete and compact, hence finite. Therefore, as the quotient is finite, while and are both infinite.
(b) Let be an open subgroup. If , then ; otherwise, if , then .
(c) follows from the above argument.
(d) We only have to check that . Since is σ-compact and K is compact, one has . ☐
3. Some General Properties of Compatible Topologies
Let be a topological group. Another group topology ν on G is said to be compatible for if it has the same character group as the original one, that is if .
We start with the following general facts providing easy upper bounds for :
Proposition 3.1. If is Mackey, then:
(a) ; so , where denotes the weight of G;
(b) if denotes the subset of the compatible topologies of local weight , then . In particular, the cardinality of the set of metrizable compatible topologies is not greater than .
Proof. (a) For the first inequality, it suffices to note that any compatible group topology is a subset of τ. For the second assertion, note that .
(b) follows from the fact that a group topology with local weight is completely determined by the assignment of a family of size that forms its local base at zero. ☐
In order to understand the structure (in particular, the size) of the poset for a topological group G, we relate to the corresponding posets and for convenient subgroups .
Proposition 3.2. Let be a locally quasi-convex group. Then,
Proof. This mapping is injective and preserves the order. It remains to show that it is well defined. Therefore, let τ be the original topology on G and , the induced topologies on and respectively. Take and . Then, is again a locally quasi-convex topology on . Clearly,
A subgroup H of a topological abelian group G is called:
dually closed if for every , there exists , such that and ;
dually embedded if each continuous character of H can be extended to a continuous character of G.
Remark 3.3. It is well known that if H is an open subgroup, it is dually closed and dually embedded, but in general, a closed subgroup need not have these properties.
It is easy to see that a subgroup H of a topological group is dually closed if and only if H is -closed.
It is straightforward to prove that if is equipped with the product topology, then and are dually embedded in G. Moreover, and are dually closed in G precisely when and are maximally almost periodic.
It follows from Item (a) that a pair of compatible topologies shares the same dually-closed subgroups.
Lemma 3.4. Let be a topological abelian group and H a dually-closed and dually-embedded subgroup. If is quasi-convex in H, it is also quasi-convex in G.
Proof. We must check that every can be separated from M by means of a continuous character. Consider two cases:
(a) . Then, there exists , such that and . Now, any extension of χ, say , does the job.
(b) . Since H is dually closed, there exists , such that and . A suitable multiple of ξ gives a character that separates x from M. ☐
Proposition 3.5.  (1.4) Every compact subgroup of a maximally almost periodic group is dually embedded and dually closed.
Proposition 3.6. Let be a locally quasi-convex group and H an open subgroup. Then, there exists a canonical poset embedding:
Proof. Fix , and let be a basis of quasi-convex zero neighborhoods for ν. If is considered as a basis of zero neighborhoods in G, we obtain a new group topology on G, for which H is an open subgroup. According to 3.4, is locally quasi-convex.
Since H is an open subgroup of G both w.r.t. to τ and to and since a homomorphism is continuous iff its restriction to an open subgroup is continuous, it is sufficient to prove that is compatible with . Obviously, ; hence, the assertion follows. ☐
Remark 3.7. In the sequel, we denote by the quotient topology of a topology τ (the quotient group will always be quite clear from the context).
Let H be a dually-closed subgroup of the Hausdorff abelian group G. By Remark 3.3(c), H is τ closed for every topology . Hence, for , the group topology is Hausdorff and:
Of course, Q is in general not injective. The situation improves when K is a compact subgroup and G is a locally quasi-convex Hausdorff group (see Theorem 3.15).
The next fact is probably known, but hard to find in the literature; hence, we prefer to give a proof for the reader’s convenience.
Lemma 3.8. Let be a MAP abelian group and H a dually-closed subgroup. Then, for the quotient , one has , i.e., the Bohr topology of the quotient coincides with the quotient topology of the Bohr topology .
Proof. Since both and are precompact group topologies on , it is sufficient to check that they are compatible. To this end, note that , since and is precompact. To see that they are compatible, take a -continuous character . Then, it is also -continuous. Hence, the composition with the canonical projection produces a τ-continuous character of G. Since ξ is -continuous, as well, from the factorization , we deduce that χ is also -continuous. Hence, . ☐
Next, we are interested in embedding into . The following notation will be used in the sequel:
Notation 3.9. Let H be a closed subgroup of the topological abelian group . Denote by the canonical projection. Further, for a group topology , we denote by the initial topology, namely the group topology . It is straightforward to prove that whenever θ is locally quasi-convex, then is locally quasi-convex, as well.
Theorem 3.10. Let H be a dually-closed subgroup of the locally quasi-convex Hausdorff group . The mapping:
Proof. According to 3.9, is a locally quasi-convex group topology on G and finer than , hence Hausdorff.
Before proving that is compatible, we show that . This will imply (once it is shown that Θ is well defined) that Q is a left inverse for Θ, and hence, Θ is injective. A neighborhood basis of zero in is given by sets of the form where W is a neighborhood of zero in and U a neighborhood of zero in . Observe that . This implies the first equality in the following chain of equalities:
Let us show now that is compatible. Since , we only need to show that if , then χ is also continuous with respect to τ. It is easy to check that . Hence, we obtain that is continuous. Thus, is a continuous character of the precompact group , which is dually embedded in . Hence, there exists a continuous character , which extends χ. Since , it is sufficient to show that or, equivalently, we may suppose that .
Hence, is well defined and continuous. Since θ is compatible with , we deduce that is continuous, and hence, is continuous.
This completes the proof. ☐
Since open or compact subgroups are dually closed, the above theorem gives:
Corollary 3.11. Let G be a locally quasi-convex group, and let H be an open or a compact subgroup of G. Then, is a poset embedding.
Remark 3.12. Let be a locally quasi-convex group, and let H be an open subgroup of G. The images and in of both embeddings, obtained in Theorem 3.6 and Corollary 3.11, meet in a singleton, namely:
Indeed, one can see first that if , then . On the other hand, if , then for some , where denotes the discrete topology on . Combining both inclusions, we obtain . On the other hand, to see that the topology is an element of the intersection, it suffices to realize that .
In the proof of the next result, namely that for a locally quasi-convex group G and a compact subgroup K of G, the posets and are isomorphic, we need the following results from :
Theorem 3.13. Let be a locally quasi-convex Hausdorff group, and let K be a subgroup of G.
 (Theorem (3.5)) If is compact, then , in particular is compact.
 (Theorem (2.7)) If K is compact, then is a locally quasi-convex Hausdorff group.
Further, we need:
Lemma 3.14 (Merzon). Let be group topologies on a group G, and let H be a subgroup of G. If the subspace topologies and the quotient topologies coincide, then .
Theorem 3.15. Let be a locally quasi-convex Hausdorff group and K a compact subgroup of G. Then:
Proof. Let us show first that is well defined. According to 3.13(b), is a locally quasi-convex Hausdorff group topology. In order to show that is compatible for , we fix a continuous character . Let be the quotient homomorphism. Then, is continuous. Since θ is compatible for , also is continuous, and hence, is continuous. On the other hand, , and hence, . Combining both conclusions, we obtain that is compatible for .
Taking into account 3.10, it is sufficient to prove that .
Therefore, fix . The topology is coarser than θ, so applying Merzon’s Lemma, it is sufficient to show that θ and coincide on K and on . Since and since is compact, we obtain by Theorem 3.13(a) that is compact. Hence: imply that . For the quotient topologies, the following holds by Theorem 3.10: . Combining the partial results, the theorem is proven. ☐
Since every locally compact abelian group is locally quasi-convex, from Theorem 3.15, we immediately obtain:
Corollary 3.16. Let G be a locally compact abelian group and K a compact subgroup of G. Then, .
Corollary 3.17. Let G be a σ-compact group with an open compact subgroup. Then, there is a poset embedding ; in particular, .
Proof. Let K be an open compact subgroup of G. Without loss of generality, we may assume that G is not compact, and hence, is infinite.
As a consequence of the above theorem, is a poset isomorphism. Since is countable and discrete, 1.6 establishes a poset embedding . ☐
Note that a group G as in the above corollary is necessarily locally compact. We shall see in the sequel (see Example 2.6) that unless G has a very special structure, one has actually a quasi-isomorphism between and , in particular .
4. Compatible Topologies for Discrete Abelian Groups
We intend to reduce the study of the poset for a LCA group G to the case of infinite direct sums of countable groups. This is why, throughout the first part of this section, γ will denote an infinite cardinal and will be a non-zero countable group for every . Our intention is to show that for the discrete group , the poset is quasi-isomorphic to (so, it contains an anti-chain of the maximal possible size (note that ), in particular has width and size ).
In order to get (many) group topologies on G, we need a frequently-used standard construction based on filters on γ.
Notation 4.1. Every free filter φ on γ defines a topology on G with a base of neighborhoods of zero, where:
Finally, let us mention the fact (although it will not be used here) that, according to , is complete when φ is an ultrafilter.
Lemma 4.2. Let δ denote the discrete topology on G. The mapping:
Proof. Obviously , so the topology is compatible. Since is precompact, is also locally quasi-convex. Moreover, is locally quasi-convex, as proven in Notation 4.1. This shows that Ξ is well defined.
It is obvious that Ξ preserves the order. Let us show that Ξ is injective: To that end we fix and assume that , in particular , and hence, . Let , then , so by our hypothesis. Then, there exist and a finite set , such that . Since , as well, we conclude that . Since U is a neighborhood of zero in the Bohr topology of the subgroup , this proves that also is a neighborhood of zero in the Bohr topology of . This means that is an open subgroup of equipped with the Bohr topology. Since every open subgroup in a precompact topology must have finite index, we deduce that has finite index in . Therefore, is finite. Consequently, also the set is finite. Since , we conclude that also . On the other hand, , i.e., . This proves that . Therefore, . The other inclusion is proven analogously. ☐
Remark 4.3. Observe that .
Corollary 4.4. For G as above, the sets and are quasi-isomorphic, in particular
Further, has chains of size (at least) γ.
Proof. According to 4.2 and 1.6, the sets and are quasi-isomorphic. Since and since there are different free ultrafilters in , the first assertion follows.
has chains of length γ. Indeed, one can easily produce a chain of length γ in by using any partition of γ in γ pairwise disjoint sets of size γ each. ☐
Theorem 4.5. Let G be a discrete abelian group of infinite rank. Then, holds. In particular, G admits pairwise incomparable compatible group topologies and .
Proof. Let . According to 1.6, there are poset embeddings:
Corollary 4.6. Suppose that H is a discrete abelian group for which does not embed in . Then, H has finite d-rank; in particular, H is countable.
Proof. If H has infinite d-rank, then 4.5 implies the existence of a poset embedding . Hence, the hypothesis implies that H has finite rank. ☐
The case of finite rank abelian groups will be considered separately in .
5. Proofs of Theorem A, Theorem B and Corollary C
We intend to apply the results obtained so far to describe the poset of all compatible group topologies for r-disconnected groups (in particular, for non-σ-compact LCA groups).
Here comes the proof of Theorem A. It shows that for an LCA group G with large discrete rank , the poset is quite large (in particular, implies, among other things, that G is σ-compact).
Proof of Theorem A. Let H be an open subgroup of the locally quasi-convex group , such that has infinite rank. According to Corollary 3.11 and Theorem 4.5, there is a poset embedding . The assertion follows. ☐
This theorem gives as a by-product a description of the LCA groups G, such that does not embed in .
Corollary 5.1. If G is an LCA group, such that does not embed in , then G is non-r-disconnected (so G contains a compact subgroup K, such that for some , a subgroup L of and not necessarily distinct primes ).
Proof. This follows from Example 2.6 and Theorem A. ☐
Proof of Theorem B. First, we have to prove that if G is an r-disconnected LCA group, then there exist poset embeddings as in formula (4). Since the existence of the first one was already established in Theorem A, it remains to produce the embedding To this end, we use the isomorphism provided by the above fact. Since , Proposition 1.6 applies.
Now, assume that G is totally disconnected. We have to prove that . According to Fact 2.5, the LCA group G is topologically isomorphic to , where and the group H has a compact open subgroup K. Since the quotient group is discrete and , Corollary 3.16 gives . According to our hypothesis, G is totally disconnected, so G cannot contain subgroups of the form with . Therefore, is discrete. Now, Corollary 3.16 implies that . Moreover, is infinite, since G is r-disconnected. Thus, by Theorem 4.5. ☐
Proof of Corollary C. We have to prove that if G is non-σ-compact, then , and there exists a poset embedding . By Theorem 2.7(d), we have ; so, G is r-disconnected, and Theorem A applies. ☐
6. Metrizable Separable Mackey Groups with Many Compatible Topologies
For an abelian topological group X, we denote by the subgroup of consisting of all , such that in X. We denote by and the product topology and the uniform topology of , respectively. We use and to denote the topologies induced by and , respectively, on .
Throughout this section, let X be a non-trivial compact connected metrizable group:
Theorem 6.1.  The group is a non-compact Polish connected Mackey group with .
Observe that both and are metrizable and non-compact. In order to find more compatible topologies on G, we use the following construction.
Notation 6.2. For a subset B of and a neighborhood U of 0 in X, let:
The following properties of these sets will be frequently used in the sequel:
for every subset ;
if and , then .
This follow directly from
Definition 6.3. For any , define a group topology on having as a neighborhood basis at zero the family of sets , where U runs through all neighborhoods of zero in X and B through all elements of with finite .
Obviously, and ; more precisely, () if and only if A is finite (resp., co-finite).
Lemma 6.4. If with , then is finite. Consequently, is finite whenever .
Proof. By our hypothesis, there exists a subset of , such that is finite and for some neighborhood of 0 in X. Then, by Item (b) of Notation 6.2, . Since , this proves that is finite, as well.
Now, assume that . Then, , so , as well. Hence, is finite by the fist part of the argument. ☐
Proposition 6.5. For the topological group , the mapping:
Proof. The mapping (7) is well defined, since for any , we have . Since all of the topologies are also locally quasi-convex, they belong to .
Assume that . Applying twice the second assertion in Lemma 6.4, we conclude that is finite. ☐
Define an equivalence relation on by letting for whenever . Denote the set of equivalence classes by and its elements by ; moreover, write () for subsets of when (resp., ) is finite. In these terms, Proposition 6.5 can be reformulated as follows:
Corollary 6.6. The mapping is a poset embedding.
Remark 6.7. The above Proposition 6.5 implies that . However, one can easily check with Notation 6.2(a) that actually, holds true. In particular, if with , then by Lemma 6.4.
The structure of is very rich, as the following example shows.
Example 6.8. There exists an anti-chain of size in . Although this fact is well known (see, for example, ), we give a brief argument for the reader’s convenience.
As the poset is isomorphic to , it is enough to check that . For every , pick a one-to-one sequence of rational numbers converging to ρ. Then, the sets , , form an almost disjoint family witnessing .
All topologies of the form produced so far, including the top and the bottom element ( and , resp.) of , are metrizable (so, second countable, since G is separable by (3.4) in ). This makes it natural to ask whether all compatible topologies are metrizable. The next theorem and Example 6.10 answer this question negatively in the strongest possible way.
Theorem 6.9. The poset is quasi-isomorphic to , so and has chains of length .
Proof. According to Proposition 3.1, embeds into as is Mackey and . Therefore, it suffices to show that embeds into . It is enough to produce an embedding of into . To this end, we shall replace by an almost disjoint family of size of infinite subsets of (see Example 6.8).
For , let . It suffices to prove that the mapping:
For the last assertion, we need the following notation. For infinite cardinals , we shall write if, for a set of size κ, the poset has a chain of size λ (for more details, see [7,25]). In these terms, Sierpinksi has proven that holds true for every infinite cardinal λ, where . Now, let λ be the minimal cardinal, such that . Then, obviously, , since . As , implies that holds true (see also  (Corollary 1.6) for the proof of for arbitrary κ). In other words, admits chains of length . ☐
By Proposition 3.1, the set of metrizable group topologies in has cardinality . Hence, the above theorem provides many non-metrizable topologies in . For the sake of completeness, we provide a short intrinsic proof of this fact.
Example 6.10. Let be as in the above proof. We show that is not metrizable whenever is an uncountable subset of . Since there are many such sets, this provides many non-metrizable topologies in .
Assume that is metrizable, and let be a countable neighborhood basis at zero in . For every k, there exists a finite subset of , such that . Hence, there exist a neighborhood of zero in X and with:
Since is uncountable, we can choose . Let be a neighborhood of zero. Then, . Therefore, for some . Now, the inclusion in (8) yields . Hence, Notation 6.2(b) implies . Since these are finitely many members of an almost disjoint family, we conclude that , a contradiction.
7. Final Comments and Open Questions
The embedding remains true for many non-compact σ-compact LCA groups G. Actually, the σ-compact LCA groups G for which our approach does not ensure an embedding of in must be non-r-disconnected. Hence, they must have a very special structure (namely, contain a compact subgroup K, such that for some , a discrete torsion-free non-r-discrete group L and not necessarily distinct primes , see Example 2.6). Still simpler is this structure in the case when G is supposed additionally to have a compact open subgroup (this eliminates the vector subgroup ). Indeed, in this case, G must contain an open subgroup of the form , for some and a compact group K, so that for some and not necessarily distinct primes .
In the general case, we have proved in  that for every non-compact LCA group G. In particular, , and for every prime p. Further progress in this direction depends pretty much on the following:
Compute . Is it infinite? Is it countable? Is it at most ? At least ?
Compute . Is it infinite? Is it countable? Is it at most ? At least ?
Compute , where p is a prime. Is it infinite? Is it countable? Is it at most ? At least ?
Note that in (a) and (c), the group in question is countable, so that is an obvious upper bound in both cases.
Any information in the direction of Item (c) will throw light on the poset for all π containing p (as has a quotient isomorphic to , so the poset embeds into the poset by Theorem 3.10).
Clearly, CH is needed in Corollary 1.12 only to eliminate those groups G that have . We do not know if the assertion from this corollary remains true without the assumption of CH. In particular, the following question remains open:
Question 7.2. Is ?
Question 7.3. Let G be a non-precompact second countable Mackey group. Is it true that ?
Here comes a somewhat general question:
Problem 7.4. Find sufficient conditions for a metrizable precompact group G to be Mackey (i.e., have ).
Such a sufficient condition was pointed out in : all bounded metrizable precompact groups are Mackey.
The next question is related to Question 7.3:
Question 7.5. If for a group G, one has , can be finite? In particular, can one have a Mackey group G with ?
The following conjecture will positively answer Question 7.3 (as well as Question 7.1) and negatively answer Question 7.5:
Conjecture 7.6. [Mackey dichotomy] For a locally quasi-convex group G, one has either or .
Positive evidence in the case of bounded groups can be obtained from the recent results in .
Let λ be a non-discrete linear topology on . It is easy to see that is metrizable and precompact. It is shown in  that these groups are not Mackey, i.e., .
Question 7.7. How large can be?
Let be infinite torsion subgroup of equipped with the (precompact metrizable) topology τ induced by . It was proven in  that is not a Mackey group, i.e., .
Question 7.8. How large can be in this case?
Dikran Dikranjan was partially supported by Fondazione Cassa di Risparmio di Padova e Rovigo (Progetto di Eccellenza "Algebraic structures and their applications"). Elena Martín-Peinador was partially supported by the Spanish Ministerio de Economía y Competitividad. Project: MTM 2013-42486-P.
Lydia Außenhofer, Dikran Dikranjan and Elena Martín-Peinador contributed equally to this work.
Conflicts of Interest
The authors declare no conflict of interest.
- Varopoulos, N.T. Studies in harmonic analysis. Proc. Camb. Phil. Soc. 1964, 60, 467–516. [Google Scholar] [CrossRef]
- Chasco, M.J.; Martín-Peinador, E.; Tarieladze, V. On Mackey topology for groups. Stud. Math. 1999, 132, 257–284. [Google Scholar]
- De Leo, L. Weak and Strong Topologies in Topological Abelian Groups. Ph.D. Thesis, Universidad Complutense de Madrid, Madrid, Spain, July 2008. [Google Scholar]
- De Leo, L.; Dikranjan, D.; Martín-Peinador, E.; Tarieladze, V. Duality Theory for Groups Revisited: g-barrelled groups, Mackey & Arens Groups. 2015. in preparation. [Google Scholar]
- Bonales, G.; Trigos-Arrieta, F.J.; Mendoza, R.V. A Mackey-Arens theorem for topological Abelian groups. Bol. Soc. Mat. Mex. III 2003, 9, 79–88. [Google Scholar]
- Berarducci, A.; Dikranjan, D.; Forti, M.; Watson, S. Cardinal invariants and independence results in the lattice of precompact group topologies. J. Pure Appl. 1998, 126, 19–49. [Google Scholar] [CrossRef]
- Comfort, W.; Remus, D. Long chains of Hausdorff topological group topologies. J. Pure Appl. Algebra 1991, 70, 53–72. [Google Scholar] [CrossRef]
- Comfort, W.; Remus, D. Long chains of topological group topologies—A continuation. Topology Appl. 1997, 75, 51–79. [Google Scholar] [CrossRef]
- Dikranjan, D. The Lattice of Compact Representations of an infinite group. In Proceedings of Groups 93, Galway/St Andrews Conference; London Math. Soc. Lecture Notes 211. Cambidge Univ. Press: Cambridge, UK, 1995; pp. 138–155. [Google Scholar]
- Dikranjan, D. On the poset of precompact group topologies. In Topology with Applications, Proceedings of the 1993 Szekszàrd (Hungary) Conference; Bolyai Society Mathematical Studies. Czászár, Á., Ed.; Elsevier: Amsterdam, The Netherlands, 1995; Volume 4, pp. 135–149. [Google Scholar]
- Dikranjan, D. Chains of pseudocompact group topologies. J. Pure Appl. Algebra 1998, 124, 65–100. [Google Scholar] [CrossRef]
- Engelking, R. General Topology(Sigma Series in Pure Mathematics, 6), 2nd ed.; Heldermann Verlag: Berlin, Germany, 1989. [Google Scholar]
- Abramsky, S.; Jung, A. Domain theory. In Handbook of Logic in Computer Science III; Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., Eds.; Oxford University Press: New York, NY, USA, 1994; pp. 1–168. [Google Scholar]
- Banaszczyk, W. Additive Subgroups of Topological Vector Spaces; Lecture Notes in Mathematics; Springer Verlag: Berlin, Germany, 1991; Volume 1466. [Google Scholar]
- Enflo, P. Uniform structures and square roots in topological groups. Israel J. Math. 1970, 8, 230–252. [Google Scholar] [CrossRef]
- Außenhofer, L.; Dikranjan, D.; Martín-Peinador, E. Locally quasi-convex compatible topologies on σ-compact LCA groups. 2015. in preparation. [Google Scholar]
- Fuchs, L. Infinite Abelian Groups; Academic Press: New York, NY, USA, 1970. [Google Scholar]
- Dikranjan, D.; Shakhmatov, D. Topological groups with many small subgroups. Topology Appl. 2015. in press. [Google Scholar]
- Dikranjan, D.; Prodanov, I.; Stojanov, L. Topological Groups (Characters, Dualities, and Minimal Group Topologies); Marcel Dekker, Inc.: New York, NY, USA, 1990. [Google Scholar]
- Bruguera, M.; Martín-Peinador, E. Open subgroups, compact subgroups and Binz-Butzmann reflexivity. Topology Appl. 1996, 72, 101–111. [Google Scholar] [CrossRef]
- Außenhofer, L. A note on weakly compact subgroups of locally quasi-convex groups. Arch. Math. 2013, 101, 531–540. [Google Scholar] [CrossRef]
- Dikranjan, D.; Protasov, I. Counting maximal topologies on countable groups and rings. Topology Appl. 2008, 156, 322–325. [Google Scholar] [CrossRef]
- Dikranjan, D.; Martín-Peinador, E.; Tarieladze, V. Group valued null sequences and metrizable non-Mackey groups. Forum Math. 2014, 26, 723–757. [Google Scholar] [CrossRef]
- Sierpinski, W. Cardinal and ordinal numbers; Panstwowe Wydawnictwo Naukowe: Warsaw, Poland, 1958. [Google Scholar]
- Baumgartner, J.E. Almost disjoint sets, the dense set problem and the partition calculus. Ann. Math. Logic 1976, 10, 401–439. [Google Scholar] [CrossRef]
- De la Barrera Mayoral, D.; Dikranjan, D.; Martìn Peinador, E. “Varopoulos paradigm”: Mackey property vs. metrizability in topological groups. 2015. in preparation. [Google Scholar]
- Außenhofer, L.; de la Barrera Mayoral, D. Linear topologies on ℤ are not Mackey topologies. J. Pure Appl. Algebra 2012, 216, 1340–1347. [Google Scholar] [CrossRef]
- De la Barrera Mayoral, D. ℚ is not Mackey group. Topology Appl. 2014, 178, 265–275. [Google Scholar] [CrossRef]
© 2015 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).