Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

We give a description of finitely generated prosoluble subgroups of the profinite completion of $3$-manifold groups and virtually compact special groups.

💡 Research Summary

The paper investigates the structure of finitely generated pro‑soluble subgroups inside the profinite completions of fundamental groups of compact 3‑manifolds and, more generally, of virtually compact special groups. The authors combine recent advances in 3‑manifold topology (Agol’s virtual Haken theorem, Wise’s work on virtually special cube complexes, and the Kahn‑Markovic surface subgroup theorem) with a careful analysis of profinite Bass‑Serre theory, especially in the setting of k‑acylindrical actions on profinite trees.

The main results can be summarized as follows.

Theorem A states that if (M) is a closed hyperbolic 3‑manifold and (H) is a finitely generated pro‑soluble subgroup of (\widehat{\pi_1(M)}), then (H) is projective (cohomological dimension 1). Consequently, (H) embeds as a subgroup of a free profinite group.

Theorem B extends this to any torsion‑free hyperbolic virtually special group (G): every finitely generated pro‑soluble subgroup of (\widehat{G}) is projective. As a corollary, pro‑soluble subgroups of the profinite completions of standard cocompact arithmetic lattices in (\mathrm{SO}(n,1)) are also projective.

For relatively hyperbolic groups, Theorem C shows that if (G) is a torsion‑free virtually compact special relatively hyperbolic group with toral peripheral structure, then any finitely generated pro‑soluble subgroup (H\le\widehat{G}) either (i) is virtually a subgroup of a free pro‑soluble product of abelian pro‑p groups, or (ii) is virtually abelian.

Applying the above to hyperbolic 3‑manifolds with cusps yields Theorem D, which gives the same dichotomy for pro‑soluble subgroups of (\widehat{\pi_1(M)}) when (M) has toral cusps.

The authors then treat all eight Thurston geometries case‑by‑case. Theorem E provides a complete classification of finitely generated pro‑soluble subgroups of (\widehat{\pi_1(M)}) for an arbitrary compact, orientable 3‑manifold (M). The possible groups fall into six broad families: (1) free pro‑p products of cyclic, (\mathbb{Z}p), or pro‑(p) completions of (\mathbb{Z}^2) and related Seifert‑fibered groups; (2) profinite Frobenius groups (\mathbb{Z}\pi\rtimes C); (3) central extensions of dihedral, tetrahedral, or octahedral groups by cyclic groups; (4) profinite completions of 3‑dimensional Bieberbach groups; (5) extensions involving (\mathrm{PGL}_2(\mathbb{Z}_p)) or its Anosov matrices; and (6) extensions of a torsion‑free pro‑cyclic group by a finite free pro‑soluble product of cyclic (p)‑groups, with trivial or inversion action.

The technical backbone consists of two auxiliary theorems. Theorem F proves that for an injective k‑acylindrical finite graph of profinite groups, any finitely generated pro‑soluble subgroup embeds into a free profinite product of the vertex stabilizers, and if it does not coincide with any vertex stabilizer it is either a free pro‑soluble product of pro‑(p) groups or a profinite Frobenius group. Theorem G establishes a profinite analogue of Sela’s accessibility: the number of maximal vertex stabilizers of such a subgroup acting on the standard profinite Bass‑Serre tree is bounded by the minimal number of generators of the subgroup.

The paper is organized as follows. Section 2 recalls the necessary profinite Bass‑Serre machinery. Section 3 develops the theory of pro‑(C) groups acting k‑acylindrically on profinite trees. Section 4 proves the accessibility result (Theorem G). Section 5 establishes the embedding theorem (Theorem F). Section 6 applies these tools to virtually special groups, yielding Theorems A–D. Section 7 treats arithmetic hyperbolic lattices. Finally, Section 8 analyses each Thurston geometry and proves the comprehensive classification (Theorem E).

Overall, the work demonstrates that, despite the lack of a full Kurosh subgroup theorem in the profinite setting, the class of pro‑soluble subgroups of profinite completions of 3‑manifold groups is extremely rigid: they are either projective (hence virtually free) or belong to a short, explicitly described list of virtually abelian or Frobenius‑type groups. This bridges modern geometric group theory with profinite group theory and provides a valuable reference for future investigations of subgroup structures in profinite completions of geometric groups.