https://arxiv.org/api/2ktat+zhEyCMEP5r8HRgwTZY1JA 2026-06-21T07:50:01Z 5914 540 15 http://arxiv.org/abs/2209.14993v3 2025-06-10T04:44:46Z

We establish several results combining discrete Morse theory and microlocal sheaf theory in the setting of finite posets and simplicial complexes. Our primary tool is a computationally tractable description of the bounded derived category of sheaves on a poset with the Alexandrov topology. We prove that each bounded complex of sheaves on a finite poset admits a unique (up to isomorphism of complexes) minimal injective resolution, and we provide algorithms for computing minimal injective resolution of an injective complex, as well as several useful functors between derived categories of sheaves. For the constant sheaf on a simplicial complex, we give asymptotically tight bounds on the complexity of computing the minimal injective resolution using those algorithms. Our main result is a novel definition of the discrete microsupport of a bounded complex of sheaves on a finite poset. We detail several foundational properties of the discrete microsupport, as well as a microlocal generalization of the discrete homological Morse theorem and Morse inequalities.

2022-09-29T17:52:48Z Added Appendix B describing the equivalence between the standard derived category and the skeleton of minimal injective chain category we define in 4.10. Changed notation of the derived functor post-composed with minimal resolution from Rf to If, to highlight the difference. Note that arXiv:2112.02609 is an old obsolete version of the paper Adam Brown Ondrej Draganov http://arxiv.org/abs/2506.08431v1 2025-06-10T04:05:53Z

The aim of this paper is to introduce a new class of softly normal called softly $πg\widehat{D}$ -normality by using $πg\widehat{D}$ -open sets and obtained several properties of such a space. We discuss many properties of this new space and we give some properties that connect this new spaces with some other topological spaces, also we present some examples and counter examples that show the relationships between softly $πg\widehat{D}$ -normal spaces and some other topological spaces, also we introduced the concept of $πg\widehat{D}$ -normal, almost $πg\widehat{D}$ -normal, quasi $πg\widehat{D}$ -normal, mildly $πg\widehat{D}$ -normal. The main result of this paper is that softly $πg\widehat{D}$ -normality is a topological property and it is a hereditary property with respect to closed domain subspaces. Moreover, we obtain some new characterizations and preservation theorems of softly $πg\widehat{D}$ -normal spaces. We insure that existence of utility for new results of softly $πg\widehat{D}$ -normality using separation axioms in topological spaces which is separate on a known separation axioms in topological spaces.

2025-06-10T04:05:53Z The Mathematics Education. Vol. LIX, No. 1, pp. 1-17, March 2025 Neeraj Kumar Tomar Fahed Zulfeqarr M. C. Sharma 10.5281/zenodo.15551191 http://arxiv.org/abs/2506.07689v1 2025-06-09T12:20:03Z

We consider the polynomial equation $$X^n + a_{n-1}\cdot X^{n-1} + \dots + a_1 \cdot X + a_0 \cdot I = O,$$ over $(2 \times 2)$-matrices $X$ with the real entries, where $I$ is the identity matrix, $O$ is the null matrix, $a_i \in \mathbb R$ for each $i$ and $n \geq 2$. We discuss its solution set $S$ supplied with the natural Euclidean topology. We completely describe $S$. We also show that $\dim S =2.$

2025-06-09T12:20:03Z Vitalij A. Chatyrko Alexandre Karassev http://arxiv.org/abs/2506.03853v2 2025-06-07T17:03:04Z

We analyze the interplay between labeled trees and the ultrametric spaces they present. We provide characterizations of labeled trees that generate separable ultrametric spaces and those that generate locally finite ultrametric spaces. In particular, we establish an analog of König's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees.

2025-06-04T11:36:45Z Oleksiy Dovgoshey Olga Rovenska http://arxiv.org/abs/2506.05956v1 2025-06-06T10:32:53Z

In this article, we construct a band of topological groups from a cryptogroup. Also, we prove that a band of topological groups is metrizable if and only if each $\mathcal{H}$-class is metrizable. Finally, we demonstrate that if $S$ is a band of topological groups and $N$ is a full normal subcryptogroup of $S$, then $S/N$ is Hausdorff if and only if $ρ_{_N}$ is closed in $S \times S$ if and, $ρ_{_N}$ is closed in $S \times S$ if and only if $N$ is closed in $S$.

2025-06-06T10:32:53Z 14 pages Sunil Kumar Maity Monika Paul http://arxiv.org/abs/2506.04009v1 2025-06-04T14:34:57Z

Electric power distribution networks serve as the final and essential stage in power delivery, bridging transmission infrastructure and end users. The structural configuration of these networks plays a critical role in determining system reliability, fault tolerance, and operational efficiency. Although the design of distribution systems is influenced by various regional factors, such as geography, customer density, and planning standards, the extent to which consistent structural characteristics emerge across different networks remains an open question. In this study, we perform a detailed spatial and topological analysis of five MV distribution networks in Hungary. Despite notable differences in geographic layout and consumer distribution, we identify statistically consistent patterns across several key metrics, including degree, BC, and powerline length. These findings suggest the influence of common underlying design principles or optimization constraints, potentially indicating universal structural tendencies in MV network design. The results provide insight into the organization of real-world distribution systems and offer a basis for improved planning, risk mitigation, and system optimization in future grid developments.

2025-06-04T14:34:57Z 33 pages Michelle T. Cirunay Bálint Hartmann Tímea Erdei Tamás Soha http://arxiv.org/abs/2506.02228v1 2025-06-02T20:11:21Z

We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an extension are proved. The axioms of separation and compactness of spaces are not assumed.

2025-06-02T20:11:21Z 5 pages, 1 figure Mathematical Notes, 2026 Andrew Ryabikov 10.4213/mzm14874 http://arxiv.org/abs/2506.01707v1 2025-06-02T14:11:32Z

We present a criterion that compares modifications of the Niemytzki plane. It follows that if usual tangent discs of the Niemytzki plane are replaced by triangles with bounded angles, then the resulting space is not homeomorphic to the former.

2025-06-02T14:11:32Z Wojciech Bielas http://arxiv.org/abs/2506.01179v1 2025-06-01T21:27:05Z

Let $M\ $be a module over a domain $R$ and $M^{\#}=\{0\neq m\in M:Rm\neq M\}$ be the set of all nonzero nongenerators of $M.\ $Consider following equivalence relation $\sim$ on $M^{\#}$ as follows: for every $m,n\in M^{\#},\ m\sim n$ if and only if $Rm=Rn.\ $Let $EC(M^{\#})$ be the set of all equivalence classes of $M^{\#}$ with respect to $\sim$. In this paper, we construct a topology on $EC(M^{\#})$ which is called divisor topology of $M\ $and denoted by $D(M).$ Actually, $D(M)$ is extension of the divisor topology $D(R)$ over domains in the sense of Yiğit and Koc to modules. We investigate separation axioms $T_{i}$ for every $0\leq i\leq5,$ first and second countability, connectivity, compactness, nested property, and Noetherian property on $D(M)$. Also, we characterize some important classes of modules such as uniserial modules, simple modules, vector spaces, and finitely cogenerated modules in terms of $D(M)$. Furthermore, we prove that $D(M)$ is a Baire space for factorial modules. Finally, we introduce and study pseudo simple modules which is a new generalization of simple modules, and use them to determine when $D(M)$ is a discrete space.

2025-06-01T21:27:05Z Ünsal Tekir Uğur Yiğit Mesut Buğday Suat Koç http://arxiv.org/abs/2412.03857v2 2025-05-29T19:13:03Z

In this note, we compare and contrast various selective divergence properties such as the properties of being discretely selective and selectively highly divergent. We identify and incorporate a class of subsemigroups of the semigroup of strictly increasing maps from the naturals to themselves. We investigate certain implications for hyperspaces of finite subsets and characterize the closed discrete selection game on a space in terms of a particular selection game on the Vietoris hyperspace of finite subsets of that space. We also isolate some sufficient conditions on a space that guarantee that the corresponding Pixley-Roy hyperspace of finite subsets is discretely selective. We end by noting that the properties of being discretely selective and of being selectively highly divergent are equivalent in rings of continuous functions with standard topologies of uniform convergence.

2024-12-05T04:06:12Z Christopher Caruvana http://arxiv.org/abs/2505.23665v1 2025-05-29T17:12:41Z

The $π_n$-wild set $\mathbf{w}_{n}(X)$ of a topological space $X$ is the subspace of $X$ consisting of the points at which there exists a shrinking sequence of essential based maps $S^n\to X$. In this paper, we show that the homotopy type of $\mathbf{w}_{n}(X)$ is a homotopy invariant of $X$ and, in analogy to the known one-dimensional case, we show that for certain $n$-dimensional $π_n$-shape injective metric spaces, the homeomorphism type of $\mathbf{w}_{n}(X)$ is a homotopy invariant of $X$. We also prove that the $π_n$-wild set of a Peano continuum can be homeomorphic to any compact metric space.

2025-05-29T17:12:41Z 24 pages, 5 figures Jeremy Brazas Atish Mitra http://arxiv.org/abs/2505.23263v1 2025-05-29T09:12:17Z

Given an ideal $\mathcal{I}$ on $ω$, we denote by $\mathrm{SL}(\mathcal{I})$ the family of positive normalized linear functionals on $\ell_\infty$ which assign value $0$ to all characteristic sequences of sets in $\mathcal{I}$. We show that every element of $\mathrm{SL}(\mathcal{I})$ is a Choquet average of certain ultrafilter limit functionals. Also, we prove that the diameter of $\mathrm{SL}(\mathcal{I})$ is $2$ if and only if $\mathcal{I}$ is not maximal, and that the latter claim can be considerably strengthened if $\mathcal{I}$ is meager. Lastly, we provide several applications: for instance, recovering a result of Freedman in [Bull. Lond. Math. Soc. 13 (1981), 224--228], we show that the family of bounded sequences for which all functionals in $\mathrm{SL}(\mathcal{I})$ assign the same value coincides with the closed vector space of bounded $\mathcal{I}$-convergent sequences.

2025-05-29T09:12:17Z 16 pages Paolo Leonetti Cihan Orhan http://arxiv.org/abs/2505.23089v1 2025-05-29T04:50:02Z

A CR-dynamical system is a pair $(X, G)$, where $X$ is a non-empty compact Hausdorff space with uniformity $\mathscr{U}$ and $G$ is a closed relation on $X$. In this paper we introduce the $(i, j)$-shadowing properties in CR-dynamical systems, which generalises the shadowing property from topological dynamical systems $(X, f)$. This extends previous work on shadowing in set-valued dynamical systems.

2025-05-29T04:50:02Z Andrew Wood http://arxiv.org/abs/2312.13227v5 2025-05-27T21:20:08Z

We give necessary and sufficient conditions for certain pushouts of topological spaces in the category of Cech's closure spaces to agree with their pushout in the category of topological spaces. We prove that in these two categories, the constructions of cell complexes by a finite sequence of closed cell attachments, which attach arbitrarily many cells at a time, agree. Likewise, the constructions of CW complexes relative to a compactly generated weak Hausdorff space that attach only finitely many cells, also agree. On the other hand, we give examples showing that the constructions of finite-dimensional CW complexes, CW complexes of finite type, and relative CW complexes that attach only finitely many cells, need not agree.

2023-12-20T17:53:13Z 11 pages, accepted to Canadian Mathematical Bulletin (CMB) Can. Math. Bull. 68 (2025) 1338-1346 Peter Bubenik 10.4153/S0008439525100738 http://arxiv.org/abs/2012.13515v2 2025-05-27T19:49:52Z

We study the geometry, topological properties and smoothness of the boundaries of closed $\varepsilon$-neighbourhoods $E_\varepsilon = \{x \in \mathbb{R}^2 \, : \, \textrm{dist}(x, E) \leq \varepsilon \}$ of compact planar sets $E \subset \mathbb{R}^2$. We develop a novel technique for analysing the boundary, and use this to obtain a classification of singularities (i.e.~non-smooth points) on $\partial E_\varepsilon$ into eight categories. We show that the set of singularities is either countable or the disjoint union of a countable set and a closed, totally disconnected, nowhere dense set. Furthermore, we characterise, in terms of local geometry, those $\varepsilon$-neighbourhoods whose complement $\overline{\mathbb{R}^2 \setminus E_\varepsilon}$ is a set with positive reach. It is known that for all bounded $E \subset \mathbb{R}^d$ and all $\varepsilon > 0$, the boundary $\partial E_\varepsilon$ is $(d-1)$-rectifiable. Improving on this, we identify a sufficient condition for the boundary to be uniformly rectifiable, and provide an example of a planar $\varepsilon$-neighbourhood that is not Ahlfors regular. In terms of the topological structure, we show that for a compact set $E$ and $\varepsilon > 0$ the boundary $\partial E_\varepsilon$ can be expressed as a disjoint union of an at most countably infinite union of Jordan curves and a possibly uncountable, totally disconnected set of singularities. Finally, we show that curvature is defined almost everywhere on the Jordan curve subsets of the boundary.

2020-12-25T05:19:52Z 100 pages, 18 figures Jeroen S. W. Lamb Martin Rasmussen Kalle G. Timperi