Quasiconvex subset

A subset $Y$ of a geodesic metric space is $K$-quasiconvex when every metric geodesic between points of $Y$ lies in the closed $K$-neighborhood of $Y$.

Let $X$ be a finite combinatorial 2-complex satisfying $C^{\prime }(1/6)$, and let $Y$ be a connected CW subcomplex of its universal cover with no missing shells. If the largest cell perimeter is $L$, then $Y^{(1)}$ is $(L/2)$-quasiconvex in the universal cover's unit-edge 1-skeleton. Bound an ambient metric geodesic and an intrinsic metric geodesic of $Y^{(1)}$ by a reduced disc diagram. A shell on the ambient side would shorten a metric geodesic. A shell on the intrinsic side belongs to $Y$ and would shorten its intrinsic metric geodesic. Spurs are likewise excluded from side interiors. The Greendlinger ladder theorem forces a ladder between the two marked corners. Each cell gives a path of length at most half its perimeter from either side to the other.

A subgroup is quasiconvex when it is a quasiconvex subset of a Cayley graph. In a hyperbolic group, a finitely generated subgroup is quasiconvex exactly when it is quasi-isometrically embedded.