The three space problem in topological groups

We study compact, countably compact, pseudocompact, and functionally bounded sets in extensions of topological groups. A property P is said to be a three space property if, for every topological group G and a closed invariant subgroup N of G, the fact that both groups N and G/N have P implies that G also has P. It is shown that if all compact (countably compact) subsets of the groups N and G/N are metrizable, then G has the same property. However, the result cannot be extended to pseudocompact subsets, a counterexample exists under p=c. Another example shows that extensions of groups do not preserve the classes of realcompact, Dieudonné complete and μ-spaces: one can find a pseudocompact, non-compact Abelian topological group G and an infinite, closed, realcompact subgroup N of G such that G/N is compact and all functionally bounded subsets of N are finite. Several examples given in the article destroy a number of tempting conjectures about extensions of topological groups.     

Quotients of uniform spaces

This paper develops the basic theory of quotients of uniform spaces via sufficiently nice group actions. We generalize and unify two fundamental constructions: quotients of topological groups via closed normal subgroups and quotients of metric spaces via actions by isometries. Basic results about inverse limits of topological groups are extended to inverse limits of group actions on uniform spaces, and notions of prodiscrete action and generalized covering map are introduced.     

Grothendieck groups of unbounded complexes of finitely generated modules

Let Λ be a left Artinian ring, D⁺(mod Λ) (resp., D⁻(mod Λ), D(mod Λ)) the derived category of bounded below complexes (resp., bounded above complexes, unbounded complexes) of finitely generated left Λ-modules. We show that the Grothendieck groups K₀(D⁺(mod Λ)), K₀(D⁻(mod Λ)) and K₀(D(mod Λ)) are trivial. Received: 7 April 2005     

Locally compact spaces of countable core and Alexandroff compactification

We introduce a new cardinal invariant, core of a space, defined for any locally compact Hausdorff space X and denoted by cor(X). Locally compact spaces of countable core generalize locally compact σ-compact spaces in a way that is slightly exotic, but still quite natural. We show in Section 1 that under a broad range of conditions locally compact spaces of countable core must be σ-compact. In particular, normal locally compact spaces of countable core and realcompact locally compact spaces of countable core are σ-compact. Perfect mappings preserve the class of spaces of countable core in both directions (Section 2). The Alexandroff compactification aX is weakly first countable at the Alexandroff point a if and only if cor(X)=ω (Section 3). Two examples of non-σ-compact locally compact spaces of countable core are discussed in Section 3. We also extend the well-known theorem of Alexandroff and Urysohn on the cardinality of perfectly normal compacta to compacta satisfying a weak version of perfect normality. Several open problems are formulated.     

A Fubini theorem

Let I₀ be the σ-ideal of subsets of a Polish group generated by Borel sets which have perfectly many pairwise disjoint translates. We prove that a Fubini-type theorem holds between I₀ and the σ-ideals of Haar measure zero sets and of meager sets. We use this result to give a simple proof of a generalization of a theorem of Balcerzak-Ros?anowski-Shelah stating that I₀ on N² strongly violates the countable chain condition.     

Local algebras in the representation of MV-algebras

In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed. Presented by S. Pulmannova. Received November 11, 2005; accepted in final form December 20, 2005.     

Invariant measures and regularity properties of perturbed Ornstein-Uhlenbeck semigroups

This paper deals with perturbations of the Ornstein-Uhlenbeck operator on L²-spaces with respect to a Gaussian measure μ. We perturb the generator of the Ornstein-Uhlenbeck semigroup by a certain unbounded, non-linear drift, and show various properties of the perturbed semigroup such as compactness and positivity. Strong Feller property, existence and uniqueness of an invariant measure are discussed as well.     

Monotone versions of countable paracompactness

One possible natural monotone version of countable paracompactness, MCP, turns out to have some interesting properties. We investigate various other possible monotone versions of countable paracompactness and how they are related.