Quasi-isometry invariance of relative filling functions (with an appendix by Ashot Minasyan) (Q6062671)

Let \((G,\mathcal{P})\) be a pair where \(G\) is a finitely generated group with a chosen word metric \(\mathsf{dist}_{G}\) and \(\mathcal{P}\) is a finite collection of subgroups. Let \(\mathsf{hdist}_{G}\) denote the Hausdorff distance between subsets of \(G\) and let \(G/\mathcal{P}\) denote the collection of left cosets \(gP\) for \(g \in G\) and \(P\in \mathcal{P}\). For constants \(L\geq 1\), \(C \geq 0\) and \(M \geq 0\), an \(( L, C, M)\)-quasi-isometry of pairs \(q: (G, \mathcal{P}) \rightarrow (H,\mathcal{Q})\) is an \((L, C)\)-quasi-isometry \(q: G \rightarrow H\) such that the relation \(\{ (A,B) \in G/\mathcal{P} \times H/\mathcal{Q} \mid \mathsf{hdist}_{H}(q(A), B) < M \}\) satisfies the condition that the projections to \(G/\mathcal{P}\) and \(H/\mathcal{Q}\) are surjective. In the paper under review, the authors prove that the relative Dehn function of a pair \((G,\mathcal{P})\) is invariant under quasi-isometry of pairs. Along the way, they show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned-off Cayley graphs. They also prove that for a cocompact simply connected combinatorial \(G-2\)-complex \(X\) with finite edge stabilisers, the combinatorial Dehn function is well defined if and only if the 1-skeleton of \(X\) is fine. Finally, the authors prove that if \(H\) is a hyperbolically embedded subgroup of a finitely presented group \(G\), then the relative Dehn function of the pair \((G, \{H\})\) is well defined.