https://arxiv.org/api/1KtYRMSo2UAKuIa/gGR2TWwSg38 2026-06-18T09:46:23Z 5913 255 15 http://arxiv.org/abs/2309.06704v2 2026-01-15T09:14:56Z

In 1959, Arens and Eells proved that every metric space can be isometrically embedded into a normed linear space as a closed subset. In later years, in the paper on a short proof of the Arens--Eells theorem, Michael implicitly pointed out that the Arens--Eells theorem follows from the statement that every metric space can be isometrically embedded into a normed linear space as a linearly independent subset. In this paper, we prove a non-Archimedean analogue of the Arens--Eells isometric embedding theorem, which states that for every non-Archimedean valued field $K$, every ultrametric space can be isometrically embedded into a non-Archimedean valued field that is a valued field extension of $K$ such that the image of the embedding is algebraically independent over $K$.

2023-09-13T04:04:31Z I have fixed some gaps. The part concerning the algebraic structures of the universal space is being prepared as an independent new paper. If you wish to refer to it, please consult version 1 Yoshito Ishiki http://arxiv.org/abs/2511.21128v2 2026-01-14T06:27:31Z

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces and form the natural environment for arithmetic objects such as the $p$-adic integers, absolute Galois groups, and profinite completions. In this article we give a rigorous and self-contained development of the construction of the Stone space associated to a Boolean algebra, prove Stone's representation theorem, and describe profinite spaces as inverse limits of finite systems. From there we introduce the Stone--Čech compactification via its universal property and discuss central arithmetic examples (such as $β\mathbb{N}$ and profinite completions), emphasizing their structural role in arithmetic geometry and in the framework of Condensed Mathematics of Clausen--Scholze. The text is aimed at advanced undergraduate and beginning graduate students, as well as readers interested in the interface between topology, number theory, and new categorical formulations of topology.

2025-11-26T07:25:44Z 25 pages, in Spanish language J. R. Pérez-Buendía http://arxiv.org/abs/2003.13227v3 2026-01-13T08:06:04Z

As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli spaces of metrics. We observe that various sets of all metrics with properties appearing in metric geometry are dense intersections of countable open subsets in spaces of metrics on metrizable spaces. For instance, our study is applicable to the set of all non-doubling metrics and the set of all non-uniformly disconnected metrics.

2020-03-30T05:28:21Z 22 pages. I have fixed some gaps Yoshito Ishiki http://arxiv.org/abs/2601.08032v1 2026-01-12T22:03:18Z

We study several separation axioms for $X$-top-lattices (i.e. a lattice $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{% Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$ We provide sufficient/necessary conditions for an $X$-top lattice so that $X$ is $T_{2},$ \emph{regular} ($T_{3}$), \emph{completely regula}r ($T_{3\frac{1}{2}}$), \emph{normal}, \emph{completely normal} or \emph{perfectly normal} ($T_{6}$). We apply our results mainly to the spectrum of prime (resp. maximal, minimal) ideals of a commutative (semi)ring. We illustrate our results with several examples/counterexamples.

2026-01-12T22:03:18Z Jawad Abuhlail Abdulmushin Alfaraj http://arxiv.org/abs/2402.04358v3 2026-01-12T20:51:36Z

Let $σ$ denote the shift automorphism on $\mathcal{P}(ω) / \mathrm{fin}$, defined by setting $σ([A]) = [A+1]$ for all $A \subseteq ω$. We show that the Continuum Hypothesis implies the shift automorphism $σ$ and its inverse $σ^{-1}$ are conjugate in the automorphism group of $\mathcal{P}(ω) / \mathrm{fin}$. Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with $\mathsf{ZFC}$ that $σ$ and $σ^{-1}$ are not conjugate. Our result shows that the question of whether $σ$ and $σ^{-1}$ are conjugate is independent of $\mathsf{ZFC}$. As a corollary to the main theorem, we deduce that the structures $\langle \mathcal{P}(ω) / \mathrm{fin},σ\rangle$ and $\langle \mathcal{P}(ω) / \mathrm{fin},σ^{-1} \rangle$ are elementarily equivalent in the language of algebraic dynamical systems (Boolean algebras together with an automorphism). This corollary does not depend on the Continuum Hypothesis.

2024-02-06T19:44:08Z Will Brian http://arxiv.org/abs/2601.07804v1 2026-01-12T18:36:25Z

In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an extended shift that describes admissible compositions. In particular, the possible combinatorial structure of a local iterated function system is in bijection with the space of invariant subsets of the full shift. Nevertheless, these objects reveal a degree of unexpectedness relative to the classical framework, as we build examples of local iterated function systems which are not modeled by subshifts of finite type and give rise to non self-similar attractors. We also prove that all attractors of graph-directed IFSs are obtained from local IFSs on an enriched compact metric space. We provide several classes of examples illustrating the scope of our results, emphasizing both their contrasts and connections with the classical theory of iterated function systems.

2026-01-12T18:36:25Z 40 páginas, 2 figures Elismar R. Oliveira Paulo Varandas http://arxiv.org/abs/2208.06886v4 2026-01-12T14:22:45Z

We characterize the pseudo-arc as well as P-adic pseudo-solenoids (for a set of primes P) as generic structures, arising from a natural game in which two players alternate in building an inverse sequence of surjections. The second player wins if the limit of this sequence is homeomorphic to a concrete (fixed in advance) space, called generic whenever the second player has a winning strategy. For this purpose, we develop a new robust approximate Fraïssé theory in the context of MU-categories, a generalization of metric-enriched categories, suitable for working directly with continuous maps between metrizable compacta. Our framework extends both the classical and projective Fraïssé theories. We reprove the Fraïssé-theoretic characterization of the pseudo-arc and we realize every P-adic pseudo-solenoid as a Fraïssé limit of a suitable category of continuous surjections on the circle. Moreover, we show that, when playing the game with continuous surjections between non-degenerate Peano continua, the pseudo-arc is always generic, while the universal pseudo-solenoid is generic over all surjections between circle-like continua. This gives a complete classification of generic continua over full non-trivial subcategories of connected polyhedra with continuous surjections.

2022-08-14T17:16:58Z accepted version, 77 pages, 3 figures, comments are welcome Selecta Math. (N.S.) 32 (2026), no. 1, Paper No. 14 Adam Bartoš Wiesław Kubiś 10.1007/s00029-025-01119-5 http://arxiv.org/abs/2601.07505v1 2026-01-12T13:05:09Z

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces). One of the main achievements is the proof of the bicompleteness (i.e. of the existence of all small limits and colimits) of the aforementioned categories.

2026-01-12T13:05:09Z 33 pages Enrico Pasqualetto Timo Schultz Janne Taipalus http://arxiv.org/abs/2601.07371v1 2026-01-12T09:53:03Z

We consider the geometry of a class of fractal sets in $\mathbb{R}^{2}$ that generalise the famous Koch curve and Koch snowflake. While the classical Koch curve is defined by an iterative process that divides a line segment into three parts and replaces the middle part by the legs of an isosceles triangle 'above' the line segment, in this more general setting, a choice can be made at each iteration as to whether to place this triangle 'above' or 'below' the line segment. The resulting fractals bear a striking visual resemblance to curves appearing in nature, such as coastlines and snowflakes. While these fractals can be generated by a random process that flips a coin each time to decide the orientation of the triangle, leading to 'almost sure' results for their geometrical properties, we define and study them deterministically to provide exact results. In particular, we show, using the theory of non-integer expansions, that the set of all possible values for the area enclosed by these generalised Koch curves is a closed interval. Moreover, we prove that the union of all these generalised snowflakes does not contain an open set, and has zero $2$-dimensional Lebesgue measure. Complementing these results, using arguments from calculus and fractal geometry, namely properties of geometric series and Frostman's Lemma, we show that each generalised Koch curve has infinite length and the same Hausdorff dimension as its classical counterpart. Further, we also give a classification for when a generalised Koch curve is a quasicircle.

2026-01-12T09:53:03Z 15 pages, 12 figures Sven van Golden Sabrina Kombrink Tony Samuel http://arxiv.org/abs/2212.13409v3 2026-01-12T08:52:07Z

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a closed subset. Using this theorem, we next show the existence of extensors of metrics and ultrametrics, which preserve properties of metrics such as the completeness, the properness, being an ultrametrics, its fractal dimensions, and large scale structures. This result contains some of the author's extension theorems of ultrametrics.

2022-12-27T08:37:59Z 24 pages. This paper was published in Colloq. Math Colloq. Math., (2023), 101--119 Yoshito Ishiki 10.4064/cm9066-6-2023 http://arxiv.org/abs/2210.02170v5 2026-01-12T08:44:57Z

A metric space is said to be strongly rigid if no positive distance is taken twice by the metric. In 1972, Janos proved that a separable metrizable space has a strongly rigid metric if and only if it is zero-dimensional. In this paper, we shall develop this result for the theory of space of metrics. For a strongly zero-dimensional metrizable space, we prove that the set of all strongly rigid metrics is dense in the space of metics. Moreover, if the space is the union of countable compact subspaces, then that set is comeager. As its consequence, we show that for a strongly zero-dimensional metrizable space, the set of all metrics possessing no nontrivial (bijective) self-isometry is comeager in the space of metrics.

2022-10-05T11:53:58Z 22 pages. I have fixed some gaps, and added some explanations. I have added Theorem 1.4. This paper was published in Topology Proceedings Topology Proceedings, 63 (2024), 125--148 Yoshito Ishiki http://arxiv.org/abs/2601.07027v1 2026-01-11T18:40:49Z

In this paper we prove that, for a compact group $G$, a metrizable $G$-space is a $G$-ANR under the following asumptions: (1) if it dominates a $G$-ANR space through a fine $G$-homotopy equivalence; (2) if it is $G$-homotopy dense in a $G$-ANR; (3) if it contains a $G$-ANR as a $G$-homotopy dense subset; (4) if it is the inverse limit of an inverse sequence of $G$-ANR spaces with bonding maps that are fine $G$-homotopy equivalences.

2026-01-11T18:40:49Z 16 pages Sergey A. Antonyan Aura Lucina Kantún-Montiel Jesús Eduardo Mata-Cano Armando Mata-Romero http://arxiv.org/abs/2601.00733v2 2026-01-11T11:40:41Z

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a (semi-)reflexive space, (3) $B_1(X)$ is a (quasi-)complete space, (4) $B_1(X)=\mathbb{R}^X$, (5) $X$ is a $Q_f$-space. It is proved that $B_1(X)$ is sequentially complete iff $B_1(X)$ is locally complete iff $X$ is a $CZ$-space. In the case when $K$ is a compact space, we show that $B_1(K)$ is locally complete iff $K$ is scattered. We thoroughly study the case when $X$ is a separable metrizable space. Numerous distinguished examples are given.

2026-01-02T16:27:08Z Saak Gabriyelyan Alexander V. Osipov Evgenii Reznichenko http://arxiv.org/abs/2601.06454v1 2026-01-10T06:44:47Z

The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real algebraic hypersurfaces. Especially, intersections of these cylinders of real algebraic hypersurfaces, which give important information on regions, are investigated via singularity theory. This is a kind of natural problems on real geometry. This also comes from construction of explicit real algebraic maps onto explicit regions in real affine spaces on real algebraic manifolds. More generally, we are interested in difficulty in explicit construction of real algebraic objects, where existence and approximation has been well-known, since pioneering studies by Nash and Tognoli, in the latter half of 20th century. This also comes from interest in singularity theory of differentiable, smooth or real algebraic functions and maps, especially, explicit construction.

2026-01-10T06:44:47Z 10 pages Naoki Kitazawa http://arxiv.org/abs/2601.06310v1 2026-01-09T20:56:55Z

We investigate the existence of compact Hausdorff spaces $X$ that are minimum with respect to $cX=K$ for some fixed covering operator $c$ and compact Hausdorff space $K$ with $cK=K$. Then, using the Yosida representation theorem, we show how that situation relates to the existence of Archimedean vector lattices $A$ with distinguished strong unit that are minimum with respect to $hA=H$ for some fixed hull operator $h$ and vector lattice $H$ with $hH=H$. Among others, we obtain answers for $c=g$ (the Gleason covering operator), $c=qF$ (the quasi-$F$ covering operator), $h = u$ (the uniform completion operator), and $h=e$ (the essential completion operator).

2026-01-09T20:56:55Z R. E. Carrera A. W. Hager B. Wynne