https://arxiv.org/api/AI4ALdkMqgCvYmoK3yP62lUidhQ 2026-03-30T10:44:11Z 5818 300 15 http://arxiv.org/abs/2509.20821v1 2025-09-25T07:08:17Z

Raney extensions and strictly zero-dimensional biframes both faithfully extend the dual of the category of $T_0$ spaces. We use tools from pointfree topology to look at the connection between the two. Raney extensions may be equivalently described as pairs $(L,\mathcal{F})$ where $L$ is a frame and $\mathcal{F}\subseteq \mathcal{S}_{o}(L)$ a subcolocale containing all open sublocales. Here, $\mathcal{S}_o(L)$ is the collection of all intersections of open sublocales of $L$. Similarly, a strictly zero-dimensional biframe is a pair $(L,\mathcal{D})$ where $\mathcal{D}\subseteq \mathcal{S}(L)$ is a codense subcolocale. We show that there is an adjunction between certain subcolocales of $\mathcal{S}_o(L)$ and codense subcolocales of $\mathcal{S}(L)$. We show that the adjunction maximally restricts to an order-isomorphism between the subcolocales of $\mathcal{S}_o(L)$ where the joins of open sublocales distribute over binary meets, which we call the proper subcolocales, and what we call the essential codense subcolocales. As an application of our main result, we establish a bijection between proper Raney extensions and the strictly zero-dimensional biframes $(L_1,L_2,L)$ such that $L$ is an essential extension of $L_2$ in the category of frames. We show that this correspondence cannot be made functorial in the obvious way, as a frame morphism $f:L\to M$ may lift to a map $f:(L,\mathcal{F})\to (L,\mathcal{G})$ of Raney extensions without lifting to a map between the associated strictly zero-dimensional biframes.

2025-09-25T07:08:17Z Anna Laura Suarez http://arxiv.org/abs/2509.18680v1 2025-09-23T05:55:13Z

We study several natural classes of graphs on a zero-dimensional metrizable compact space having no continuous coloring. We compare these graphs with the quasi-order associated with injective continuous homomorphisms. We prove the existence of an antichain basis for these classes. We determine the size of such an antichain basis. We provide a concrete antichain basis when there is a countable one. We also provide some related quasi-orders and equivalence relations which are analytic complete as sets.

2025-09-23T05:55:13Z Noé de Rancourt LPP Dominique Lecomte IMJ-PRG Miroslav Zelen http://arxiv.org/abs/2509.16708v1 2025-09-20T14:39:51Z

The one-dimensional Su-Schrieffer-Heeger (SSH) model is a prototype model in the field of topological condensed matter physics, and the existence and characteristics of its topological edge states are crucial for revealing the topological essence of low-dimensional systems. This paper focuses on the analytical wave functions of topological edge states in the SSH model, systematically sorting out the fundamentals of model construction. Based on the tight-binding approximation, it derives the matrix form of the SSH model Hamiltonian and the band structureand clarifies the role of chiral symmetry in the classification of topological phases. By solving the Schrodinger equation of the finite-length lattice, the mathematical expression of the analytical wave function of topological edge states is fully derived, verifying its localized feature of exponential decay. Moreover, it quantitatively analyzes the influence laws of lattice parameters (hopping integrals, lattice constants), electron-electron interactions, and external field perturbations on the wave function amplitude, decay coefficient, and energy. Furthermore, it establishes the quantitative correlation between the analytical wave function and electronic transport (conductivity) as well as optical properties (light absorption coefficient), and discusses its application prospects in the design of topological qubits and the development of new topological materials. The research results provide theoretical support for an in-depth understanding of the physical essence of low-dimensional topological states and lay a foundation for the performance optimization of topology-related devices.

2025-09-20T14:39:51Z Weibo Xu http://arxiv.org/abs/2507.22476v2 2025-09-17T07:22:39Z

We prove that if less than $\aleph_ω$-many Cohen reals are added to a model of \textsf{CH}, then $ω^{\ast}$ can not be covered by nowhere dense \textsf{P}-sets (equivalently, there is an ultrafilter on $ω$ that does not contain a tower).

2025-07-30T08:27:54Z Alan Dow Osvaldo Guzmán http://arxiv.org/abs/2509.11556v1 2025-09-15T03:40:03Z

Fuzzy closure spaces are an extension of classical closure spaces in topology, where the concept of closure is defined in terms of fuzzy sets. This article introduces interior operators and neighborhood systems in fuzzy closure spaces. Using that, we have redefined ČF-continuity. Separation axioms such as $ČFT_0$, $ČFT_1$, $ČFT_2$, ČF-Urysohn, ČF-regular, and ČF-normal in fuzzy closure spaces are introduced using these neighborhood systems. Additive, productive, hereditary, and other properties of these axioms have been observed. Relationships between these axioms are also investigated.

2025-09-15T03:40:03Z Albin James T. P. Johnson http://arxiv.org/abs/2508.15736v2 2025-09-14T03:51:08Z

We study transformations between discrete Morse functions on a finite simplicial complex via birth-death transitions--elementary chain maps between discrete Morse complexes that either create or cancel pairs of critical simplices. We prove that any two discrete Morse functions $f_1$, $f_2$ on a finite simplicial complex $K$ are linked by a finite sequence of such transitions.As applications, we present alternative proofs of several of Forman's fundamental results in discrete Morse theory and study the topology of the space of discrete Morse functions.

2025-08-21T17:26:09Z Chong Zheng http://arxiv.org/abs/2509.10893v1 2025-09-13T16:45:29Z

In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant fibrations are examined. An equivariant analog of the Hurewicz theorem on passing from local fibrations to global fibrations is proved. A classification of equivariant fibrations with the property of uniqueness of a covering path is given.

2025-09-13T16:45:29Z 9 pages J. Math Sci 276, 490--497 (2023) Pavel S. Gevorgyan 10.1007/s10958-023-06769-4 http://arxiv.org/abs/2311.18095v3 2025-09-13T03:51:48Z

In this investigation, we introduce the class of non-archimedean frames in spirit with the topological notion of non-archimedean spaces. We explore various properties of these frames - particularly their spaciality. We attach a base that constitutes a tree to each non-archimedean frame, and then we observe that every non-archimedean frame is a quotient of the frame of opens of the tree's branch space. Moreover, we give a partial answer to when these frames are canonically isomorphic; this leads to considering some choice principles of the resulting tree.

2023-11-29T21:23:50Z 19 pages, 3 figures, several changes has been made on the introduction, preliminaries, in particular a corection to the statement: all non-archimedean frames are spatial, is incorrect, an example of this is provided with some particular statement about the spatiality of these frames Francisco Ávila Miriam Bocardo-Gaspar Julio Urenda Angel Zaldívar http://arxiv.org/abs/2310.08269v2 2025-09-11T02:15:08Z

For an infinite group $G$, the poset $\mathcal{L}_G$ of group topologies constitutes a complete lattice. Although $\mathcal{L}_G$ is modular when $G$ is abelian, this property fails to persist for nilpotent groups. Extending Arnautov's 2010 work on the semi-modularity of $\mathcal{L}_G$ for nilpotent groups, we present an alternative proof with enhanced structural clarity. Additionally, we resolve two open questions from the Kourovka Notebook regarding lattice-theoretic properties of $\mathcal{L}_G$: (1) explicit construction of a countably infinite non-abelian nilpotent group with modular topology lattice, and (2) establishing the absence of property $P_2$ in infinite abelian groups.

2023-10-12T12:17:52Z 11 pages Dekui Peng http://arxiv.org/abs/2509.08634v1 2025-09-10T14:28:30Z

For a Tychonoff space $X$ by $C_p(X)$ we denote the space $C(X)$ of continuous real valued functions on $X$ endowed with the pointwise topology. We prove that an infinite compact space $X$ is scattered if and only if every closed infinite-dimensional subspace in $C_p(X)$ contains a copy of $c_0$ (with the pointwise topology) which is complemented in the whole space $C_p(X)$. This provides a $C_p$-version of the theorem of Lotz, Peck and Porta for Banach spaces $C(X)$ and $c_0$. Applications will be provided. We prove also a $C_p$-version of Rosenthal's theorem by showing that for an infinite compact $X$ the space $C_p(X)$ contains a closed copy of $c_{0}(Γ)$ (with the pointwise topology) for some uncountable set $Γ$ if and only if $X$ admits an uncountable family of pairwise disjoint open subsets of $X$. Illustrating examples, additional supplementing $C_p$-theorems and comments are included.

2025-09-10T14:28:30Z Jerzy Kąkol Ondřej Kurka Wiesław Śliwa http://arxiv.org/abs/2408.15228v2 2025-09-10T14:19:47Z

In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relations belong to a given graph category. We relate topological properties of the spectrum to combinatorial properties of the graph categories involved. We then utilise this to exhibit elementary combinatorial constructions of well-known continua as Fraïssé limits of finite graphs in categories with relational morphisms.

2024-08-27T17:47:27Z revised version, 55 pages Adam Bartoš Tristan Bice Alessandro Vignati http://arxiv.org/abs/2509.08616v1 2025-09-10T14:11:37Z

The problem of bi-equivariant extension of continuous maps of binary $G$-spaces is considered. The concept of a structural map of distributive binary $G$-spaces is introduced, and a theorem on the bi-equivariant extension of structural maps is proven. A theorem on the bi-equivariant extension of continuous maps defined on the cross sections of a distributive binary $G$-space is also proven.

2025-09-10T14:11:37Z 7 pages Topology and its Applications. Volume 374, 109245 (2025) Pavel S. Gevorgyan 10.1016/j.topol.2025.109245 http://arxiv.org/abs/2301.05637v2 2025-09-10T13:51:59Z

Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions that are not all defined on the same domain. Traditionally, the J1 and M1 topologies are defined using time changes. Instead, we base our definitions on the point of view that the graph of a cadlag function can naturally be viewed as a compact set that is equipped with a total order. The distance between two graphs is then measured by matching points on one graph with points on the other graph in a way that respects the total order. We treat the J1 and M1 topologies in a unified framework and simplify the existing theory. We introduce a space of paths, elements of which are cadlag functions defined on an arbitrary closed subset of the real line. We show that this space is Polish and derive compactness criteria. Specialised to functions that are all defined on the same domain, this yields new proofs of known results.

2022-12-15T20:45:18Z 50 pages. Rewritten to make the main results more accessible. The main intended applications are in probability theory but the paper itself is about metrics and topologies on spaces of functions Nic Freeman Jan M. Swart http://arxiv.org/abs/2503.13666v2 2025-09-10T08:27:52Z

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.

2025-03-17T19:15:06Z Serhii Bardyla http://arxiv.org/abs/2503.03498v2 2025-09-09T20:04:32Z

In this paper, we provide a comprehensive analysis of involutive quantales, with a particular focus on quantic frames. We extend the axiomatic foundations of quantale-enriched topological spaces to include closure under the anti-homomorphic involution, facilitating a balanced topologization of the spectrum of unital $C^*$-algebras that encompasses both closed right and left ideals through the concept of quantic frames. Specifically, certain subspaces of pure states are identified as strongly Hausdorff separated quantale-enriched involutive topological spaces.

2025-03-05T13:41:07Z Javier Gutiérrez García Ulrich Höhle