An Ideal Zoo in the Baire Space

2025-10-31T12:42:37Z

In this paper, we study the translations into the Baire space of several well-known $σ$-ideals and families originally defined on the Cantor space, using their combinatorial characterizations. These include the ideals of null sets, small sets, those generated by closed measure-zero sets, and the meager sets, leading to their "fake" analogues in the Baire space. We also parametrize families related to null sets by functions from $ω^ω$. Several structural properties and relations between these families are investigated, including whether they form ideals, the existence of large chains and antichains, orthogonality, the $κ$-chain condition, and the determination of certain cardinal invariants.

Closed graph property in Alexandroff spaces

2025-10-31T07:41:35Z

In the following text we show if $X$ is an Alexandroff space, then $f:X\to Y$ has closed graph if and only if it has constant closed value on each connected component of $X$. Moreover, if $X$ an Alexandroff space and $f:X\to Y$ has closed graph, then $f:X\to Y$ is continuous. As a matter of fact, the number of maps which have closed graph from Alexandroff space $X$ to a topological space $Y$ depends just on the the number of connected components of $X$ and the number of closed points of $Y$.

Countable quasicontinuous domains are quasialgebraic

2025-10-30T14:16:13Z

We prove that every quasicontinuous domain that fails to be quasialgebraic admits the unit interval [0, 1] as its monotone Lawson-continuous image. As a result, every countable quasicontinuous domain is quasialgebraic.

Countable dense homogeneity in large products of Polish spaces

2025-10-29T09:38:17Z

We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense homogeneous if the following conditions hold: (1) Each factor is strongly locally homogeneous, (2) Each factor is strongly $n$-homogeneous for every $n\inω$, (3) Every countable subset of the product can be brought in general position. For example, using the above theorem, one can show that $2^κ$, $ω^κ$, $\mathbb{R}^κ$ and $[0,1]^κ$ are countable dense homogeneous for every infinite $κ<\mathfrak{p}$ (these results are due to Steprāns and Zhou, except for the one concerning $ω^κ$). In fact, as a new application, we will show that every product of fewer than $\mathfrak{p}$ connected manifolds with boundary is countable dense homogeneous, provided that none or infinitely many of the boundaries are non-empty. This generalizes a result of Yang. Along the way, we will discuss and employ several results concerning the general position of countable sets. Finally, we will show that our main result and its corollaries are optimal.

When the conformal dimension of a self-affine sponge of Lalley-Gatzouras type is zero

2025-10-29T01:24:04Z

It is well known that if a metric space is uniformly disconnected, then its conformal dimension is zero. First, we characterize when a self-affine sponge of Lalley-Gatzouras type is uniformly disconnected. Thanks to this characterization, we show that a self-affine sponge of Lalley-Gatzouras type has conformal dimension zero if and only if it is uniformly disconnected.

An Elementary Expository Study: From Metric Spaces to Hilbert Spaces

2025-10-28T21:55:47Z

Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an elementary exposition of metric spaces and their associated topologies. We start by recalling the basic axioms through which we understand a metric and examine various examples. The induced topology is next discussed with emphasis on open and closed sets, continuity and limits. In addition, we compare equivalent metric spaces and illustrate how different metrics can generate but the same topological structure. The presentation is designed to be easy to follow and accessible to undergraduate students, by combining classical definitions with illustrative examples that allow a deeper understanding of the aforementioned concepts.

Some notes on Pontryagin duality of abelian topological groups

2025-10-28T15:42:55Z

We consider several questions related to Pontryagin duality in the category of abelian pro-Lie groups.

Unicoherence in Locales

2025-10-28T13:47:16Z

In this paper, we generalize the concept of unicoherence to the context of frames. Unicoherence, originally introduced by Kuratowski, is a connectedness property that is well studied in classical topology and used to detect holes of a space. We extend the notion of unicoherence to locales and we then investigate its properties. In particular, we prove that many of the known characterizations of unicoherence for topological spaces extend to the setting of locales. Some of these characterizations interestingly involve separation properties for locales.

Menger and consonant sets in the Sacks model

2025-10-27T16:09:06Z

Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model.

Kuratowski Monoids on Posets

2025-10-27T14:02:28Z

Ciraulo recently showed that Kuratowski's closure-complement problem for arbitrary powersets of topological spaces extends constructively to the interior-pseudocomplement problem for arbitrary posets, using the closure-interior problem for posets (CIP) as a natural starting point. After a brief overview of CIP, we resolve two diagram-completeness problems left open by Ciraulo. Finally, we study operator semigroups arising from a little-known 1941 theorem of Chittenden, which generalizes CIP.

Lower Separation Axioms for X-top Lattices

2025-10-25T16:33:54Z

We study separation axioms for $X$-top-lattices (i.e. lattices $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$% We give graphical characterizations for an $X$-top-lattice to be $T_{1},$ $% T_{\frac{1}{4}},$ $T_{\frac{1}{2}},$ $T_{\frac{3}{4}}$ and provide several families of examples/counterexamples that illustrate our results. We apply our results mainly to the prime (resp. maximal, minimal) spectra of prime (resp. maximal, minimal) ideals of commutative (semi)rings.

New classes of compact-type spaces

2025-10-24T16:58:07Z

Being motivated by the notions of $κ$-Fréchet--Urysohn spaces and $k'$-spaces introduced by Arhangel'skii, the notion of sequential spaces and the study of Ascoli spaces, we introduce three new classes of compact-type spaces. They are defined by the possibility to attain each or some of boundary points $x$ of an open set $U$ by a sequence in $U$ converging to $x$ or by a relatively compact subset $A\subseteq U$ such that $x\in \overline{A}$. Relationships of the introduced classes with the classical classes (as, for example, the classes of $κ$-Fréchet--Urysohn spaces, (sequentially) Ascoli spaces, $k_{\mathbb R}$-spaces, $s_{\mathbb R}$-spaces etc.) are given. We characterize these new classes of spaces and study them with respect to taking products, subspaces and quotients. In particular, we give new characterizations of $κ$-Fréchet--Urysohn spaces and show that each feathered topological group is $κ$-Fréchet--Urysohn. We describe locally compact abelian groups which endowed with the Bohr topology belong to one of the aforementioned classes. Numerous examples are given.

On the topology of real algebraic stacks

2025-10-24T12:20:47Z

Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify in several cases the Smith-Thom type inequality for stacks that we conjectured in an earlier work. This requires combining techniques from group theory, algebraic geometry, and topology.

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real-World Data

2025-10-23T20:01:41Z

Recent years have witnessed a fast growth in mathematical artificial intelligence (AI). One of the most successful mathematical AI approaches is topological data analysis (TDA) via persistent homology (PH) that provides explainable AI (xAI) by extracting multiscale structural features from complex datasets. This work investigates the interpretability and representability of three foundational mathematical AI methods, PH, persistent Laplacians (PL) derived from spectral theory, and persistent commutative algebra (PCA) rooted in Stanley-Reisner theory. We apply these methods to a set of data, including geometric shapes, synthetic complexes, fullerene structures, and biomolecular systems to examine their geometric, topological and algebraic properties. PH captures topological invariants such as connected components, loops, and voids through persistence barcodes. PL extends PH by incorporating spectral information, quantifying topological invariants, geometric stiffness and connectivity via harmonic and non-harmonic spectra. PCA introduces algebraic invariants such as graded Betti numbers, facet persistence, and f/h-vectors, offering combinatorial, topological, geometric, and algebraic perspectives on data over scales. Comparative analysis reveals that while PH offers computational efficiency and intuitive visualization, PL provides enhanced geometric sensitivity, and PCA delivers rich algebraic interpretability. Together, these methods form a hierarchy of mathematical representations, enabling explainable and generalizable AI for real-world data.

A complete classification of the zero-dimensional homogeneous spaces under determinacy

2025-10-22T18:22:07Z

All spaces are assumed to be separable and metrizable. We give a complete classification of the zero-dimensional homogeneous spaces, under the Axiom of Determinacy. This classification is expressed in terms of topological complexity (in the sense of Wadge theory) and Baire category. In the same spirit, we also give a complete classification of the filters on $ω$ up to homeomorphism. As byproducts, we obtain purely topological characterizations of the semifilters and filters on $ω$. The Borel versions of these results are in almost all cases due to Fons van Engelen. Along the way, we obtain Wadge-theoretic results of independent interest, especially regarding closure properties.