A density counterpart of the Scheepers covering property

2025-10-13T06:03:26Z

We introduce a density counterpart of the Scheepers covering property $\bigcup_{\mathrm{fin}}(\mathcal O,Ω)$ and study its relations to known combinatorial density property. In particular, we show that it is equivalent to the $M$-separability under the Near Coherence of Filters principle of Blass and Weiss.

Locally compact strictly convex metric groups are abelian

2025-10-12T18:49:01Z

We show that every locally compact strictly convex metric group is abelian, thus answering one problem posed by the authors in their earlir paper. To prove this theorem we first construct the isomorphic embeddings of the real line into the strictly convex metric group using its geodesic properties and charaterization of the real line as a unique not monothetic one-parametric metrizable topological group. We proceed to show that all compact subgroups in a strictly convex metric group are trivial, which combined with the classical result of Iwasawa completes the proof of the main result.

Spans and convex combinations of boundary-valued continuous functions

2025-10-12T11:10:57Z

For an $(n\ge 2)$-dimensional real Banach space $E$ with unit ball $E_{\le 1}$ and a topological space $X$ arbitrary elements in $C(X,E_{\le 1})$ are always expressible as linear combinations of at most three functions valued in the unit sphere $\partial E_{\le 1}$. On the other hand, for normal $X$, $C(X,E_{\le 1})$ can only be the convex hull of $C(X,\partial E_{\le 1})$ if the covering dimension of $X$ is strictly smaller than $\dim E$. A variant of this remark is the characterization of normal $X$ with $\dim X<\dim E$ as precisely those for which $C(X,E_{\le 1})$ is the convex hull of nowhere-vanishing continuous $X\to E_{\le 1}$ or, equivalently, that of continuous functions $X\to E_{[r,1]}$, $r\in (0,1)$ valued in arbitrarily thin spherical shells. This extends a number of results due to Peck, Cantwell, Bogachev, Mena-Jurado, Navarro-Pascual and Jiménez-Vargas and others revolving around the realizability of the unit ball of $C(X,E)$ as a convex hull of its extreme points for strictly convex and/or complex $E$.

The smallest $n$-pure subtopos and dimension theory

2025-10-11T21:42:13Z

We introduce the notion of $n$-pure geometric morphism between Grothendieck toposes, over a Grothendieck base topos $\mathcal{T}$. This is a higher-dimensional analogue of the concepts of dense and pure geometric morphism. We extend the construction of the smallest dense subtopos and smallest pure subtopos by constructing a smallest $n$-pure subtopos, for each natural number $n$. Based on this, we then propose a concept of dimension for a Grothendieck topos, in this way also arriving naturally at a distinction between toposes with boundary and toposes without boundary. We show that the zero-dimensional toposes without boundary are precisely the Boolean toposes, and that the topos associated to an $n$-manifold is again $n$-dimensional (with boundary if the manifold has a boundary). Some other toposes for which we calculate the dimension are the topos associated to the rational line and the toposes associated to a right Ore monoid or free monoid. Finally, we move to algebraic geometry: for a scheme $X$ of characteristic $0$ and Krull dimension $d$, we prove that the dimension of the associated petit étale topos is $2d$, assuming that $X$ is excellent and regular, or that $X$ is variety. As a first example in mixed characteristic, we show that the petit étale topos associated to $\mathrm{Spec}(\mathbb{Z})$ is two-dimensional.

Semiframes: the algebra of semitopologies and actionable coalitions

2025-10-11T19:15:12Z

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological ideas to study decentralised computing systems. Semitopologies generalise topology by removing the condition that intersections of open sets are necessarily open. The motivation comes from identifying the notion of an actionable coalition in a distributed system -- a set of participants with sufficient resources for its members to collaborate to take some action -- with open set; since just because two sets are actionable (have the resources to act) does not necessarily mean that their intersection is. We define notions of category and morphism and prove a categorical duality between (sober) semiframes and (spatial) semitopologies, and we investigate how key well-behavedness properties that are relevant to understanding decentralised systems, transfer (or do not transfer) across the duality.

Fine shape of metrizable spaces as a left fraction localization

2025-10-11T07:53:34Z

The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by Melikhov, seems to hold promise in terms of both applicability and simplicity: it is a different extension of compact strong shape to a generalized homotopy theory of metrizable spaces that is compatible with both Čech cohomology and Steenrod-Sitnikov homology, and its definition lends itself to straightforward proofs. Further research seems to be in order. One goal to have in mind is to show the fine shape category to be a homotopy category in Quillen's sense, which implies representation as a localization. But the strong shape of compacta was shown to be a left fraction localization in several ways; we extend the representation given by Cathey to fine shape, introducing the notion of FDR-embeddings to extend Cathey's SSDR-maps. In the process, we also introduce what we call the mapping cylinder of an approaching map; such a construction has been defined by Ferry and elaborated on by Mrozik in the compact case, yet it seems the direct extension on noncompact spaces is not possible. Thus we resort to a somewhat different definition.

Longest paths in trees and isometricity of ultrametric spaces

2025-10-11T05:50:42Z

Let $T$ be a tree of arbitrary finite or infinite order and let $U(T)$ be the set of all ultrametric spaces generated by vertex labelings of $T$. Let ${\bf US}$ denote the class of all ultrametric spaces generated by vertex labelings of star graphs. We prove that the inclusion $U(T)\subseteq {\bf US}$ holds if and only if the longest path in $T$ has a length not exceeding three.

A study of 2-periodic weft-knitted textiles using the theory of knots and links

2025-10-10T17:15:09Z

In this study, we use a correspondence between two-periodic weft-knitted textiles and links in the thickened torus to study the former using link invariants. We establish a criterion to identify the set of links whose elements are realized through techniques of weft-knitting leading to new, unconventional types of weft-knitting stitch patterns. A crucial topological underpinning of these links is shown to be their correspondence with ribbon knots and links in Euclidean three-space and equivalently in the three-sphere. Using the mechanics of weft-knitting, we propose a protocol for constructing and enumerating links in the thickened torus that can be knitted as a motif of a weft-knitted textile, and we call such links \emph{swatches}. Based on our analysis of link invariants of swatches, we propose conjectures on hyperbolic structure of the link complements of swatches and their multivariable Alexander polynomials.

Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions

2025-10-10T03:20:21Z

We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty. We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.

Totally Disconnected (non-metric) Gelfand Duality

2025-10-08T06:40:48Z

We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed fields (Van der Put theorem). More generally, we establish for any topological field F a (dual) adjunction between the category of compact F-Tychonoff spaces and a natural category of commutative F-algebras, which becomes a duality for fields satisfying the Stone-Weierstrass theorem. To obtain these results we do not utilize analytic tools, but the canonical group uniformity of the field and intrinsic properties of the algebras.

Whitehead doubling, rank estimate and nonembeddability of contractible open manifolds

2025-10-08T03:12:52Z

Let $K$ be a nontrivial knot. For each $n\in \mathbb{N}$, we prove that the rank of its $n$th iterated Whitehead doubled knot group $π_1(S^3 \setminus \operatorname{WD}^n(K))$ is bounded below by $n+1$. As an application, we show that there exist infinitely many non-homeomorphic contractible open $n$-manifolds ($n\geq 3$) which cannot embed in a compact, locally connected and locally 1-connected $n$-dimensional metric space.

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.