Related papers: Every countable compact subset of $\mathbb{S}^n$ i…
We study homotopic-to-the-identity torus homeomorphisms, whose rotation set has nonempty interior. We prove that any such map is monotonically semiconjugate to a homeomorphism that preserves the Lebesgue measure, and that has the same…
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…
We study locally compact group topologies on semisimple Lie groups. We show that the Lie group topology on such a group $S$ is very rigid: every 'abstract' isomorphism between $S$ and a locally compact and $\sigma$-compact group $\Gamma$ is…
We prove that any compact semi-algebraic set is homeomorphic to the solution space of some art gallery problem. Previous works have established similar universality theorems, but holding only up to homotopy equivalence, rather than…
We discuss the dynamics beyond topological hyperbolicity considering homeomorphisms satisfying the shadowing property and generalizations of expansivity. It is proved that transitive countably expansive homeomorphisms satisfying the…
In 1994, John Cobb asked: given $N>m>k>0$, does there exist a Cantor set in $\mathbb R^N$ such that each of its projections into $m$-planes is exactly $k$-dimensional? Such sets were described for $(N,m,k)=(2,1,1)$ by L.Antoine (1924) and…
Let $\mathcal C$ be the Cantor set. For each $n\geqslant 3$ we construct an embedding $A: \mathcal C \times \mathcal C \to \mathbb R^n$ such that $A(\mathcal C \times \{s\})$, for $s\in\mathcal C$, are pairwise ambiently incomparable…
In this article, we study the smooth mapping class group of a surface S relative to a given Cantor set, that is the group of isotopy classes of orientation-preserving smooth diffeomorphisms of S which preserve this Cantor set. When the…
We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…
For infinite products of compact spaces, Tychonoff's theorem asserts that their product is compact, in the product topology. Tychonoff's theorem is shown to be equivalent to the axiom of choice. In this paper, we show that any countable…
We prove that the free product of two finitely presented locally tame groups is locally tame and describe many examples of tame subgroups of finitely presented groups. We also include some open problems related to tame subgroups.
A space is od-compact (resp. od-Lindel\"of) provided any cover by open dense sets has a finite (resp. countable) subcover. We first show with simple examples that these properties behave quite poorly under finite or countable unions. We…
Various theorems on convergence of general space homeomorphisms are proved and, on this basis, theorems on convergence and compactness for classes of the so-called ring $Q$--homeomorphisms are obtained. In particular, it was established by…
We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism.
Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and…
The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…
In this paper we show that given any compact set $E \subset \hat{\mathbb{C}}$, we can always find a conformally removable subset with the same Hausdorff dimension as $E$.
We describe the order type of range sets of compact ultrametrics and show that an ultrametrizable infinite topological space $(X, \tau)$ is compact iff the range sets are order isomorphic for any two ultrametrics compatible with the…
In this paper, we prove that a compact set $K\subset \mathbb{C}^n$ is the support of a weighted equilibrium measure if and only it is not pluripolar at each of its points extending a result of Saff and Totik to higher dimensions. Thus, we…
We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.