https://arxiv.org/api/lOHn4j0TcmHkRuDz1J+yn3OnHEo 2026-03-22T14:48:24Z 5815 105 15 http://arxiv.org/abs/2601.13805v1 2026-01-20T10:05:48Z

We continue the study of ideal convergence for sequences $(x_n)$ with values in a topological space $X$ with respect to a family $\{F_η:η\in X\}$ of subsets of $X$ with $η\in F_η$, where each $F_η$ measures the allowed ``roughness'' of convergence toward $η$. More precisely, after introducing the corresponding notions of cluster and limit points, we prove several inclusion and invariance properties, discuss their structural properties, and give examples showing that the rough notions are genuinely different from the classical ideal ones.

2026-01-20T10:05:48Z Paolo Leonetti http://arxiv.org/abs/2601.13135v1 2026-01-19T15:20:47Z

We compute the exact complexity of the set of all arc-connected compact subsets of $\boldmath R^2$, which turns out to be strictly higher than the classical $\boldmath Σ^1_1$ and $\boldmath Π^1_1$ classes of analytic and coanalytic sets, but stricly lower than the class $\boldmath Π^1_2$ which is the exact descriptive class of the set of all arc-connected compact subsets of $\boldmath R^3$.

2026-01-19T15:20:47Z Gabriel Debs Jean Saint Raymond http://arxiv.org/abs/2601.12932v1 2026-01-19T10:37:05Z

A preordered topological space is a topological space with a preordering. We exhibit a Stone-like duality for preordered topological spaces, Inspired by a similar duality for bitopological spaces, due to Jung-Moshier and Jakl, and by a duality for preordered sets due to Bonsangue, Jacobs and Kok.

2026-01-19T10:37:05Z 30 pages Jean Goubault-Larrecq http://arxiv.org/abs/2512.07660v3 2026-01-19T06:36:57Z

We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate functions and reconstructs a smooth atlas directly from the quadratic entropy response. We prove that this entropy-smooth structure is equivalent to the classical smooth structure, stable under perturbations, and compatible with products, submanifolds, immersions, and diffeomorphisms. This establishes smoothness as an information-theoretic phenomenon and forms the foundational layer of a broader program linking entropy, diffusion, and differential geometry.

2025-12-08T15:55:59Z Amandip Sangha http://arxiv.org/abs/2510.10825v3 2026-01-18T19:07:00Z

We provide new results on combinatorial characterizations of covering properties in end spaces and ray spaces. In particular, we characterize the Lindelöf degree, the extent, the Rothberger property, $σ$-compactness and the Menger property for ray, end and edge-end spaces. We show that $σ$-compactness and the Menger property are equivalent for these spaces, and that they are all $D$-spaces. As an application of some of these characterizations, we are able to provide combinatorial characterizations of graphs with countably many ends and edge-ends.

2025-10-12T22:25:51Z A few new results, including a combinatorial chracterization of graphs with countably many ends and edge and/or edge-ends. The introduction now presents a list of the main results of this paper Rodrigo Rey Carvalho Matheus Duzi Vinicius de Oliveira Rodrigues http://arxiv.org/abs/2405.16992v3 2026-01-18T15:15:04Z

We find anti-isomorphic submonoids $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ of the bicyclic monoid $\mathscr{C}(a,b)$ with the following properties: every Hausdorff left-continuous (right-continuous) topology on $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) is discrete and there exists a compact Hausdorff topological monoid $S$ which contains $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) as a submonoid. Also, we construct a non-discrete right-continuous (left-continuous) topology $τ_p^+$ ($τ_p^-$) on the semigroup $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) which is not left-continuous (right-continuous).

2024-05-27T09:38:53Z 9 pages Visnyk of the Lviv University. Series Mechanics and Mathematics 96 (2024), 25-36 Oleg Gutik 10.30970/vmm.2024.96.025-036 http://arxiv.org/abs/2601.12187v1 2026-01-17T22:36:52Z

Let $X$ be an uncountable Polish space and let $\mathcal{H}$ be the Hindman ideal, that is, the family of all $S\subseteq ω$ which are not $IP$-sets. For each sequence $x=(x_n)_{n \in ω}$ taking values in $X$, let $Λ_{x}(FS)$ be the set of $IP$-limit points of $x$. Also, let $Λ_{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 $Λ_{x}(FS)$ and of the type $Λ_{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.

2026-01-17T22:36:52Z Rafał Filipów Adam Kwela Paolo Leonetti http://arxiv.org/abs/2601.12041v1 2026-01-17T13:02:37Z

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.

2026-01-17T13:02:37Z Rafał Filipów Małgorzata Kowalczuk Hubert Książek Adam Kwela Grzegorz Ucal http://arxiv.org/abs/2601.11994v1 2026-01-17T10:08:21Z

We study conjugacy limits of certain of subgroups inside $\SL(2,\R)\ltimes\R^2$. These subgroups have a common feature that any two in the same category are conjugates of each other.

2026-01-17T10:08:21Z This article is a part of the previously uploaded article with the title "IRS on orbits and the case of $\SL(2,\mathbb{R})\ltimes\mathbb{R}^2$" from which two separate articles were made; the first one was uploaded with the title "Invariant random subgroups on certain orbits" Manoj Choudhuri C. R. E. Raja http://arxiv.org/abs/2601.11281v1 2026-01-16T13:26:14Z

Recently, Xu proposed a strongly well-filtered space in [24] and systematically investigated some of its properties and characterizations. In this paper, we introduce a new class of T0-spaces called S*-well-filtered spaces, which is strictly larger than the class of strongly well-filtered spaces. First, we establish some connections among S*-well-filtered spaces, d*-spaces and weak well-filtered spaces. Then it is demonstrated that for any dcpo P, the Scott space ΣP is a d*-space if and only if it is S*-well-filtered. Furthermore, some basic properties of S*-well-filtered spaces are discussed. We prove that if Y is an S*-well-filtered space, the function space TOP(X,Y) equipped with the Isbell topology may not be an S*-well-filtered space. Finally, we study the S*-well-filteredness of Smyth power spaces. In addition, Johnstone's non-sober dcpo example is shown to be S*-well-filtered yet it is not strongly well-filtered, thereby establishing an obvious distinction between these two classes of dcpos.

2026-01-16T13:26:14Z Nana Han Siheng Chen Qingguo Li http://arxiv.org/abs/2601.11112v1 2026-01-16T09:14:50Z

In non-Hausdorff topology, many spaces exhibit significant separation properties, such as sober spaces, well-filtered spaces and d-spaces. These properties serve to fundamentally classify T0 topological spaces. In this paper, we introduce and study a new class of topological spaces called co-Noetherian spaces, which can refine the classification of T0 spaces. We discuss some basic properties of co-Noetherian spaces and obtain an equivalent characterization of compactness under the strong topology. Additionally, we investigate the connections among KC-spaces, strong R-spaces and co-Noetherian spaces. Moreover, we establish an equivalence between the category of T0 co-Noetherian spaces with continuous mappings and a subcategory of the poset category. Finally, we provide counterexamples to show that the Hoare powerspace of a T0 space may fail to be co-Noetherian, and that the Smyth powerspace of a co-Noetherian space need not be co-Noetherian.

2026-01-16T09:14:50Z Xiangrui Li Qingguo Li http://arxiv.org/abs/2601.11009v1 2026-01-16T05:46:41Z

Matthew de Brecht raised the question of whether countable frames are continuous lattices. We prove that the continuity of a countable frame implies the quasicontinuity of its corresponding spectrum in the dual specialization order. We further show that this question admits a positive answer if the frame's spectrum is a $T_1$ space or a Scott space. In general, we confirm the existence of non-continuous countable frames. This work also partially addresses an open problem proposed by Jimmie Lawson and Michael Mislove in 1990, which concerns the characterization of when the spectrums of spatial frames are Scott spaces.

2026-01-16T05:46:41Z Xiaodong Jia Xiaoyong Xi http://arxiv.org/abs/2506.09723v2 2026-01-15T12:44:21Z

Let $G$ be a connected Lie group and $\text{Sub}_G$ be the space of closed subgroups of $G$ equipped with the Chabauty topology. In this article, we investigate the existence of invariant random subgroups of $G$ supported on various orbits of the conjugation action of $G$ on $\text{Sub}_G$.

2025-06-11T13:33:20Z The previous version of the article with the title "IRS on orbits and the case of $\SL(2,\mathbb{R})\ltimes \mathbb{R}^2$" is now made into two separate articles. The first one is the present one with the title "Invariant random subgroups on certain orbits". The second one will appear soon on the arXiv with a different title Manoj Choudhuri C. R. E. Raja http://arxiv.org/abs/2309.06704v2 2026-01-15T09:14:56Z

In 1959, Arens and Eells proved that every metric space can be isometrically embedded into a normed linear space as a closed subset. In later years, in the paper on a short proof of the Arens--Eells theorem, Michael implicitly pointed out that the Arens--Eells theorem follows from the statement that every metric space can be isometrically embedded into a normed linear space as a linearly independent subset. In this paper, we prove a non-Archimedean analogue of the Arens--Eells isometric embedding theorem, which states that for every non-Archimedean valued field $K$, every ultrametric space can be isometrically embedded into a non-Archimedean valued field that is a valued field extension of $K$ such that the image of the embedding is algebraically independent over $K$.

2023-09-13T04:04:31Z I have fixed some gaps. The part concerning the algebraic structures of the universal space is being prepared as an independent new paper. If you wish to refer to it, please consult version 1 Yoshito Ishiki http://arxiv.org/abs/2511.21128v2 2026-01-14T06:27:31Z

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces and form the natural environment for arithmetic objects such as the $p$-adic integers, absolute Galois groups, and profinite completions. In this article we give a rigorous and self-contained development of the construction of the Stone space associated to a Boolean algebra, prove Stone's representation theorem, and describe profinite spaces as inverse limits of finite systems. From there we introduce the Stone--Čech compactification via its universal property and discuss central arithmetic examples (such as $β\mathbb{N}$ and profinite completions), emphasizing their structural role in arithmetic geometry and in the framework of Condensed Mathematics of Clausen--Scholze. The text is aimed at advanced undergraduate and beginning graduate students, as well as readers interested in the interface between topology, number theory, and new categorical formulations of topology.

2025-11-26T07:25:44Z 25 pages, in Spanish language J. R. Pérez-Buendía