On countably compact 0-simple topological inverse semigroups
We describe the structure of 0-simple countably compact topological inverse semigroups and the structure of congruence-free countably compact topological inverse semigroups.
arXiv subjects
Publications and source records attributed to Dušan Repovš.
We describe the structure of 0-simple countably compact topological inverse semigroups and the structure of congruence-free countably compact topological inverse semigroups.
We give a criterium when a linearly ordered topological semilattice is $H$-closed. We also prove that any linearly ordered $H$-closed topological semilattice is absolutely $H$-closed and we show that every linearly ordered semilattice is a dense subsemilattice of an $H$-closed topological semilattice.
For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is (almost) disjoint (in the sense that $|xA\cap yA|<|A|$ for any distinct points $x,y\in S$). Subsets $A\subset G$ with small (almost) packing index are small in a geometric sense. We show that $\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$ for any $σ$-compact subset $A$ of a Polish group. If $A\subset G$ is Borel, then the packing indices $\ind_P(A)$ and $\Ind_P(A)$ cannot take values in the half-interval $[\sq(Π^1_1),\cc)$ where $\sq(Π^1_1)$ is a certain uncountable cardinal that is smaller than $\cc$ in some models of ZFC. In each non-discrete Polish Abelian group $G$ we construct two closed subsets $A,B\subset G$ with $\ind_P(A)=\ind_P(B)=\cc$ and $\Ind_P(A\cup B)=1$ and then apply this result to show that $G$ contains a nowhere dense Haar null subset $C\subset G$ with $\ind_P(C)=\Ind_P(C)=κ$ for any given cardinal number $κ\in[4,\cc]$.
This is the introductory paper to the special issue of Topology and Its Applications entirely dedicated to the theory of continuous selections of multivalued mappings. Since the pioneering work of Ernest Michael from 1956 can rightfully be considered as the year of birth of this theory, this issue of the journal is in fact dedicated to the 50th anniversary of the theory of continuous selections. At the same time the papers of this issue are all dedicated to the 80th anniversary of the founder of this theory - Ernest Michael.
Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\leω_1$. It is also proved that the hyperspace of convex compact subsets of the Tychonov cube $I^{ω_1}$ is homeomorphic to $I^{ω_1}$. An analogous result is also proved for the cone over $I^{ω_1}$. Our proofs are based on analysis of maps of hyperspaces of compact convex subsets, in particular, selection theorems for such maps are proved.
The main result of this paper is that if $X$ is a Peano continuum such that its $n$-th cone $C^n(X)$ embeds into $\RR^{n+2}$ then $X$ embeds into $S^2$. This solves a problem proposed by W. Rosicki.
Let $A+B$ be the pointwise (Minkowski) sum of two convex subsets $A$ and $B$ of a Banach space. Is it true that every continuous mapping $h:X \to A+B$ splits into a sum $h=f+g$ of continuous mappings $f:X \to A$ and $g:X \to B$? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.
We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube.
In this paper we answer the question of T. Banakh and M. Zarichnyi constructing a copy of the Fréchet-Urysohn fan $S_\w$ in a topological group $G$ admitting a functorial embedding $[0,1]\subset 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 $\IQ$ of rationals give topological groups containing $S_\w$.
Bredon has constructed a 2-dimensional compact cohomology manifold which is not homologically locally connected, with respect to the singular homology. In the present paper we construct infinitely many such examples (which are in addition metrizable spaces) in all remaining dimensions $n \ge 3$.
Using the topologist sine curve we present a new functorial construction of cone-like spaces, starting in the category of all path-connected topological spaces with a base point and continuous maps, and ending in the subcategory of all simply connected spaces. If one starts by a noncontractible n-dimensional Peano continuum for any n>0, then our construction yields a simply connected noncontractible (n + 1)-dimensional cell-like Peano continuum. In particular, starting with the circle $\mathbb{S}^1$, one gets a noncontractible simply connected cell-like 2-dimensional Peano continuum.
It is well-known that an n-dimensional Poincaré complex $X^n$, $n \ge 5$, has the homotopy type of a compact topological $n$-manifold if the total surgery obstruction $s(X^n)$ vanishes. The present paper discusses recent attempts to prove analogous result in dimension 4. We begin by reviewing the necessary algebraic and controlled surgery theory. Next, we discuss the key idea of Quinn's approach. Finally, we present some cases of special fundamental groups, due to the authors and to Yamasaki.
The validity of Freedman's disk theorem is known to depend only on the fundamental group. It was conjectured that it fails for nonabelian free fundamental groups. If this were true then surgery theory would work in dimension four. Recently, Krushkal and Lee proved a surprising result that surgery theory works for a large special class of 4-manifolds with free nonabelian fundamental groups. The goal of this paper is to show that this also holds for other fundamental groups which are not known to be good, and that it is best understood using controlled surgery theory of Pedersen--Quinn--Ranicki. We consider some examples of 4-manifolds which have the fundamental group either of a closed aspherical surface or of a 3-dimensional knot space. A more general theorem is stated in the appendix.