https://arxiv.org/api/zcCiTXU13QQsPeguf1cbvUXvBao 2026-03-22T16:11:52Z 5815 120 15 http://arxiv.org/abs/2512.06580v2 2026-01-13T14:07:02Z

Assuming the continuum hypothesis CH, we obtain complete $*$-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra $\mathcal Q(\ell_2)$ (bounded operators on a separable Hilbert space modulo compact operators) generated by projections. In particular, for any compact totally disconnected Hausdorff space $K$ of weight not exceeding the continuum and not admitting $G_δ$ points we construct under CH a masa of $\mathcal Q(\ell_2)$ which is $*$-isomorphic to the algebra $C(K)$ of complex-valued continuous functions on $K$. This, among others, shows that masas of the Calkin algebra could have rather unexpected properties compared to the previously known three $*$-isomorphic types of them generated by projections: $\ell_\infty/c_0$, $L_\infty$ and $\ell_\infty/c_0\oplus L_\infty$. It can be shown that some additional set-theoretic hypothesis, like CH, is necessary for such results. However, without making any additional set-theoretic assumptions we still construct a family of maximal possible cardinality (of the power set of $\mathbb R$) of pairwise non-$*$-isomorphic masas of $\mathcal Q(\ell_2)$ generated by projections and with properties unlike the three above examples.

2025-12-06T22:11:06Z Typo corrected, html abstract compactified Piotr Koszmider http://arxiv.org/abs/2512.15912v2 2026-01-13T10:15:11Z

We investigate classes of functions from a topological space to a metric space that are related to those of Borel class 1. Following the idea defining an equi-Baire 1 family (due to Lecomte) we define the respective equi-families of functions from the considered classes. We observe that studying of equi-families can be reduced to the exploration of a single orbit map with values in a product space. We consider the closure of equi-families with respect to the topology of pointwise convergence. Finally, we investigate functions $f\colon X\times Y\to Z$, for metric spaces $X,Y,Z$, with sections that are equi-continuous, equi-Baire~1 or have equi-generalized Lebesgue property with respect to measurable sets of class $α$. In particular, we generalize a result of Grande.

2025-12-17T19:25:27Z Marek Balcerzak Ľubica Holá Olena Karlova Piotr Szuca 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/2510.24441v3 2026-01-10T20:28:15Z

We present a non-commutative analogue of Błaszczyk's elegant two-step construction of the Gleason cover: first maximise irreducibility, then compactify. The key insight is that extremal disconnectedness (respectively, injectivity) emerges naturally from a maximality principle rather than being imposed by hand. We work with $A$-multiplier covers: non-unital $C^*$-algebras $E$ equipped with a faithful, non-degenerate $*$-homomorphism $ι:A\to M(E)$. Covers are ordered by $A$-preserving ucp maps between multiplier algebras in the forward direction. A cover is rigid if every ucp endomorphism of $M(E)$ fixing $A$ pointwise is the identity. We prove that if $(E_{\max},ι_{\max})$ is maximal among rigid covers, then the inclusion $A\hookrightarrow M(E_{\max})$ is rigid and essential; consequently, \[ I(A)\ \cong\ M(E_{\max}) \] canonically over $A$ by Hamana's characterisation. In the commutative case $A=C(X)$, we recover Błaszczyk's picture: for a maximal regular refinement $(X,T^\ast)$ with irreducible identity, $G(X)=β(X,T^\ast)$ and $I(C(X))\cong C(G(X))\cong M(C_0(U))$ for any dense cozero set $U\subseteq G(X)$ (in particular, for any dense open $F_σ$ set, e.g., an increasing union of clopen sets). Thus the paradigm \emph{maximise first, then compactify} provides a unified conceptual framework on both sides of Gelfand duality.

2025-10-28T14:06:47Z 7 pp Tomasz Kania 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