Bellis strong stable sets on infinite hyperbolic surfaces

Abstract: We provide a corrected proof of a theorem of A. Bellis on strong stable sets in the unit tangent bundle of certain hyperbolic surfaces. The theorem states that, for vectors whose geodesic rays encounter arbitrarily short closed geodesics, the strong stable set in the dynamical sense does not coincide with the associated horocyclic orbit. The proof is based on Bellis' idea of constructing geodesic rays that wind around infinitely many closed geodesics.

• The paper’s main contribution demonstrates that strong stable sets on infinite hyperbolic surfaces are an uncountable union of horocyclic orbits.
• It employs explicit geometric constructions and a new non-parallel transported metric to correct gaps in Bellis’ original work.
• The findings have significant implications for ergodic theory and rigidity questions in dynamics on infinite volume hyperbolic manifolds.

Strong Stable Sets and Horocyclic Orbits on Infinite Hyperbolic Surfaces

Introduction

The paper addresses the structure of strong stable sets in the unit tangent bundle of noncompact, infinite type hyperbolic surfaces, revisiting and correcting a central theorem from Bellis' thesis. Specifically, the work analyzes the relationship between strong stable sets—sets of tangent vectors whose orbits under the geodesic flow asymptotically converge—and orbits under the horocyclic flow. For surfaces harboring arbitrarily short closed geodesics, the authors establish that these two sets are typically distinct, providing a fully corrected and simplified proof of Bellis' Theorem E. The analysis utilizes explicit geometric constructions involving geodesic rays that wind around infinitely many closed geodesics with diminishing lengths.

Theoretical Background

The context is the unit tangent bundle $T^1S$ of a hyperbolic surface $S$, with the geodesic flow $g_t$ and the horocyclic flow $h_s$. The primary metric under consideration is the Sasaki distance, but the authors introduce a simplified, non-parallel transported metric $d_1$ on $T^1S$ to address technical flaws in Bellis' original arguments. The strong stable set $W^{ss}_u$ of a vector $u$ is defined as those vectors $v$ for which $d_1(g_tu, g_tv) \to 0$ as $S$0. Horocyclic orbits $S$1 are always contained in $S$2.

When the geodesic ray determined by $S$3 does not encounter short closed curves (positive lower bound on the injectivity radius along the ray), the two sets coincide. In contrast, if the surface contains infinitely many closed geodesics of lengths tending to zero intercepted by the ray, the inclusion is strict.

Main Results and Proof Techniques

The core result is as follows: if a geodesic ray meets an infinite sequence of closed geodesics whose lengths tend to zero, then $S$4 is an uncountable union of horocyclic orbits, not coinciding with $S$5. The new proof corrects gaps and misstatements in Bellis’ thesis. The authors formalize "winding" operations around closed geodesics using nested sequences of hyperbolic elements and construct explicit sequences of vectors whose corresponding geodesic rays wind around these geodesics in a prescribed manner. Crucially, they show that this yields, for a generic base vector $S$6, uncountably many distinct limiting behaviors.

A key technical component is the introduction and equivalence proof for the $S$7 metric, which bypasses issues with parallel transport in the Sasaki metric. The winding procedure is quantitatively controlled by the translation lengths of the involved hyperbolic elements, maintaining bounds on the divergence and ensuring limit points lie at an arbitrary distance from the original horocyclic orbit. The proof manages the convergence of winding times and constructs uncountably many disjoint horocyclic orbits contained in the strong stable set.

Numerical and Structural Implications

The paper establishes that for infinite type hyperbolic surfaces, the strong stable set $S$8 is strictly larger than a horocyclic orbit, and in fact, is an uncountable disjoint union of such orbits. This result formalizes the intuition that the presence of arbitrarily short closed geodesics induces additional complexity and "stretching" in the asymptotic dynamics, with the set of exponential contraction directions (strong stable set) far richer than in the finite type, thick geometry setting.

The proof yields explicit constructive bounds, with quantitative estimates for winding times in terms of translation lengths of short geodesics, and precise control on the divergence between rays.

Practical and Theoretical Implications

This work has significant consequences for the ergodic theory and smooth dynamics on infinite volume hyperbolic manifolds, especially in the study of non-uniformly hyperbolic flows, symbolic dynamics and the thermodynamic formalism in the context of infinite type surfaces. The detailed geometric description of strong stable sets provides the groundwork for finer rigidity and mixing properties in these infinite-genus settings. The methodology—using winding constructions and careful geometric control—could be applied to other classes of non-compact negatively curved manifolds, and to the theory of Anosov flows beyond constant curvature.

The clarification and correction of Bellis’ theorem also resolves ambiguities that could affect spectral and measure rigidity questions, and lays a foundation for further exploration of orbit closures and invariant measures in infinite volume dynamics.

Future Directions

Extensions might focus on:

• Detailed measures-theoretic and topological classification of the set differences $S$9,
• Generalizations to variable negative curvature or higher-dimensional settings,
• Connections with Patterson-Sullivan theory in infinite volume, and with the countable Markov partitions approach for coding infinite genus dynamics,
• Analysis of the impact on the rigidity of horocycle foliations and unique ergodicity properties in this more chaotic regime.

Conclusion

The paper provides a rigorous, corrected proof that on infinite hyperbolic surfaces, the strong stable set associated with a geodesic ray typically comprises an uncountable union of horocyclic orbits. The results clarify the intricate geometric structure of strong contraction in the presence of infinitely many short closed geodesics, with both technical and conceptual advances pivotal for the further study of dynamics on infinite volume hyperbolic manifolds.