Plastic metric spaces and groups

2026-01-02T11:03:07Z

A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.

The Complexity of Connectedness Relations on Polish Spaces

2026-01-02T07:57:38Z

We systematically investigate three different equivalence relations of connectedness: being connected by arcs, being connected by continua and being connected by chains of continua of decreasing diameter. The investigation is conducted from the point of view of Borel reductions, mainly on Polish spaces. All of the studied equivalence relations turn out to be tied together and intimately related to the arc-connection relation. Among other results, it is shown that the arc-connection relation in the plane is Borel reducible to the Vitali equivalence relation and thus of a very low complexity. The same is proven for the chain continuum-connection relation on locally compact subsets of the plane, on which the continuum-connection relation is shown to have higher complexity.

Heraclitean Dialectical Concept Space

2025-12-31T02:24:03Z

We introduce Heraclitean Dialectical Concept Spaces (HDCS), a topological framework for modelling how concepts evolve. Concepts are represented as open regions generated by neighbourhoods in a feasible family, and their relationships are organised through overlaps and channel ideals. New concepts emerge from remainders where existing structures fail to fit together, and inherit their topology from these parent regions. HDCS extends across developmental stages using carry maps and a colimit topology, giving a global picture of conceptual change. Short case studies from economic exchange, biology, and the history of the zero symbol illustrate the scope of the framework.

All spaces of countable spread can be small

2025-12-29T15:31:51Z

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$: \smallskip (*) For any coloring (or partition) $k : [\mathfrak{c}]^2 \rightarrow 2$ either there is a homogeneous set of size $\mathfrak{c}$ in color $0$ or there is a set $S \in [\mathfrak{c}]^\mathfrak{c}$ such that for every countable $A \subset S$ there is $β\in \mathfrak{c}$ for which $A \subset β$ and $k(\{α, β\}) = 1$ for all $α\in A$. \smallskip (*) plus $2^{< \mathfrak{c}} = \mathfrak{c}$ together then imply that for every topological space $X$ of countable spread, i.e. not containing any uncountable discrete subset, $|X| \le \mathfrak{c}$ if it is Hausdorff and $o(X) = \mathfrak c$ if it is also infinite and regular. Here $o(X)$ denotes the number of all open subsets of $X$.

The semi-simple theory of higher rank acylindricity

2025-12-29T07:23:22Z

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $δ$-hyperbolic spaces with general type factors. Inspired by the classical theory of ($S$-arithmetic) lattices and the flourishing theory of acylindrically hyperbolic groups, we show that, up to virtual isomorphism, finitely generated groups in this class enjoy a strongly canonical product decomposition. This semi-simple decomposition also descends to the outer-automorphism group, allowing us to give a partial resolution to a recent conjecture of Sela. We also develop various structure results including a free vs abelian Tits' Alternative, and connections to lattice envelopes. Along the way we give representation-theoretic proofs of various results about acylindricity -- some methods are new even in the rank-1 setting. The vastness of this class of groups is exhibited by recognizing that it contains, for example, $S$-arithmetic lattices with rank-1 factors, acylindrically hyperbolic groups, HHGs, groups with property (QT), and is closed under direct products, passing to (totally general type) subgroups, and finite index over-groups.

Vietoris thickenings and complexes of manifolds are homotopy equivalent

2025-12-28T23:14:23Z

We show that if $X$ is a finite-dimensional Polish metric space, then the natural bijection $\mathrm{VR}(X;r)\to \mathrm{VR^m}(X;r)$ from the (open) Vietoris-Rips complex to the Vietoris-Rips metric thickening is a homotopy equivalence. This occurs, for example, if $X$ is a Riemannian manifold. The same is true for the map $\mathrm{\check{C}}(X;r)$ to $\mathrm{\check{C}}^\mathrm{m}(X;r)$ from the Čech complex to the Čech metric thickening, and more generally, for the natural bijection $\mathrm{V}(\mathcal W)\to \mathrm{V^m}(\mathcal W)$ from the Vietoris complex to the Vietoris metric thickening of any uniformly bounded cover $\mathcal W$ of a finite dimensional Polish metric space. We also show that if $X$ is a compact metrizable space, then $\mathrm{V^m}(\mathcal W)$ is strongly locally contractible.

Topologies on abelian groups and a topological five-lemma

2025-12-27T14:19:37Z

In this article we establish some results that allow to deduce the continuity of homomorphisms of (topological) abelian groups from commutative diagrams. In particular, we present a new topological version of the classical Five-Lemma. These results aim to be applied in duality results between cohomology groups in arithmetical contexts. In such a topological-arithmetical context, Pontryagin duality plays a central role and it becomes necessary to know whether certain homomorphisms are continuous.

Esakia order-compactifications and locally Esakia spaces

2025-12-26T14:31:57Z

We introduce Esakia order-compactifications and study how they fit in the general theory of Priestley order-compactifications. We provide an analog of Dwinger's theorem by characterizing Esakia order-compactifications by means of special rings of upsets. These considerations naturally lead to the notion of a locally Esakia space, for which we prove that taking the largest Esakia order-compacification is functorial, thus obtaining an analog of Banaschewski's theorem.

Spectral selections, commutativity preservation and Coxeter-Lipschitz maps

2025-12-26T12:36:05Z

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.

Sufficient Conditions for the Shrinking Wellness Lemma

2025-12-25T07:06:53Z

The well groups were introduced by Edelsbrunner, Morozov, and Patel to measure the robustness of geometric features of a function with respect to perturbations. Roughly speaking, the $r$-th well group measures the number of features that cannot be removed by perturbing the function by at most $r$. The Shrinking Wellness Lemma states that the rank of these groups decreases as $r$ increases. In the generality originally stated, it is wrong. We present a counterexample and give conditions under which the result holds. These conditions are general enough to cover most cases in which the well groups have been applied.

On Borel sets in ideal topologies

2025-12-24T12:18:56Z

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in any ideal topology and prove that every Borel set in such a topology is analytic. In particular, when the ideal contains an unbounded set, the class of analytic sets coincides with the entire powerset. Furthermore, we show that the Approximation Lemma holds for ideal topologies.

Compact non-uniformizable Li-Yorke chaotic dynamical systems via an example

2025-12-22T21:13:45Z

The main aim of this paper is extending the concept of scambled pair and Li--Yorke chaos to non--uniform compact dynamical systems. We show for finite (compact Alexandroff) topological space $X$ with at least two elements the following statements are equivalent: $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ is Li--Yorke chaotic, $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ has at least one scrambled pair, $\bullet$ one--sided shift $σ:X^{\mathbb{N}}\to X^\mathbb{N}$ has at least one non--asymptotic pair, $\bullet$ there exists $a,b\in X$ such that $\overline{\{a\}}\cap\overline{\{b\}}=\varnothing$, $\bullet$ $\bigcap\{\overline{\{a\}}:a\in X\}=\varnothing$.

Products of two sober dcpo's need not be sober

2025-12-22T08:38:00Z

We construct two dcpo's whose Scott spaces are sober, but the Scott space of their order product is not sober. This answers an open problem on the sobriety of Scott spaces. Meantime, we show that if $M$ and $N$ are special type of sober complete lattices, then the Scott space of their order product $M\times N$ is sober.

A solution to the problem of the existence of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$

2025-12-22T01:52:05Z

Under the assumption $\frak{c}\geqslant ω_2$, we give an example of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$. This answers Problem 1 of arXiv:2510.10537.

On a Theorem of Grzegorek and Labuda

2025-12-21T04:54:39Z

This paper presents a generalized version of a theorem of Grzegorek and Labuda in category bases and also endeavours to establish a variant formulation of the same in Marczewski structures.