Maximal cofinitary groups

We discuss the cardinalities of maximal cofinitary groups under the assumption of . We also discuss various open questions in this area. Received: 24 July 1997     

Compact sets of continuity for Borel functions

We investigate connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set , where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming -determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented.     

On the Laczkovich-Komjáth property of sigma-ideals

Komjáth in 1984 proved that, for each sequence (An) of analytic subsets of a Polish space X, if lim supn∈HAn is uncountable for every H∈ω[N] then _?n∈GAn is uncountable for some G∈ω[N]. This fact, by our definition, means that the σ-ideal [X]^?ω has property (LK). We prove that every σ-ideal generated by X/E has property (LK), for an equivalence relation E⊂X² of type Fσ with uncountably many equivalence classes. We also show the parametric version of this result. Finally, the invariance of property (LK) with respect to various operations is studied.     

On a σ-ideal of compact sets

We recall from [T. Mátrai, Kenilworth, Proc. Amer. Math. Soc. 137 (3) (2009) 1115-1125] a Gδσ-ideal of compact subsets of ω² and prove that it is not Tukey reducible to the ideal . This result answers a question of S. Solecki and S. Todor?evi? in the negative.     

Forcing absoluteness and regularity properties

For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.     

HFD groups in the Solovay model

Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω₁² that is an HFD with the following property

(P)

the projection of H onto every partial product I² for I∈ω[ω₁] is onto.

Any such group has the necessary properties. We prove that if κ is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on κ², there is an HFD topological group in ω₁² which has property (P).     

Uniqueness of Polish group topology

We show the limits of Mackey's theorem applied to identity sets to prove that a given group has a unique Polish group topology.Verbal sets in Abelian Polish groups and full verbal sets in the infinite symmetric group are Borel. However this is not true in general.A Polish group with a neighborhood π-base at 1 of sets from the σ-algebra of identity and verbal sets has a unique Polish group topology. It follows that compact, connected, simple Lie groups, as well as finitely generated profinite groups, have a unique Polish group topology.     

Metrizability of paratopological (semitopological) groups

We investigate some generalized metric space properties on paratopological (semitopological) groups and prove that a paratopological group that is quasi-metrizable by a left continuous, left-invariant quasi-metric is a topological group and give a negative answer to Ravsky?s question (Ravsky, 2001 [18, Question 3.1]). It is also shown that an uncountable paratopological group that is a closed image of a separable, locally compact metric space is a topological group. Finally, we discuss Hausdorff compactification of paratopological (semitopological) groups, give an affirmative answer to Lin and Shen?s question (Lin and Shen, 2011 [14, Question 6.9]) and improve an Arhangel?skii and Choban?s theorem. Some questions are posed.     

Malykhin's problem

We construct a model of ZFC$\mathsf{ZFC}$ where every separable Fréchet topological group is metrizable. This solves a 1978 problem of V.I. Malykhin.     

Universally meager sets, II

We present new characterizations of universally meager sets, shown in [P. Zakrzewski, Universally meager sets, Proc. Amer. Math. Soc. 129 (6) (2001) 1793-1798] to be a category analog of universally null sets. In particular, we address the question of how this class is related to another class of universally meager sets, recently introduced by Todorcevic [S. Todorcevic, Universally meager sets and principles of generic continuity and selection in Banach spaces, Adv. Math. 208 (2007) 274-298].     

Fréchet-Urysohn fans in free topological groups

In this paper we answer the question of T. Banakh and M. Zarichnyi constructing a copy of the Fréchet-Urysohn fan S_ω in a topological group G admitting a functorial embedding [0,1]⊂G. The latter means that each autohomeomorphism of [0,1] extends to a continuous homomorphism of G. This implies that many natural free topological group constructions (e.g. the constructions of the Markov free topological group, free abelian topological group, free totally bounded group, free compact group) applied to a Tychonov space X containing a topological copy of the space Q of rationals give topological groups containing S_ω.     

On extremally disconnected topological groups

We introduce the notion of a partially selective ultrafilter and prove that (a) if G is an extremally disconnected topological group and p is a converging nonprincipal ultrafilter on G containing a countable discrete subset, then p is partially selective, and (b) the existence of a nonprincipal partially selective ultrafilter on a countable set implies the existence of a P-point in ω^∗. Thus it is consistent with ZFC that there is no extremally disconnected topological group containing a countable discrete nonclosed subset.     

Rothberger bounded groups and Ramsey theory

We show that:

(1)

Rothberger bounded subgroups of σ-compact groups are characterized by Ramseyan partition relations (Corollary 4).

(2)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is not a closed subspace of any σ-compact space (Theorem 8).

(3)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is σ-compact (Corollary 17).

     

Bounded sets in topological groups and embeddings

We show that the existence of a non-metrizable compact subspace of a topological group G often implies that G contains an uncountable supersequence (a copy of the one-point compactification of an uncountable discrete space). The existence of uncountable supersequences in a topological group has a strong impact on bounded subsets of the group. For example, if a topological group G contains an uncountable supersequence and K is a closed bounded subset of G which does not contain uncountable supersequences, then any subset A of K is bounded in G?(K?A). We also show that every precompact Abelian topological group H can be embedded as a closed subgroup into a precompact Abelian topological group G such that H is bounded in G and all bounded subsets of the quotient group G/H are finite. This complements Ursul's result on closed embeddings of precompact groups to pseudocompact groups.     

Dense orbits of automorphisms and compactness of groups

It is proved, by using topological properties, that when a group automorphism of a locally compact totally disconnected group is ergodic under the Haar measure, the group is compact. The result is an answer for Halmos's question that has remained open for the totally disconnected case.     

Separating sets by Darboux Baire 1 and approximately continuous functions

We characterize sets A₀, A₁ for which there is a DB1 function f with [f = 0] = A₀ and [f = 1] = A₁. This characterization is a conjunction of necessary conditions for Darboux and for Baire 1 functions. We also characterize sets A^?, A⁺ for which there is a DB₁ function with [f < 0] = A^? and [f > 0] = A⁺. The same characterzations are provided for approximately continuous functions.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

On the interplay between a topology and its associated Baire and Borel σ-algebra

By considering two exemplary situations, it is shown that only under rather restrictive assumptions it is, in general, possible to derive properties of the underlying topology from properties of the associated Baire and Borel -algebra, respectively.