Fréchet-Urysohn subspaces of free topological groups, II (Q2215680)

This paper deals with the Fréchet-Urysohn property of free (abelian) topological groups over metrizable spaces. In~[Proc. Am. Math. Soc. 130, No. 8, 2461--2469 (2002; Zbl 1006.54052)] the author characterized, for metrizable~\(X\), when \(F_n(X)\) (the set of reduced words of length at most~\(n\)) has the Fréchet-Urysohn property, for all natural numbers~\(n\), except~\(n=4\). For \(n=2\): always; for \(n=3\): the set of non-isolated points is compact; for \(n\ge5\): the space is compact or discrete. In~Part I of this paper, [\textit{K. Yamada}, Topology Appl. 210, 81--89 (2016; Zbl 1350.54026)], one finds: if \(X\)~is locally compact and separable then \(F_4(X)\) is Fréchet-Urysohn. In the present paper we find a proof of the following implication: if \(X\)~is locally compact and the set of non-isolated points is compact then \(F_4(X)\) is Fréchet-Urysohn. The implication can be reversed if \(F_4(H)\)~is not Fréchet-Urysohn, where \(H\)~is the hedgehog with countably many spines, such that each spine is a sequence converging to the center point. For Part III see [\textit{K. Yamada}, ibid. 256, 104--112 (2019; Zbl 1418.54019)].