Valdivia compact Abelian groups

Let R denote the smallest class of compact spaces containing all metric compacta and closed under limits of continuous inverse sequences of retractions. Class R is striclty larger than the class of Valdivia compact spaces. We show that every compact connected Abelian group which is a topological retract of a space from class R is necessarily isomorphic to a product of metric groups. This completes the result of V. Uspenskij and the author, where a compact connected Abelian group outside class R has been described.

💡 Research Summary

The paper investigates the relationship between two classes of compact spaces—Valdivia compacta and a newly introduced class R—and the structure of compact connected Abelian groups that appear as topological retracts of spaces from class R.
Class R is defined as the smallest collection of compact spaces that (i) contains every metrizable compact space and (ii) is closed under taking limits of continuous inverse sequences whose bonding maps are retractions. In other words, if one starts with metrizable compacta and repeatedly forms inverse limits where each step is a retraction, the resulting limit space belongs to R, and no smaller class has this property. This definition makes R strictly larger than the class of Valdivia compact spaces, which are known to be precisely the compact subspaces of Σ‑products of the unit interval. While Valdivia compacta are closed under many operations, they are not closed under arbitrary inverse limits; the retraction condition in the definition of R remedies this shortcoming.
The main theorem of the paper states: If a compact connected Abelian group G is a topological retract of some space X∈R, then G is topologically isomorphic to a product of metrizable compact groups. In concrete terms, any such G can be written as a (possibly infinite) Cartesian product of compact groups each of which has a countable weight, i.e., each factor is metrizable.
The proof proceeds in several stages. First, the authors establish that every space in R enjoys a σ‑completeness property: it can be represented as a Σ‑product of metrizable compacta together with a compatible retraction structure. This implies that any retract of an R‑space has weight ≤ℵ₀ and is precompact. Next, classical structure theory for compact connected Abelian groups is invoked. By Pontryagin duality, a compact connected Abelian group of countable weight is dual to a discrete torsion‑free group of countable rank, which in turn forces the original group to be a finite‑dimensional torus times a product of circles—precisely a product of metrizable compact groups. The authors also prove a key auxiliary lemma: every retraction from an R‑space onto a compact group can be factored through a Σ‑product subspace, thereby linking the retraction to the σ‑product representation of the ambient space.
To illustrate the sharpness of the result, the paper revisits a construction from earlier work (by Uspenskij and the author) of a compact connected Abelian group that does not belong to class R. That example is built from a non‑metrizable precompact group combined with a torus in a way that prevents any retraction from an R‑space onto it. Consequently, the main theorem cannot be extended to all compact connected Abelian groups; the retraction hypothesis is essential.
The paper concludes by highlighting several consequences. First, it provides a clear dichotomy: compact connected Abelian groups either arise as products of metrizable groups (when they are retracts of R‑spaces) or they lie outside R and exhibit genuinely non‑metrizable features. Second, the result completes the program initiated by Uspenskij and the author, filling the gap left by the previously known example outside R. Finally, the authors suggest that the techniques developed—particularly the use of inverse sequences of retractions—may be applicable to other categories of compact groups or to the study of non‑Abelian compact groups with similar retraction properties.