Dynamical Borel-Cantelli lemma for hyperbolic spaces (Q2382326): Difference between revisions

Given a finite volume quotient \(V\) of a hyperbolic space (either real, complex, quaternionic or Cayley) of real dimension~\(n\), let \(\pi\colon T^1V\to V\) denote the unitary tangent bundle over~\(V\), \((\phi^t)\) the geodesic flow on \(T^1V\), and \(\mu\) the Liouville measure on \(T^1V\). Choose a decreasing family \((B_t)_{t\geq 0}\) of closed balls in \(V\), of radius \((r_t)_{t\geq 0}\), and assume that \(\int_0^\infty r_t^{n-1}\,dt\) diverges. Then the author proves that for \(\mu\)-almost every \(v\in T^1V\) the set \(\{t\geq 0\mid\pi(\phi^t v)\in B_t\}\) is unbounded. As a corollary, for all \(p\in V\) and \(\mu\)-almost every \(v\in T^1V\) one has \(\limsup_{t\to+\infty}-\log d\bigl(p,\pi(\phi^t v)\bigr)/\log t=1/(n-1)\), where \(d\) is the Riemannian distance in~\(V\). The main tool for the proof is a general result in ergodic theory. Let \((\phi^t)_{t\in\mathbb R}\) be an ergodic flow on a probability space \((X,\mu)\), and let \(F=(f_t)_{t\geq 0}\) be a decreasing measurable family of non-negative functions in \(L^p(X)\) for some \(p\in(1,+\infty)\). Put \(S_T[F]=\int_0^T f_t(\phi^t x)\,dt\) and \(I_T[F]=\int_0^T\left(\int_X f_t\,d\mu\right)\,dt\). Assume that \(I_T[F]\to+\infty\) and that \(S_T[F]/I_T[F]\) remains bounded in \(L^p\) norm as \(T\to+\infty\). Then the author shows that \(S_T[F]/I_T[F]\) converges weakly in \(L^p\) to the constant~1, and there exists \(c\in[1,+\infty]\) such that for \(\mu\)-almost every \(x\in X\) one has \(\limsup_{T\to+\infty} S_T[F](x)/I_T[F]=c\).