Abstract:We extend the classical Otal-Peigné's Theorem to the class of proper, Gromov-hyperbolic spaces that are line-convex. Namely, we prove that when a group acts discretely and virtually freely by isometries on a metric space in this class then its critical exponent equals the topological entropy of the geodesic flow of the quotient metric space. We also show examples of proper, Gromov-hyperbolic spaces that are not line-convex and for which the statement fails.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the classical Otal - Peigné theorem to a broader class of metric spaces, especially Gromov hyperbolic spaces, and relax the restrictions on space regularity and upper curvature bounds in these spaces. Specifically:
1. **Background of the classical Otal - Peigné theorem**:
- The classical Otal - Peigné theorem studies the relationship between the topological entropy of the geodesic flow of a Riemannian manifold \( (M, g) \) and the critical exponent of the discrete isometry group \( \Gamma \sim \pi_1(M) \).
- A. Manning proved that for a compact manifold with non - positive sectional curvature, the topological entropy of the geodesic flow is equal to the volume entropy of the universal covering space, that is, equal to the critical exponent of the group \( \Gamma \).
2. **Limitations of existing results**:
- For non - cocompact actions, especially when the group acts on a Riemannian manifold, J.P. Otal and M. Peigné proved a similar result in the torsion - free case (see [OP04]), while F. Paulin, M. Pollicott and B. Schapira considered the case with torsion (see [PPS15]).
3. **Main problems in this paper**:
- The author hopes to generalize the Otal - Peigné theorem to a broader class of metric spaces, especially Gromov hyperbolic spaces, and relax the restrictions on space regularity and upper curvature bounds in these spaces.
- Specifically, the author considers proper, Gromov hyperbolic, line - convex spaces and proves that in this case, the critical exponent of the discrete group \( \Gamma \) is equal to the topological entropy of the quotient geodesic flow.
4. **Main conclusions**:
- **Theorem A**: Let \( X \) be a proper, geodesic, line - convex Gromov hyperbolic metric space, and \( \Gamma < Isom(X) \) be a discrete, almost torsion - free, non - elementary group. Assume that \( h_{erg}(X; \Gamma) < +\infty \), then the topological entropy of the quotient geodesic flow \( \Gamma \backslash X \) is equal to the critical exponent of \( \Gamma \).
- **Theorem B**: There exists a proper, geodesic, Gromov hyperbolic metric space \( X \) which has bounded geometry but is not line - convex, and a discrete, non - elementary, compact, torsion - free group \( \Gamma < Isom(X) \) such that \( h_{top}(\Gamma \backslash Geod(X), \bar{\Phi}_1) > h_{crit}(X; \Gamma) \).
By introducing the line - convexity condition and new asymptotic methods, the author successfully generalizes the Otal - Peigné theorem to a broader class of spaces and solves the problem of how to define the quotient geodesic flow and its topological entropy in these spaces.
### Related formulas
- **Critical exponent**:
\[
h_{crit}(X; \Gamma) := \lim_{T \to +\infty} \frac{1}{T} \log \# (\Gamma x \cap B(x, T))
\]
where \( x \) is an arbitrary point in \( X \).
- **Ergodic entropy**:
\[
h_{erg}(X; \Gamma) := \lim_{r \to 0} \lim_{T \to +\infty} \frac{1}{T} \log Cov(B(x, T); \Lambda_{erg}; r)
\]
where \( x \) is a fixed base point of \( X \), and \( Cov(B(x, T); \Lambda_{erg}; r) \) represents the covering belonging to