Showing 1–21 of 21 results for author: Pol, R

On closed embeddings in $P^N \cup Q^N$

Authors: Elżbieta Pol, Roman Pol, Mirosława Reńska

Abstract: We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_δ$ and $F$ is absolutely $F_{σδ}$ then there is a closed embedding $h$ into the union of countable products of the irrationals and the rationals with $E$ being the preimage under $h$ of the countable product of the irrationals and $F$ being the preimage under $h$ of the countabl… ▽ More We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_δ$ and $F$ is absolutely $F_{σδ}$ then there is a closed embedding $h$ into the union of countable products of the irrationals and the rationals with $E$ being the preimage under $h$ of the countable product of the irrationals and $F$ being the preimage under $h$ of the countable product of the rationals. We prove also that for the set $H$ of points $x$ in the Hilbert cube such that for each $k$ there is $l$ with $x(2^k 3^l)=0$, whenever $A$ is an $F_{σδ}$ set in a compact one-dimensional space $X$, there is an embedding $h$ into the union of the countable product of the irrationals with added point $0$, and the countable product of the rationals, such that $A$ is the preimage under $h$ of the set $H$. △ Less

Submitted 22 March, 2025; originally announced March 2025.

No product of two non-trivial countable-dimensional continua maps lightly into any of the factors

Authors: Roman Pol, Mirosława Reńska

Abstract: We shall prove that if X, Y are compact metrizable spaces of positive dimension and h: X x Y --> X is a continuous map with zero-dimensional fibers then X contains a non-trivial continuum without one-dimensional subsets; in particular X is not a countable union of zero-dimensional sets, which provides a negative answer to a question of J. Dudák and B. Vejnar. We shall prove that if X, Y are compact metrizable spaces of positive dimension and h: X x Y --> X is a continuous map with zero-dimensional fibers then X contains a non-trivial continuum without one-dimensional subsets; in particular X is not a countable union of zero-dimensional sets, which provides a negative answer to a question of J. Dudák and B. Vejnar. △ Less

Submitted 18 March, 2025; originally announced March 2025.

On Sierpiński sets, Hurewicz spaces and Hilgers functions

Authors: Witold Marciszewski, Roman Pol, Piotr Zakrzewski

Abstract: The Hurewicz property is a classical generalization of $σ$-compactness and Sierpiński sets (whose existence follows from CH) are standard examples of non-$σ$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpiński set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the lit… ▽ More The Hurewicz property is a classical generalization of $σ$-compactness and Sierpiński sets (whose existence follows from CH) are standard examples of non-$σ$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpiński set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the literature concerning this topic are also answered. △ Less

Submitted 17 March, 2025; originally announced March 2025.

MSC Class: 54D20; 54B10; 03E17

A note on uniform continuity of monotone functions

Authors: Roman Pol, Piotr Zakrzewski, Lyubomyr Zdomskyy

Abstract: We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the… ▽ More We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the smallest cardinality $κ$ such that any two disjoint countable dense sets in the Cantor set can be separated by sets each of which is an intersection of at most $κ$-many open sets in the Cantor set. We establish also that $\mathfrak d^*=\min\{\mathfrak u, \mathfrak d\}=\min\{\mathfrak r, \mathfrak d\}$, thus giving an alternative proof of the latter equality established by J. Aubrey in 2004. △ Less

Submitted 28 February, 2025; originally announced February 2025.

MSC Class: 03E20; 03E17; 26A15; 54C05; 54E45

Holomorphic maps between moduli spaces II

Authors: Rodrigo De Pool, Juan Souto

Abstract: We prove that forgetful maps are the only non-constant holomorphic maps $\mathcal{M}_{g,r}\to \mathcal{M}_{g',r'}$ between moduli spaces, as long as $g\ge 4$ and $g'\le 3\cdot 2^{g-3}$. We prove that forgetful maps are the only non-constant holomorphic maps $\mathcal{M}_{g,r}\to \mathcal{M}_{g',r'}$ between moduli spaces, as long as $g\ge 4$ and $g'\le 3\cdot 2^{g-3}$. △ Less

Submitted 2 December, 2024; originally announced December 2024.

MSC Class: 57M50; 32H02

Homomorphisms between pure mapping class groups

Authors: Rodrigo de Pool

Abstract: Let $S$ and $S'$ be orientable finite-type surfaces of genus $g\geq 4$ and $g'$, respectively. We prove that every multitwist-preserving map between pure mapping class groups $\text{PMap}(S)\to \text{PMap}(S')$ is induced by a multi-embedding. As an application, we classify all homomorphisms $\text{PMap}(S)\to \text{PMap}(S')$ for $g\geq 4$ and $g' \leq 6\cdot 2^{g-4}$. Let $S$ and $S'$ be orientable finite-type surfaces of genus $g\geq 4$ and $g'$, respectively. We prove that every multitwist-preserving map between pure mapping class groups $\text{PMap}(S)\to \text{PMap}(S')$ is induced by a multi-embedding. As an application, we classify all homomorphisms $\text{PMap}(S)\to \text{PMap}(S')$ for $g\geq 4$ and $g' \leq 6\cdot 2^{g-4}$. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Non-planar ends are continuously unforgettable

Authors: Javier Aramayona, Rodrigo De Pool, Rachel Skipper, Jing Tao, Nicholas G. Vlamis, Xiaolei Wu

Abstract: We show that continuous epimorphisms between a class of subgroups of mapping class groups of orientable infinite-genus 2-manifolds with no planar ends are always induced by homeomorphisms. This class of subgroups includes the pure mapping class group, the closure of the compactly supported mapping classes, and the full mapping class group in the case that the underlying manifold has a finite numbe… ▽ More We show that continuous epimorphisms between a class of subgroups of mapping class groups of orientable infinite-genus 2-manifolds with no planar ends are always induced by homeomorphisms. This class of subgroups includes the pure mapping class group, the closure of the compactly supported mapping classes, and the full mapping class group in the case that the underlying manifold has a finite number of ends or is perfectly self-similar. As a corollary, these groups are Hopfian topological groups. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 26 pages, 3 figures

On two consequences of CH established by Sierpinski. II

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We continue a study of the relations between two consequences of the Continuum Hypothesis discovered by Waclaw Sierpinski, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. We continue a study of the relations between two consequences of the Continuum Hypothesis discovered by Waclaw Sierpinski, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Braided multitwists

Authors: Rodrigo de Pool

Abstract: We provide a characterization for multitwists satisfying the braid relation in the mapping class group of an orientable surface. We provide a characterization for multitwists satisfying the braid relation in the mapping class group of an orientable surface. △ Less

Submitted 18 September, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

On two consequences of CH established by Sierpiński

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We study the relations between two consequences of the Continuum Hypothesis discovered by Wacław Sierpiński, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. We study the relations between two consequences of the Continuum Hypothesis discovered by Wacław Sierpiński, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. △ Less

Submitted 2 November, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

MSC Class: 03E20; 03E15; 26A15; 54C05

A remark on Fremlin-Miller theorem concerning the Menger property and Michael concentrated sets

Authors: Jozef Chaber, Roman Pol

Abstract: The theorem we prove is a slight strengthening of some results by Just, Miller, Scheepers and Szeptycki [JMSS]. We use the Michael technique instead of the combinatorial approach in the literature. Comments by the submitter: This short unpublished paper, written in 2002, is a cornerstone in the study of selection principles and classic covering properties. It is the first to solve the Hurewicz… ▽ More The theorem we prove is a slight strengthening of some results by Just, Miller, Scheepers and Szeptycki [JMSS]. We use the Michael technique instead of the combinatorial approach in the literature. Comments by the submitter: This short unpublished paper, written in 2002, is a cornerstone in the study of selection principles and classic covering properties. It is the first to solve the Hurewicz Problem, by showing that there is, in ZFC, a real set with Menger's covering property (indeed, in all finite powers) but without Hurewicz's covering property. Unfortunately, web searches begin to miss this paper, and I sought, and received, permission from the authors to store this paper in the ArXiv, providing it a permanent link. The author's decision to not publish this paper, in light of some later stronger results by other authors (including myself), is a true act of generosity. Hopefully, this submission does some justice to their achievement. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Finite rigid sets of the non-separating curve complex

Authors: Rodrigo de Pool

Abstract: We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets. We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets. △ Less

Submitted 29 November, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Matching arc complexes: connectedness and hyperbolicity

Authors: Javier Aramayona, Rodrigo de Pool, Alejandro Fernández

Abstract: Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic. Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: This note is part of R.d.P.'s Master Thesis at UAM-ICMAT, and of A.F.'s work within the JAE-Intro programme at CSIC. 10 pages, 2 figures

Countably perfectly meager sets

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_σ$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and exam… ▽ More We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_σ$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński. △ Less

Submitted 7 June, 2021; v1 submitted 17 October, 2020; originally announced October 2020.

Comments: 16 pages

MSC Class: 03E20; 03E15; 54E52

On Mazurkiewicz's sets, thin σ-ideals of compact sets and the space of probability measures on the rationals

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We shall establish some properties of thin $σ$-ideals of compact sets in compact metric spaces (in particular, the $σ$-ideals of compact null-sets for thin subadditive capacities), and we shall refine the celebrated theorem of David Preiss that there exist compact non-uniformly tight sets of probability measures on the rationals. Both topics will be based on a construction of Stefan Mazurkiewicz… ▽ More We shall establish some properties of thin $σ$-ideals of compact sets in compact metric spaces (in particular, the $σ$-ideals of compact null-sets for thin subadditive capacities), and we shall refine the celebrated theorem of David Preiss that there exist compact non-uniformly tight sets of probability measures on the rationals. Both topics will be based on a construction of Stefan Mazurkiewicz from his 1927 paper containing a solution of a Urysohn's problem in dimension theory. △ Less

Submitted 9 December, 2019; originally announced December 2019.

MSC Class: 03E15; 54H05; 28A33; 28A12

On a problem of Talagrand concerning separately continuous functions

Authors: Volodymyr Mykhaylyuk, Roman Pol

Abstract: We construct a separately continuous function $e:E\times K\to\{0,1\}$ on the product of a Baire space $E$ and a zero-dimensional compact space $K$ such that no restriction of $e$ to any non-meager Borel set in $E\times K$ is continuous. The function $e$ provides a negative solution of Talagrand's problem in \cite{T}. We construct a separately continuous function $e:E\times K\to\{0,1\}$ on the product of a Baire space $E$ and a zero-dimensional compact space $K$ such that no restriction of $e$ to any non-meager Borel set in $E\times K$ is continuous. The function $e$ provides a negative solution of Talagrand's problem in \cite{T}. △ Less

Submitted 3 August, 2019; v1 submitted 15 September, 2018; originally announced September 2018.

Journal ref: J. Inst. Math. Jussieu 20 (2021) 1719-1728

On Borel maps, calibrated $σ$-ideals and homogeneity

Authors: Roman Pol, Piotr Zakrzewski

Abstract: Let $μ$ be a Borel measure on a compactum $X$. The main objects in this paper are $σ$-ideals $I(dim)$, $J_0(μ)$, $J_f(μ)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of $μ$-measure null, or of finite $μ$-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the $σ$-ideal $I(dim)$ is not homogene… ▽ More Let $μ$ be a Borel measure on a compactum $X$. The main objects in this paper are $σ$-ideals $I(dim)$, $J_0(μ)$, $J_f(μ)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of $μ$-measure null, or of finite $μ$-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the $σ$-ideal $I(dim)$ is not homogeneous in a strong way. We shall also show that in some natural instances of measures $μ$ with non-homogeneous $σ$-ideals $J_0(μ)$ or $J_f(μ)$, the completions of the quotient Boolean algebras $Borel(X)/J_0(μ)$ or $Borel(X)/J_f(μ)$ may be homogeneous. We discuss the topic in a more general setting, involving calibrated $σ$-ideals. △ Less

Submitted 15 June, 2017; originally announced June 2017.

MSC Class: 03E15; 54H05; 28A78; 54F45

A remark on a theorem of Iliadis concerning isometrically containing mappings

Authors: Elżbieta Pol, Roman Pol

Abstract: In this paper we give an alternative proof and a refinement of a recent result of S.D.Iliadis concerning isometrically containing mappings. We address also a recent result by A.I.Oblakova. In this paper we give an alternative proof and a refinement of a recent result of S.D.Iliadis concerning isometrically containing mappings. We address also a recent result by A.I.Oblakova. △ Less

Submitted 14 June, 2017; originally announced June 2017.

Comments: 5 pages

MSC Class: 54E40; 54F45; 54H05

On Closed Mappings of Sigma-Compact Spaces and Dimension

Authors: Elżbieta Pol, Roman Pol

Abstract: We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite dimension or contains compact sets of arbitrarily high inductive transfinite dimension ind. We construct also for each natural n a sigma-compact metrizable n-dimensiona… ▽ More We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite dimension or contains compact sets of arbitrarily high inductive transfinite dimension ind. We construct also for each natural n a sigma-compact metrizable n-dimensional space whose image under any non-constant closed map has dimension at least n, and analogous examples for the transfinite dimension ind. △ Less

Submitted 20 December, 2017; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: 9 pages

MSC Class: 57N20; 54D40; 54E40; 54F45; 54H05

Isometric embeddings and continuous maps onto the irrationals

Authors: Elżbieta Pol, Roman Pol

Abstract: Let f be a continuous map of a complete separable metric space E onto the irrationals. We show that if a complete separable metric space M contains isometric copies of every closed relatively discrete set in E, then M contains also an isometric copy of some fiber of f. We shall show also that if all fibers of f have positive dimension, then the collection of closed zero-dimensional sets in E is no… ▽ More Let f be a continuous map of a complete separable metric space E onto the irrationals. We show that if a complete separable metric space M contains isometric copies of every closed relatively discrete set in E, then M contains also an isometric copy of some fiber of f. We shall show also that if all fibers of f have positive dimension, then the collection of closed zero-dimensional sets in E is non-analytic in the Wijsman hyperspace of E. △ Less

Submitted 14 June, 2017; originally announced June 2017.

Comments: 7 pages

MSC Class: 54E40; 54F45; 54H05

Remarks on hereditarily indecomposable continua

Authors: Klaas Pieter Hart, Jan van Mill, Roman Pol

Abstract: We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable cont… ▽ More We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable continuum of the same weight. We present two methods of constructing these preimages: (a) by model-theoretic means, using the compactness and completeness theorems from first-order logic to derive these results for continua of uncountable weight from their metric counterparts; and (b) by constructing essential mappings from hereditarily indecomposable continua onto Tychonoff cubes. We finish by reviving an argument due to Kelley about hyperspaces of hereditarily indecomposable continua and show how it leads to a point-set argument that reduces Brouwer's Fixed-point theorem to its three-dimensional version. △ Less

Submitted 25 October, 2000; originally announced October 2000.

Comments: Requires amsart.cls[2000/06/02]; contains one postscript figure

MSC Class: 54F15 (Primary); 54F45; 03B10; 03C98; 54D80 (Secondary)

Journal ref: Topology Proceedings, 25 (2000) Summer, 179-206