New examples in the study of selectively separable spaces

2025-10-21T12:33:34Z

The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable regular wH-separable spaces that are not H-separable. We prove there is a ZFC example. Their example was also Fréchet-Urysohn, and we produce two additional examples from weaker assumptions.

The Structure of Sequentially Complete Locally Minimal Groups

2025-10-20T06:01:57Z

Generalizing results from \cite{DTk,DU} we study the fine structure of locally minimal (locally) precompact Abelian groups (these are the locally essential subgroups $G$ of LCA groups $L$, i.e., such that $G$ non-trivially meets all ``small" closed subgroup of $L$). More precisely we prove that if $G$ is a dense locally minimal and sequentially closed subgroup of a LCA group $L$, then the connected component $c(G)$ of $G$ has the same weight as $c(L)$. Moreover, when $w(c(G))$ is not Ulam measurable, then $c(G) = c(L)$. We provide an extended discussion illustrating how this result fails in various ways in the non-abelian case (even for nilpotent groups of class 2). Motivated by the above result, we study further those locally minimal precompact Abelian groups $G$, termed {\em critical locally minimal},such that $c(G) =c(K)$ (where $K$ is the compact completion of $G$) and $G/c(G)$ is not locally minimal. Such a group cannot be compact, neither connected, nor totally disconnected. We provide a proper class of critical locally minimal groups with additional compactness-like properties and we study the class $\CCC$ of compact Abelian groups with a dense critical locally minimal subgroup. In particular, we completely describe the connected components of the finite-dimensional groups belonging to $\CCC$.

On Metrizability, Completeness and Compactness in Modular Pseudometric Topologies

2025-10-19T10:38:32Z

Building on the recent work of Mushaandja and Olela-Otafudu~\cite{MushaandjaOlela2025} on modular metric topologies, this paper investigates extended structural properties of modular (pseudo)metric spaces. We provide necessary and sufficient conditions under which the modular topology $τ(w)$ coincides with the uniform topology $τ(\mathcal{V})$ induced by the corresponding pseudometric, and characterize this coincidence in terms of a generalized $Δ$-condition. Explicit examples are given where $τ(w)\subsetneqτ(\mathcal{V})$, demonstrating the strictness of inclusion. Completeness, compactness, separability, and countability properties of modular pseudometric spaces are analysed, with functional-analytic analogues identified in Orlicz-type modular settings. Finally, categorical and fuzzy perspectives are explored, revealing structural invariants distinguishing modular from fuzzy settings.

Peano Quotients of Metric Continua

2025-10-18T17:00:57Z

For any compact, connected metric space $(M,d)$ the set of points where $M$ is not weakly locally connected is shown to define a partition $\sP$ of $M$ for which the corresponding quotient metric space $(\sQ, \nabla_\sQ)$ is a Peano continuum with $\sQ = \sP$.

On edge-direction and compact edge-end spaces

2025-10-18T01:23:50Z

Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalhães Júnior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.

Better Subtopologies

2025-10-17T22:56:10Z

We study conditions under which a space that has a good property and a courser topology with another good property admits a continuous bijection onto a space with both properties.

A universal $P$-group of weight $\aleph$

2025-10-17T17:47:37Z

We show that under the Continuum Hypothesis, the topological group of all homeomorphisms of the Čech-Stone remainder of $ω$ with the $G_δ$-topology, is a universal object for all $P$-groups of weight at most ${\mathfrak c}$.

Algebraic $K$-theory of coherent spaces

2025-10-15T10:14:46Z

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative rings. As applications we discuss the connection between scissors congruence $K$-theory and Topological Hochschild Homology of certain locally coherent spaces, as well as the algebraic $K$-theory of a measure space.

A categorification of representations of $U_q(\mathfrak{gl}_{1|1})$

2025-10-14T23:25:47Z

We categorify the action of $U_q(\mathfrak{gl}_{1|1})$ on the tensor product of its vector representations $(\mathbb{C}^{1|1})^{\otimes N}$. The generators $E$ and $F$ are represented by Fourier-Mukai functors between the derived categories of coherent sheaves on the total spaces of "semi-parabolic" vector bundles over the Grassmannians $Gr(k,N)$.

The class of Aronszajn lines under epimorphisms

2025-10-14T21:46:48Z

A linear order $A$ is called strongly surjective if for every non empty suborder $B \preceq A$, there is an epimorphism from $A$ onto $B$ (denoted by $B \trianglelefteq A$). We show, answering some questions of Dániel T. Soukup, that under $\mathsf{MA}_{\aleph_{1}}$ there is a strongly surjective Countryman line. We also study the general structure of the class of Aronszajn lines under $\trianglelefteq$, and compare it with the well known embeddability relation $\preceq$. Under $\mathsf{PFA}$, the class of Aronszajn lines and the class of countable linear orders enjoy similar nice properties when viewed under the embeddability relation; both are well-quasi-ordered and have a finite basis. We show that this analogy does not extend perfectly to the $\trianglelefteq$ relation; while it is known that the countable linear orders are still well-quasi-ordered under $\trianglelefteq$, we show that already in $\mathsf{ZFC}$ the class of Aronszajn lines has an infinite antichain, and under $\mathsf{MA}_{\aleph_{1}}$ an infinite decreasing chain as well. We show that some of the analogy survives by proving that under $\mathsf{PFA}$, for some carefully constructed Countryman line $C$, $C$ and $C^{\star}$ form a $\trianglelefteq$-basis for the class of Aronszajn lines. Finally we show that this does not extend to all uncountable linear orders by proving that there is never a finite $\trianglelefteq$-basis for the uncountable real orders.

On the Gauss map assignment for minimal surfaces and the Osserman curvature estimate

2025-10-14T07:02:04Z

The Gauss map of a conformal minimal immersion of an open Riemann surface $M$ into $\mathbb{R}^n$, $n\ge 3$, is a holomorphic map $M\to{\bf Q}^{n-2}\subset \mathbb{CP}^{n-1}$. Denote by ${\rm CMI}_{\rm full}(M,\mathbb{R}^n)$ and $\mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$ the spaces of full conformal minimal immersions $M\to\mathbb{R}^n$ and full holomorphic maps $M\to{\bf Q}^{n-2}$, respectively, endowed with the compact-open topology. In this paper we show that the Gauss map assignment $\mathscr{G}:{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$, taking a full conformal minimal immersion to its Gauss map, is an open map. This implies, in view of a result of Forstneric and the authors, that $\mathscr{G}$ is a quotient map. The same results hold for the map $(\mathscr{G},Flux):{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})\times H^1(M,\mathbb{R}^n)$, where $Flux:{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to H^1(M,\mathbb{R}^n)$ is the flux assignment. As application, we establish that the set of maps $G\in \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$ such that the family $\mathscr{G}^{-1}(G)$ of all minimal surfaces in $\mathbb{R}^n$ with the Gauss map $G$ satisfies the classical Osserman curvature estimate, is meagre in the space of holomorphic maps $M\to {\bf Q}^{n-2}$.

Generic properties of minimal surfaces

2025-10-14T06:57:38Z

Let $M$ be an open Riemann surface and $n\ge 3$ be an integer. In this paper we establish some generic properties (in Baire category sense) in the space of all conformal minimal immersions $M\to\mathbb{R}^n$ endowed with the compact-open topology, pointing out that a generic such immersion is chaotic in many ways. For instance, we show that a generic conformal minimal immersion $u\colon M\to \mathbb{R}^n$ is non-proper, almost proper, and $g$-complete with respect to any given Riemannian metric $g$ in $\mathbb{R}^n$. Further, its image $u(M)$ is dense in $\mathbb{R}^n$ and disjoint from $\mathbb{Q}^3\times \mathbb{R}^{n-3}$, and has infinite area, infinite total curvature, and unbounded curvature on every open set in $\mathbb{R}^n$. In case $n=3$, we also prove that a generic conformal minimal immersion $M\to\mathbb{R}^3$ has infinite index of stability on every open set in $\mathbb{R}^3$.

Mean dimension explosion of induced homeomorphisms

2025-10-14T04:02:55Z

Given $X$ a compact metric space and $T: X \to X$ a continuous map, the induced hyperspace map $T_\mathcal{K}$ acts on the hyperspace $\mathcal{K}(X)$ of closed and nonempty subsets of $X$, and on the continuum hyperspace $\mathcal{C}(X) \subset \mathcal{K}(X)$ of connected sets. This work studies the mean dimension explosion phenomenon: when the base system $T$ has zero topological entropy, but the mean dimension of the induced map $T_\mathcal{K}$ is infinite. In particular, this phenomenon occurs for Morse-Smale diffeomorphisms. Furthermore, for a circle homeomorphism $H$, the mean dimension explosion does not occur if and only if $H$ is conjugate to a rotation. For the metric mean dimension, a different result is obtained: we establish sufficient conditions for the induced hyperspace map to have zero or infinite metric mean dimension.

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice

2025-10-13T21:00:07Z

For an infinite set $X$, a closed under finite unions family $\mathcal{Z}$ with $[X]^{<ω}\subseteq\mathcal{Z}\subseteq\mathcal{P}(X)$, and any $\mathcal{A}\subseteq\mathcal{P}(X)$, the topology $τ_{\mathcal{A}}[\mathcal{Z}]=\{V\in\mathcal{A}: (\forall x\in V)(\exists z\in \mathcal{Z})(x\cap z=\emptyset \wedge \{y\in\mathcal{A}: x\subseteq y\subseteq X\setminus z\}\subseteq V)\}$ on $\mathcal{A}$ is investigated to give answers to the following open problem in various models of $\mathbf{ZF}$ or $\mathbf{ZFA}$: Is there a non-empty Hausdorff, crowded zero-dimensional $P$-space in the absence of the axiom of choice? Spaces of the form $\mathbf{S}(X, [X]^{\leqω})=\langle \mathcal{A}, τ_{\mathcal{A}}[\mathcal{Z}]\rangle$ for $\mathcal{A}=[X]^{<ω}$ and $\mathcal{Z}=[X]^{\leqω}$ are of special importance here. Among many other results, the following theorems are proved in $\mathbf{ZF}$: (1) If $X$ is uncountable, then $\mathbf{S}(X, [X]^{\leqω})$ is a crowded zero-dimensional Hausdorff space, and if $X$ is also quasi Dedekind-finite, then $\mathbf{S}(X, [X]^{\leqω})$ is a $P$-space; (2) $\mathbf{S}(ω_1, [ω_1]^{\leqω})$ is a $P$-space if and only if $ω_1$ is regular; (3) the axiom of countable choice for families of finite sets is equivalent to the statement ``for every infinite Dedekind-finite set $X$, $\mathbf{S}(X,[X]^{\leqω})$ is a $P$-space''; (4) the statement ``$\mathbb{R}$ admits a topology $τ$ such that $\langle\mathbb{R}, τ\rangle$ is a crowded, zero-dimensional Hausdorff $P$-space'' is strictly weaker than the axiom of countable choice for families of subsets of $\mathbb{R}$; (5) the statement ``there exists a non-empty, well-orderable crowded zero-dimensional Hausdorff $P$-space'' is strictly weaker than ``$ω_1$ is regular''. A lot of relevant independence results are obtained.

A note on adding isomorphisms and the pseudointersection number

2025-10-13T08:48:39Z

We prove that for every tower $\mathcal T$ there are $\aleph_1$-dense $A$ and $B$ so that any ``reasonable" forcing notion $\mathbb{P}$ -- an adjective that includes all known ones -- for making $A$ and $B$ isomorphic will add a pseudointersection for the tower. This shows in particular that $\mathsf{MA}_{\aleph_1}(σ{\rm -centered})$ holds in all known models of $\mathsf{BA}$, which provides intrigue to well known questions of Todorčević and Steprāns-Watson.