1: \begin{abstract} 

2: The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the notions of $G$ being compactly generated and compactly presented relative to $\mathcal H$. This includes topological characterizations in terms of discrete actions of $G$ on complexes, quasi-isometry invariance of certain graphs associated to the pair $(G,\mathcal H)$ when $G$ is compactly generated relative to $\mathcal H$, and  extensions of known results from the discrete case. For example, generalizing results of Osin for discrete groups, we show that in the case that $G$ is compactly presented relative to $\mathcal H$:

3: \begin{itemize}

4:     \item if $G$ is compactly generated, then each subgroup $H\in \mathcal H$ is compactly generated;

5:     \item if each subgroup $H\in \mathcal H$ is compactly presented, then $G$ is compactly presented.

6: \end{itemize}

7: The article also introduces an approach to relative hyperbolicity for pairs $(G, \mathcal H)$ based on Bowditch's work using discrete actions on hyperbolic fine graphs. For example, we prove that if $G$ is hyperbolic relative to $\mathcal H$ then $G$ is compactly presented relative to $\mathcal H$.

8: 

9: As an application of the results of the article we prove combination results for coherent topological groups with a compact open subgroup, and extend McCammond-Wise perimeter method to this general framework. 

10: \end{abstract}

11: