On convergent sequences in dual groups

DOI10.1007/S13398-020-00790-XMaRDI QIDQ2293233zbMATH OpenOpenAlexFDO

Authors M. V. Ferrer, Salvador Hernández, Mikhail Tkachenko

Publication date 7 February 2020

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.03415

zbMATH Keywords

Baire propertyconvergent sequenceprecompactpseudocompactreflexive

Mathematics Subject Classification ID

Compact groups (22C05) Duality theorems for locally compact groups (22D35) Character groups and dual objects (43A40) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Baire category, Baire spaces (54E52)

Abstract: We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^{w}edge$ 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^{w}edge$ 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 $mathbbZ(2{)}^{o}mega$ such that $G$ is of the first category in itself, has measure zero, but the dual group $G_p^{w}edge$ 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, extit{Topol. Appl.} extbf{151} (2005), 157--168]. As a consequence, we obtain an example of a precompact reflexive abelian group which is of the first Baire category.

Review text

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

Recommendations

• An approach to duality on abelian precompact groups
• Groups without convergent sequences
• Pontryagin duality in the class of precompact abelian groups and the Baire property
• Making group topologies with, and without, convergent sequences
• scientific article; zbMATH DE number 1258318

Cites work

• A compact space having the cardinality of the continuum with no convergent sequences
• Category in function spaces. I
• Characterizing sequences for precompact group topologies
• Continuity of Homomorphisms on a Baire Group
• Dual properties in totally bounded Abelian groups
• Duality of totally bounded Abelian groups
• Duality properties of bounded torsion topological abelian groups
• Extensions of the Pontrjagin duality. I: Infinite products
• scientific article; zbMATH DE number 3908719 (Why is no real title available?)
• scientific article; zbMATH DE number 3697402 (Why is no real title available?)
• scientific article; zbMATH DE number 1295204 (Why is no real title available?)
• scientific article; zbMATH DE number 509125 (Why is no real title available?)
• scientific article; zbMATH DE number 3187168 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• Limits in function spaces and compact groups
• On characterized subgroups of compact abelian groups
• Pontryagin duality in the class of precompact abelian groups and the Baire property
• Precompact noncompact reflexive abelian groups
• Prime subspaces in free topological groups
• Pseudocompact group topologies with no infinite compact subsets
• Topological groups and related structures
• Topologies induced by groups of characters
• Uniform Boundedness for Groups

Cited in

(16)

• On the behaviour of sequences in the dual of a nilpotent Lie group
• Answer to Raczkowski's questions on convergent sequences of integers
• Sheaves of Abelian groups and the quotients \(A^{\star\star}/A\)
• Pontryagin duality in the class of precompact abelian groups and the Baire property
• Convergent sequences in precompact group topologies
• Compact-like abelian groups without non-trivial quasi-convex null sequences
• The dual of a pseudocompact group refining the topology of the circle group
• Precompact groups and property (T)
• On a generalization of abelian sequential groups
• Mackey groups and Mackey topologies
• Both compact and sequentially compact sets in Abelian topological group
• Limits in function spaces and compact groups
• The Baire property and precompact duality
• Groups without convergent sequences
• Duality properties of bounded torsion topological abelian groups
• Limits in compact Abelian groups

This page was built for publication: On convergent sequences in dual groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2293233)