9
$\begingroup$

It seems to me that the results in this important paper of Kahn-Markovich imply the following fact. Let $M^3$ be any closed hyperbolic 3-manifold. For every $\epsilon > 0$ there is a natural number $R(\epsilon)$ such that for every $R>R(\epsilon)>0$ there is a closed geodesic whose lenght is between $R-\epsilon$ and $R+\epsilon$.

That is, the more $R$ grows, the more the spectrum of all geodesics having length more than $R$ becomes uniformly crowded, without holes. Am I right that this is a consequence of their results? If so, is there a more direct way to prove this? Does this property generalize to closed hyperbolic manifolds with arbitrary dimension $n$?

$\endgroup$
5
  • $\begingroup$ Do you mean a geodesic whose length is between $R \pm R(\epsilon)$? $\endgroup$
    – Kimball
    Oct 8, 2010 at 13:34
  • $\begingroup$ No, I really mean between $R \pm \epsilon$. $\endgroup$ Oct 8, 2010 at 13:58
  • $\begingroup$ I guess the $M$ should be "any closed hyperbolic $3$-manifold" $\endgroup$ Oct 8, 2010 at 14:15
  • $\begingroup$ Yes Roberto, thanks (I add "hyperbolic") $\endgroup$ Oct 8, 2010 at 15:26
  • $\begingroup$ Oh, got it. Sorry, I misread it. $\endgroup$
    – Kimball
    Oct 8, 2010 at 21:38

1 Answer 1

14
$\begingroup$

I think this should just follow from the exponential mixing of the geodesic flow (due to Pollicott).

Exponential mixing says that there is a constant $q$ such that if you have two smooth functions $f$ and $h$ on the unit tangent bundle, and $g_t$ is the geodesic flow, then there is a constant $C$ depending on $f$ and $g$ (some function of some Sobolev norm) such that

$\Big| \int_{T^1M} (g_t^*f)h - (\int_{T^1M} f)(\int_{T^1M}h ) \Big | \leq C e^{-qt}$

If you take a vector $v$ and then let $f = h$ be a function with integral $1$ supported on an $\epsilon$-neighborhood of $v$, then you find that there is some constant $T(\epsilon)$ depending only on $M$ and $\epsilon$ such that for any $T \geq T(\epsilon)$, there is a closed path whose length is within $\epsilon$ of $T$ and which is a geodesic except at the basepoint, where it is broken at an angle of $\pi - \epsilon$. If $\epsilon$ is small, this path will be close to a bona fide geodesic, which should give you what you want.

I played fast and loose there with the constants, but that's the idea, I think.

$\endgroup$
1
  • $\begingroup$ Glad to be of some help. $\endgroup$ Oct 8, 2010 at 21:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.