Relatively hyperbolic groups, Grothendieck pairs, and uncountable profinite ambiguity among fibre products

TL;DR

This paper explores how hyperbolic groups and their products can have their finite quotients indistinguishable from other groups, revealing limits of profinite rigidity and constructing uncountable families of non-isomorphic groups with identical profinite completions.

Contribution

It introduces a method to generate infinite sequences of Grothendieck pairs and uncountable families of non-isomorphic subgroups with identical profinite completions in hyperbolic group contexts.

Findings

Constructed infinite Grothendieck pairs for certain hyperbolic groups.

Demonstrated uncountable families of non-isomorphic groups with same profinite completions.

Showed that profinite rigidity can be entirely explained by Grothendieck pairs in these cases.

Abstract

These notes expand upon our lectures on {\em profinite rigidity} at the international colloquium on randomness, geometry and dynamics, organised by TIFR Mumbai at IISER Pune in January 2024. We are interested in the extent to which groups that arise in hyperbolic geometry and 3-manifold topology are determined by their finite quotients. The main theme of these notes is the radical extent to which rigidity is lost when one passes from consideration of groups with hyperbolic features to consideration of their direct products. We describe a general method for producing infinite sequences of {\em{Grothendieck pairs,}} i.e.~embeddings $P_i\hookrightarrow G\times G$ inducing isomorphisms of profinite completions, with $G$ fixed and $P_i$ finitely generated. In order to apply this method, one needs $G$ to map onto a subgroup of finite index in the commutator subgroup of a group $\Gamma$ with $H_2(\Gamma,\mathbb{Z})=0$, and $\Gamma$ should be relatively hyperbolic. By exploiting the flexibility of the construction, we explain how, under the same hypotheses on $G$, one can construct {\em uncountable families} of pairwise non-isomorphic subgroups $P_\lambda$ such that $P_\lambda\hookrightarrow G\times G$ induces an isomorphism of profinite completions. Examples of groups $G$ satisfying these conditions include the fundamental group of the Weeks manifold and the fundamental group of the 4-fold branch cover of the figure-8 knot complement. Both of these examples are profinitely rigid in the absolute sense and in each case Grothendieck pairs account entirely for the loss of profinite rigidity for $G\times G$: if $H$ is a finitely generated group whose profinite completion is isomorphic to that of $G\times G$, then there is an embedding $H\hookrightarrow G\times G$ that is a Grothendieck pair.