Just Previsions

2026-05-11T08:22:20Z

Previsions are positively homogeneous functionals, and are generalized forms of integration functionals. We investigate previsions -- just previsions, not sublinear or superlinear previsions as in previous work. We show that every prevision can be expressed as an infimum of sublinear previsions, and as a supremum of superlinear previsions under mild conditions. This extends to homeomorphisms between spaces of previsions and certain hyperspaces over spaces of sublinear or superlinear previsions, which can also be characterized in terms of orthogonality relations, making the construction a variant of a double powerspace construction.

Asymptotic Hausdorff and Language Similarity

2026-05-10T17:33:15Z

We introduce the \textit{Asymptotic Hausdorff} lifting, denoted $\mathbb{AH}_{d}$, a general method for lifting an element-level metric $d$ to a (pseudo-) metric on sets, that captures asymptotic similarity in infinite domains equipped with a notion of size. The construction is designed to be insensitive to finite deviations and to avoid the limitations of classical Hausdorff-based approaches, which are often overly sensitive to outliers and fail to reflect asymptotic behavior. Formal languages provide a central motivating instance of this framework, where elements are words and sets are languages. When applied to normalized edit distances, the Asymptotic Hausdorff lifting yields metric-valued distances between languages that reflect asymptotic edit behavior while preserving metric structure. We study the equivalence classes of regular languages induced by $\mathbb{AH}_{d}$ for normalized edit distances $d$, and characterize their asymptotic essence. Focusing in particular on the normalized edit distance of Marzal and Vidal, $\textsf{ned}$, we investigate the computation of $\mathbb{AH}_{\textsf{ned}}$ for regular languages and for bounded context-free languages.

Reply to Some Questions of Quotients when ultrafilters divide ultrafilters

2026-05-09T15:49:54Z

For ultrafilters u,v on N, the operation u/v is introduced and formalised which acts as quotient-like structures when v strongly divides u.Central to our study is the characterization of self-divisible ultrafilters in connection with the divisibility of u by u/v.Some results on the algebraic stability of multiplicative udempotents are presented.The paper also connects the combinatorial notions such as multiplicative delta sets,provoding characterization via self-divisible ultrafilters.

On GSI2-convergence in T0-spaces

2026-05-09T11:45:40Z

In this paper,we introduce the concept of GSI$_2$-convergence in $T_0$ spaces and the related concept of (strongly) QI$_2$-continuous spaces. It is proved that if GSI$_2$-convergence in $X$ is topological iff $X$ is strongly QI$_2$-continuous for any irreducible complete $T_0$ space $X$.

Nielsen coincidence theory of $(n,m)$-valued pairs of maps

2026-05-07T22:56:39Z

We consider pairs of maps $(f,g)$, where $f$ is an $n$-valued map and $g$ is an $m$-valued map, defined on connected finite polyhedra. A point $x$ such that $f(x)\cap g(x)\neq \emptyset$ is called a coincidence point of $f$ and $g$. A useful device for studying coincidence points would be a Nielsen-type invariant which provides a lower bound for the number of coincidence points of all $(n, m)$-valued pairs of maps homotopic to $(f,g)$. The construction of such an invariant $N(f:g)$ was proposed in [J. Fixed Point Theory Appl. 14, 309--324 (2013)]. Unfortunately, this approach has some flaws. In this paper, we present a modified construction that yields a corrected form of the invariant, defined in terms of the intersection points of the graphs of $f$ and $g$. In the case of $(n, m)$-valued pairs of maps of the circle our invariant provides a sharp lower bound, which we precisely determine.

Rational homology disk degenerations of elliptic surfaces

2026-05-07T17:59:59Z

In this paper, a $\mathbb{Q}$HD singularity is a weighted homogeneous normal surface singularity admitting a rational homology disk ($\mathbb{Q}$HD) smoothing. These singularities are rational but often not log canonical. We classify all $\mathbb{Q}$HD degenerations of nonsingular projective elliptic surfaces, extending Kawamata's classification of the case with only Wahl singularities (i.e., log terminal $\mathbb{Q}$HD singularities). We also realize all $\mathbb{Q}$HD degenerations of Dolgachev surfaces $D_{a,b}$ with one $\mathbb{Q}$HD singularity, for every pair of integers $a,b$. For each such degeneration, we construct a minimal semi log canonical (slc) birational model via a Seifert partial resolution in the sense of Wahl followed by semistable flips. Finally, we prove that these minimal slc models are unobstructed and deform to the recent degenerations of Dolgachev surfaces constructed by D. Lee and Y. Lee.

The class and dynamics of $α$-balanced Polish groups

2026-05-06T12:35:46Z

For each ordinal $α<ω_1$, we introduce the class of $α$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop a boundedness principle for CLI groups by showing that $α$-balancedness is an initial segment of a regular coanalytic rank. In the spirit of Hjorth's turbulence theory we also introduce "generic $α$-unbalancedness": a new dynamical condition for Polish $G$-spaces which serves as an obstruction to classification by actions of $α$-balanced Polish groups. We use this to provide, for each $α<ω_1$, an action of an $α$-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against actions of any $β$-balanced Polish group with $β<α$.

On the Transitive Binary $G$-Spaces

2026-05-05T19:26:23Z

Distributive subsets of the group of all invertible continuous binary operations on a topological space are considered, and it is proved that the subgroups generated by them are also distributive. A criterion for the distributivity of a binary action of a topological group $G$ on a space $X$ is obtained. The concept of transitive binary $G$-space is introduced, and a classification of transitive distributive binary $G$-spaces is given in the case of a compact group $G$.

On masas of the Calkin algebra generated by projections

2026-05-05T14:13:21Z

Assuming the continuum hypothesis CH, we obtain complete $*$-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra $\mathcal Q(\ell_2)$ (bounded operators on a separable Hilbert space modulo compact operators) generated by projections. In particular, for any compact totally disconnected Hausdorff space $K$ of weight not exceeding the continuum and not admitting $G_δ$ points we construct under CH a masa of $\mathcal Q(\ell_2)$ which is $*$-isomorphic to the algebra $C(K)$ of complex-valued continuous functions on $K$. This, among others, shows that masas of the Calkin algebra could have rather unexpected properties compared to the previously known three $*$-isomorphic types of them generated by projections: $\ell_\infty/c_0$, $L_\infty$ and $\ell_\infty/c_0\oplus L_\infty$. It can be shown that some additional set-theoretic hypothesis, like CH, is necessary for such results. However, without making any additional set-theoretic assumptions we still construct a family of maximal possible cardinality (of the power set of $\mathbb R$) of pairwise non-$*$-isomorphic masas of $\mathcal Q(\ell_2)$ generated by projections and with properties unlike the three above examples.

A dynamical approach to Schur's Theorem

2026-05-05T13:13:00Z

A classical result of Schur of 1904 shows that an infinite (discrete) group $E$ with finite central quotient $E/Z(E)$ should have finite derived subgroup $[E,E]$. Schur's Theorem has many important consequences, which have been extensively investigated in the literature. Here we focus on topological Hausdorff groups, which are not necessarily discrete groups, and show a dynamical version of Schur's Theorem via the notion of topological entropy of Adler, Konheim and McAndrew. Their perspective follows some original intuitions of Kolmogov and Sinai from the area of the dynamical systems. Firstly, we investigate the topological entropy of continuous endomorphisms of maximal almost periodic groups whose closed derived subgroup is compact. The properties of these groups were known to Takahashi in 1952 and among them we find the $\mathsf{Z}$-groups of Grosser and Moskowitz. Secondly, we give a new dynamical interpretation of the Schur's Theorem, showing that a $\mathsf{Z}$-group $G$ with continuous endomorphisms of finite topological entropy should have closed derived subgroup $\overline{[G,G]}$ with continuous endomorphisms of finite topological entropy. Finally, we illustrate a series of constructions and examples, which allow us to justify our interpretation of Schur's Theorem as generalization of the original version.

Lectures on Condensed Mathematics

2026-05-05T11:41:12Z

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable version of the original lectures, with mostly cosmetic changes to the original document, together with some small corrections.

The lattice of smooth sublocales as a Bruns-Lakser completion

2026-05-04T12:50:05Z

We characterise the frame morphisms $f:L\to M$ that lift to frame maps $\overline{f}:\mathsf{S}_b(L)\to \mathsf{S}_b(M)$, where $\mathsf{S}_b(L)$ is the collection of joins of complemented sublocales of a frame $L$, or equivalently the Booleanization of the collection $\mathsf{S}(L)$ of all its sublocales. We do so by proving that $\mathsf{S}_b(L)$ is isomorphic to the Bruns--Lakser completion of the meet-semilattice formed by the locally closed sublocales, i.e. the sublocales of the form $\mathfrak{c}(a)\cap \mathfrak{o}(b)$ for $a,b\in L$.

Binary transformation groups and topological fields

2026-05-02T22:33:54Z

The notion of a semitransitive binary action of a group $G$ on a topological space is introduced. A duality theorem is proved, establishing a bijective correspondence between semitransitive distributive binary $G$-spaces and topological fields whose multiplicative group is isomorphic to $G$. This result yields an equivalence between the category of semitransitive distributive binary $G$-spaces and the category of topological fields with multiplicative group $G$. As applications of the duality theorem, two important results are established. It is shown that a finite group can act semitransitively, distributively, and binarily only on finite sets whose cardinality is a power of a prime number. A complete characterization of those groups that can appear as multiplicative groups of topological fields is also obtained.

Perfect maps between submetrizable spaces

2026-05-02T15:59:32Z

We investigate a question posed by Huaipeng Chen: if $X$ and $Y$ are paracompact submetrizable spaces and $f:X\to Y$ is a perfect map, can $X$ and $Y$ be submetrized by metrics $ρ$ and $d$ respectively such that $f$ remains perfect with respect to the induced topologies?

Uniform homeomorphisms between $C_p^*$-spaces preserve pseudocompactness

2026-05-02T02:43:04Z

For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if $C_p(X)$ is uniformly homeomorphic to $C_p(Y)$, then $X$ is pseudocompact if and only if $Y$ is pseudocompact. The author and Vuma \cite{valvu} have shown that linear homeomorphisms between $C_p^*(X)$ and $C_p^*(Y)$ preserve pseudocompactness. Recently Baars-van Mill-Tkachuk \cite{bmt} gave another proof of that result and raised the question if the same remains true provided $C_p^*(X)$ and $C_p^*(Y)$ are uniformly homeomorphic. In the present paper we answer that question positively. This, together with a result of Krupski \cite{k}, implies that $κ$-pseudocompactness is also preserved by uniform homeomorphisms between $C_p^*$-spaces.