Metrizable quotients of free topological groups

Abstract

We consider the following problem: For which Tychonoff topological spaces X do the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial (i.e. not finitely generated) metrizable quotient group? First, we give a complete solution of this problem for the key class of compact spaces X. Then, relying on this result, we resolve the problem for several more general important classes of spaces X, including the class of $$\sigma $$ -compact spaces, the class of pseudocompact spaces, the class of $$\omega $$ -bounded spaces, the class of Cech-complete spaces and the class of K-analytic spaces. Also we describe all absolutely analytic metric spaces X (in particular, completely metrizable spaces) such that the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial metrizable quotient group. Our results are based on an extensive use of topological properties of non-scattered spaces.