10
$\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
    Commented Oct 8, 2010 at 13:34
  • $\begingroup$ No, I really mean between $R \pm \epsilon$. $\endgroup$ Commented Oct 8, 2010 at 13:58
  • $\begingroup$ I guess the $M$ should be "any closed hyperbolic $3$-manifold" $\endgroup$ Commented Oct 8, 2010 at 14:15
  • $\begingroup$ Yes Roberto, thanks (I add "hyperbolic") $\endgroup$ Commented Oct 8, 2010 at 15:26
  • $\begingroup$ Oh, got it. Sorry, I misread it. $\endgroup$
    – Kimball
    Commented Oct 8, 2010 at 21:38

1 Answer 1

15
$\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$ Commented Oct 8, 2010 at 21:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .