Homological invariants for pro-\(p\) groups and some finitely presented pro-\(\mathcal C\) groups. (Q1781854)

Let \(\mathcal C\) be a class of finite groups closed under subgroups, quotients, and extensions and let \(\varphi_0\) be an epimorphism of a discrete finitely presented group \(G_0\) onto \(\mathbb{Z}\). Let \(\widehat G_0\) and \(\widehat\mathbb{Z}_{\mathcal C}\) be the pro-\(\mathcal C\) completions of these groups and suppose that \(\widehat G_0\) has no free pro-\(\mathcal C\) subgroup of rank \(2\). Then using a pro-\(\mathcal C\) HNN-construction the authors show that the kernel of the induced epimorphism \(\varphi\colon\widehat G_0\to\widehat\mathbb{Z}_{\mathcal C}\) is topologically finitely generated. A similar theorem for pro-\(p\) groups (without the condition that the relations are discrete) was given by \textit{J. S. Wilson} [Invent. Math. 105, No. 1, 177-183 (1991; Zbl 0738.20035)]. Now suppose that \(G\) is a pro-\(p\) group. Then \(G\) is of type \(FP_m\) if the continuous homology groups \(H_i(G,\mathbb{F}_p)\) are finite for all \(i\leq m\). In this latter case the authors define a homological invariant \(\Sigma^m(G)\) (which is too complicated to describe here) which determines when a subgroup of \(G\) containing the derived group \(G'\) is itself of type \(FP_m\). This generalizes work of \textit{J. D. King} [J. Lond. Math. Soc., II. Ser. 60, No. 1, 83-94 (1999; Zbl 0952.20020)] which dealt with \(\Sigma^1(G)\) in the case that \(G\) is metabelian. Two related conjectures about finitely presented pro-\(p\) groups \(G\) which do not contain free pro-\(p\) subgroups of rank \(2\) are also given.