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.

The Zariski Topology on Homeomorphism groups

2026-01-21T17:05:22Z

The Zariski topology on a group G is the coarsest topology such that all sets of the form $\{x \in G | 1_G \neq g_0 x^{k_0} g_1 ... g_{l-1} x^{k_{l-1}} g_l\}$ are open. Originally introduced by Bryant as the verbal topology, it serves as a fundamental tool for investigating the topological structure of infinite groups and is always a $T_1$ topology with continuous shifts and inversion. Since the Zariski topology is coarser than every Hausdorff group topology on G, it provides a natural starting point for topologizing groups; specifically, for countable or abelian groups, it is known that the Zariski topology coincides with the Markov topology-the intersection of all Hausdorff group topologies on G. In this paper, we analyze the Zariski topology on various homeomorphism groups. We demonstrate that for the Thompson groups F and T, the Zariski (and thus Markov) topology coincides with the standard compact-open topology derived from their respective actions on $[0,1]$ and $S^1$. In contrast, we show that the Zariski (and thus Markov) topology on Thompson's group V is irreducible, and therefore neither Hausdorff nor a group topology. As V acts highly transitively on each of its orbits, this result stands in notable opposition to a theorem by Banakh et al, which establishes that the Zariski topology on any permutation group containing all finitely supported elements is a Hausdorff group topology. We also extend these investigations to Homeo$([0,1])$, Homeo$(S^1)$, and Homeo$(2^ω)$. We conclude by providing a classification of the topological manifolds $M$ for which the homeomorphism group Homeo$(M)$ admits a Hausdorff Zariski topology.

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 Γ-embeddings and partial actions of function spaces A

2026-01-20T23:55:11Z

This paper deals with the extension of partial actions of topological groups on topological spaces. Within this framework, we introduce a class of topological embeddings defined via the inverse semigroup of homeomorphisms between open subsets of a topological space. We describe several embeddings of this type, referred to as $Γ$- embeddings, and we place particular emphasis on one of them. In particular, we prove that every topological space $Y$ admits a $Γ$-embedding into the space of continuous functions $C(X, Y )$, equipped with the compact-open topology, where $X$ is a compact space. Consequently, any partial action $θ$ of a topological group $G$ on $ Y$ naturally induces a partial action $\hatθ$ on $C(X, Y ).$ Throughout the paper, we investigate various relationships between these actions, as well as between their corresponding globalizations and enveloping 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.

Homeomorphism groups of basilica, rabbit and airplane Julia sets

2026-01-20T17:41:33Z

The airplane, the basilica and the Douady rabbit (and, more generally, rabbits with more than two ears) are well-known Julia sets of complex quadratic polynomials. In this paper we study the groups of all homeomorphisms of such fractals and of all automorphisms of their laminations. In particular, we identify them with some kaleidoscopic group or universal groups and thus realize them as Polish permutation groups. From these identifications, we deduce algebraic, topological and geometric properties of these groups.

$\mathbb R^{ω_1}$-Factorizable Spaces and Groups

2026-01-20T16:50:27Z

A topological space $X$ is $\mathbb R^{ω_1}$-factorizable if any continuous function $f\colon X\to \mathbb R^{ω_1}$ factors through a continuous function from $X$ to a second-countable space. It is shown that a Tychonoff space $X$ is $\mathbb R^{ω_1}$-factorizable if and only if $X\times D(ω_1)$, where $D(ω_1)$ is a discrete space of cardinality $ω_1$, is $z$-embedded in the product $βX\times βD(ω_1)$ of the Stone--Cech compactifications. It is also proved that $\mathbb R^{ω_1}$-factorizability is hereditary and countably multiplicative, that any $\mathbb R^{ω_1}$-factorizable space is hereditarily Lindelöf and hereditarily separable, and that the existence of nonmetrizable $\mathbb R^{ω_1}$-factorizable topological spaces and groups is independent of ZFC: under CH, all $\mathbb R^{ω_1}$-factorizable spaces are second-countable, while under MA + $\lnot$CH, the countable Fréchet--Urysohn fan is $\mathbb R^{ω_1}$-factorizable.