Planarity of compactifications of $\mathbb{R}$ with arc-like remainder

2026-06-11T16:51:34Z

We show that if $X$ is an arc-like continuum, then any continuum which is the union of $X$ and a ray $R$ such that $X \cap R = \emptyset$ and $\overline{R} \setminus R \subseteq X$ can be embedded in the plane $\mathbb{R}^2$. Further, we prove that any compactification of a line with remainder $X$ is also embeddable in $\mathbb{R}^2$ -- answering a question of Sam B. Nadler from 1972.

A small Banach space $C(K)$ without nice renormings

2026-06-11T12:48:25Z

We prove that consistently $ω_1<\mathfrak{c}$ and there exists a compact space $K$ whose Banach space $C(K)$ of continuous real-valued functions is Grothendieck, has density $ω_1$, and admits no renorming which is strictly convex or sequentially Kadets--Klee.

Topology and category for singular product spaces

2026-06-10T21:05:39Z

For $κ$ a regular uncountable cardinal, the higher Baire and Cantor spaces ${}^κκ$ and ${}^\kappa2$ (endowed with the ${<}κ$-box topology) have been relatively well-studied, but less is known about the case where $κ$ is singular. We will consider several spaces of functions and box topologies that could serve as higher Baire and Cantor spaces for singular cardinals. The ultimate focus of the article lies in studying cardinal characteristics of the ideal of $κ$-meagre subsets of these spaces.

Continuum-wise hyperbolicity is exactly the pseudo-Anosov dynamics with spine singularities

2026-06-10T11:13:50Z

We establish a complete structural classification for continuum-wise hyperbolic surface homeomorphisms. Specifically, we prove that a surface homeomorphism is cw$_F$-hyperbolic if, and only if, it is a pseudo-Anosov homeomorphism whose singularities consist exclusively of spines (1-prongs). Furthermore, we classify these systems up to topological conjugacy, showing that every such homeomorphism is conjugate to either an Anosov automorphism on the torus $\mathbb{T}^2$ or to its standard hyperelliptic quotient on the sphere $\mathbb{S}^2$. As a rigid consequence of this classification, we show that such dynamics are strictly obstructed on surfaces of genus greater than one, the Klein bottle, and the projective plane.

Old and new structures on Ran spaces: Length structures, completeness, and conicality

2026-06-09T14:55:38Z

We study topologies on Ran spaces. In the literature, two distinct topologies frequently appear: the Hausdorff topology, and a finer one constructed as a colimit, that we call the final topology. In this work, given a metric space $M$, we construct new metric topologies on $\mathrm{Ran}(M)$, called weighted topologies. They interpolate between the Hausdorff and final topologies, the later being recovered as a limit in the category of spaces. This structure equips the final topology with a uniformity, which we show to be complete. Finally we study the Ran spaces as stratified spaces. We show that, whenever $M$ is a Riemannian manifold, the weighted topologies are conically stratified, while the final topology is only so in a weak sense.

Uniformly recurrent subalgebras in finite von Neumann algebras

2026-06-08T15:54:44Z

We introduce the notion of a uniformly recurrent subalgebra (URA) for a trace-preserving action of a countable discrete group $Γ$ on a finite von Neumann algebra $M$, providing an operator-algebraic counterpart to the theory of uniformly recurrent subgroups (URS). We also show that the Effros-Maréchal space $\text{Sub}(M)$ is compact if and only if $M$ lacks a diffuse direct summand. Leveraging this, we show that URAs can exhibit arbitrary topological complexity and construct exotic URAs homeomorphic to any prescribed minimal Polish space. In the context of crossed products $M \rtimes Γ$ with amenable coefficients, we utilize URAs to formulate a new characterization of C*-simplicity, proving that $Γ$ is C*-simple if and only if the only amenable URA of the crossed product containing $M$ is $\{M\}$. Finally, to bypass the failure of compactness in $\text{Sub}(M)$, we develop a generalized state-space machinery using Baire-category methods on the weak-* compact space of trace-extending states. This construction captures compact, discrete, and exotic URAs, while recovering the classical URS framework as a special case.

Pseudocompact Topological $MV$-Algebras

2026-06-08T09:30:38Z

Recently, topological MV-algebras have been investigated by several mathematicians. In this paper, we find that every topological $MV$-algebra is a Mal'tsev space introduced by Mal'tsev in 1954. Hence, applying the theorem of Reznichenko and Uspenskij on pseudocompact Mal'tsev spaces, we show that the product of arbitrary family of pseudocompact topological $MV$-algebras are pseudocompact. We also prove that every $σ$-compact topological $MV$-algebra is ccc. Secondly, we obtain that the Stone-Čech compactification of a pseudocompact topological $MV$-algebra carries a natural compact topological $MV$-algebra structure extending the original one. Finally, we prove that: let $I$ be a closed ideal in a pseudocompact topological $MV$-algebra $A$ and $ι_1:A\hookrightarrow\bet A$ is the naturally injective; then $\cl_{βA}ι_1(I)$ is a closed ideal of $βA$ and $ βA/\cl_{βA}ι_1(I)\cong β(A/I)$.

Representations of Reeb spaces via simplified graphs and examples

2026-06-08T01:46:21Z

Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional". We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.

Maximal d-spectra and locally compact Hausdorff spaces

2026-06-07T09:59:18Z

It is an interesting open problem whether every compact Hausdorff space can be realized as the maximal $d$-spectrum of an arithmetic frame. We approach this problem by generalizing the $d$-nucleus to a stably continuous frame. We use Priestley duality to characterize the resulting $\underline d$-nucleus, which allows us to prove that every locally compact Hausdorff space can be realized as the maximal $\underline d$-spectrum of a continuous regular frame. As a corollary, we obtain that every locally Stone space can be realized as the maximal $d$-spectrum of an algebraic regular frame.

The Hartman--Mycielski construction in topological MV-algebras

2026-06-07T09:41:04Z

Recently, topological MV-algebras have been investigated by several mathematicians. In this paper, we mainly show that for every Hausdorff topological MV-algebra $A$, there exists a natural topological isomorphism $i_A:A\rightarrow A^\bullet$ of $A$ onto a closed subalgebra of the pathwise connected, locally pathwise connected topological MV-algebra $A^\bullet$. Furthermore, we show that there is an extension to a bounded continuous function on the MV-algebra $A^\bullet$ for each continuous real-valued bounded function on a topological MV-algebra $A$. Finally, we prove that if $\varphi:A_1\rightarrow A_2$ is a continuous homomorphism of topological MV-algebras, then $\varphi$ admits a natural extension to a continuous homomorphism $\varphi^\bullet:A_1^\bullet\rightarrow A_2^\bullet$; in addition, if $\varphi$ is open and onto, then so is $\varphi^\bullet$.

Ultrafilter Equivalence and Asymptotic Types of Five Classical t-Norms

2026-06-06T14:24:52Z

We study five classical $t$-norms on the unit interval from the viewpoint of ultrafilter concentration. For a fixed ultrafilter $\mathcal U$ on $[0,1]$, we introduce an equivalence relation identifying two operations whenever they coincide on $A\times A$ for some $A\in\mathcal U$. We show that their asymptotic behavior is governed by two concentration regimes. In the near-$1$ regime, the five operations determine four distinct ultrafilter-equivalence classes. In the low-value regime, the Łukasiewicz, nilpotent minimum, and drastic $t$-norms collapse to the zero operation. We encode these reductions in a discrete quotient category and record simple ultrametric models for the two regimes. We further interpret the classification inside classical ultrapowers: the near-$1$ and near-$0$ regimes become exact algebraic phenomena on infinitesimal monads, and saturation yields a compactness principle for countable systems of asymptotic identities. Finally, we indicate how the same viewpoint interacts with residual fuzzy implications generated by $t$-norms.

The Zariski Topology on Homeomorphism groups

2026-06-06T11:16:05Z

The Zariski topology on a group G is the coarsest topology such that all sets of the form $\{x \in G | 1_G \neq g_0 x^{k_0} g_1 ... g_{l-1} x^{k_{l-1}} g_l\}$ are open. Originally introduced by Bryant as the verbal topology, it serves as a fundamental tool for investigating the topological structure of infinite groups and is always a $T_1$ topology with continuous shifts and inversion. Since the Zariski topology is coarser than every Hausdorff group topology on G, it provides a natural starting point for topologizing groups; specifically, for countable or abelian groups, it is known that the Zariski topology coincides with the Markov topology-the intersection of all Hausdorff group topologies on G. In this paper, we analyze the Zariski topology on various homeomorphism groups. We demonstrate that for the Thompson groups F and T, the Zariski (and thus Markov) topology coincides with the standard compact-open topology derived from their respective actions on $[0,1]$ and $S^1$. In contrast, we show that the Zariski (and thus Markov) topology on Thompson's group V is irreducible, and therefore neither Hausdorff nor a group topology. As V acts highly transitively on each of its orbits, this result stands in notable opposition to a theorem by Banakh et al, which establishes that the Zariski topology on any permutation group containing all finitely supported elements is a Hausdorff group topology. Our results for the Zariski topologies on $F,T$ and $V$ also apply to the full homeomorphism groups $\operatorname{Homeo}([0,1])$, $\operatorname{Homeo}(S^1)$, and $\operatorname{Homeo}(2^ω)$ respectively. We conclude by providing a classification of the connected manifolds $M$ for which the homeomorphism group $\mathrm{Homeo}(M)$ admits a Hausdorff Zariski topology.

Directed Convex Powerspaces and Convex Powerdomains

2026-06-06T02:29:32Z

It is known that lower powerdomains preserve and reflect both continuity and quasicontinuity, while the preservation of quasicontinuity by upper and convex powerdomains had long been open. Directed spaces provide a topological extension framework for dcpos. Powerdomains of dcpos can be characterized as the $D$-completions of the corresponding directed powerspaces. Using this observation, the authors proved in 2024 that upper powerdomains do not preserve quasicontinuity. In this paper, we prove that directed convex powerspaces and convex powerdomains do not preserve quasicontinuity, but they do reflect both continuity and quasicontinuity. We also prove that upper powerspaces and upper powerdomains reflect quasicontinuity. Together with the known results for lower and upper powerdomains, these arguments give the complete preservation and reflection profile of the lower, upper and convex powerdomains for continuity and quasicontinuity.

Two notes on valued fields

2026-06-05T18:12:44Z

This paper studies two questions on valued fields: the metric dimension induced by an absolute value, and the uniform openness of multiplication. For nontrivial non-archimedean absolute values, we prove that the metric dimension equals the density character. In the archimedean case, the metric dimension is 2 for subfields of $\mathbb{R}$, while for non-real subfields of $\mathbb{C}$ it is either 2 or 3, according to whether the field contains a non-real element together with its complex conjugate. We also show that multiplication is uniformly open on every valued field. Finally, we prove that this property is genuinely metric, not purely topological, even on $\mathbb{R}$ with a suitable compatible choice of metric.

On the Variety of Hyperspace Selections

2026-06-05T09:06:47Z

If $f$ is a continuous selection for the Vietoris hyperspace $\mathcal{F}(X)$ of the nonempty closed subsets of a space $X$, then the point $p=f(X)\in X$ is not as arbitrary as it might seem at first glance. In fact, the set $\mathcal{O}_{cs}(X)$ of all these points reveals certain information about the variety of Vietoris continuous selections for $\mathcal{F}(X)$. Thus, for a connected space $X$, we will show that every point $p\in \mathcal{O}_{cs}(X)$ is not only noncut, but also an endpoint of $X$. Another result of this paper is that in an arbitrary topological space $X$, the closure of the set $\mathcal{O}_{cs}(X)$ is always a totally disconnected subset. Furthermore, we will also show that $\mathcal{O}_{cs}(X)$ is a closed subset of every first countable totally disconnected space $X$.