Searcharxiv⌕ Search

arXiv subjects

Serhii Bardyla

Publications and source records attributed to Serhii Bardyla.

At least 19 recordsLinked to original sources
arXiv2026

Extensions of Hindman's theorem via finite colorings of topological groups

We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.

math.CO↗
arXiv2026

New approaches to remote points

For a given Tychonoff space $X$, a point $p\in β(X)\setminus X$ is called {\em remote} if $p$ is not in the closure of any nowhere dense subset of $X$. In this paper, we characterize spaces with remote points in terms of certain topological ultrafilters, measures, and compact-like properties corresponding to the ideal consisting of nowhere dense sets. It is shown that the space of remote points is homeomorphic to a subspace of the Stone space taken over the smallest Boolean algebra containing all open and nowhere dense sets. Also, we show that the space of remote points of $\mathbb R$ is $ω$-bounded.

math.GN↗
arXiv2026

Polish topologies on endomorphism monoids of linear orders

In this paper, we investigate Polish semigroup topologies on the endomorphism monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$. We introduce a new structural condition, property $\mathbb{XX}$, which yields automatic continuity of Borel measurable homomorphisms between certain topological semigroups. This provides a new method for analyzing Polish semigroup topologies on monoids with small groups of units. We show that for all monoids considered, the semigroup Zariski topology coincides with the pointwise topology and is therefore the coarsest Hausdorff semigroup topology. We prove that the submonoid $\operatorname{End}^{\infty}(\mathbb{N},\leq)$ of $\operatorname{End}(\mathbb{N},\leq)$ consisting of all endomorphisms with infinite image admits a unique Polish semigroup topology, namely the pointwise topology. On the other hand, despite possessing a finest Polish semigroup topology, the monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$, admit infinitely many distinct Polish semigroup topologies. Also, we show that the monoid $\operatorname{End}(\mathbb{N},<)$ admits exactly $2^{\aleph_0}$ Polish semigroup topologies and no maximal second-countable semigroup topology.

math.GR↗
arXiv2025

Countably compact inverse semigroups and Nyikos' problem

A regular separable first-countable countably compact space is called a Nyikos space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is compact. Also, we show that a topological semigroup $S$ that contains a dense inverse subsemigroup is a topological inverse semigroup, provided (i) $S$ is compact, or (ii) $S$ is countably compact and sequential. The latter result solves a problem of Banakh and Pastukhova and provides the automatic continuity of inversion in certain compact-like inverse semigroups.

math.GN↗
arXiv2025

Schur ultrafilters and Bohr compactifications of topological groups

In this paper we investigate Schur ultrafilters on groups. Using the algebraic structure of Stone-Čech compactifications of discrete groups and Schur ultrafilters, we give a new description of Bohr compactifications of topological groups. This approach allows us to characterize chart groups that are topological groups. Namely, a chart group $G$ is a topological group if and only if each Schur ultrafilter on $G$ converges to the unit of $G$.

math.GN↗
arXiv2024

Classifying the Polish semigroup topologies on the symmetric inverse monoid

We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show that the monoid endowed with any second countable T_1 semigroup topology is homeomorphic to the Baire space.

math.RA↗
arXiv2024

Countably compact extensions and cardinal characteristics of the continuum

In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$ if and only if every regular first-countable space of weight $< \mathfrak c$ can be densely embedded into a regular first-countable countably compact space.

math.LO↗
arXiv2024

Local and global properties of spaces of minimal usco maps

In this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space $Y$, we characterize the space of minimal usco maps from $X$ to $Y$, satisfying one of the following properties: (i) compact, (ii) locally compact, (iii) $σ$-compact, (iv) locally $σ$-compact, (v) metrizable, (vi) ccc, (vii) locally ccc, where in the last two items we additionally assumed that $Y$ is separable and non-discrete. Some of the aforementioned results complement ones of Ľubica Holá and Dušan Holý. Also, we obtain analogical characterizations for spaces of minimal cusco maps.

math.GN↗
arXiv2024

Open filters and measurable cardinals

In this paper, we investigate the poset $\mathbf{OF}(X)$ of free open filters on a given space $X$. In particular, we characterize spaces for which $\mathbf{OF}(X)$ is a lattice. For each $n\in\mathbb{N}$ we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $(ω+1,\geq)$. To prove the latter facts we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of $β(κ)$. Assuming the existence of $n$ measurable cardinals, for every $m_0,\ldots,m_{n}\in\mathbb N$ we construct a space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $\prod_{i=0}^nm_i$. Also, we show that the existence of a metric space possessing a free $ω_1$-complete closed, $G_δ$, $F_σ$ or Borel ultrafilter is equivalent to the existence of a measurable cardinal.

math.GN↗
arXiv2023

Selective separability properties of Fréchet-Urysohn spaces and their products

In this paper we study the behaviour of selective separability properties in the class of Frechét-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frechét-Urysohn (hence $R$-separable and selectively separable) space which is not $H$-separable; assuming $\mathfrak{p}=\mathfrak{c}$, we construct such an example which is also zero-dimensional and $α_{4}$. Also, motivated by a result of Barman and Dow stating that the product of two countable Frechét-Urysohn spaces is $M$-separable under PFA, we show that the MA is not sufficient here. In the last section we prove that in the Laver model, the product of any two $H$-separable spaces is $mH$-separable.

math.GN↗
arXiv2023

Ideal approach to convergence in functional spaces

We solve the last standing open problem from the seminal paper by J. Gerlits and Zs. Nagy, which was later reposed by A. Miller, T. Orenshtein and B. Tsaban. Namely, we show that under p = c there is a δ-set that is not a γ-set. Thus we construct a set of reals A such that the space Cp(A) of all real-valued continuous functions on A is not Frechet-Urysohn, but possesses the Pytkeev property. Moreover, under CH we construct a π-set that is not a δ-set solving a problem by M. Sakai. In fact, we construct various examples of δ-sets that are not γ-sets, satisfying finer properties parametrized by ideals on natural numbers. Finally, we distinguish ideal variants of the Frechet-Urysohn property for many different Borel ideals in the realm of functional spaces.

math.GN↗
arXiv2023

Filters, ideal independence and ideal Mrówka spaces

A family $\mathcal{A} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent. We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal $\mathcal J$-almost disjoint for a particular ideal $\mathcal J$ on $ω$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, where $\mathfrak{s}_{mm}$ is the minimal cardinality of maximal ideal independent family. This, in particular, establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions. We also study natural filters associated with ideal independence and introduce an analog of Mrówka spaces for ideal independent families.

math.LO↗
arXiv2023

Absolutely closed semigroups

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let $\mathsf{T_{\!1}S}$, $\mathsf{T_{\!2}S}$, and $\mathsf{T_{\!z}S}$ be the classes of $T_1$, Hausdorff, and Tychonoff zero-dimensional topological semigroups, respectively. We prove that a commutative semigroup $X$ is absolutely $\mathsf{T_{\!z}S}$-closed if and only if $X$ is absolutely $\mathsf{T_{\!2}S}$-closed if and only if $X$ is chain-finite, bounded, group-finite and Clifford+finite. On the other hand, a commutative semigroup $X$ is absolutely $\mathsf{T_{\!1}S}$-closed if and only if $X$ is finite. Also, for a given absolutely $\mathcal C$-closed semigroup $X$ we detect absolutely $\mathcal C$-closed subsemigroups in the center of $X$.

math.GN↗
arXiv2023

Subgroups of categorically closed semigroups

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal C$-$closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$-closed; (3) $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$, (4) $injectively$ $\mathcal C$-$closed$ (resp. $\mathcal C$-$discrete$) if for any injective homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed (resp. discrete) in $Y$. Let $\mathsf{T_{\!z}S}$ be the class of Tychonoff zero-dimensional topological semigroups. For a semigroup $X$ let $V\!E(X)$ be the set of all viable idempotents of $X$, i.e., idempotents $e$ such that the complement $X\setminus\frac{H_e}e$ of the set $\frac{H_e}e=\{x\in X:xe=ex\in H_e\}$ is an ideal in $X$. We prove the following results: (i) for any ideally $\mathsf{T_{\!z}S}$-closed semigroup $X$ each subgroup of the center $Z(X)=\{z\in X:\forall x\in X\;\;(xz=zx)\}$ is bounded; (ii) for any $\mathsf{T_{\!z}S}$-closed semigroup $X$, each subgroup of the ideal center $I\!Z(X)=\{z\in Z(X):zX\subseteq Z(X)\}$ is bounded; (iii) for any $\mathsf{T_{\!z}S}$-discrete or injectively $\mathsf{T_{\!z}S}$-closed semigroup $X$, every subgroup of $Z(X)$ is finite, (iv) for any viable idempotent $e$ in an ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed semigroup $X$, the maximal subgroup $H_e$ is ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed and has bounded (and finite) center $Z(H_e)$.

math.GR↗
arXiv2022

Categorically closed countable semigroups

In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with finite-to-one shifts is injectively $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf{T_{\!1}S}$-nontopologizable in the sense that every $T_1$ semigroup topology on $X$ is discrete. Moreover, a countable cancellative semigroup $X$ is absolutely $\mathsf T_{\!1}\mathsf S$-closed if and only if every homomorphic image of $X$ is $\mathsf T_{\!1}\mathsf S$-nontopologizable. Also, we introduce and investigate a notion of a polybounded semigroup. It is proved that a countable semigroup $X$ with finite-to-one shifts is polybounded if and only if $X$ is $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf T_{\!z}\mathsf S$-closed, where $\mathsf T_{\!z}\mathsf S$ is a class of zero-dimensional Tychonoff topological semigroups. We show that polyboundedness provides an automatic continuity of the inversion in $T_1$ paratopological groups and prove that every cancellative polybounded semigroup is a group.

math.GN↗
arXiv2021

Characterizing chain-compact and chain-finite topological semilattices

In the paper we present various characterizations of chain-compact and chain-finite topological semilattices. A topological semilattice $X$ is called chain-compact (resp. chain-finite) if each closed chain in $X$ is compact (finite). In particular, we prove that a (Hausdorff) $T_1$-topological semilattice $X$ is chain-finite (chain-compact) if and only if for any closed subsemilattice $Z\subset X$ and any continuous homomorphism $h:X\to Y$ to a (Hausdorff) $T_1$-topological semilattice $Y$ the image $h(X)$ is closed in $Y$.

math.GN↗
arXiv2021

Characterizing categorically closed commutative semigroups

Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in \mathcal C$ containing $X$ as a discrete subsemigroup; $X$ is $projectively$ $\mathcal C$-$closed$ if for each congruence $\approx$ on $X$ the quotient semigroup $X/_\approx$ is $\mathcal C$-closed. A semigroup $X$ is called $chain$-$finite$ if for any infinite set $I\subseteq X$ there are elements $x,y\in I$ such that $xy\notin\{x,y\}$. We prove that a semigroup $X$ is $\mathcal C$-closed if it admits a homomorphism $h:X\to E$ to a chain-finite semilattice $E$ such that for every $e\in E$ the semigroup $h^{-1}(e)$ is $\mathcal C$-closed. Applying this theorem, we prove that a commutative semigroup $X$ is $\mathcal C$-closed if and only if $X$ is periodic, chain-finite, all subgroups of $X$ are bounded, and for any infinite set $A\subseteq X$ the product $AA$ is not a singleton. A commutative semigroup $X$ is projectively $\mathcal C$-closed if and only if $X$ is chain-finite, all subgroups of $X$ are bounded and the union $H(X)$ of all subgroups in $X$ has finite complement $X\setminus H(X)$.

math.AC↗