Hyperconvexity in partial metric spaces: challenges and outlooks

2026-01-30T17:23:32Z

In this article, we present several different ways to define hyperconvexity in partial metric spaces. In particular, we show that the analogue of the Aronszajn--Panitchpakdi notion of hyperconvexity fails to exhibit certain key properties present in the classical metric setting.

Reeb spaces of functions being analytic on dense subsets and their graph structures

2026-01-30T01:15:16Z

Reeb spaces of real-valued functions on manifolds are the spaces of all connected components (contours) of level sets and endowed with the natural quotient topology. They have been fundamental and strong tools in investigating manifolds via smooth functions with mild critical points since the birth of fundamental theory of Morse functions in the 20th century. We are concerned with topologies and combinatorics of them. Following an explicit note on explicit Reeb spaces of explicit functions which are real analytic (on dense sets) and seem to be simplest and most fundamental, edited by the author himself. We investigate other construction of examples of such functions and their Reeb spaces. Reeb spaces are naturally graphs in considerable cases and as another work, we also discuss natural definitions of vertices for them.

Homeomorphisms of continua through projective Fraïssé limits

2026-01-29T00:32:57Z

We study homeomorphisms and the homeomorphism groups of compact metric spaces using the automorphism groups of projective Fraïssé limits. In our applications, we investigate the Polish group ${\rm Homeo}(P)$ of all homeomorphisms of the pseudoarc $P$ using the automorphism group ${\rm Aut}(\mathbb{P})$ of the pre-pseudoarc $\mathbb{P}$. Strengthening results from the literature, we show that the diagonal conjugacy action of ${\rm Homeo}(P)$ on ${\rm Homeo}(P)^{\mathbb{N}}$ has a dense orbit. In our second application, we show that there exists a homeomorphism of $P$ that is not conjugate in ${\rm Homeo}(P)$ to an element of ${\rm Aut}(\mathbb{P})$.

A number of properties enjoyed by two specially constructed topologies on $C(X)$

2026-01-28T08:34:20Z

If $I$ is an ideal in the ring $C(X)$ of all real valued continuous functions defined over a Tychonoff space $X$, then $X$ is called $I$-$pseudocompact$ if the set $X\setminus \bigcap Z[I]$ is a bounded subset of $X$. Corresponding to $I$, the $m^I$-topology and $u^I$-topology on $C(X)$, generalizing the well-known $m$-topology and $u$-topology in $C(X)$ respectively are already there in the literature. It is proved amongst others that the $m^I$-topology is first countable if and only if the $u^I$-topology= $m^I$-topology on $C(X)$ if and only if $X$ is $I$-$pseudocompact$. A special case of this result on choosing $I=C(X)$ reads: the $u$-topology and $m$-topology on $C(X)$ coincide if and only if $X$ is pseudocompact. It is established that the $m^I$-topology on $C(X)$ is second countable if and only if it is $\aleph_0$-$bounded$ if and only if $X$ is compact, metrizable and $I=C(X)$. Furthermore it is realized that the $m^I$ topology on $C(X)$ is hemicompact if and only if it is $σ$-compact if and only if this topology is $H$-$bounded$ if and only if $X$ is finite and $I=C(X)$.

A parametrized $\diamondsuit$ for the Laver property and nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$

2026-01-27T19:14:40Z

We introduce a new parametrized diamond principle denoted $\diamondsuit(\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hrušák, and Džamonja, each of which corresponds to some cardinal invariant of the continuum, and gives a $\diamondsuit$-like guessing principle implying the corresponding invariant is $\aleph_1$. Our principle $\diamondsuit(\mathsf{LP})$ is a $\diamondsuit$-like guessing principle implying the Laver property holds over a given inner model, such as the ground model in a forcing extension. We show $\diamondsuit(\mathsf{LP})$ holds in many familiar models of $\mathsf{ZFC}$ obtained by forcing, namely those obtained from a model of $\mathsf{CH}$ by a length-$ω_2$ countable support iteration of proper Borel posets with the Laver property. This is true for essentially the same reason that the usual parametrized diamonds hold in similarly described forcing extensions where their corresponding cardinal invariant is $\aleph_1$. We also prove that if $\diamondsuit(\mathsf{LP})$ holds over an inner model of $\mathsf{CH}$ then there are nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$; in fact we get particularly nice automorphisms extending nontrivial involutions built around $P$-points in the ground model. Additionally, we show that, like the Sacks model, all automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ are somewhere trivial in the Mathias model. This puts a limitation on the kinds of automorphisms obtainable from $\diamondsuit(\mathsf{LP})$.

On semigroups which admit only discrete left-continuous Hausdorff topology

2026-01-27T18:49:04Z

We give the sufficient condition when every left-continuous (right-continuous) Hausdorff topology on a semigroup $S$ is discrete. We construct a submonoid $\mathscr{C}_{+}(a,b)$ (resp., $\mathscr{C}_{-}(a,b)$) of the bicyclic monoid which contains a family $\{S_α\colon α\in\mathfrak{c}\}$ of continuum many subsemigroups with the following properties: $(i)$ every left-continuous (resp., right-continuous) Hausdorff topology on $S_α$ is discrete; $(ii)$ every semigroup $S_α$ admits a non-discrete right-continuous (resp., left-continuous) Hausdorff topology which is not left-continuous (resp., right-continuous); $(iii)$ every semigroup $S_α$ isomorphically embeds into a Hausdorff compact topological semigroup. Also we construct a submonoid $\mathscr{C}_{\mathbb{Z}}^+$ (resp., $\mathscr{C}_{\mathbb{Z}}^-$) of the extended bicyclic semigroup which contains a family $\{S_α\colon α\in\mathfrak{c}\}$ of continuum many subsemigroups with the above described properties.

On weak*-basic sequences in duals and biduals of spaces C(X) and Quojections

2026-01-27T18:39:10Z

We show that for infinite Tychonoff spaces X and Y the weak*-dual of Ck(X x Y) contains a basic sequence; moreover, the weak*-bidual of Ck(X) contains such a sequence as well. When X and Y are infinite compact spaces, we single out a concrete sequence (μn) of finitely supported signed measures on X x Y with quantitative small-rectangle estimates, and we prove that every subsequence of (μn) admits a further subsequence which is strongly normal and forms a weak*-basic sequence in the dual C(X x Y)* of the Banach space C(X x Y). We also study the weak*-basic sequence problem for Frechet locally convex spaces in the class of quojections, and prove that for every quojection E the bidual E** admits a weak*-basic sequence, while a long-standing open problem asks whether the dual of every infinite-dimensional Banach space admits a basic sequence in the weak*-topology. Several examples and open questions are included, in particular for spaces C(X) and for inductive limits of Frechet spaces.

Operator lift of Reshetikhin-Turaev formalism to Khovanov-Rozansky TQFTs

2026-01-26T17:39:30Z

Topological quantum field theory (TQFT) is a powerful tool to describe homologies, which normally involve complexes and a variety of maps/morphisms, what makes a functional integration approach with a sum over a single kind of maps seemingly problematic. In TQFT this problem is overcame by exploiting the rich set of zero modes of BRST operators, which appear sufficient to describe complexes. We explain what this approach looks like for the important class of Khovanov-Rozansky (KR) cohomologies, which categorify the observables (Wilson lines or knot polynomials) in 3d Chern-Simons theory. We develop a construction of odd differential operators, associated with all link diagrams, including tangles with open ends. These operators become nilpotent only for diagram with no external legs, but even for open tangles one can develop a factorization formalism, which preserve Reidemeister/topological invariance -- the symmetry of the problem. This technique seems much more ``physical'' than conventional language of homological algebra and should have many applications to various problems beyond Chern-Simons theory. We also hope that this language will provide efficient algorithms, and finally allow to computerize the calculation of KR cohomologies -- for closed diagrams and for open tangles.

Universal Chord Theorem and a Topological Analysis

2026-01-25T14:24:58Z

We study the set of chords of a real-valued continuous function on [0,1] with f(0)=f(1)=0. We describe which chords may appear as isolated points and provide examples illustrating our characterization. Maximal Hopf sets are introduced and analyzed.

Non-meager $\mathsf{P}$-filters, Miller-measurability, and a question of Hrušák

2026-01-25T10:38:39Z

Given a cardinal $κ$ and filters $\mathcal{F}_α$ on $ω$ for $α\inκ$, we will show that if $\prod_{α\inκ}\mathcal{F}_α$ is countable dense homogeneous then $κ<\mathfrak{p}$ and each $\mathcal{F}_α$ is a non-meager $\mathsf{P}$-filter. This partially answers a question of Michael Hrušák. Along the way, we will show that the product of fewer than $\mathfrak{p}$ non-meager $\mathsf{P}$-filters has the Miller property. We will also describe explicitly the connection between Miller-measurability and the Miller property. As a corollary, we will see that the intersection of fewer than $\mathsf{add}(m^0)$ non-meager $\mathsf{P}$-filters is a non-meager $\mathsf{P}$-filter, where $m^0$ denotes the ideal of Miller-null sets. We will conclude by investigating the preservation of the Miller property under intersections and products.

d-Boolean algebras and their bitopological representation

2026-01-24T08:22:33Z

We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and Moshier. Precisely, we introduce the notion of d-Boolean algebras and prove that the category of such algebras is dually equivalent to the category of compact and zero-dimensional bitopological spaces satisfying the T0 separation axiom.

Local Antisymmetric Connectedness in Quasi-Uniform and Quasi-Modular Spaces

2026-01-22T23:15:26Z

Directional notions in topology and analysis naturally lead to nonsymmetric structures such as quasi-metrics, quasi-uniformities, and modular spaces. In these settings, classical notions of connectedness and completion based on symmetric uniformities are often inadequate. In this paper, we study \emph{antisymmetric connectedness} and \emph{local antisymmetric connectedness} within the setting of quasi-uniform and quasi-modular pseudometric spaces. We associate to each quasi-modular pseudometric family compatible forward and backward modular topologies and quasi-uniformities, yielding a canonical bitopological structure. Using this setting, we establish characterization and stability results for local antisymmetric connectedness, including invariance under subspaces, uniformly continuous mappings, and bicompletion. We further relate these notions to Smyth completeness and Yoneda-type completions and show how precompactness combined with asymmetric completeness yields compactness in the join topology. Applications to asymmetric normed and modular spaces illustrate the theory.

An index theory for transverse trajectories

2026-01-22T04:56:50Z

In this work, we present an alternative definition of the Le Roux index, which generalizes the Poincaré-Hopf index for non-singular planar flows to the broader setting of Brouwer homeomorphisms. This new approach answers a question raised by Le Roux by establishing a connection between the index of a Brouwer homeomorphism and the structure of its transverse foliations, in the sense of Le Calvez.

Normal Spaces via Urysohn's Lemma as a Lifting Property

2026-01-21T00:57:46Z

We present a translation of Urysohn's description of normal spaces (as those where disjoint closed subsets are separated by a continuous function) into the language of lifting properties in $\mathbf{Top}$, correcting a frequently-cited previous erroneous translation. We also present a translation of the definition of hereditarily normal spaces as those in which every open subspace is normal, by directly 'mapping' the translation of the usual description of normal spaces.

On topologization of the extended bicyclic semigroup

2026-01-20T21:46:17Z

Non-discrete semigroup $T_1$-topologies on the extended bicyclic semigroup $\mathscr{C}_\mathbb{Z}$ are constructed. Also, we present topological conditions, when a semigroup (shift-continuous) $T_1$-topology on $\mathscr{C}_\mathbb{Z}$ is discrete.