A new order for ideal sequential compactness

2026-03-01T13:55:09Z

Let $\mathcal{I}$ be an ideal on $ω$ and $X$ be a topological space. A sequence $(x_n)_{n\in ω}$ in $X$ is $\mathcal{I}$-convergent if there is $x\in X$ such that $\{n\in ω: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 ω}$ 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_σ}$ ideals $\I$ and $\J$. We compare $\leq_{BW}$ with the Katě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 $ω$ that do not contain arbitrary long finite arithmetic progressions). As a consequence, we answer two open questions posed by Filipó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.

Infima and cardinal characteristics of critical ideals for countable compact spaces

2026-02-28T14:31:34Z

For each countable ordinal $α\ge 2$, the ideals $\mathsf{conv}_α$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces homeomorphic to $ω^α\cdot n+1$ with the order topology. We study the structure of these ideals in the Katětov order, namely for limit ordinals $α$, we show that $\mathsf{conv}_α$ do not serve as greatest lower bounds of the $\mathsf{conv}_β$ for $β<α$. We therefore define the ideals $\mathsf{conv}_{<α}$ with this property and show that together, the ideals $\mathsf{conv}_α$ and $\mathsf{conv}_{<α}$ form intertwined decreasing hierarchies of $Σ^0_4$- and $Π^0_5$-complete ideals. Furthermore, we examine several cardinal invariants of $\mathsf{conv}_α$, computing invariants that have recently appeared in the literature in various contexts.

On semi-openness of fiber-onto extensions of minimal semiflows and quasi-separable maps

2026-02-28T13:08:29Z

The purpose of this paper is to find conditions for a continuous onto map $φ\colon X\rightarrow Y$ and its induced map $φ_*\colon\mathcal{M}^1(X)\rightarrow\mathcal{M}^1(Y)$ to be semi-open, where $X$, $Y$ are compact Hausdorff spaces and $\mathcal{M}^1(X)$, $\mathcal{M}^1(Y)$ are their Borel probability spaces. For that, we mainly prove the following results by using the structure theory of extensions of semiflows and inverse limit techniques: (1) If $φ$ is an extension of minimal flows, then $φ_*$ is semi-open. (2) If $φ$ is a quasi-separable fiber-onto extension of minimal semiflows, then $φ$ and $φ_*$ are semi-open. (3) If $Y$ is metrizable, then $φ$ is semi-open if and only if $φ_*$ is semi-open. In addition, if $X,Y$ are left-topological groups, $X$ is Lindelöf quasi-regular, $Y$ is Baire and if $φ$ is a locally closed continuous onto equivariant mapping, then $φ$ is semi-open (This is a generalization of Pontryagin's open-mapping theorem).

Small Hurewicz and Menger sets which have large continuous images

2026-02-27T11:40:54Z

We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped continuously onto the Cantor space. These results allow to separate the properties of Menger and $\mathsf{S}_1(Γ,\mathrm{O})$ in the realm of sets of reals without perfect subsets and solve a problem of Nowik and Tsaban concerning perfectly meager subsets in the transitive sense. We present also some other applications of the mentioned above methods.

Automatic continuity for vector spaces with linear topology

2026-02-27T02:49:53Z

In this paper we classify all topological vector spaces with linear topology with the property that all algebraic automorphisms are continuous. Moreover, we prove some properties of these spaces.

Edge-ends versus topological ends of graphs

2026-02-26T16:11:20Z

Diestel and Kühn proved that the topological ends of an infinite graph are precisely its undominated graph ends, yielding a canonical embedding of the space of topological ends into the space of graph ends. For edge-ends, introduced by Hahn, Laviolette and Širáň, such an embedding does not exist in general. In this note, we characterize the class of infinite graphs for which the topological ends admit a natural injective map into the space of edge-ends that is compatible with the canonical maps between end spaces. Our characterization is purely combinatorial and is expressed in terms of edge-equivalence classes of vertices. Moreover, when such an embedding exists, we identify precisely which edge-ends arise from topological ends, showing that they are exactly the edge-ends containing a non-dominated ray. This establishes a parallel result to the theorem of Diestel and Kühn for edge-end spaces.

Structure Theorems for locally compact modules over localizations of the integers

2026-02-26T15:21:22Z

Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given such a module $M$, there exists a unique set of prime numbers $Σ$ (purely dependent on $S$) for which $M \cong \mathbb{R}^n \times \sideset{}{'}\prod_{q \in Σ} \mathbb{Q}_p^{n_p} \times N$, where $(n, (n_p)_{p \in Σ})$ is a sequence of nonnegative integers and $N$ contains a compact open submodule $K$ such that $K/K_0$ is a topological module over $\prod_{ q \in \mathbb{P}\setminusΣ} \mathbb{Z}_q$. Just like for $LCA$ groups, it is also possible to characterize the locally compact, compactly generated modules over $\mathbb{Z}S^{-1}$, as well as their Pontryagin Duals (which then allows to conclude that any locally compact $\mathbb{Z}S^{-1}$-module is an inverse limit of modules within a specific family). These characterizations are given in the 2nd and 3rd Structure Theorems respectively. Furthermore, as an elementary consequence of the 1st Structure Theorem, one can obtain a full classification of locally compact vector spaces over $\mathbb{Q}$.

Joins of closed sublocales are not always a coframe

2026-02-23T10:57:49Z

Given a locale $L$, the collection $\mathsf{S}_c(L)$ of joins of closed sublocales forms a frame--somewhat unexpectedly, as it is naturally embedded in the coframe of all sublocales of $L$, where by coframe we mean the order-theoretic dual of a frame. This construction has attracted attention in point-free topology: as a maximal essential extension in the category of frames, for its (non-)functorial properties, its relation to canonical extensions and exact filters of frames, etc. A central open question of the theory, posed by Picado, Pultr, and Tozzi in 2019, asked whether $\mathsf{S}_c(L)$ is always a coframe, or whether there exists a locale for which this fails. In this paper, we resolve this question in the negative by constructing a locale $L$ such that $\mathsf{S}_c(L)$ is not a coframe. The main challenge in such questions lies in the difficulty of understanding exact infima in $\mathsf{S}_c(L)$; we circumvent this by analysing a certain separation property satisfied by $\mathsf{S}_c(L)$.

Circular orders: Topology and continuous actions

2026-02-23T10:34:50Z

We study the topology of circularly ordered sets. While the algebraic notion is classical, the general topological theory has received comparatively little attention. In this work we provide a self-contained topological exposition and present several new directions and results: Initiate a systematic study of generalized circularly ordered topological spaces and of continuous group actions on them. Provide a convex uniform structure description of circularly ordered compactifications. This yields a topological analysis of Novak's regular completion and its minimal uniformity. Show that this uniform structures approach implies several new results in the theory of proper $G$-compactifications for topological group actions on abstract ordered spaces. Reexamine functions of bounded variation on circularly ordered sets and prove generalizations of Helly's selection theorem (for circular and linear orders). These developments and the systematic analysis of circular order topologies are motivated by recent applications in topological dynamics, particularly in joint works with Eli Glasner, which demonstrate that circularly ordered dynamical systems provide a natural class of tame dynamics.

The topology of finite and infinite-dimensional Stiefel manifolds

2026-02-23T10:15:08Z

Stiefel manifolds arise naturally as spaces of injective operators and as total spaces of principal bundles over Grassmannians. While their finite-dimensional topology is governed by Bott periodicity, the infinite-dimensional theory exhibits a striking collapse phenomenon stemming from Kuiper's contractibility theorem. In this expository article, we present a unified treatment of finite and infinite-dimensional Stiefel manifolds over real and complex Hilbert spaces, emphasizing three structural principles: (i) the interpretation of Stiefel manifolds as spaces of injective operators, (ii) the polar decomposition as a canonical factorization yielding a homotopy decomposition, (iii) the role of Grassmannians as classifying spaces for $\operatorname{GL}_n(\mathbb{F})$ in the stable limit. In particular, we show that the polar decomposition provides a global homeomorphism \[ \operatorname{St}(n,H) \cong \operatorname{St}_{\operatorname{orth}}(n,H) \times \operatorname{P}_n(\mathbb{F}) \] valid in arbitrary Hilbert dimension, and that this factorization isolates the entire difference between finite and infinite-dimensional topology. Then, we discuss the implications for the homotopy type of Stiefel manifolds and the relation of Stiefel manifolds to the theory of classifying spaces and characteristic classes.

Toposes with enough points as categories of étale spaces

2026-02-23T07:49:07Z

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be seen as an extension to ionads of Barr's equivalence between topological spaces and relational modules for the ultrafilter monad. In view of the correspondence between toposes and geometric theories, we obtain a strong conceptual completeness theorem, in the sense of Makkai, for geometric theories with enough Set-models. The same result has recently been obtained independently by Saadia (arXiv:2506.23935) and by Hamad (arXiv:2507.07922). Both of their proofs rely on groupoid representations of toposes, which our proof here does not assume.

A new characterization of (pre)liminary C*-algebras

2026-02-22T12:05:08Z

Given an arbitrary countable ordinal $α$, we introduce the notion of type $I_{α}$ C*-algebra and $α$-subhomogeneous C*-algebra. When $α=0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra, respectively. When $α=n<ω$, these recover the notions of type $I_{n}$ C*-algebra and of $n$-subhomogeneous C*-algebra, respectively. We prove that a separable C*-algebra is liminary if and only if it is type $I_{α}$ for some $α<ω_{1}$, and it is preliminary (i.e., has no infinite-dimensional irreducible representation) if and only if it is $α$-subhomogeneous for some $α<ω_{1}$. We also prove that for any countable ordinal $α$ there exists a separable C*-algebra that is type $I_{α}$ and not type $I_{β}$ for $β<α$, and a separable C*-algebra that is $α$-subhomogeneous and not $β$-subhomogeneous for any $β<α$.

Soft Uniform Spaces and Soft Uniform Continuity: Induced Topologies, Separation, and Compactness-Type Results

2026-02-22T09:32:54Z

Soft uniform structures provide a way to speak about uniform closeness in a parameterized setting. Working over a fixed parameter set, we treat entourages as soft relations and introduce a notion of \emph{soft uniformity} whose axioms parallel the classical entourage approach. Every soft uniformity induces a canonical soft topology; moreover, the uniformity is separated exactly when the induced topology is soft $T_1$, and the induced topology is soft regular. We then study soft uniformly continuous mappings and prove a soft Heine--Cantor type theorem: on a soft compact domain, soft continuity already forces soft uniform continuity. Finally, soft total boundedness and soft completeness are formulated via soft Cauchy filters, and we show that soft compactness implies both properties. Examples are included to relate the theory to uniformities generated from classical structures and to highlight the role played by parameters.

Compactness in Constructive Mathematics via Affine Logic

2026-02-22T01:51:18Z

We study topology, particularly compactness, as an extension of Shulman's work for constructive mathematics via affine logic, while allowing propositional impredicativity. In addition to some basic properties of compactness, we prove the extreme value theorem and the Heine-Borel theorem for "cuts", which are a version of Dedekind cuts in affine logic. Moreover, from the antithesis translation of the Heine-Borel theorem for cuts to intuitionistic logic, we derive the Heine-Borel theorem for one-sided reals intuitionistically, and have verified its proof with the interactive theorem prover. The code is available at https://github.com/hziwara/CutsHeineBorel.

Countability Properties of Weakly Compact Sets in Asymmetric Locally Convex Spaces

2026-02-21T13:04:32Z

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are reproduced or generalised such as the bipolar theorem and a Mackey-Arens type theorem. The implications of weak compactness and countability properties are studied and appear intimately connected to separation properties. An asymmetric analogue $C_a(K)$ of the well-known space $C_p(K)$ is introduced and the properties of (relatively) (countably respectively sequentially) compact subspaces are investigated. In particular, it is shown that $C_a([0,1])$ is not angelic. However, for Hausdorff subspaces satisfying a simple closure condition, the different compactness conditions are equivalent and imply the Fréchet-Urysohn property. Moreover, an analogue of the Eberlein-Šmulian theorem holds in asymmetrically normed spaces.