Homogeneity of \({\mathcal K}(Q)\) (Q5939527)

It is proved that the hyperspace of compact subsets of the rationals \(\mathcal{K}(\mathbb{Q})\), equipped with the Vietoris topology, is a topological group and \(\mathcal{K}(\mathbb{Q})\) is characterized as a first-category, zero-dimensional, separable metrizable space on which every non-empty clopen subset is \(\Pi^{1}_{1}\)-complete. Here, if \(\Pi^{1}_{1}(2^{\omega})\) denotes the family of all co-analytic subsets of \(2^{\omega}\), a subset \(C\in \Pi^{1}_{1}(2^{\omega})\) is \(\Pi^{1}_{1}\)-complete if for every\(A\in \Pi^{1}_{1}(2^{\omega})\) there exists a continuous self-map of \(2^{\omega}\) such that \(x\in A\) iff \(f(x)\in C\). The main result of the paper answers positively a question of \textit{H. Fujita} and \textit{S. Taniyama} [ibid. 20, No. 1, 213-218 (1996; Zbl 0892.54006)] who, with the additional assumption of Analytic Determinacy proved, that \(\mathcal{K}(\mathbb{Q})\) is a homogeneous space. The author's proof, that uses a result of \textit{Fons van Engelen} [Topol. Proc. 17, 303-315 (1992; Zbl 0793.54007)], does not yield the definition of the composition law for the group structure of \(\mathcal{K}(\mathbb{Q})\).