On orientations preserving edge-connectivity in infinite graphs

2025-10-07T20:39:02Z

We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite. We prove that, if every locally finite graph has a well-balanced orientation, so does every graph. Lastly, we explore an alternative to the Nash-Williams Orientation Conjecture via topological paths, and prove that it is true for every finitely separated graph.

On the closure of a plane ray that limits onto itself

2025-10-07T19:43:36Z

We show that the closure of any self-entwined ray in the plane must contain a Cantor set of mutually disjoint continua. This is false in dimension three.

Representing fine shape of local compacta by homotopy classes of ordinary maps

2025-10-06T07:36:31Z

Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both Čech cohomology and Steenrod-Sitnikov homology. In this work we study fine shape of local compacta (locally compact separable metrizable spaces), and construct, for every local compactum $X$, a space $|X|$ unique up to a homotopy equivalence and such that fine shape classes from any locally compact metrizable space $Y$ to $X$ bijectively correspond to homotopy classes of ordinary maps from $Y$ to $|X|$. This correspondence is (contravariatly) functorial in $Y$, thus giving a representation of $Y$-dependent contravariant functor for a fixed $X$; the universal class corresponding to the identity map of $X$ is the homotopy class of a specific embedding of $X$ into $|X|$ that is a fine shape equivalence.

Group topologies on groups of bi-absolutely continuous homeomorphisms

2025-10-06T06:39:39Z

The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We show that, under mild conditions on a compact space endowed with a finite Borel measure such a topology can be defined on the subgroup of the homeomorphism group consisting of those elements $g$ such that $g$ and $g^{-1}$ preserve the class of null sets. We use a probabilistic argument to show that in the case of a compact topological manifold equipped with an Oxtoby-Ulam measure, as well as in that of the Cantor space endowed with some natural Borel measures there is no group topology between $τ_{ac}$ and the restriction $τ_{co}$ of the compact-open topology. In fact, we show that any separable group topology strictly finer than $τ_{co}$ must be also finer than $τ_{ac}$. For one-dimensional manifolds we also show that $τ_{co}$ and $τ_{ac}$ are the only Hausdorff group topologies coarser than $τ_{ac}$, and one can read our result as evidence for the non-existence of a good notion of regularity between continuity and absolute continuity. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.

Some new results on $Δ$-spaces

2025-10-05T15:13:20Z

A topological space $X$ is a $Δ$-space (or $X \in Δ$) if for any decreasing sequence $\{A_n : n < ω\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < ω\}$ of open sets with empty intersection such that $A_n \subset U_n$ for all $n < ω$. In this note we prove the following results concerning $Δ$-spaces. 1) Every $T_3$ countably compact $Δ$-space is compact. 2) If there is a $T_1$ crowded Baire $Δ$-space then there is an inner model with a measurable cardinal. 3) If $X \in Δ$ and $cf \big(o(X) \big) > ω$ then $|X| < o(X)$. (Here $o(X)$ is the number of open subsets of $X$.) The first two of these provide full and/or partial solutions to problems raised in the literature, while the third improves a known result.

Invertibility in partially ordered nonassociative rings

2025-10-05T11:38:34Z

Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the theory. The two main theorems of this article are contributions to invertibility in the context of partially ordered nonassociative rings \textit{and} Hausdorff sequentially Cauchy-complete weak-quasi-topological nonassociative rings. Specifically, the first theorem asserts that the interval $]0,1]$ in any suitable partially ordered nonassociative ring consists entirely of invertible elements. The second theorem asserts that if $f$ is a suitably generalized concept of seminorm from a nonassociative ring to a partially ordered nonassociative ring endowed with Frink's interval topology, then under certain conditions, the subset of elements such that $f(1-a) < 1$ consists entirely of invertible elements. Part of the assumption of the second theorem is that of Hausdorff sequential Cauchy-completeness of the first ring under the topology induced by the seminorm $f$ (which takes values in a partially ordered nonassociative ring endowed with Frink's interval topology). Frink's interval topology is an example of a coarse locally-convex $T_1$ topology. Moreover, to our knowledge, the topology induced by a seminorm into a partially ordered nonassociative ring has never been introduced. Some additional original facts, such as the fact that the topology on a nonassociative ring $R_1$ induced by a norm into a totally ordered associative division ring $R_2$ endowed with Frink's interval topology (or equivalently, with the order topology, since the order of $R_2$ is total) is a Hausdorff locally convex quasi-topological group with an additional separate continuity property of the product, are dealt with in the second section ''Preliminaries''.

A Survey on the Topology of Fractal Squares

2025-10-04T02:33:12Z

We consider a special type of self-similar sets, called fractal squares, and give a brief review on recent results and unsolved issues with an emphasis on their topological properties.

Asplund spaces $C_k(X)$ beyond Banach spaces

2025-10-02T10:28:38Z

This paper addresses the Asplund property for the space of continuous functions $C_k(X)$ equipped with the compact-open topology, when $X$ is an arbitrary Tychonoff space. Motivated by inconsistent definitions in prior literature extending the Asplund property beyond Banach spaces, we provide a unified and self-contained treatment of core results in this context. A characterization of the Asplund property for $C_k(X)$ is established, alongside a review of classical results, including the Namioka--Phelps theorem and its implications. All proofs are presented in a self-contained manner and rely on standard techniques.

Forbidden Four Cycle, Star Graphs and Isometric Embeddings

2025-10-02T04:47:24Z

We prove the necessary and sufficient conditions under which ultrametric spaces of arbitrary infinite cardinality admit isometric embeddings into ultrametric spaces generated by labeled star graphs.

Continuous approximate roots of polynomial equations via shape theory

2025-10-02T02:49:27Z

We study continuous approximate solutions to polynomial equations over the ring $C(X)$ of continuous complex-valued functions over a compact Hausdorff space $X$. We show that when $X$ is one-dimensional, the existence of such approximate solutions is governed by the behaviour of maps from the fundamental pro-group of $X$ into braid groups.

Applications of Borel-definable homological algebra to locally compact groups

2025-09-29T20:27:04Z

We show that the $\mathrm{Hom}$ functor from the category $\mathbf{LCPAb}$ of locally compact Polish abelian groups to the category $\mathbf{PAb}$ of Polish abelian groups has a total right derived functor, improving on Hoffmann and Spitzweck's construction of its cohomological right derived functor. We also apply the description of the left heart of subcategories of $\mathbf{PAb}$ in terms of groups with a Polish cover and Borel-definable group homomorphisms to completely characterize the injective and projective objects in the left heart of $\mathbf{LCPAb}$, as well as in the left heart of its full subcategories spanned by: compactly generated groups, Lie groups, totally disconnected groups, topological torsion groups, topological $p$-groups, locally compact groups of finite ranks, topological torsion groups of finite ranks, topological $p$-groups of finite ranks, and type $\mathbb{A}$ groups.

Lipschitz-Free Spaces: A Topometric Approach and Group Actions

2025-09-29T11:51:24Z

We introduce a topometric version of Lipschitz-free spaces and study its universal property. Another aim of this paper is to investigate actions of topological groups $G$ on Lipschitz-free spaces $\mathcal{F}(M)$, induced by isometric actions on pointed metric spaces $M$. In particular, we study the associated dynamical $G$-systems under the weak-star topology, focusing on the dual action on $\mathrm{Lip}_0(M) = \mathcal{F}(M)^*$ and the bidual $\mathcal{F}(M)^{**}$.

Left K-Cauchy regular maps between quasi-metric spaces

2025-09-29T11:24:38Z

This article presents a systematic study of a class of maps between quasi-metric spaces that preserve left K-Cauchy sequences. We call such maps left K-Cauchy regular maps. Several characterizations of these maps have been given in terms of the structural properties of the underlying quasi-metric spaces. In particular, we characterize left K-Cauchy regular maps in terms of hereditarily precompact sets by using a suitable version of the classical Efremovic Lemma in the setting of quasi-metric spaces. In addition, we examine the relationship of left K-Cauchy regular maps with (forward) uniformly continuous and continuous maps and prove extension theorems for such maps.

Quasi Divisor Topology of Modules over Domains

2025-09-28T08:44:08Z

Let $E$ be a module over a domain $A$, and $W(E)^{\#}=W(E)-ann(E)$ where $W(E)=\{a\in A:aE\neq E\}$. We define an equivalence relation $\sim$ on $W(E)^{\#}$ as follows: $a\sim b$ if and only if $aE=bE$ for any $a,b\in W(E)^{\#}$ and denote $EC(W(E)^{\#})$ to be the set of all equivalence classes $[a]$ of $W(E)^{\#}$. We first show that the family $\{U_a\}_{a\in W(E)^\#}$ generates a topology which we called the quasi divisor topology of $A$-module $E$ denoted by $qD_A(E)$ where $U_{a}=\{[b]\in EC(W(E)^{\#}):\ aE\subseteq bE\}$ for every $a\in W(E)^{\#}$. This paper examines the connections between topological properties of the quasi divisor topology $qD_{A}(E)$ and algebraic properties of $A$-module $E$. These include each separation axioms, compactness, connectedness and first and second countability. Also, we characterize some important class of rings/modules such as divisible modules and uniserial modules by means of $qD_{A}(E)$. Furthermore, we introduce quasi second modules and study its algebraic properties to decide when $qD_A(E)$ is a $T_1$-space.

A note on the structural stability of almost one-to-one maps

2025-09-27T00:13:24Z

A continuous surjection $π:X\to Y$ between compact Hausdorff spaces induces continuous surjections $\mathcal{M}(π)\colon \mathcal{M}(X)\to\mathcal{M}(Y)$ and $\mathcal{H}(π): \mathcal{H}(X)\to\mathcal{H}(Y)$ between the spaces of regular Borel probability measures, and the spaces of closed subsets, respetively. It is well known that $\mathcal{H}(π)$ is irreducible if and only if $π$ is irreducible. We show that $\mathcal{M}(π)$ is irreducible if and only if $π$ is irreducible. Furthermore, we show that whenever $π$ is almost one-to-one then $\mathcal{M}(π)$ and $\mathcal{H}(π)$ are almost one-to-one. In particular, we observe that continuous surjections between compact metric spaces are almost one-to-one if and only if $\mathcal{H}(π)$ is almost one-to-one and a similar statement about $\mathcal{M}(π)$. Finally, we give alternative proofs for some results in 'Characterizations of open and semi-open maps of compact Hausdorff spaces by induced maps' by Xiongping Dai and Yuxuan Xie regarding semi-open maps.