The DeMorganization of a locale

2025-07-04T07:22:28Z

In 2009, Caramello proved that each topos has a largest dense subtopos whose internal logic satisfies De Morgan law (also known as the law of the weak excluded middle). This finding implies that every locale has a largest dense extremally disconnected sublocale, referred to as its DeMorganization. In this paper, we take the first steps in exploring the DeMorganization in the localic context, shedding light on its geometric nature by showing that it is always a fitted sublocale and by providing a concrete description. Explicit examples of DeMorganizations for toposes that do not satisfy De Morgan law are rather difficult to find. We present a contribution in that direction, with the main result of the paper showing that for any metrizable locale (without isolated points), its DeMorganization coincides with its Booleanization. This, in particular, implies that any extremally disconnected metric locale (without isolated points) must be Boolean, generalizing a well-known result for topological spaces to the localic setting.

Convergence exponent of Pierce expansion digit sequences

2025-07-04T05:54:48Z

In this paper, we investigate the convergence exponent of Pierce expansion digit sequences. We explore some basic properties of the convergence exponent as a real-valued function defined on the closed unit interval, as well as those of the level sets of the function. Additionally, we further study subsets of the closed unit interval on which the series of positive $s$th powers of the reciprocals of the Pierce expansion digits diverges.

Generic isomorphism classes of abelian groups

2025-07-02T17:40:02Z

We prove that the universal solenoid is the generic (in the sense of Baire category) connected compact metrizable abelian group. We also settle the dual problem in the sense of Pontryagin duality: $(\mathbb{Q},+)$, which is the dual of the universal solenoid, is the generic countably infinite torsion-free abelian group.

Generic properties of topological groups

2025-07-02T17:32:21Z

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. I. Goldbring, S. E. Kunnawalkam and Y. Lodha proved that every isomorphism class is meager among countably infinite (discrete) groups. In contrast, we show that there is a comeager isomorphism class among countably infinite (discrete) abelian groups. Then we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite (discrete) case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.

Not OCA and products of Frechet spaces

2025-07-02T12:44:57Z

We continue the investigation of the question of whether the product of two countable Fréchet spaces must be M-separable. We are especially interested in this question in the presence of Martin's Axiom. The question has been shown to be independent of Martin's Axiom but only in models in which $\mathfrak c\leqω_2$. In fact, OCA implies an affirmative answer.

QC-OT: Optimal Transport with Quasiconformal Mapping

2025-07-02T08:15:13Z

The optimal transport (OT) map offers the most economical way to transfer one probability measure distribution to another. Classical OT theory does not involve a discussion of preserving topological connections and orientations in transmission results and processes. Existing numerical and geometric methods for computing OT seldom pays specific attention on this aspect. Especially, when dealing with the triangular mesh data, the known semi-discrete geometric OT (sd-OT) method employs critical operation of Delaunay triangulation (DT) to adapt topology to ensure the convexity of the energy function and the existence of the solution. This change in topology hampers the applicability of OT in modeling non-flip physical deformations in real-world tasks such as shape registration and editing problems in computer vision and medical imaging fields. This work introduces the topology structure-preserving optimal transport (QC-OT) map for the triangular mesh input. The computational strategy focuses on the two components: relaxing DT and convexity check in sd-OT and integrating quasiconformal (QC) correction. Here, quasiconformal mapping is employed to correct the regions unexpected distortions, and guarantee the topological preserving property of the transport. Furthermore, the spatial-temporal topology-preserving OT map is presented based t-OT to study the dynamics of the transportation. Multiple experiments have validated the efficiency and effectiveness of the proposed method and demonstrated its potential in the applications of mesh parameterization and image editing.

Burnside rings for racks and quandles

2025-07-02T07:25:01Z

We restructure and advance the classification theory of finite racks and quandles by employing powerful methods from transformation groups and representation theory, especially Burnside rings. These rings serve as universal receptacles for those invariants of racks and quandles that are additive with respect to decompositions. We present several fundamental results regarding their structure, including additive bases and multiplicative generators. We also develop a theory of marks, which is analogous to counting fixed points of group actions and computing traces in character theory, and which is comprehensive enough to distinguish different elements in the Burnside rings. The new structures not only offer a fresh framework for the classification theory of finite racks and quandles but also equip us with tools to develop these ideas and create interfaces that strengthen connections with related areas of algebra. For example, they extend the Dress--Siebeneicher theory of the Burnside ring of the infinite cyclic group beyond the realm of permutation racks.

More about cofinally Bourbaki quasi-complete metric spaces

2025-07-01T08:00:19Z

We characterize cofinally Bourbaki quasi-complete metric spaces and their completions in terms of certain Lipschitz-type functions. To this end, we introduce and study a new class of functions, namely strongly uniformly locally Lipschitz functions, which lie strictly between Lipschitz functions and uniformly locally Lipschitz functions. We show that a metric space is cofinally Bourbaki quasi-complete if and only if the class of strongly uniformly locally Lipschitz functions on coincides with the (a priori) larger class of locally Lipschitz functions. Moreover, the completion of is cofinally Bourbaki quasi-complete if and only if the class of strongly uniformly locally Lipschitz functions agrees with the class of Cauchy-Lipschitz functions. Finally, we provide several characterizations of cofinally Bourbaki quasi-complete metric spaces and their completions using functions that preserve certain classes of Cauchy-type sequences.

A Minimal Non Hausdorff Counterexample in Covering Space Theory

2025-06-30T12:27:09Z

We construct a one dimensional, second countable, simply connected manifold that exhibits a single non Hausdorff fiber, sufficient to destroy the fundamental properties of classical covering space theory. The space, called the line with k inseparable origins, is defined by taking k copies of the real line and identifying all nonzero points across copies, so that each copy retains a distinct origin. These origins are T1 separated but not Hausdorff separated. We embed the punctured real line into a closed disk with a single accumulation point, and project the nonzero locus homeomorphically onto the embedded image. The projection map collapses all origins to the puncture point. Away from the singular point, the map is a local homeomorphism. At the singular point, however, the fiber is non Hausdorff: every neighborhood of one origin contains the others. As a consequence, path lifting and homotopy lifting fail, the monodromy representation is undefined, and the group of deck transformations is isomorphic to the symmetric group on k letters. Despite the total space being simply connected, the map cannot be classified as a covering map, branched cover, semicovering, or étale morphism. This provides a minimal dimensional, fully explicit example showing that the failure of Hausdorff separation at a single fiber suffices to break lifting properties and eliminate the usual Galois type correspondence between fundamental groups and deck transformations. It presents a sharp obstruction to any naive extension of covering space theory to non Hausdorff settings.

On the complexity of upper frequently hypercyclic vectors

2025-06-27T15:51:22Z

Given a continuous linear operator $T:X\to X$, where $X$ is a topological vector space, let $\mathrm{UFHC}(T)$ be the set of upper frequently hypercyclic vectors, that is, the set of vectors $x \in X$ such that $\{n \in ω: T^nx \in U\}$ has positive upper asymptotic density for all nonempty open sets $U\subseteq X$. It is known that $\mathrm{UFHC}(T)$ is a $G_{δσδ}$-set which is either empty or contains a dense $G_δ$-set. Using a purely topological proof, we improve it by showing that $\mathrm{UFHC}(T)$ is always a $G_{δσ}$-set. Bonilla and Grosse-Erdmann asked in [Rev. Mat. Complut. \textbf{31} (2018), 673--711] whether $\mathrm{UFHC}(T)$ is always a $G_δ$-set. We answer such question in the negative, by showing that there exists a continuous linear operator $T$ for which $\mathrm{UFHC}(T)$ is not a $F_{σδ}$-set (hence not $G_δ$). In addition, we study the [non-]equivalence between (the ideal versions of) upper frequently hypercyclicity in the product topology and upper frequently hypercyclicity in the norm topology.

Q-points, selective ultrafilters, and idempotents, with an application to choiceless set theory

2025-06-27T03:37:48Z

We study ultrafilters from the perspective of the algebra in the Čech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a selective ultrafilter) and $\mathscr F^p$ (resp. $\mathscr G^p$) is the smallest family containing $p$ and closed under iterated sums (resp. closed under Blass--Frolík sums and Rudin--Keisler images), then $\mathscr F^p$ (resp. $\mathscr G^p$) contains no idempotent elements. The second of these results about a selective ultrafilter has the following interesting consequence: assuming a conjecture of Blass, in models of the form $\mathbf{L}(\mathbb R)[p]$ where $\mathbf{L}(\mathbb R)$ is a Solovay model (of $\mathsf{ZF}$ without choice) and $p$ is a selective ultrafilter, there are no idempotent elements. In particular, the theory $\mathsf{ZF}$ plus the existence of a nonprincipal ultrafilter on $ω$ does not imply the existence of idempotent ultrafilters, which answers a question of DiNasso and Tachtsis (Proc. Amer. Math. Soc. 146, 397-411). Following the line of obtaining independence results in $\mathsf{ZF}$, we finish the paper by proving that $\mathsf{ZF}$ plus "every additive filter can be extended to an idempotent ultrafilter" does not imply the Ultrafilter Theorem over $\mathbb R$, answering another question of DiNasso and Tachtsis from the same paper.

New types of convergence for unbounded star-shaped sets

2025-06-27T01:15:14Z

We introduce radial variants of the Wijsman and Attouch-Wets topologies for the family $\mathcal{S}_{rc}^d$ of star sets $A \subseteq \mathbb{R}^d$ that are radially closed.These topologies give rise to new types of convergence for star-shaped sets with respect to the origin, even when such sets are not closed or bounded. Our approach relies on a new family of functionals, called \textit{radial distance functionals}, which measure ``radial distances'' between points $x \in \mathbb{R}^d$ and sets $A \in \mathcal{S}_{rc}^d$. These are natural radial analogues of the classical distance functionals. We prove that our radial Wijsman type topology $τ_{W^r}$ is not metrizable on $\mathcal{S}_{rc}^d$, while our radial Attouch-Wets type topology $τ_{AW^r}$ is completely metrizable. A corresponding radial Attouch-Wets distance $d_{AW^r}$ is introduced, and we prove that $d_{AW}(A,K) \leq d_{AW^r}(A,K)$ for all closed $A,K \in \mathcal{S}_{rc}^d$, where $d_{AW}$ denotes the Attouch-Wets distance. Among others, these results are applied to prove the continuity of the star duality on $\mathcal{S}_{rc}^d$ with respect to both $τ_{W^r}$ and $τ_{AW^r}$, and to establish topological properties of the family of flowers associated with closed convex sets containing the origin.

The hyperspace of non-cut subcontinua of graphs

2025-06-26T21:48:22Z

Given a continuum $X$, let $C(X)$ be the hyperspace of all subcontinua of $X$. We consider the hyperspace $NC^{*}(X)=\{A\in C(X):X\setminus A$ is connected$\}$. In this paper we prove that the only locally connected continua $X$ for which $NC^{*}(X)$ is compact are the arcs and the simple closed curves. We also characterize the finite graphs $G$ for which $NC^{*}(G)$ is connected.

Pointwise-relatively-compact subgroups and trivial-weight-free representations

2025-06-26T14:53:31Z

A pointwise-elliptic subset of a topological group is one whose elements all generate relatively-compact subgroups. A connected locally compact group has a dense pointwise-elliptic subgroup if and only if it is an extension by a compact normal subgroup of a semidirect product $\mathbb{L}\rtimes \mathbb{K}$ with connected, simply-connected Lie $\mathbb{L}$, compact Lie $\mathbb{K}$, with the commutator subgroup $\mathbb{K}'$ acting on the Lie algebra $Lie(\mathbb{L})$ with no trivial weights. This extends and recovers a result of Kabenyuk's, providing the analogous classification with $\mathbb{G}$ assumed Lie connected, topologically perfect, with no non-trivial central elliptic elements.

A note on intrinsic topologies of groups

2025-06-23T15:47:04Z

We investigate topologies on groups which arise naturally from their algebraic structure, including the Frechét-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that there exists a countable abelian group in which no bounded version of the Zariski topology coincides with the full Zariski topology. Complementing a recent result by Goffer and Greenfeld, we show that on any group with no algebraicity the semigroup Zariski topology is hyperconnected and hence, in many cases, is distinct from the group Zariski topology. Finally, we show that on the symmetric groups, the semigroup Hausdorff-Markov topology coincides with the topology of pointwise convergence.