Key subgroups in the Polish group of all automorphisms of the rational circle

2026-05-28T16:53:37Z

Extending some results of a joint work with E. Glasner, we continue to study the Polish group $G:=\mathrm{Aut}(\mathbb{Q}_0)$ of all circular order preserving permutations of the rational circle $\mathbb Q_0=\mathbb Q/\mathbb Z$, endowed with the pointwise topology. We show that the point stabilizers $H=G_q$ are extremely amenable inj-key subgroups of $G$ (that is, they distinguish coarser Hausdorff group topologies on $G$), but are not co-minimal in $G$. These examples answer a question posed in a joint work with M. Shlossberg and are inspired by a question of V. Pestov concerning Polish groups with metrizable universal minimal flow. It remains an open problem to study Pestov's question in its full generality.

On continuous isomorphisms from $σ$-compact paratopological groups onto topological groups

2026-05-28T04:37:27Z

In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $σ$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we construct a family of $σ$-compact paratopological groups for which a continuous isomorphism onto a topological group $G$ exists if and only if $G$ carries the trivial topology.

Polish topologies on endomorphism monoids of linear orders

2026-05-26T12:04:20Z

In this paper, we investigate Polish semigroup topologies on the endomorphism monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$. We introduce a new structural condition, property $\mathbb{XX}$, which yields automatic continuity of Borel measurable homomorphisms between certain topological semigroups. This provides a new method for analyzing Polish semigroup topologies on monoids with small groups of units. We show that for all monoids considered, the semigroup Zariski topology coincides with the pointwise topology and is therefore the coarsest Hausdorff semigroup topology. We prove that the submonoid $\operatorname{End}^{\infty}(\mathbb{N},\leq)$ of $\operatorname{End}(\mathbb{N},\leq)$ consisting of all endomorphisms with infinite image admits a unique Polish semigroup topology, namely the pointwise topology. On the other hand, despite possessing a finest Polish semigroup topology, the monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$, admit infinitely many distinct Polish semigroup topologies. Also, we show that the monoid $\operatorname{End}(\mathbb{N},<)$ admits exactly $2^{\aleph_0}$ Polish semigroup topologies and no maximal second-countable semigroup topology.

Cofinal types of topological groups

2026-05-25T05:49:59Z

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $ω^ω$-base, we introduce the \emph{fineness index}, denoted $\f(P)$, for arbitrary directed partially ordered sets. This cardinal invariant fundamentally generalizes the bounding number $\mathfrak{b}$ by capturing the exact threshold where a poset evades domination by its countable subsets, thereby establishing a universal lower bound for the character of topological groups with a $P$-base: $χ(G) \in \{1, ω\} \cup [fi(P), \text{cof}(P)]$. Furthermore, we resolve a structural problem regarding the exact cofinal types of free topological groups over uniform spaces. While classical results by Nickolas, Tkachenko, and others successfully computed the character of these groups via cardinal equalities (e.g., $χ(F(X, \mathcal{U})) = \text{cof}(\mathcal{U}^ω)$), lifting these equalities to strict Tukey equivalences has remained a persistent combinatorial challenge. By developing the novel machinery of \emph{neat trees} to refine uniform covering trees, we overcome the structural obstructions and prove the Tukey equivalence $\Ne_e(F(X, \U))=_T \U^ω$ for any compact uniform space $(X, \U)$.

Monotone determined spaces via $\mathbb{C}$-generated spaces

2026-05-23T00:53:02Z

The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally form a convenient Cartesian closed category of $\mathbb{C}$-generated spaces. We then show that monotone determined spaces are not always compact Hausdorff generated, answering the question raised by Ingo Battenfeld in 2013. Moreover, we generalize the notion of monotone determined spaces by introducing $\mathcal{C}$-determined spaces and showing that categories of $\mathcal{C}$-determined spaces correspond to coreflective subcategories of topological spaces. This yields a uniform construction of several convenient categories determined by directed, chain and monotone sequential convergence classes. We finally discuss the relationships among them, including the categories generated by continuous spaces, quasicontinuous spaces and Scott spaces of dcpos.

Lifted Takahashi Convexity on the Isbell-Convex Hull of an Asymmetrically Normed Real Vector Space

2026-05-23T00:35:48Z

Künzi and Yildiz introduced convexity structures in the sense of Takahashi for $T_{0}$-quasi-metric spaces. In this article, we continue this line of study on the Isbell-convex hull of an asymmetrically normed real vector space. Using the canonical hull quasi-metric and the vector-space operations on $\mathcal{E}(X,\|\cdot\|)$, we define a lifted convexity structure \[ \mathbb W(f,g,λ)=λf\oplus(1-λ)g \] and show that $(\mathcal{E}(X,\|\cdot\|),q_{\mathcal{E}},\mathbb W)$ is a convex $T_{0}$-quasi-metric space. We further prove compatibility with the canonical embedding and relate the construction to $W$-convexity of minimal function pairs.

Equivariant homotopy dense subsets in the realm of uniform G-ANR spaces

2026-05-22T19:03:36Z

Let $G$ be a compact group. The existence of certain $G$-homotopy dense subsets in a metrizable $G$-space $X$ plays a fundamental role, as it is equivalent to $X$ being a $G$-ANR. From this perspective, the present paper develops several applications of this class of $G$-subsets. In particular, we prove that for a compact $G$-space $X$ and a metric space $Y$, the mapping space $C(X,Y)$ is a $G$-UA(N)R if and only if $Y$ is a UA(N)R in the sense of Michael. This result is significant because it enables the construction of examples of Lawson metric $G$-semilattices for which the property of being a $G$-UANR is equivalent to uniform local path-connectedness. Moreover, we show that this equivalence holds for every Lawson metric $G$-semilattice whenever $G$ is finite. Finally, we analyze the behavior of $G$-homotopy dense subsets when the ambient space is a $G$-A(N)R, thereby introducing the notion of a $G$-A(N)R-pair.

Coarse Structures on Homogeneous Spaces

2026-05-22T16:24:41Z

Given a closed normal subgroup $H$ of a topological group $G$, we address the question of whether the left coarse structure on the quotient group $G/H$ equals the quotient of the left coarse structure on $G$. We provide a counterexample among Polish groups, namely, the mapping class group of the Loch Ness monster surface seen as a quotient of the mapping class group of the punctured Loch Ness monster surface, and establish both equivalent and sufficient conditions for when this holds in special settings. The latter are formulated in terms of liftings of bounded sets, existence of transversals and metrisability of the left coarse structure of $G$ restricted to $H$.

Periodic point theorem for generalized graphic contractions

2026-05-22T14:10:19Z

Let $(X,d)$ be a nonempty metric space and let $n\in \mathbb N^+$. We shall say that $T\colon X\to X$ is a graphic contraction of order $n$ if there exists $α\in (0,1)$ such that the inequality $$ d(T^n x,T^{2n}x) \leqslant αd(x,T^nx) $$ holds for all $x\in X$. In the case $n=1$ these mapping are known as graphic contractions and are well studied. In the present paper, we establish a theorem on the existence of periodic points for a graphic contraction of order $n$. Examples of such mappings having different properties are constructed.

The separability embedding of $σ$-compact strongly topological gyrogroups

2026-05-22T09:54:54Z

In this paper, it is shown that every right $ω$-narrow strongly topological gyrogroup $G$ is right $ω$-balanced by applying the gyrosemidirect product groups. Then we investigate the class of $σ$-compact strongly topological gyrogroups, and conclude that every $σ$-compact strongly topological gyrogroup is range-metrizable. By applying these results, we discuss the separability embedding of $σ$-compact strongly topological gyrogroups, and claim that the following three statements (a)-(c) are equivalent for any $σ$-compact strongly topological gyrogroup $G$: \smallskip (a) $G$ is homeomorphic to a subspace of a separable regular space; \smallskip (b) $G$ is topologically gyrogroup isomorphic to a subgyrogroup of a separable strongly topological gyrogroup; \smallskip (c) $G$ is topologically gyrogroup isomorphic to a closed subgyrogroup of a separable path-connected, locally path-connected strongly topological gyrogroup. The above results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.

Reflections and Sheafifications in Algebraic and Topological Categories

2026-05-21T21:49:38Z

In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a reflective subcategory of a category $\mathcal{A}$, then the presheaf category $\mathbf{Psh}(X,\mathcal{C})$ is reflective in $\mathbf{Psh}(X,\mathcal{A})$. We further investigate the interaction between reflections and sheafification, obtaining natural conditions under which these constructions are naturally isomorphic.

Generic bundles over a localic category

2026-05-21T21:46:19Z

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than toposes. Our approach provides a concrete construction of the localic categories and the generic bundles involved in terms of generalised frame presentations. To accommodate our approach, we prove en passant a constructive, pointfree version of the Alexandroff--Hausdorff theorem and that internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between the categories of discrete opfibrations over the source and target categories.

Shading A-polynomials via huge representations of $U_q(\mathfrak{su}_N)$

2026-05-21T14:42:19Z

Classical A-polynomials $A(\ell,m)$ define constraints on coordinates $\ell$ and $m$ in $SL(2,\mathbb{C})$ (a complexification of $SU(2)$) character varieties associated to knot complements $S^3\setminus K$. Quantum A-polynomials $\hat A(\hat \ell,\hat m)$ are difference operators annihilating Jones polynomials believed to represent wave functions of 3d Chern-Simons theory with gauge group $SU(2)$ on a toroidal pipe surrounding the knot $K$ strand -- a boundary of the knot complements $S^3\setminus K$. We suggest a construction of classical shaded A-polynomials $A_a(\ell_b,m_c)$ associated to Lie groups $SU(N)$. We exploit a formalism of Clebsh-Gordan (CG) chords, where indices $a$, $b$, $c$ run over $1,\ldots,N-1$. CG chords have a natural interpretation in terms of 2d CFTs of WZW type, or, alternatively, in terms of quantum group $U_q(\mathfrak{su}_N)$. In the case of $\mathfrak{su}_2$ CG chords could be associated to Reeb chords in a knot contact homology (KCH) framework. KCH suggests its own analogue of A-polynomials known as augmentation polynomials allowed to have extra spurious roots in principle. Yet the CG chord formalism could be easily extended to arbitrary $\mathfrak{su}_N$ allowing us to generalize the construction of A(ugmentation)-polynomials to arbitrary $\mathfrak{su}_N$ and arbitrary representation as well. Primarily we aim at classical A-polynomials by considering a double scaling limit when $q=e^{\hbar}$, $\hbar\to 0$ and the representations are huge, in particular, highest weight vector components $w_i\to \infty$ so that $\hbar w_i\sim m_i$ remain finite. Still we expect the presented techniques would be helpful in deriving quantum A-polynomials for arbitrary Lie (super)algebras $\mathfrak{g}$. Also we discuss explicit examples of A-polynomials for knots $3_1$, $4_1$ and $5_1$ for $\mathfrak{g}=\mathfrak{su}_3$.

On generalized Namioka spaces and joint continuity of functions on product of spaces

2026-05-20T11:50:23Z

A space $X$ is called a generalized Namioka space (g$\mathcal{N}$-space), if for every compact space $Y$ and every separately continuous function $f\colon X\times Y\rightarrow\mathbb{R}$, there exists at least one point $x\in X$ such that $f$ is jointly continuous at each point of $\{x\}\times Y$. We principally prove the following results: (1) If $X=\prod_{α\in A}X_α$ is non-meager such that each factor is a separable space or each factor is a pseudo-metric space, then $X$ is a g$\mathcal{N}$-space. (2) If $X$ is a separable space and $Y$ a pseudo-metric space such that $X\times Y$ is Baire (resp. non-meager), then $X\times Y$ is an $\mathcal{N}$-space (resp. a g$\mathcal{N}$-space). (3) If $X=\prod_{α\in A}X_α$ such that each factor is separable and $\prod_{α\in A^\prime}X_α$ is a non-meager space for each countable subset $A^\prime$ of $A$, then $X$ is a non-meager g$\mathcal{N}$-space. (4) If $X=\prod_{α\in A}X_α$ such that each factor has a countable $π$-base, then each tail set having the property of Baire in $X$ is either meager or residual. If $G$ is a g$\mathcal{N}$ right-topological group and $X$ a locally compact regular space, or, if $G$ is a separable first countable non-meager right-topological group and $X\times X$ a countably compact completely regular space, then any separately continuous action $G\curvearrowright X$ is jointly continuous.

Alexander polynomials of ribbon knots and virtual knots

2026-05-20T10:49:29Z

We find that Alexander polynomial of a ribbon knot in $ \mathbb{Z}HS^3 $ is determined by the intrinsic singularity information of its ribbon, and give a formula to calculate Alexander polynomial of a ribbon knot by that. We define half Alexander polynomial $ A_R (t) $, an invariant of oriented ribbons, and in fact the Alexander polynomial of the ribbon knot is $ A_R (t) A_R (t^{-1}) $. We give two useful simplified formulas for half Alexander polynomial. We characterize completely the polynomials arising as half Alexander polynomials of ribbons. The above study unexpectedly leads us to discover new formulas for Alexander polynomial of general knots and virtual knots in terms of Gauss diagrams.