The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals

2025-10-22T16:31:33Z

For an ideal $\mathcal{I}$ in a $σ$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have the Grothendieck property either. The converse however does not hold -- we construct a family of $\mathfrak{c}$ many pairwise non-isomorphic Boolean subalgebras of the power set $\wp(ω)$ of the form $\wp(ω)\langle\mathcal{I}\rangle$ which, when thought of as subsets of the Cantor space $2^ω$, belong to the Borel class $\mathbb{F}_{σδ}$ and have the Nikodym property but not the Grothendieck property, and a family of $2^\mathfrak{c}$ many pairwise non-isomorphic non-analytic Boolean algebras of the form $\wp(ω)\langle\mathcal{I}\rangle$ with the Nikodym property but without the Grothendieck property. Extending a result of Hernández-Hernández and Hrušák, we show that for an analytic P-ideal $\mathcal{I}$ on $ω$ the following are equivalent: 1) $\mathcal{I}$ is totally bounded, 2) $\mathcal{I}$ has the Local-to-Global Boundedness Property for submeasures, 3) $\wp(ω)/\mathcal{I}$ contains a countable splitting family, 4) $\mbox{conv}\le_K\mathcal{I}$. Moreover, proving a conjecture of Drewnowski, Florencio, and Paúl, we present examples of analytic P-ideals on $ω$ with the Nikodym property but without the Local-to-Global Boundedness Property for submeasures (and so not totally bounded). Exploiting a construction of Alon, Drewnowski, and Łuczak, we also describe a family of $\mathfrak{c}$ many pairwise non-isomorphic ideals on $ω$, induced by sequences of Kneser hypergraphs, which all have the Nikodym property but not the Nested Partition Property -- this answers a question of Stuart. Finally, Tukey reducibility of a class of ideals without the Nikodym property is studied.

Measure theory via Locales

2025-10-22T10:25:53Z

We present an approach to measure theory using the theory of locales. This includes concrete constructions of measure algebras associated to Radon measures, such as the Lebesgue measure on $\mathbb{R}^n$, via Grothendieck topologies constructed from valuations, that circumvent the classical approach via $σ$-algebras. As an application we obtain a functorial construction of the induced measure $μ_*$ on the locale of sublocales $\mathfrak{Sl}(X)$ of a Hausdorff space $X$ equipped with a Radon measure $μ$, which in particular shows that $μ_*$ is invariant under measure-preserving homeomorphisms. We furthermore give a construction of the measurable locale associated to a smooth manifold, functorial in submersions, as well as comparison results to classical measure theory.

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.

Cut-and-choose games in topological spaces

2025-10-15T09:56:14Z

We study transfinite cut-and-choose games on $T_0$ spaces, introducing the {\em point-separating number} $ps(X)$ and the {\em set membership number} ${sm}(X)$ as the ordinal-valued invariants measuring the minimal length of a game in which a Seeker can determine a hidden point or subset. A central motivating question is which countable ordinals can occur as the value of $ps(X)$, in particular whether any countable ordinal can arise. These invariants generalize Scott's $T_0$-pseudoweight $ψw_0$. We establish fundamental inequalities relating $ps(X)$, ${sm}(X)$, $ψw_0(X)$, and $|X|$, including the sharp bounds $|X|\le 2^{ps(X)}$ and $ψw_0(X)\le 2^{

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$.