Precompact groups and convergence

DOI10.1016/J.TOPOL.2019.107043MaRDI QIDQ2293010zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Y. Shibakov

Publication date 6 February 2020

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

\(\alpha_i\)-propertiesanalytic topologyFréchetprecompact groupsequential

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Topological groups (topological aspects) (54H11)

Abstract: We consider precompact sequential and Fr'echet group topologies and show that some natural constructions of such topologies always result in metrizable groups answering a question of D.~Dikranjan et al. We show that it is consistent that all sequential precompact topologies on countable groups are Fr'echet (or even metrizable). For some classes of groups (for example boolean) extra set-theoretic assumptions may be omitted (although in this case such groups do not have to be metrizable). We also build (using $diamondsuit$) an example of a countably compact Fr'echet group that is not $alph{a}_3$ and obtain a counterexample to a conjecture of D.~Shakhmatov as a corollary.

Review text

The author considers precompact groups that are sequential. There are three principal results. The first one answers Question 4.8 of [\textit{D. Dikranjan} et al., J. Math. Anal. Appl. 412, No. 1, 505--519 (2014; Zbl 1308.54023)]: if a countable group is single sequence precompact and sequential then it is metrizable (an ss-precompact group carries the finest precompact topology that makes some distinguished sequence converge to the neutral element). The second one shows that consistently every countable precompact and sequential group is actually Fréchet; this holds in the \(\aleph_2\)-Cohen model. The third one is a consistent example, from \(\lozenge\), of a countably compact group that is Fréchet but does not have Arkhangel\('\)skiĭ's property \(\alpha_3\); Fréchet groups do posses property \(\alpha_4\), see [\textit{P. J. Nyikos}, Proc. Am. Math. Soc. 83, 793--801 (1981; Zbl 0474.22001)].

Recommendations

• Convergent sequences in topological groups
• Countably compact groups and sequential order
• Precompact Fréchet topologies on abelian groups
• scientific article; zbMATH DE number 5658684
• Characterizing sequences for precompact group topologies

Cites work

• Analytic \(k\)-spaces
• Analytic topologies over countable sets
• Characterizing sequences for precompact group topologies
• Convergence in topological groups and the Cohen reals
• Countably compact groups and sequential order
• scientific article; zbMATH DE number 3699772 (Why is no real title available?)
• scientific article; zbMATH DE number 57908 (Why is no real title available?)
• scientific article; zbMATH DE number 1959537 (Why is no real title available?)
• scientific article; zbMATH DE number 786924 (Why is no real title available?)
• scientific article; zbMATH DE number 1407509 (Why is no real title available?)
• scientific article; zbMATH DE number 3433126 (Why is no real title available?)
• Malykhin's problem
• Metrizability and the Frechet-Urysohn Property in Topological Groups
• Metrizabillity of certain quotient space
• No interesting sequential groups
• On sequential analytic groups
• Precompact Fréchet topologies on abelian groups
• Proper forcing axiom and selective separability
• Set theory. An introduction to independence proofs
• The combinatorics of open covers
• The structure of compact groups. A primer for the student -- a handbook for the expert
• The topological structure of (homogeneous) spaces and groups with countable cs∗-character
• Topological groups and related structures

Cited in

(9)

• Characterizing sequences for precompact group topologies
• Countably compact groups and sequential order
• Cardinal invariants and convergence properties of locally minimal groups
• Convergent sequences in topological groups
• The dual space of precompact groups.
• A coarse convergence group need not be precompact
• scientific article; zbMATH DE number 806605 (Why is no real title available?)
• Invariant ideal axiom, beyond the countable sequential groups
• Precompact Fréchet topologies on abelian groups

This page was built for publication: Precompact groups and convergence

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