arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.12131

Countable compactness is $A$-invariant

ZhouXiang Huang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $A(X)$ denote the free Abelian topological group over a Tychonoff space $X$. We prove that if $A(X)$ and $A(Y)$ are topologically isomorphic and $X$ is countably compact, then $Y$ is also countably compact. Thus countable compactness is an $A$-invariant and, consequently, an $M$-invariant; this answers Open Problem~7.10.1 of Arhangel'skii and Tkachenko.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

ZhouXiang Huang. 2026-10-08. Countable compactness is $A$-invariant. https://arxiv.org/abs/2610.12131

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Universal Quasi-Polish Space

In this paper, we first construct a universal quasi-Polish space Y with the property that every quasi-Polish space is homeomorphic to a closed subspace of Y. This gives a hyperspace F(Y) of all quasi-Polish spaces which is itself a quasi-Polish space. We then prove that the collection of all Polish closed subspaces of Y forms a coanalytic, non-Borel subset of F(Y). In particular, this collection is Π11-complete.

math.GN↗
arXiv2026

The size of the poset of compatible locally quasi-convex topologies on locally compact abelian groups

For a Hausdorff locally quasi-convex abelian group $G$, let $\C(G)$ be the poset of all Hausdorff locally quasi-convex group topologies on its underlying group having the same continuous characters as $G$. We prove that, whenever $G$ is non-precompact, $\C(G)$ contains an order-isomorphic copy of $(\Pow(\cont),\subseteq)$, where $\cont=2^{\aleph_0}$. The embedding takes values between the Bohr topology and the original topology. Consequently, every infinite discrete abelian group $D$ satisfies $|\C(D)|=\width\C(D)=2^{2^{|D|}}$. The discrete reduction for locally compact abelian groups then yields exact cardinality and width formulas for all such groups; in particular, both invariants equal $2^{\cont}$ for every non-compact $σ$-compact locally compact abelian group. These results answer Questions 6.1--6.3 and 6.5--6.7, and the locally compact case of Question 6.4, posed by L.~Außenhofer and D.~Dikranjan in \cite{AD20}. The embedding also applies to non-compact complete metrizable locally quasi-convex groups. A non-compact precompact nuclear group with a unique compatible topology shows that non-compactness alone does not suffice in the nuclear setting. Finally, the compatible poset of $\R^{\N}$ is not order-isomorphic to that of any discrete abelian group.

math.GN↗
arXiv2026

About the space of continuous functions with open domain

We will see how to define the metric $β$, which turns the topological space of continuous functions whose domains are open subsets of a locally compact and second countable space $X$ to values in a polish space $Y$, called $(C_{od}(X,Y),τ_{ι,D})$ into a polish space. In particular, we will present a metric for the inverse semigroup of homeomorphisms of a locally compact, Hausdorff, and second-countable space.

math.GN↗