A Non-$\mathbb R$-Factorizable Product of $\mathbb R$-Factorizable Groups

2025-06-23T15:31:14Z

An example of two $\mathbb R$-factorizable groups whose product is not $\mathbb R$-factorizable is constructed. One of these groups is second-countable and the other Lindelöf to any finite power.

Weird $\mathbb R$-Factorizable Groups

2025-06-23T15:10:11Z

The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $ω_1$. Closely related results concerning the $\mathbb R$-factorizability of products of topological groups and spaces are also obtained (a product $X\times Y$ of topological spaces is said to be $\mathbb R$-factorizable if any continuous function $X\times Y\to \mathbb R$ factors through a product of maps from $X$ and $Y$ to second-countable spaces). In particular, it is proved that the square $G\times G$ of a topological groups $G$ is $\mathbb R$-factorizable as a group if and only if it is $\mathbb R$-factorizable as a product of spaces, in which case $G$ is pseudo-$\aleph_1$-compact. It is also proved that if the product of a space $X$ and an uncountable discrete space is $\mathbb R$-factorizable, then $X^ω$ is heredirarily separable and heredirarily Lindelöf.

The ball fixed point property in spaces of continuous functions

2025-06-22T11:17:53Z

A Banach space $X$ has the ball fixed point property (BFPP) if for every closed ball $B$ and for every nonexpansive mapping $T\colon B\to B$, there is a fixed point. We study the BFPP for $C(K)$-spaces. Our goal is to determine topological properties over $K$ that may determine the failure or fulfillment of the BFPP for the space of continuous functions $C(K)$. We prove that the class of compact spaces $K$ for which the BFPP holds lies between the class of extremally disconnected compact spaces and the class of compact $F$-spaces. We give a family of examples of $F$-spaces $K$ for which the BFPP fails. As a result, we prove that for every cardinal $κ$, $κ$-order completeness or $κ$-hyperconvexity of $C(K)$ are not enough for the BFPP and we obtain that $\ell_\infty/c_0 = C(\mathbb{N}^*)$ fails BFPP under the Continuum Hypothesis. The space $C([0,+\infty)^*)$ is also analyzed. It is left as an open problem whether all compact spaces for which the BFPP holds are in fact the extremally disconnected compact sets.

Topological groups from matrices of sets

2025-06-21T13:34:39Z

We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these objects. For example, the group built from an $ω_1$-tree is Frechét iff the tree is Aronszajn. We also determine cofinal types of some of these groups under certain set theoretic assumptions.

Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

2025-06-20T12:41:36Z

A trivial automorphism of the Boolean algebra $\mathcal P(\mathbb N) / \mathrm{Fin}$ is an automorphism induced by the action of some function $\mathbb N \rightarrow \mathbb N$. In models of forcing axioms all automorphisms are trivial, and therefore two trivial automorphisms are conjugate if and only if they have the same (modulo finite) cycle structure. We show that the Continuum Hypothesis implies that two trivial automorphisms are conjugate if and only if there are neither first-order obstructions nor index obstructions for their conjugacy. This is equivalent to given trivial automorphisms being conugate in some forcing extension of the universe. To each automorphism $α$ of $\mathcal P(\mathbb N) / \mathrm{Fin}$ we associate the first-order structure $\mathfrak{A}_α=(\mathcal P(\mathbb N) / \mathrm{Fin},α)$ and compute the existential theories of these structures. These results are applied to resolve a question of Braga, Farah, and Vignati and prove that there are coarse metric spaces $X$ and $Y$ such that the isomorphism between their uniform Roe coronas is independent from $\mathsf{ZFC}$.

Q*-normal spaces

2025-06-18T08:26:16Z

In this paper, using Q*-closed sets, we introduce a new version of normality called, Q*-normality which is a weak form of normality. Further utilizing Q*g-closed sets, we obtain some characterizations of Q*-normal and normal spaces and also obtain some preservation theorems for Q*-normal spaces.

Statistically characterized subgroups related to some non-arithmetic sequence of integers II (a quest for countable subgroups)

2025-06-18T08:01:14Z

Following the work of [Dikranjan et al., Fund. Math. 249:185-209, 2020] for arithmetic sequences, very recently in [Das et al., Expo. Math. 43(3):125653, 2025], statistically characterized subgroups have been investigated for certain types of non-arithmetic sequences. Building on this work, we investigate further and demonstrate that, for a particular class of non-arithmetic sequences, the statistically characterized subgroup coincides with the corresponding characterized subgroup. In this context it should be kept in mind that statistical convergence (convergence w.r. to the ideal of natural density zero sets) encompasses much more sequences than usual convergence (convergence w.r. to the ideal of finite sets) and it had already been shown that statistically characterized subgroups corresponding to arithmetic sequences can not be characterized by any sequence [Das et al., Bull. Sci. Math. 179(2):103157, 2022] and they are always of the size of the continuum. From the very beginning it has been an open question as to whether statistically characterized subgroups can be small in size i.e. countably infinite. Our observation thus sheds new light on the crucial role of sequences generating subgroups of the circle group and at the same time one can subsequently identify a class of sequences for which statistically characterized subgroups are countably infinite. This result provides a negative solution to Problem 2.16 posed in [Das et al., Expo. Math. 43(3):125653, 2025] and Question 6.3 from [Dikranjan et al., Fund. Math. 249:185-209, 2020]. Additionally, our findings resolve several open problems from [Dikranjan et al., Topo. Appl., 2025].

On $k_\mathbb{R}$-spaces and $s_\mathbb{R}$-spaces

2025-06-18T07:41:38Z

We give new characterizations of spaces $X$ which are $k_\mathbb{R}$-spaces or $s_\mathbb{R}$-spaces. Applying the obtained results we provide some sufficient and necessary conditions on $X$ for which $C_p(X)$ is a $k_\mathbb{R}$-space or an $s_\mathbb{R}$-space. It is proved that $C_p(X)$ is a $k_\mathbb{R}$-space for any space $X$ with one non-isolated point; if, in addition, $|X|$ is not sequential, then $C_p(X)$ is even an $s_\mathbb{R}$-space. Under $(CH)$, it is shown that there exists a separable metrizable space $X$ such that $C_p(X)$ is an Ascoli space but not a $k_\mathbb{R}$-space.

Almost SC*-normal spaces

2025-06-17T07:55:58Z

This paper introduces and investigates a new class of almost normal spaces, referred to as almost SC*-normal spaces, which are defined using SC*-open sets. Building on the work of A. Chandrakala and K. Bala Deepa Arasi, we explore several properties of these spaces within the framework of topology. Moreover, we obtain some new characterizations and preservation theorems of almost SC*-normal spaces.

Combinatorial $n$-od covers of graphs

2025-06-13T17:36:44Z

We introduce the notion of a combinatorial $n$-od cover, for $n \geq 3$, which is a tool that may be used to show that certain continua embedded in the plane are not simple $n$-od-like. Using this tool, we generalize a classic example of Ingram, and give a construction, for each $n \geq 3$, of an indecomposable plane continuum which is simple $(n+1)$-od-like but not simple $n$-od-like, and such that each non-degenerate proper subcontinuum is an arc. These examples may be compared with related constructions of Kennaugh [10].

Definable separability and second-countability in o-minimal structures

2025-06-13T13:58:14Z

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and definable second-countability -- which make sense in a wider model-theoretic context. We prove that, within o-minimality, these notions have the desired properties, including their equivalence among definable metric spaces, and conjecture a definable version of Urysohn's Metrization Theorem.

On (pre-) approach spaces within convergence approach spaces

2025-06-12T17:53:20Z

The purpose of this note is to illustrate a parallel between (pre)topologies when seen among convergence spaces and (pre)approach spaces when seen among convergence approach spaces, that appears to be a more complete parallel than in the traditional presentation of these approach structures. This sheds some light on the reflector from the category of convergence approach spaces to that of approach spaces and even on the structure of approach spaces as such. This point of view allows for a characterization of approach spaces among convergence approach spaces represented as pointfree convergence frames as in [18].

On connected subsets of a convergence space

2025-06-12T17:46:01Z

Though a convergence space is connected if and only if its topological modification is connected, connected subsets differ for the convergence and for its topological modification. We explore for what subsets connectedness for the convergence or for the topological modification turn out to be equivalent. In particular, we show that the largest set containing a given connected set for which all subsets in between are connected is the adherence of the connected set for the reciprocal modification of the convergence.

Pervasive ellipticity in locally compact groups

2025-06-11T11:55:29Z

A topological group is (openly) almost-elliptic if it contains a(n open) dense subset of elements generating relatively-compact cyclic subgroups. We classify the (openly) almost-elliptic connected locally compact groups as precisely those with compact maximal semisimple quotient and whose maximal compact subgroups act trivial-weight-freely on the Euclidean quotients of the closed derived series' successive layers. In particular, an extension of a compact connected group $\mathbb{K}$ by a connected, simply-connected solvable Lie group $\mathbb{L}$ is (openly) almost-elliptic precisely when the weights of the $\mathbb{K}$-action on $Lie(\mathbb{L})$ afforded by the extension are all non-trivial.

On ideals of product of commutative rings and their applications

2025-06-10T07:59:41Z

In this paper, leveraging the recent achievements of researchers, we have revisited the family of ideals of product of commutative rings. We demonstrate that if $ \{ R_α\}_{α\in A} $ is an infinite family of rings, then $ \left| Max \left( \prod_{α\in A} R_α\right) \right| \geqslant 2^{2^{|A|}} $. Notably, if these rings are local then the equality holds. We establish that $ Max(R_α) $ is homeomorphic to a closed subset of $ Max \left( \prod_{α\in A} R_α\right) $, for each $ α\in A $. Additionally, we show that $ Max(R) $ is disconnected \ff $ R $ is direct summand of its two proper ideals. We deduce that if the intersection of each infinite family of maximal ideals of a ring is zero, then the ring is not direct summand of its two proper ideals. Furthermore, we prove that for each ring $R$, $ C\left(Max(R)\right) $ is isomorphic to $ C\left(Max\left(C(Y)\right)\right) $, for some compact $T_4$ space $Y$. Finally, we explore that $h_M(x)$'s can define roles of zero-sets.