https://arxiv.org/api/zcCiTXU13QQsPeguf1cbvUXvBao 2026-06-13T20:15:27Z 5910 120 15 http://arxiv.org/abs/2604.05813v1 2026-04-07T12:49:33Z

In this paper, we investigate the set $\mathcal{U}(\mathbb{U})$ of universal and ultrahomogeneous $1$-Lipschitz retractions acting on the Urysohn space as the subspace of the space $\mathcal{R}(\mathbb{U})$ of all $1-$Lipschitz retractions defined on the Urysohn space. Especially, we study Borel complexity and density $\mathcal{U}(\mathbb{U})$ in $\mathcal{R}(\mathbb{U}).$ In order to do that, we introduce a new extension property $(UR^*)$ that is equivalent to the universality and ultrahomogeneity of a retraction, and a new pointwise retract topology.

2026-04-07T12:49:33Z Judyta Bąk Joanna Garbulińska-Węgrzyn Michał Popławski http://arxiv.org/abs/2604.05554v1 2026-04-07T07:56:09Z

We introduce a family of forcing notions that are helpful in showing that certain graphs do not have countable colourings of (additive) Borel class alpha. We construct graphs that are ''weakly minimal'' for such colourings.

2026-04-07T07:56:09Z Noam Greenberg IMJ-PRG Dominique Lecomte IMJ-PRG Dan Turetsky Miroslav Zelen http://arxiv.org/abs/2604.04835v1 2026-04-06T16:35:59Z

A countable discrete group $Γ$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteqΓ$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(Γ)$ invariant under conjugation by $N$, one has $\mathcal{M}=L(K)$ for some subgroup $K\leΓ$. Similarly, $Γ$ has the relative $C^*$-ISR-property if every $N$-invariant unital $C^*$-subalgebra $\mathcal{A} \subseteq C_r^*(Γ)$ is of the form $C_r^*(K)$. We show that every torsion-free acylindrically hyperbolic group with trivial amenable radical satisfies the relative ISR property. Moreover, we also show that all torsion-free hyperbolic groups have the relative $C^*$-ISR property. Furthermore, we establish an analogous relative ISR-property for irreducible lattices in higher-rank semisimple Lie groups, such as $\mathrm{SL}_d(\mathbb{Z})$ ($d \geq 3$), with trivial center.

2026-04-06T16:35:59Z 24 pages; preliminary version. Comments are welcome Tattwamasi Amrutam http://arxiv.org/abs/2209.11339v6 2026-04-06T11:44:07Z

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification procedure. The former are simply opens, while we call the latter \emph{machines}. Given a frame presentation $\mathcal{O} X = \langle G \mid R\rangle$ we construct a space of machines $Σ^{Σ^G}$ whose points are given by formal combinations of basic machines corresponding to generators in $G$. This comes equipped with an `evaluation' map making it a weak exponential with base $Σ$ and exponent $X$. When it exists, the true exponential $Σ^X$ occurs as a retract of machine space. We argue this helps explain why some spaces are exponentiable and others not. We then use machine space to study compactness by giving a purely topological version of Escardó's algorithm for universal quantification over compact spaces in finite time. Finally, we relate our study of machine space to domain theory and domain embeddings.

2022-09-22T22:48:31Z Logical Methods in Computer Science, Volume 22, Issue 2 (April 7, 2026) lmcs:12327 Peter F. Faul Graham Manuell 10.46298/lmcs-22(2:2)2026 http://arxiv.org/abs/2303.08491v4 2026-04-06T10:46:35Z

In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(ω)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.

2023-03-15T09:56:23Z Version 2: added a description of a 40-years old answer to the original question Version 3: final version after referee's report; submitted to the journal. 2026-04-06: Fixed a few annoying typos Topology and its Applications (1 May 2025) 109280 Klaas Pieter Hart 10.1016/j.topol.2025.109280 http://arxiv.org/abs/2512.00415v2 2026-04-06T06:55:03Z

We prove that: I. The product of any two regular isodyne spaces of cardinality $ω_1$ is $ω$-resolvable; II. The product of any $n + 2$ Hausdorff isodyne spaces of cardinality $ω_n$ is $ω$-resolvable.

2025-11-29T09:49:46Z 10 pages. Minor changes Anton Lipin http://arxiv.org/abs/2512.10784v3 2026-04-05T15:30:53Z

We prove that locally countably-compact Hausdorff topological groups $\mathbb{G}$ act continuously on their iterated joins $E_n\mathbb{G}:=\mathbb{G}^{*(n+1)}$ (the total spaces of the Milnor-model $n$-universal $\mathbb{G}$-bundles) as well as the colimit-topologized unions $E\mathbb{G}=\varinjlim_n E_n\mathbb{G}$, and the converse holds under the assumption that $\mathbb{G}$ is first-countable. In the latter case other mutually equivalent conditions provide characterizations of local countable compactness: the fact that $\mathbb{G}$ acts continuously on its first self-join $E_1\mathbb{G}$, or on its cone $\mathcal{C}\mathbb{G}$, or the coincidence of the product and quotient topologies on $\mathbb{G}\times \mathcal{C}X$ for all spaces $X$ or, equivalently, for the discrete countably-infinite $X:=\aleph_0$. These can all be regarded as weakened versions of $\mathbb{G}$'s exponentiability, all to the effect that $\mathbb{G}\times -$ preserves certain colimit shapes in the category of topological spaces; the results thus extend the equivalence (under the separation assumption) between local compactness and exponentiability.

2025-12-11T16:24:52Z v3 updates acknowledgments; 13 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2601.01208v2 2026-04-05T15:21:53Z

We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval image $Λ\subseteq \mathbb{C}$ or $\mathbb{R}$ are (a) conjugations; (b) transpose conjugations, or (c) orderings of spectra according to an orientation of $Λ$, with fixed eigenspaces. This generalizes results of Petek's (self-maps of real or complex Hermitian matrices) and the author's (complex Hermitian matrices as the domain, $\mathcal{M}_n(\mathbb{C})$ as the codomain). An application rules out possibility (c) for normal matrices with spectra constrained to a simple closed curve, extending a result by the author, Gogić and Tomašević to the effect that continuous commutativity and spectrum preservers on unitary groups are (transpose) conjugations. The involution preserving eigenspaces and complex-conjugating eigenvalues is a novel possibility beyond (a), (b) and (c) if the domain consists of all semisimple operators with $Λ$-bound spectra instead; its continuity (or lack thereof) and whether or not that map furthermore extends continuously to arbitrary $Λ$-constrained-spectrum matrices hinge on the geometry and regularity of $Λ$.

2026-01-03T15:25:13Z v2 fixes two erroneous citations; 11 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2204.14235v6 2026-04-02T08:30:40Z

We address two interrelated problems concerning the permutation of roots of univariate polynomials whose coefficients depend on parameters. First, we compute the Galois group of polynomials $\varphi(x)\in\mathbb{C}[y_1,\cdots,y_k][x]$ over $\mathbb{C}(y_1,\cdots,y_k)$. Provided that the corresponding multivariate polynomial $\varphi(x,y_1,\ldots,y_k)$ is generic with respect to its support $A\subset \mathbb{Z}^{k+1}$, we determine the associated Galois group for any such $A$. Second, we determine the Galois group of systems of polynomial equations of the form $p(x,y)=q(y)=0$ where $p$ and $q$ have fixed supports $A_1\subset \mathbb{Z}^2$ and $A_2\subset \{0\}\times \mathbb{Z}$, respectively. For each problem, we determine the image of an appropriate braid monodromy map in order to compute the sought Galois group. Among the applications, we determine the Galois group of any rational function generic with respect to its support. We also provide general obstructions to the Galois group of enumerative problems over algebraic groups.

2022-04-29T17:07:01Z 39 pages, 7 figures. Final version, to appear in JEMS Alexander Esterov Lionel Lang http://arxiv.org/abs/2604.00663v1 2026-04-01T09:10:02Z

The notion of $\ast$-measure on a compact Hausdorff space can be defined for arbitrary continuous triangular norm $\ast$. The well-known Hutchinson-Barnsley theory deals with the iterated function systems (IFSs) of probability measures and establishes existence and uniqueness of invariant measures. In the previous paper, IFSs of $\ast$-measures were considered. In the present paper we deal with generalized invariant function systems (GIFSs) of $\ast$-measures, which are counterparts of GIFSs in the sense of Mihail and Miculescu. The notion of invariant $\ast$-measure is introduced for such GIFSs and we prove existence and uniqueness of such elements.

2026-04-01T09:10:02Z 13 pages, comments are welcome Natalia Mazurenko Mykhailo Zarichnyi http://arxiv.org/abs/2604.00563v1 2026-04-01T07:13:20Z

The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and is in terms of objects that are sets endowed with a collection of distances, where the distances involved do not satisfy the triangle inequality but fulfil a mixed triangle condition instead. The morphisms are levelwise non-expansive maps. We show that the category of probabilistic metric spaces is a monotopological category over the category of sets. We describe the regular closure on a probabilistic space and prove that it coincides with the closure in the underlying strong topology. This enables us to characterize the class of all epimorphisms as the dense maps and the class of all regular monomorphisms as the closed embeddings in terms of the closure operator. We prove that the category of extended metric spaces with non-expansive maps is both coreflectively and reflectively embedded in the category of probabilistic metric spaces.

2026-04-01T07:13:20Z 14 pages Eva Colebunders Robert Lowen http://arxiv.org/abs/2603.28922v1 2026-03-30T18:53:08Z

We study families of subsets of $ω$ which are independent with respect to the asymptotic density $\mathsf{d}$. We show, for instance, that there exists a maximal $\mathsf{d}$-independent family $\mathcal{A}$ such that $\mathsf{d}[\mathcal{A}]$ attains a prescribed set of values in $(0,1)$ with at most countably many exceptions. In addition, under $\mathrm{cov}(\mathcal{N})=\mathfrak{c}$, it is possible to construct such $\mathcal{A}$ with no exceptions. We also construct $2^{\mathfrak{c}}$ maximal $\mathsf{d}$-independent families with pairwise distinct generated density fields and obtain maximal families with strong definability pathologies, including examples without the Baire property and, consistently, nonmeasurable examples.

2026-03-30T18:53:08Z 22 pages, comments are welcome Jonathan M. Keith Paolo Leonetti http://arxiv.org/abs/2603.28165v1 2026-03-30T08:33:31Z

We study rings of real-valued continuous functions in terms of pseudocomplementation conditions on various lattices attached to their prime spectrum. We fully characterize pseudocomplementation in all cases and have an almost complete characterization of relative pseudocomplementation.

2026-03-30T08:33:31Z 20 pages Guram Bezhanishvili Marcus Tressl http://arxiv.org/abs/2603.28087v1 2026-03-30T06:41:06Z

Recently, the Macías topology has been generalized over integral domains that are not fields, to furnish a topological proof of the infinitude of prime elements under the assumption that the set of units is finite or not open. In this article, we remove this cardinality assumption completely by using the Jacobson radical. We prove that in any semiprimitive integral domain, the group of units is not open in the Macías topology. Consequently, for a principal ideal domain, this gives an equivalence between the triviality of the Jacobson radical, the density of the set of prime elements, and the group of units not being open in the Macías topology. Furthermore, we completely characterize when Macías spaces over different infinite principal ideal domains are homeomorphic in terms of cardinalities of certain subsets of the domains. As an application we resolve an open problem concerning homeomorphism of Macías spaces over countably infinite semiprimitive principal ideal domains.

2026-03-30T06:41:06Z 7 pages. Comments are welcome Souvik Mandal Ankur Sarkar http://arxiv.org/abs/2603.27330v1 2026-03-28T16:25:31Z

We study four adjoint situations in pointfree topology that interchange images and preimages with closure and interior operators and establish with them a number of characterisations for meet-preserving maps, localic maps, open maps (in a broad sense) and open localic maps between locales. The principal and most attractive feature of these adjunctions is that they are all concerned with elementary ideas and basic concepts of localic topology: the use of the concrete language of sublocales and its technique simplifies the reasoning. We then revisit open localic maps in detail and present a new proof of Joyal-Tierney open mapping theorem. We end with a study of the interchange laws between preimages/images and closure/interior operators, making clear the similarities and differences with the classical realm.

2026-03-28T16:25:31Z João Areias Jorge Picado