arXiv Science⌕ Search

arXiv subjects

Adam Kwela

Publications and source records attributed to Adam Kwela.

At least 19 recordsLinked to original sources
arXiv2026

Are scales Fr\'echet?

We continue the study of Dow spaces of a $\mathfrak{b}$-scale, originally introduced by Alan Dow in "$\pi$-Weight and the Fr\'echet-Urysohn property" (Topology and its Applications, Vol. 174, pp. 56-61). We prove that it is consistent that all such spaces are Fr\'echet, but it is also consistent that none of them is. We use these spaces to exhibit (consistently) a $\triangle_{2}^{1}$ ideal that does not satisfy the Category Dichotomy. Finally, we prove that the Category Dichotomy holds for all co-analytic ideals.

math.GN↗
arXiv2026

A new order for ideal sequential compactness

Let $\mathcal{I}$ be an ideal on $\omega$ and $X$ be a topological space. A sequence $(x_n)_{n\in \omega}$ in $X$ is $\mathcal{I}$-convergent if there is $x\in X$ such that $\{n\in \omega:x_n\notin U\}\in\mathcal{I}$ for every open neighborhood $U$ of $x$. We examine the following variant of sequential compactness associated with $\I$: $X$ is $\mathrm{BW}(\mathcal{I})$ if for every sequence $(x_n)_{n\in \omega}$ in $X$ there is $A\notin\mathcal{I}$ such that $(x_n)_{n\in A}$ is $\mathcal{I}$-convergent. We introduce a new preorder on ideals, denoted $\leq_{BW}$, such that $\mathcal{I}\leq_{BW}\mathcal{J}$ implies that every $\mathrm{BW}(\mathcal{J})$ space is $\mathrm{BW}(\mathcal{I})$. Our main result states that under CH the above implication can be reversed in the case of $\mathbf{F_\sigma}$ ideals $\I$ and $\J$. We compare $\leq_{BW}$ with the Kat\v{e}tov order and study the relation $\leq_{BW}$ among some well-known ideals (e.g. the van der Waerden ideal $\mathcal{W}$ consisting of all subsets of $\omega$ that do not contain arbitrary long finite arithmetic progressions). As a consequence, we answer two open questions posed by Filip\'{o}w and Tryba in [Top. App. {\textbf{178}} (2014), 438--452] concerning comparison of $\mathrm{BW}(\mathcal{W})$ with the class of sequentially compact spaces.

math.GN↗
arXiv2026

Critical partition regular functions for compact spaces

We study ideal-based refinements of sequential compactness arising from the class FinBW(I), consisting of topological spaces in which every sequence admits a convergent subsequence indexed by a set outside a given ideal I. A central theme of this work is the existence of critical ideals whose position in the Katetov order determines the relationship between a fixed class of spaces and the corresponding FinBW(I) classes. Building on earlier results characterizing several classical topological classes via such ideals, we extend this theory to a broader framework based on partition regular functions, which unifies ordinary convergence with other non-classical convergence notions such as IP- and Ramsey-type convergence. Furthermore, we investigate the existence of critical ideals associated with function classes motivated by Mazurkiewicz's theorem on uniformly convergent subsequences.

math.GN↗
arXiv2026

Sets of Ramsey-limit points and IP-limit points

Let $X$ be an uncountable Polish space and let $\mathcal{H}$ be the Hindman ideal, that is, the family of all $S\subseteq \omega$ which are not $IP$-sets. For each sequence $x=(x_n)_{n \in \omega}$ taking values in $X$, let $\Lambda_{x}(FS)$ be the set of $IP$-limit points of $x$. Also, let $\Lambda_{x}(\mathcal{H})$ be the set of $\mathcal{H}$-limit points of $x$, that is, the set of ordinary limits of subsequences $(x_n)_{n \in S}$ with $S\notin \mathcal{H}$. After proving that these two notions do not coincide in general, we show that both families of nonempty sets of the type $\Lambda_{x}(FS)$ and of the type $\Lambda_{x}(\mathcal{H})$ are precisely the class of nonempty analytic subsets of $X$. An analogous result holds also for Ramsey convergence. In the proofs, we use the concept of partition regular functions introduced in J. Symb. Log. (2024) [doi:10.1017/jsl.2024.8], which provide a unified approach to these types of convergence.

math.GN↗
arXiv2025

Zoo of ideal Schauder basis

We investigate the notion of filter (equivalently: ideal) Schauder basis of a Banach space. We do so by providing bunch of new examples of such bases that are not the standard ones, especially within classical Banach spaces ($\ell_p$, $c_0$, James' space). Those examples lead to distinguishing and characterizing filters (equivalently: ideals) in terms of Schauder bases. We investigate the relationship between possibly basic sequences and filters (equivalently: ideals) on the set of natural numbers.

math.FA↗
arXiv2025

Critical ideals for compact spaces

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The characterization is expressed in terms of finding a convergent subsequence defined on a set not belonging to $conv_\alpha$.

math.GN↗
arXiv2024

Compactness in spaces of functions of bounded variation from ideal perspective

Recently we have presented a unified approach to two classes of Banach spaces defined by means of variations (Waterman spaces and Chanturia classes), utilizing the concepts from the theory of ideals on the set of natural numbers. We defined correspondence between an ideal on the set of natural numbers, a certain sequence space and related space of functions of bounded variation. In this paper, following these ideas, we give characterizations of compact embeddings between different Waterman spaces and between different Chanturia classes: both in terms of sequences defining these function spaces and in terms of properties of ideals corresponding to these function spaces.

math.FA↗
arXiv2024

Borel complexity of sets of ideal limit points

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to $\eta$ such that the set of indexes $\{k_n: n \in \omega\}\notin \mathcal{I}$. Denote by $\mathscr{L}(\mathcal{I})$ the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$ or $S$ is empty. In this paper, we study the relationships between the topological complexity of ideals $\mathcal{I}$, their combinatorial properties, and the families of sets $\mathscr{L}(\mathcal{I})$ which can be attained. On the positive side, we provide several purely combinatorial (not dependind on the space $X$) characterizations of ideals $\mathcal{I}$ for the inclusions and the equalities between $\mathscr{L}(\mathcal{I})$ and the Borel classes $\Pi^0_1$, $\Sigma^0_2$, and $\Pi^0_3$. As a consequence, we prove that if $\mathcal{I}$ is a $\Pi^0_4$ ideal then exactly one of the following cases holds: $\mathscr{L}(\mathcal{I})=\Pi^0_1$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^1_1$ (however we do not have an example of a $\Pi^0_4$ ideal with $\mathscr{L}(\mathcal{I})=\Sigma^1_1$). In addition, we provide an explicit example of a coanalytic ideal $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})=\Sigma^1_1$. On the negative side, we show that there are no ideals $\mathcal{I}$ such that $\mathscr{L}(\mathcal{I})=\Pi^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_3$. We conclude with several open questions.

math.GN↗
arXiv2024

Functions of bounded variation from ideal perspective

We present a unified approach to two classes of Banach spaces defined with the aid of variations: Waterman spaces and Chanturia classes. Our method is based on some ideas coming from the theory of ideals on the set of natural numbers.

math.FA↗
arXiv2024

More on yet another ideal version of the bounding number

This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065--1092]. For an ideal $\mathcal{I}$ on $\omega$ we denote $\mathcal{D}_{\mathcal{I}}=\{f\in\omega^\omega: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in \omega$}\}$ and write $f\leq_{\mathcal{I}} g$ if $\{n\in\omega:f(n)>g(n)\}\in\mathcal{I}$, where $f,g\in\omega^\omega$. We study the cardinal numbers $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ describing the smallest sizes of subsets of $\mathcal{D}_{\mathcal{I}}$ that are unbounded from below with respect to $\leq_{\mathcal{I}}$. In particular, we examine the relationships of $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ with the dominating number $\mathfrak{d}$. We show that, consistently, $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))>\mathfrak{d}$ for some ideal $\mathcal{I}$, however $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))\leq\mathfrak{d}$ for all analytic ideals $\mathcal{I}$. Moreover, we give example of a Borel ideal with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))=add(\mathcal{M})$.

math.LO↗
arXiv2023

Egorov ideals

We study Egorov ideals, that is ideals on $\omega$ for which the Egorov's theorem for ideal versions of pointwise and uniform convergences holds. We show that a non-pathological $\bf{\Sigma^0_2}$ ideal is Egorov if and only if it is countably generated. In particular, up to isomorphism, there are only three non-pathological $\bf{\Sigma^0_2}$ Egorov ideals. On the other hand, we construct $2^\omega$ pairwise non-isomorphic Borel Egorov ideals. Moreover, we characterize when a product of ideals is Egorov.

math.LO↗
arXiv2023

New Hindman spaces

We introduce a method that allows to turn topological questions about Hindman spaces into purely combinatorial questions about the Kat\v{e}tov order of ideals on $\mathbb{N}$. We also provide two applications of the method. (1) We characterize $F_\sigma$ ideals $\mathcal{I}$ for which there is a Hindman space which is not an $\mathcal{I}$-space under the continuum hypothesis. This reduces a topological question of Albin L. Jones about consistency of existence of a Hindman space which is not van der Waerden to the question whether the ideal of all non AP-sets is not below the ideal of all non IP-sets in the Kat\v{e}tov order. (2) Under the continuum hypothesis, we construct a Hindman space which is not an $\mathcal{I}_{1/n}$-space. This answers a question posed by Jana Fla\v{s}kov\'{a} at the 22nd Summer Conference on Topology and its Applications.

math.GN↗
arXiv2023

Characterizing existence of certain ultrafilters

Following Baumgartner [J. Symb. Log. 60 (1995), no. 2], for an ideal $\mathcal{I}$ on $\omega$, we say that an ultrafilter $\mathcal{U}$ on $\omega$ is an $\mathcal{I}$-ultrafilter if for every function $f:\omega\to\omega$ there is $A\in \mathcal{U}$ with $f[A]\in \mathcal{I}$. If there is an $\mathcal{I}$-ultrafilter which is not a $\mathcal{J}$-ultrafilter, then $\mathcal{I}$ is not below $\mathcal{J}$ in the Kat\v{e}tov order $\leq_{K}$ (i.e. for every function $f:\omega\to\omega$ there is $A\in \mathcal{I}$ with $f^{-1}[A]\notin \mathcal{J}$). On the other hand, in general $\mathcal{I}\not\leq_{K}\mathcal{J}$ does not imply that existence of an $\mathcal{I}$-ultrafilter which is not a $\mathcal{J}$-ultrafilter is consistent. We provide some sufficient conditions on ideals to obtain the equivalence: $\mathcal{I}\not\leq_{K}\mathcal{J}$ if and only if it is consistent that there exists an $\mathcal{I}$-ultrafilter which is not a $\mathcal{J}$-ultrafilter. In some cases when the Kat\v{e}tov order is not enough for the above equivalence, we provide other conditions for which a similar equivalence holds. We are mainly interested in the cases when the family of all $\mathcal{I}$-ultrafilters or $\mathcal{J}$-ultrafilters coincides with some known family of ultrafilters: P-points, Q-points or selective ultrafilters (a.k.a. Ramsey ultrafilters). In particular, our results provide a characterization of Borel ideals $\mathcal{I}$ which can be used to characterize P-points as $\mathcal{I}$-ultrafilters. Moreover, we introduce a cardinal invariant which is used to obtain a sufficient condition for the existence of an $\mathcal{I}$-ultrafilter which is not a $\mathcal{I}$-ultrafilter. Finally, we prove some new results concerning existence of certain ultrafilters under various set-theoretic assumptions.

math.LO↗
arXiv2023

Spaces not distinguishing ideal pointwise and $\sigma$-uniform convergence

We examine topological spaces not distinguishing ideal pointwise and ideal $\sigma$-uniform convergence of sequences of real-valued continuous functions defined on them. For instance, we introduce a purely combinatorial cardinal characteristic (a sort of the bounding number $\mathfrak{b}$) and prove that it describes the minimal cardinality of topological spaces which distinguish ideal pointwise and ideal $\sigma$-uniform convergence. Moreover, we provide examples of topological spaces (focusing on subsets of reals) that do or do not distinguish the considered convergences. Since similar investigations for ideal quasi-normal convergence instead of ideal $\sigma$-uniform convergence have been performed in literature, we also study spaces not distinguishing ideal quasi-normal and ideal $\sigma$-uniform convergence of sequences of real-valued continuous functions defined on them.

math.GN↗
arXiv2023

Yet another ideal version of the bounding number

Let $\mathcal{I}$ be an ideal on $\omega$. For $f,g\in\omega^\omega$ we write $f \leq_{\mathcal{I}} g$ if $f(n) \leq g(n)$ for all $n\in\omega\setminus A$ with some $A\in\mathcal{I}$. Moreover, we denote $\mathcal{D}_{\mathcal{I}}=\{f\in\omega^\omega: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in \omega$}\}$ (in particular, $\mathcal{D}_{Fin}$ denotes the family of all finite-to-one functions). We examine cardinal numbers $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ and $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{Fin}\times \mathcal{D}_{Fin}))$ describing the smallest sizes of unbounded from below with respect to the order $\leq_{\mathcal{I}}$ sets in $\mathcal{D}_{Fin}$ and $\mathcal{D}_{\mathcal{I}}$, respectively. For a maximal ideal $\mathcal{I}$, these cardinals were investigated by M. Canjar in connection with coinitial and cofinal subsets of the ultrapowers. We show that $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{Fin} \times \mathcal{D}_{Fin})) =\mathfrak{b}$ for all ideals $\mathcal{I}$ with the Baire property and that $\aleph_1 \leq \mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}})) \leq\mathfrak{b}$ for all coanalytic weak P-ideals (this class contains all $\Pi^0_4$ ideals). What is more, we give examples of Borel (even $\Sigma^0_2$) ideals $\mathcal{I}$ with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))=\mathfrak{b}$ as well as with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}})) =\aleph_1$.

math.LO↗
arXiv2023

Kat\v{e}tov order between Hindman, Ramsey, van der Waerden and summable ideals

A family I of subsets of a set X is an ideal on X if it is closed under taking subsets and finite unions of its elements. An ideal I on X is below an ideal J on Y in the Katetov order if there is a function $f:Y\to X$ such that $f^{-1}[A]\in J$ for every $A\in I$. We show that the Hindman ideal, the Ramsey ideal and the summable ideal are pairwise incomparable in the Katetov order, where * the Ramsey ideal consists of those sets of pairs of natural numbers which do not contain a set of all pairs of any infinite set (equivalently do not contain, in a sense, any infinite complete subgraph), * the Hindman ideal consists of those sets of natural numbers which do not contain any infinite set together with all finite sums of its members (equivalently do not contain IP-sets that are considered in Ergodic Ramsey theory), * the summable ideal consists of those sets of natural numbers such that the series of the reciprocals of its members is convergent. Moreover, we show that in the Katetov order the above mentioned ideals are not below the van der Waerden ideal that consists of those sets of natural numbers which do not contain arithmetic progressions of arbitrary finite length.

math.LO↗
arXiv2023

A unified approach to Hindman, Ramsey and van der Waerden spaces

For many years, there have been conducting research (e.g. by Bergelson, Furstenberg, Kojman, Kubi\'{s}, Shelah, Szeptycki, Weiss) into sequentially compact spaces that are, in a sense, topological counterparts of some combinatorial theorems, for instance Ramsey's theorem for coloring graphs, Hindman's finite sums theorem and van der Waerden's arithmetical progressions theorem. These spaces are defined with the aid of different kinds of convergences: IP-convergence, R-convergence and ordinary convergence. The first aim of this paper is to present a unified approach to these various types of convergences and spaces. Then, using this unified approach, we prove some general theorems about existence of the considered spaces and show that all results obtained so far in this subject can be derived from our theorems. The second aim of this paper is to obtain new results about the specific types of these spaces. For instance, we construct a Hausdorff Hindman space that is not an $\I_{1/n}$-space and a Hausdorff differentially compact space that is not Hindman. Moreover, we compare Ramsey spaces with other types of spaces. For instance, we construct a Ramsey space that is not Hindman and a Hindman space that is not Ramsey. The last aim of this paper is to provide a characterization that shows when there exists a space of one considered type that is not of the other kind. This characterization is expressed in purely combinatorial manner with the aid of the so-called Kat\v{e}tov order that has been extensively examined for many years so far. This paper may interest the general audience of mathematicians as the results we obtain are on the intersection of topology, combinatorics, set theory and number theory.

math.GN↗