Mixing asymptotics for time-changes of horocycle flows
Davide Ravotti
TL;DR
This work delivers sharp, polynomial mixing rates for smooth time-changes of horocycle flows on compact hyperbolic surfaces. By coupling a refined mixing-via-shearing argument with a detailed ergodic-integral expansion that tracks spectral data of the Casimir operator, the authors obtain polynomial decay bounds matching Ratner’s rates for the unperturbed flow and, when a spectral gap below 1/4 is present, exact polynomial asymptotics. The analysis hinges on precise control of ergodic integrals, the distortion of geodesic push-forwards, and a nuanced treatment of principal-series contributions. The results significantly advance understanding of parabolic dynamics under perturbations and establish robust, sharp decay rates for a broad class of smooth time-changes.
Abstract
Mixing-via-shearing is a powerful and versatile method for establishing mixing properties of smooth parabolic flows. In its quantitative form, it provides upper bounds on the decay of correlations for sufficiently smooth observables. Despite its wide applicability, determining the exact rates of mixing for a given smooth parabolic flow remains notoriously difficult. Apart from the classical horocycle flow, no examples are known where polynomial asymptotics, or sharp lower bounds, hold. In this paper, we address this question for smooth time-changes of horocycle flows on compact hyperbolic surfaces. Our approach relies on a refined version of the mixing-via-shearing method which leverages on a precise description of the ergodic integrals for horocycle flows, in particular of the regularity of the coefficients appearing in their asymptotic expansions. Using this method, we prove polynomial upper bounds on the decay of correlations for smooth observables that match the optimal rates originally obtained by Ratner for the standard horocycle flow. Furthermore, in the presence of a spectral gap below $1/4$, we establish exact polynomial asymptotics, mirroring the classical behavior of the horocycle flow.
