https://arxiv.org/api/OaDspabOOcCewHU0QZTHs+DaQ1U 2026-03-26T13:01:04Z 5817 195 15 http://arxiv.org/abs/2501.07673v2 2025-11-27T14:09:51Z

We use Priestley duality as a new tool to study maximal $d$-spectra of arithmetic frames, both with and without units. We pay special attention to when the maximal $d$-spectrum is compact or Hausdorff. Various necessary and sufficient conditions are given, including a construction of an arithmetic frame with a unit whose maximal $d$-spectrum is not Hausdorff, thus resolving an open problem in the literature.

2025-01-13T20:10:53Z Journal of Algebra and Its Applications (2025) G. Bezhanishvili P. Bhattacharjee S. D. Melzer 10.1142/S0219498827500058 http://arxiv.org/abs/2511.20374v1 2025-11-25T14:55:02Z

It is proved that for every stratifiable space $Y$ and a closed subset $X\subset Y$ there exists a regular (i.e. linear positive with unit norm) extension operator $T:C(X\times X)\to C(Y\times Y)$ preserving the class of (pseudo)metrics. This operator is continuous with respect to the pointwise as well as to the compact-open topologies on the linear lattices of continuous functions $C(X\t X)$ and $C(Y\t Y)$. If moreover the space Y is metrizable then the operator $T$ preserves the class of admissible metrics. The equivariant analog of the above statement is proved as well.

2025-11-25T14:55:02Z This paper was written in 1992 but never published, as its main result was later superseded by the paper (arXiv:1202.1381) which, however, employs completely different methods to achieve the same goal, so I decided to make this old unpublished paper available for researchers Taras Banakh http://arxiv.org/abs/2511.20053v1 2025-11-25T08:21:42Z

We describe the equicontinuity regions of cyclic subgroups of the quaternionic projective linear group $\mathrm{PSL}(n+1,\mathbb{H})$. We show that these regions depend solely on the dynamical type of the generator $g$, i.e. whether $g$ is elliptic, parabolic, loxodromic or loxoparabolic. This yields an analytic interpretation of the dynamical classification of the elements. In particular, elliptic cyclic groups act equicontinuously on all of the quaternionic projective space, while for the parabolic, loxodromic and loxoparabolic elements the equicontinuity region is determined by explicit quaternionic projective subspaces arising from the generator's Jordan form.

2025-11-25T08:21:42Z 15 pages Sandipan Dutta Krishnendu Gongopadhyay Rahul Mondal http://arxiv.org/abs/2511.19968v1 2025-11-25T06:26:38Z

This paper studies regular topological flows $f^t$ defined on closed {topological} manifolds $M^n$. The chain recurrent set of such a flow consists of a finite number of topologically hyperbolic fixed points and periodic orbits. Like their smooth analogs -- Morse-Smale flows -- regular flows possess a continuous Morse-Bott function that decreases outside the chain recurrent set and is constant on the chain components of the flow. This circumstance leads to a close connection between such flows and the topology of the carrying manifold. In particular, the ambient manifold for non-singular flows (regular flows without fixed points), by the Poincare-Hopf formula, has a zero Euler characteristic. The latter property is a criterion for a manifold $M^n$ to admit a non-singular flow in all dimensions except dimension $n=3$. Thus, in higher dimensions, any odd-dimensional manifold admits a non-singular flow, and the list of even-dimensional manifolds is quite broad; at the very least, it includes all manifolds of the form $M^{n-1}\times\mathbb S^1$, where $M^{n-1}$ is any closed $(n-1)$-manifold. A surprising result of the present paper is the proof of the fact that in dimension 4, all this variety of carrying spaces can only be achieved if the flow has saddle orbits of different Morse indices. Specifically, for dimensional reasons, the Morse index of a saddle orbit of a non-singular flow $f^t: M^4 \to M^4$ can only take two values, 1 or 2. We prove that non-singular 4-flows with saddle orbits of the same Morse index exist only on skew or direct products of the 3-sphere and the circle, i.e., $M^4\cong\mathbb S^3\tilde\times\,\mathbb S^1$ or $M^4\cong\mathbb S^3\times\mathbb S^1$.

2025-11-25T06:26:38Z 16 pages, 6 figures V. Galkin O. Pochinka http://arxiv.org/abs/2512.11810v1 2025-11-25T01:27:29Z

We develop a unified approach to defining a point at infinity for an arbitrary space and formalizing convergence to this point. Central to our work is a method to quantify and classify the rates at which functions approach their limits at infinity. Our framework applies to various settings (metric spaces, topological spaces, directed sets, measure spaces) by introducing an exhaustion of the space via an associated exhaustion function h. Using h, we adjoin an ideal point ω_A to the space A and define convergence a \to ω_A in a manner intrinsic to A. To measure convergence rates, we introduce a family of parameterized norms, denoted ||f||_{\infty,h,p}, which provides a refined classification of asymptotic behavior (e.g., distinguishing rates of order O(h^{-p})). Furthermore, the framework is extended to handle anisotropic spaces with multiple distinct ends by introducing a 'multi-exhaustion' formalism, allowing for a precise, directional analysis of convergence rates towards each asymptotic channel. This approach allows for a distinction between the global convergence captured by the norm and the purely asymptotic behavior at infinity, which can be analyzed via the limit superior of the convergence ratio. We further investigate the theoretical limits of this measure by establishing sufficient conditions (such as monotonicity) under which a finite norm guarantees convergence. The framework is shown to recover classical results, such as the Alexandroff one-point compactification and standard definitions of limits, while also providing a richer quantitative structure. Examples in each context are provided to illustrate the concepts.

2025-11-25T01:27:29Z 49 pages, 2 figures. Associated code and data available at https://github.com/Armen0807 Armen Petrosyan http://arxiv.org/abs/2511.19354v1 2025-11-24T17:54:57Z

A natural question, which appeared as Problem 61 in Hart and van Mill's list of open problems on $βω$ (2024), asks whether every finite partial order is embeddable in the Rudin--Keisler order on (types of) ultrafilters over a countable set. Although the positive answer, even for all countable partial orders, was proved under CH in Blass' thesis (1970), the situation in ZFC alone remains widely open. We show that, in ZFC, not only this result by Blass can be re-proved, but, moreover, the ordered by inclusion lattices of finite subsets of a set of cardinality $2^{\mathfrak c}$, and of countable subsets of a set of cardinality $\aleph_1$, both are embeddable in ultrafilters with any relation lying between the Rudin--Keisler and Comfort orders.

2025-11-24T17:54:57Z Nikolai L. Poliakov Denis I. Saveliev http://arxiv.org/abs/2511.18527v1 2025-11-23T16:40:37Z

This note is an introductory survey of non-Hausdorff separation axioms. The main focus is to study properties that are between $T_0$ and $T_1$, properties between $T_1$ and Hausdorff and how the $T_0$-quotient change them and the relation between them.

2025-11-23T16:40:37Z Tianyi Zhou http://arxiv.org/abs/2511.18355v1 2025-11-23T09:01:57Z

In this paper we study the notion of rough $\mathcal{I}$-statistical convergence of sequences in a partial metric space as an extension work of both the notions of rough statistical and rough ideal convergence. Here we define rough $\mathcal{I}$-statistical limit set and discuss some relevant properties associated with this set.

2025-11-23T09:01:57Z 12 Pages Sukila Khatun Khairul Hasan Amar Kumar Banerjee http://arxiv.org/abs/2511.17745v1 2025-11-21T19:52:30Z

We study $n$-flimsy spaces, which are the topological spaces that remain connected when removing fewer than $n$ points but become disconnected when removing exactly $n$ points. We show that no such space exists for $n \geq 3$, and that the compact $2$-flimsy spaces are precisely the dense and order-complete cyclically ordered sets equipped with their order topology. Furthermore, we examine variants of the definition obtained by replacing connectedness by path-connectedness, where paths are either parametrized by $[0,1]$ or by arbitrary compact linear continua.

2025-11-21T19:52:30Z 38 pages, 7 figures, 3 diagrams Robin Khanfir Béranger Seguin http://arxiv.org/abs/2511.17465v1 2025-11-21T18:13:07Z

Let R be a commutative ring with unity and M be an R-module. In this study, we construct the \tilde{Spec}(M) topology using the prime spectrum of module M and multiplicatively closed subsets of R with the closed sets \tilde{V}(S)={P \in Spec(M) : (P : M) \cap S_i \neq \emptyset for all i \in I} with the open sets \tilde{D}(S_i):={P \in Spec(M) : (P : M) \cap S_i = \emptyset} where S = {S_i}_{i \in I} is a family of multiplicatively closed subsets of R. We investigate connections between the algebraic properties of R-module M and the topological properties of \tilde{Spec}(M). We examine specifically the separation axioms, connectivity, nested and Lindelöf property together with quasi-compactness as well as the isolated, closure, interior and limit points of tilde{Spec}(M). Moreover, in the last section, we provide an example of a Lindelöf space which is not quasi-compact by means of \tilde{Spec}(M).

2025-11-21T18:13:07Z Dilara Erdemir Suat Koç Ünsal Tekir Mesut Buğday http://arxiv.org/abs/2511.17096v1 2025-11-21T09:52:00Z

This paper provides a self-contained exploration of subdivisions of simplicial complexes, with emphasis on barycentric subdivision. We present formal definitions of subdivisions, show how the realization of a complex is preserved under subdivision, and illustrate these concepts with explicit examples and detailed diagrams. The paper develops the general method of constructing subdivisions by starring from interior points, leading to the standard barycentric and derived subdivisions. We give precise statements and proofs demonstrating that repeated barycentric subdivision reduces the mesh below any prescribed scale, ensuring compatibility with given metrics and enabling applications such as simplicial approximation and homological analysis. Examples and TikZ illustrations clarify the structure of iterated subdivisions for finite complexes, highlighting their geometric and topological properties.

2025-11-21T09:52:00Z Sanjay Mishra http://arxiv.org/abs/2509.17577v2 2025-11-21T08:59:28Z

Ellis's "functional approach" allows one to obtain proper compactifications of a topological group $G$ if $G$ can be represented as a subgroup of the homeomorphism group of a space $X$ in the topology of pointwise convergence and $G$-space $X$ is $G$-Tychonoff. These compactifications, called Ellis compactifications, are right topological monoids and $G$-compactifications of the group $G$ with its action by multiplication on the left on itself. A comparison is made between Ellis compactifications of $G$ and the Roelcke compactification of $G$. Uniformity corresponding to the Ellis compactification of $G$ for its representation in a compact space $X$ is established. Proper Ellis semigroup compactifications are described for groups ${\rm S}(X)$ (the permutation group of a discrete space $X$) and ${\rm Aut} (X)$ (automorphism group of an ultrahomogeneous chain $X$) in the permutation topology and ${\rm Aut} (X)$ of LOTS $X$ in the topology of pointwise convergence.

2025-09-22T11:04:40Z K. L. Kozlov B. V. Sorin http://arxiv.org/abs/2511.16503v1 2025-11-20T16:20:20Z

The concept of a quasi-metric space arises by relaxing the requirement of the symmetry axiom in the definition of a metric. This small variation alters several structural properties possessed by a standard metric space. This article aims to investigate the notion of UC quasi-metric spaces in a systematic manner. A quasi-metric space (X, d) is called a UC space if every real-valued continuous function on (X, d) is uniformly continuous. In the context of metric spaces, UC spaces help in bridging the gap between compactness and completeness. These spaces also play an important role in the theory of hyperspaces of closed sets and fixed point theory. In this article, we present several characterizations of UC quasi-metric spaces and provide various examples of such spaces. At several instances, our proof techniques highlight key differences between UC quasi-metric spaces and their metric counterparts.

2025-11-20T16:20:20Z 20 pages Om Dev Singh Anubha Jindal http://arxiv.org/abs/2511.16188v1 2025-11-20T09:52:50Z

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $λ$ of countable confinality. Somewhat unexpectedly, the resulting theory is remarkably similar to the classical one, although the methods used are necessarily fairly different and combine ideas and results from general topology, infinite combinatorics, and set theory. More in detail, we study $λ$-Polish spaces and standard $λ$-Borel spaces (characterization of the generalized Cantor and Baire spaces, analogues of the Cantor-Bendixson theorem, classification up to $λ$-Borel isomorphism, etc.), their $λ$-Borel hierarchy (structural properties, changes of topologies, and so on), $λ$-analytic sets (including generalizations of the Lusin separation theorem and of the Souslin theorem), $λ$-coanalytic sets (including $λ$-$\boldsymbolΠ^1_1$-ranks and alike), and $λ$-projective sets. We also consider more advanced topics, and provide e.g. various uniformization results for $λ$-Borel set; these in turn lead to fundamental applications to the study of $λ$-Borel equivalence relations, such as a generalization of the celebrated Feldman-Moore theorem. Finally, we study a natural generalization of the classical Perfect Set Property, and develop tools to show that all definable sets enjoy such property under suitable large cardinal assumptions, most notably including Woodin's $\mathsf{I0}(λ)$.

2025-11-20T09:52:50Z Vincenzo Dimonte Luca Motto Ros http://arxiv.org/abs/2504.02276v2 2025-11-19T18:03:40Z

Any function from a round $n$-dimensional sphere of radius $r$ into $n$-dimensional Euclidean space must distort the metric additively by at least $\displaystyle \frac{πr}{1 + \sqrt{1 - \frac{2}{n+2}}}$ if $n$ is even and $\displaystyle \frac{πr}{1 + \sqrt{1 - \frac{2(n+2)}{(n+1)(n+3)}}}$ if $n$ is odd. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk-Ulam to set-valued functions.

2025-04-03T04:50:47Z 9 pages; substantial revisions throughout, including removing Lemma 4.3, which was in error, adding Theorem 1.3, and correcting the bounds in the main theorem James Dibble