Topological groups with a compact open subgroup, relative hyperbolicity and coherence (Q6169071)

In this article, the pairs \((\mathcal G, H)\) are studied where \(\mathcal G\) is a topological group with a compact open subgroup, and \(\mathcal H\) is a finite collection of open subgroups. Let \(G\) be a topological group. \(G\) is compactly generated if it admits a compact generating set. It is compactly presented if it admits a standard presentation \(\langle S\mid R\rangle\) where \(S\) is a compact subset of \(G\) and \(R\) is a set of words in \(S\) of uniformly bounded length. A topological group is said to be coherent if every closed compactly generated subgroup is compactly presented. There is also a notion of \(\mathcal G\) being compactly generated and compactly presented relative to \(\mathcal H\). In this case the authors show if \(\mathcal G\) is compactly generated, then each subgroup \(H\in\mathcal H\) is compactly generated and if each subgroup \(H\in\mathcal H\) is compactly presented, then \(G\) is compactly presented. An approach is presented to relative hyperbolicity for pairs \((\mathcal G, H)\) based on Bowditch's work using discrete actions on hyperbolic fine graphs. For example, it is shown that if \(\mathcal G\) is hyperbolic relative to \(\mathcal H\) then \(\mathcal G\) is compactly presented relative to \(\mathcal H\). As an application combination results for coherent topological groups with a compact open subgroup are shown, and the McCammond-Wise perimeter method is applied to this general framework.