The nonamenability of Schreier graphs for infinite index quasiconvex subgroups of hyperbolic groups. (Q1419582)

Let \(G\) be a group, \(A\subset G\) a finite generating set and \(H\leq G\) a subgroup of \(G\). The `Schreier coset graph' (or the `relative Cayley graph') \(\Gamma(G,H,A)\) is an oriented labeled graph whose set of vertices \(V\Gamma\) consists of the cosets of \(H\) in \(G\) and such that there is an oriented edge from \(Hg\) to \(Hga\) for each pair \((Hg,a)\in V\Gamma\times A\). Schreier graphs arise naturally in Stallings' theory of ends of groups. We also recall that a connected graph \(X\) of bounded degree is `nonamenable' if \(X\) has zero Cheeger constant or, equivalently, if the spectral radius of the simple random walk on \(X\) is less than one, and that a finitely generated group \(G\) is nonamenable if and only if the Cayley graph of \(G\) with respect to some (or, equivalently, to any) finite generating set is nonamenable. In this paper, the author studies nonamenability of Schreier coset graphs corresponding to subgroups of hyperbolic groups. He proves the following Theorem: Let \(G\) be a nonelementary word-hyperbolic group with a finite generating set \(A\) and let \(H\leq G\) be a quasiconvex subgroup of infinite index. Then the Schreier coset graph \(\Gamma(G,H,A)\) is nonamenable. Using a result of Gromov stating that the graph \(\Gamma(G,H,A)\) is hyperbolic, the author obtains, as a corollary of the theorem stated above, the transience of the simple random walk on the graph \(\Gamma(G,H,A)\) and the fact that the Martin boundary of this simple random walk is homeomorphic to the hyperbolic boundary of this space. From the nonamenability of the graph \(\Gamma(G,H,A)\), the author deduces information on the cogrowth of \(H\).