Actions on CAT(-1) spaces with critical exponent less than 1

Abstract: We show that for a discrete isometry subgroup acting on a proper CAT(-1) space X, if the critical exponent is less than $1$, then the critical exponent equals the Hausdorff dimension of the entire limit set. Consequently, the limit set must be a Cantor set. As an application, we prove that any finitely generated, torsion-free discrete subgroup in Isom(X) with critical exponent less than one must be geometrically finite and free. This answers a question of Kapovich.

• The paper proves that convergence of the Poincaré series at some exponent α≤1 forces the limit set to have vanishing α-dimensional Hausdorff measure and dimension equal to the critical exponent.
• A spanning-tree energy construction maps the Cayley graph boundary onto the limit set, while thin-triangle estimates and subadditivity control covers and establish total disconnectedness.
• For finitely generated torsion-free groups with critical exponent below 1, the authors derive geometric finiteness and freeness, resolving Kapovich’s question for Kleinian groups while leaving the optimal threshold between 1 and 2.

Overview and main results

This paper, by Beibei Liu and Shi Wang, studies discrete isometry groups $\Gamma$ of a proper $CAT(-1)$ space $X$ whose critical exponent $\delta(\Gamma)$ — the abscissa of convergence of the Poincaré series $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$ — is small. The central result is that the threshold $\delta(\Gamma)<1$ forces the limit set to be as small as possible: if $P_\Gamma(\alpha,o)<\infty$ for some $\alpha\in(0,1]$, then the $\alpha$-dimensional Hausdorff measure of the limit set vanishes (with respect to any visual metric), so $\Lambda(\Gamma)$ is homeomorphic to the Cantor set and

$CAT(-1)$0

As a consequence, using Bowditch's structure theory for groups acting on Cantor sets, the authors prove that a finitely generated, torsion-free, discrete subgroup of $CAT(-1)$1 with $CAT(-1)$2 is geometrically finite (in the dynamical sense of Beardon–Maskit/Bowditch/Roblin) and free. Via Selberg's lemma this resolves a question of Kapovich for real hyperbolic spaces: every finitely generated Kleinian group with critical exponent below $CAT(-1)$3 is geometrically finite and virtually free.

The result is sharp in its hypotheses in one direction but not another. The authors note that their proof uses torsion-freeness essentially, and that Selberg's lemma fails for general $CAT(-1)$4 spaces, so Theorem 2 does not extend verbatim to groups with torsion. They also emphasize that the constant $CAT(-1)$5 is not known to be optimal: geometrically infinite surface Kleinian groups constructed by Jørgensen have critical exponent $CAT(-1)$6, so the true threshold lies somewhere in $CAT(-1)$7.

Context: conical versus non-conical limit sets

By the Bishop–Jones theorem and its generalizations to $CAT(-1)$8 spaces (Das–Simmons–Urbański, Paulin, Cavallucci), for any non-elementary discrete group acting on a proper $CAT(-1)$9 space,

$X$0

where $X$1 is the set of conical limit points. Hence $X$2 can be strictly smaller than $X$3, and any such gap is entirely attributable to the non-conical part $X$4. For geometrically finite groups the non-conical limit set is countable and the two dimensions agree; for geometrically infinite groups it can be much larger. Patterson constructed infinitely generated Kleinian groups with full-sphere limit set and arbitrarily small positive critical exponent, and non-amenable covers of compact locally $X$5 manifolds (via Wise's Rips-type construction) yield finitely generated examples with $X$6.

What the paper establishes is that when $X$7 and $X$8 is finitely generated, no such gap can occur: the entire limit set has dimension equal to the critical exponent. This places the result alongside prior work of Pankka–Souto (Kleinian groups of Hausdorff dimension below $X$9 are free, without finite generation), Chang–Qing–Yang, and the authors' earlier pinched-negative-curvature work, where convex cocompactness follows from sufficiently small critical exponent depending on dimension and pinching.

Method: spanning trees, energy, and a boundary map

The proof of the main theorem proceeds through a combinatorial construction on the Cayley graph. Fix distinct limit points $\delta(\Gamma)$0 joined by a bi-infinite geodesic containing the basepoint $\delta(\Gamma)$1, and let $\delta(\Gamma)$2 be a thin-triangle constant. Using $\delta(\Gamma)$3-thinness, each orbit point $\delta(\Gamma)$4 projects to one of $\delta(\Gamma)$5, giving a map $\delta(\Gamma)$6 where $\delta(\Gamma)$7 lies in the shadow of $\delta(\Gamma)$8. A basic estimate shows that adjacent group elements in a fixed finite symmetric generating set satisfy

$\delta(\Gamma)$9

Choosing a maximal spanning tree $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$0 of the Cayley graph, the edge $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$1-density is defined as $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$2, and the finiteness of $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$3 immediately implies finite total $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$4-energy $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$5. Convergence of $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$6 then makes the induced boundary map $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$7 well-defined (adjacent boundary sequences map to Cauchy sequences under the visual metric), and a diagonal argument along geodesic paths in the locally finite tree shows $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$8 is surjective.

The measure-theoretic conclusion follows from covering $$P_\Gamma(s,o)=\sum_{\gamma\in\Gamma}e^{-s\,d(o,\gamma o)}$$9 by the images $\delta(\Gamma)<1$0 over vertices at depth $\delta(\Gamma)<1$1. Each piece has diameter at most twice the energy of the descendant subtree $\delta(\Gamma)<1$2, and subadditivity $\delta(\Gamma)<1$3 for $\delta(\Gamma)<1$4 gives that the total $\delta(\Gamma)<1$5-volume of the cover tends to zero as $\delta(\Gamma)<1$6. Thus $\delta(\Gamma)<1$7 and $\delta(\Gamma)<1$8; combining with Bishop–Jones yields equality. Since $\delta(\Gamma)<1$9 implies $P_\Gamma(\alpha,o)<\infty$0, the limit set is totally disconnected; being compact, perfect, and metrizable, it is a Cantor set. Notably, the argument requires only convergence of the Poincaré series at some $P_\Gamma(\alpha,o)<\infty$1 and does not use finite generation until the structural applications.

From Cantor limit sets to freeness and geometric finiteness

With $P_\Gamma(\alpha,o)<\infty$2 a Cantor set, the authors construct an essential cut in the Cayley graph: a clopen decomposition $P_\Gamma(\alpha,o)<\infty$3 of the limit set with positive visual separation pulls back via $P_\Gamma(\alpha,o)<\infty$4 to a partition of $P_\Gamma(\alpha,o)<\infty$5 into two infinite sets connected by only finitely many edges, since crossing edges force $P_\Gamma(\alpha,o)<\infty$6. By Stallings' theorem and torsion-freeness, $P_\Gamma(\alpha,o)<\infty$7 admits a non-trivial free splitting. Iterating over non-elementary factors terminates because $P_\Gamma(\alpha,o)<\infty$8 is finitely generated, producing a free product of elementary subgroups.

A growth estimate handles the parabolic factors: for a finitely generated parabolic subgroup $P_\Gamma(\alpha,o)<\infty$9 fixing $\alpha\in(0,1]$0, comparison geometry gives $\alpha\in(0,1]$1 for word length $\alpha\in(0,1]$2, so the ball of radius $\alpha\in(0,1]$3 grows like $\alpha\in(0,1]$4. With $\alpha\in(0,1]$5 this is polynomial growth of degree less than $\alpha\in(0,1]$6, forcing $\alpha\in(0,1]$7 to be virtually $\alpha\in(0,1]$8 by Gromov's theorem and the Bass–Guivarc'h formula, hence $\alpha\in(0,1]$9 by torsion-freeness. Every factor is therefore cyclic, and $\alpha$0 is free.

Geometric finiteness then follows from Bowditch's theorem that a finitely generated, almost finitely presented convergence group on a Cantor set acts geometrically finitely on the boundary of an associated Bass–Serre tree, with conical points corresponding to the tree boundary and bounded parabolic points to infinite-degree vertices. The equivariant identification of this boundary with $\alpha$1 transfers geometric finiteness to the original action.

Limitations and open questions

Several caveats are stated explicitly. The torsion-free hypothesis is used both in the splitting argument (finite edge stabilizers must be trivial) and in identifying elementary parabolic subgroups with $\alpha$2; since Selberg's lemma fails for general $\alpha$3 spaces, the geometric-finiteness theorem does not automatically extend to groups with torsion outside $\alpha$4. Kapovich's stronger conjecture — that such groups are of classical Schottky type — remains open here, though related results of Hou address it in the hyperbolic setting. Most significantly, the paper leaves open whether the threshold $\alpha$5 is sharp: the authors pose the question of determining the smallest $\alpha$6 such that critical exponent below $\alpha$7 implies geometric finiteness for finitely generated torsion-free actions on proper $\alpha$8 spaces. Their method does not extend to the range $\alpha$9, where Kapovich conjectured geometric finiteness holds (known in dimension $\Lambda(\Gamma)$0 via tameness, Ahlfors' measure conjecture, and Bishop–Jones).

One further remark deserves mention: the authors credit OpenAI's ChatGPT with suggesting the initial idea of combining a spanning tree with the Poincaré series to control the $\Lambda(\Gamma)$1-energy, while taking full responsibility for the verification and generalization of the argument.

Conclusion

The paper proves that for finitely generated non-elementary discrete isometry groups of proper $\Lambda(\Gamma)$2 spaces, convergence of the Poincaré series at any exponent $\Lambda(\Gamma)$3 forces the full limit set to have vanishing $\Lambda(\Gamma)$4-Hausdorff measure, hence to be a Cantor set of Hausdorff dimension exactly $\Lambda(\Gamma)$5. Combined with Bowditch's Cantor-set structure theory and a polynomial-growth analysis of parabolic subgroups, this yields geometric finiteness and freeness under $\Lambda(\Gamma)$6, resolving Kapovich's question for Kleinian groups. The principal open problem left by the work is the optimal value of the critical-exponent threshold for geometric finiteness, which lies between $\Lambda(\Gamma)$7 and $\Lambda(\Gamma)$8.