https://arxiv.org/api/0kHmlpIK+BZt+F7SCIjAuNXxvno 2026-06-19T01:52:25Z 5913 480 15 http://arxiv.org/abs/2412.04281v3 2025-07-27T17:24:43Z

The notion of a proper Ellis semigroup compactification is introduced. Ellis's functional approach shows how to obtain them from totally bounded equiuniformities on a phase space $X$ when the acting group $G$ is with the topology of pointwise convergence and the $G$-space $(G, X, \curvearrowright)$ is $G$-Tychonoff. The correspondence between proper Ellis semigroup compactifications of a topological group and special totally bounded equiuniformities (called Ellis equiuniformities) on a topological group is established. The Ellis equiuniformity on a topological transformation group $G$ from the maximal equiuniformity on a phase space $G/H$ in the case of its uniformly equicontinuous action is compared with Roelcke uniformity on $G$. Proper Ellis semigroup compactifications are described for groups $S\,(X)$ (the permutation group of a discrete space $X$) and $Aut\,(X)$ (automorphism group of an ultrahomogeneous chain $X$) in the permutation topology. It is shown that this approach can be applied to the unitary group of a Hilbert space.

2024-12-05T16:01:13Z K. L. Kozlov B. V. Sorin http://arxiv.org/abs/2507.10353v2 2025-07-27T17:21:27Z

The classification of (proper) compactifications of topological groups with respect to the possibility of extensions of algebraic operations is presented. Ellis' method of construction compactifications of topological groups allows one to obtain all right topological semigroup compactifications on which the multiplication on the left continuously extends. Presentation of group elements as graphs of maps in the hyperspace with Vietoris topology allows one to obtain compactifications on which the involution and the multiplication on the left extend.

2025-07-14T14:54:32Z K. L. Kozlov A. G. Leiderman http://arxiv.org/abs/2402.11213v2 2025-07-27T07:08:21Z

We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $τ^*$ of the natural topology of the real line $\mathbb{R}$ with properties such that the space $(\mathbb{R}, τ^*)$ has a hereditary nowhere dense tightness and it has no $ω_1$-resolvable subspaces, whereas $Δ(\mathbb{R}, τ^*) = \frak{c}$. We also show that the proof of the main result of [1], being slightly modified, leads to the following strengthening: if $L$ is a Hausdorff space of countable character and the space $L^ω$ is c.c.c., then every submaximal dense subspace of $L^κ$ has disjoint tightness. As a corollary, for every $κ\geq ω$ there is a Tychonoff submaximal space $X$ such that $|X|=Δ(X)=κ$ and $X$ has disjoint tightness.

2024-02-17T07:46:04Z 13 pages. Minor changes Anton Lipin http://arxiv.org/abs/2508.11635v1 2025-07-25T05:07:51Z

We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological space. Now all sets open and sequentially closed. Then, we form an unextendible algorithmic function transforming positive integers to 0 and 1, looking at the preimages of these values as our sequentially closed sets. Then we show that if the Tietze theorem conclusion holds for these closed sets then the unextendible function is extendible thus giving us a contradiction.

2025-07-25T05:07:51Z 5 pages,0 figure Shun Ding Yang Wan Luofei Wang Siqi Xiao http://arxiv.org/abs/2507.18564v1 2025-07-24T16:38:52Z

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic completeness result for each of the Tychonoff separation axioms. Beyond this, we prove completeness results for various other topological properties, such as being Polish and having a particular Cantor-Bendixson rank, using tools from computable structure theory. This work contrasts with previous work analyzing countable, second countable spaces which used the framework of reverse mathematics, as reverse mathematics generally lacks the precision to pin down exact arithmetic complexity levels for properties of interest.

2025-07-24T16:38:52Z Andrew DeLapo David Gonzalez http://arxiv.org/abs/2408.04877v2 2025-07-24T08:10:43Z

The discrete Laplacian on Euclidean triangulated surfaces is a well-established notion. We introduce discrete Laplacians on spherical and hyperbolic triangulated surfaces. On the one hand, our definitions are close to the Euclidean one in that the edge weights contain the cotangents of certain combinations of angles and are non-negative if and only if the triangulation is Delaunay. On the other hand, these discretizations are structure-preserving in several respects. We prove that the area of a convex polyhedron can be written in terms of the discrete spherical Laplacian of the support function, whose expression is the same as the area of a smooth convex body in terms of the usual spherical Laplacian. We show that the conformal factors of discrete conformal vector fields on a triangulated surface of curvature $k \in \{-1,1\}$ are $-2k$-eigenfunctions of our discrete Laplacians, exactly as in the smooth setting. The discrete conformality can be understood here both in the sense of the vertex scaling and in the sense of circle patterns. Finally, we connect the $-2k$-eigenfunctions to infinitesimal isometric deformations of a polyhedron inscribed into corresponding quadrics.

2024-08-09T05:46:36Z 28 pages, 5 figures J. London Math. Soc. (2025) Ivan Izmestiev Wai Yeung Lam 10.1112/jlms.70235 http://arxiv.org/abs/2201.00335v2 2025-07-23T13:47:43Z

An algebraization of the notion of topology has been proposed more than seventy years ago in a classical paper by McKinsey and Tarski. However, in McKinsey and Tarski's setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation $ \sqsubseteq $ defined by $a \sqsubseteq b$ if $a$ is contained in the topological closure of $b$. A specialization poset is a partially ordered set endowed with a further coarser preorder relation $ \sqsubseteq $. We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate settings, even far removed from topology.

2022-01-02T11:11:48Z v2 contains a few additional comments which are not present in the published version, in particular, hints to new results discovered in the meantime. Some further bibliographical references have also been added Studia Logica 113, 225--259 (2025) Paolo Lipparini 10.1007/s11225-024-10107-3 http://arxiv.org/abs/2507.16625v1 2025-07-22T14:17:16Z

We prove that the edge-end space of an infinite graph is metrizable if and only if it is first-countable. This strengthens a recent result by Aurichi, Magalhaes Jr.\ and Real (2024). Our central graph-theoretic tool is the use of tree-cut decompositions, introduced by Wollan (2015) as a variation of tree decompositions that is based on edge cuts instead of vertex separations. In particular, we give a new, elementary proof for Kurkofka's result (2022) that every infinite graph has a tree-cut decomposition of finite adhesion into its $ω$-edge blocks. Along the way, we also give a new, short proof for a classic result by Halin (1984) on $K_{k,κ}$-subdivisions in $k$-connected graphs, making this paper self-contained.

2025-07-22T14:17:16Z 12 pages Max Pitz http://arxiv.org/abs/2507.15635v1 2025-07-21T13:57:52Z

In this article, a new class of operators, termed Ad-contractions, is introduced to extend the framework of A-contractions to the setting of dislocated metric spaces. Fixed point results are established for single mappings, sequences of mappings, integral type contractions, and for mappings on a set with two dislocated metrics. The demonstrated theorems generalize foundational results on A-contractions and their integral-type variations to the more challenging setting of dislocated metric spaces. The work is supported by illustrative examples.

2025-07-21T13:57:52Z 14 pages, 2 figures Prasun Panthi Dinesh Panthi http://arxiv.org/abs/2507.15579v1 2025-07-21T12:59:23Z

We give a moderately motivated exposition of exponentiable locales and the construction of exponentials in $\textsf{Loc}$, without assuming prior knowledge of exponential topological spaces or continuous posets.

2025-07-21T12:59:23Z 17 pages Xu Huang http://arxiv.org/abs/2507.14973v1 2025-07-20T14:12:34Z

We consider the following variation of the Scarborough-Stone problem: Is $X^κ$ always countably compact whenever $X$ is separable and sequentially compact?

2025-07-20T14:12:34Z Cesar Corral Alan Dow Paul Szeptycki http://arxiv.org/abs/2507.14889v1 2025-07-20T10:12:49Z

Strongly zero-dimensional topological groups $G_1$, $G_2$, and $G$ such that $G_1\times G_2$ has positive covering dimension and $G$ contains a closed subgroup of positive covering dimension are constructed. Moreover, all finite powers of $G_1$ are Lindelöf and $G_2$ is second-countable. An example of a strongly zero-dimensional space $X$ whose free, free Abelian, and free Boolean topological groups have positive covering dimension is also given.

2025-07-20T10:12:49Z This is an improved and complemented version of the preprints arXiv:2207.04961 and arXiv:2303.04593 Ol'ga Sipacheva http://arxiv.org/abs/2507.13114v1 2025-07-17T13:29:43Z

We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of certain six functor formalisms through animated S-stacks, and give a six functor formalism through which the aforementioned six functor formalisms factor through. Furthermore, and what is arguably the main feat of this article, these achievements, though in appearance arising from disparate concerns, are realized in the dissipation of a familiar thematic tension: that between space and quantity.

2025-07-17T13:29:43Z Salash Tolan Nabaala http://arxiv.org/abs/2507.12289v1 2025-07-16T14:39:06Z

It is proved that the free Boolean topological group $B(X)$ on a Tychonoff space $X$ is Weil complete if and only if the space $X$ is Dieudonné complete. This result provides a positive answer to a question posed by the first listed author in 2015.

2025-07-16T14:39:06Z Ol'ga V. Sipacheva Mikhail G. Tkachenko http://arxiv.org/abs/2507.12272v1 2025-07-16T14:21:37Z

Given a compact metric space $X$ and an upper semicontinuous function $F\colon X \to 2^X$, we explore the dynamic system $(X,F)$. In this study, we introduce new concepts, demonstrate various results, and provide numerous examples. In particular, we define the orbit set $\mathcal{O}_F(p)$ and prove that it is compact. We also establish conditions for connectedness of the orbit sets and pose several questions related to the system. We also investigate transitivity and its relation to the density of orbits. In addition, we present strong and weak notions of sensitivity and examine the relationships between these concepts.

2025-07-16T14:21:37Z Jeison Amorocho Javier Camargo Sergio Macías