Unboring ideals

TL;DR

This paper investigates the properties of topological spaces related to ideals on natural numbers, introducing a critical ideal and exploring conditions under which certain spaces belong to classes defined by these ideals, with implications for Hindman spaces and P-ideals.

Contribution

It defines the critical ideal I for the class FinBW(), analyzes its properties under set-theoretic assumptions, and explores the structure of ideals related to convergence and topological space classifications.

Findings

I is not reducible to any ideal  under CH.

The space  with the order topology belongs to FinBW() for all f{\u03a0^0_4} ideals .

Under MA(- extcentered), nonemptiness of certain classes relates to Kat
19tov orderings.

Abstract

Our main object of interest is the following notion: we say that a topological space space $X$ is in FinBW($\mathcal{I}$), where $\mathcal{I}$ is an ideal on $\omega$, if for each sequence $(x_n)_{n\in\omega}$ in $X$ one can find an $A\notin\mathcal{I}$ such that $(x_n)_{n\in A}$ converges in $X$. We define an ideal $\mathcal{BI}$ which is critical for FinBW($\mathcal{I}$) in the following sense: Under CH, for every ideal $\mathcal{I}$, $\mathcal{BI}\not\leq_K\mathcal{I}$ ($\leq_K$ denotes the Kat\v{e}tov preorder of ideals) iff there is an uncountable separable space in FinBW($\mathcal{I}$). We show that $\mathcal{BI}\not\leq_K\mathcal{I}$ and $\omega_1$ with the order topology is in FinBW($\mathcal{I}$), for all $\bf{\Pi^0_4}$ ideals $\mathcal{I}$. We examine when FinBW($\mathcal{I}$)$\setminus$FinBW($\mathcal{J}$) is nonempty: we prove under MA($\sigma$-centered) that for $\bf{\Pi^0_4}$ ideals $\mathcal{I}$ and $\mathcal{J}$ this is equivalent to $\mathcal{J}\not\leq_K\mathcal{I}$. Moreover, answering in negative a question of M. Hru\v{s}\'ak and D. Meza-Alc\'antara, we show that the ideal $\text{Fin}\times\text{Fin}$ is not critical among Borel ideals for extendability to a $\bf{\Pi^0_3}$ ideal. Finally, we apply our results in studies of Hindman spaces and in the context of analytic P-ideals.