Htykuut

Let $M$ be a closed connected surface and $mathcal{F}$ a minimal (every leaf is dense) measured foliation (as, for example, in Thurston's work on surfaces) on $M$. Let $tilde{M}$ be the universal cover of $M$ and $tilde{mathcal{F}}$ the pullback of $mathcal{F}$ to $tilde{M}$.

Consider the leaf space of $tilde{mathcal{F}}$, $mathcal{T}=tilde{M}/tilde{mathcal{F}}$. Define the distance between two leaves of $tilde{mathcal{F}}$ as the minimum of the transverse measures of arcs joining the two leaves, we obtain a distance on $mathcal{T}$ which turns $mathcal{T}$ into a tree.

I have seen the following statement.

If the genus of $M$ is $geq 2$, $mathcal{T}$ is not complete for this distance.

Why is this true?

I also saw a notion "dual tree", which also shows up from time to time when I tried to search for related topics, from the book Hyperbolic manifolds and Discrete Groups (for geodesic laminations there). Is this indeed the concept that I am looking for?

Thanks in advance!

Here's a rough description of why $mathcal T$ is incomplete.

Start at some point $x_0$ of $tilde M$. Let $ell_0$ be a lonnnng leaf segment of $tilde{mathcal F}$ with one endpoint on $x_0$, and let $y_0$ be the opposite endpoint. Let $tau_0$ be a transverse arc of transverse measure $2^{-0}=1$ with one endpoint at $y_0$. Let $x_1$ be the opposite endpoint. Continue by induction: assuming $x_n$ has been defined, let $ell_n$ be a lonnnng leaf segment with one endpoint on $x_n$, let $y_n$ be the opposite endpoint, let $tau_n$ be a transverse arc of transverse measure $2^{-n}$, and let $x_{n+1}$ be the opposite endpoint. You get an infinite path of the form
$$ell_0 tau_0 ell_1 tau_1 ell_2 tau_2 cdots
$$
The total transverse measure of the initial segment $ell_0 tau_0 cdots ell_n tau_n$ that connects $x_0$ to $x_n$ is equal to $2-2^{-n}$, and this converges to $2$. By careful choice of the $tau$'s in the induction step you can guarantee that this initial segment is "quasitransverse", implying that $2-2^{-n}$ is the minimum of the transverse measure of any arc from $x_0$ to $x_n$. So, in the dual tree $mathcal T$, you get an isometric embedding $[0,2) mapsto mathcal T$. But, this embedding has no point to converge to as the parameter in $[0,2)$ approaches $2$; in fact, one can check that this infinite path escapes all compact subsets of $tilde M$. So $mathcal T$ is incomplete.

By the way, another place I know, where the dual tree is explained very clearly, is in Otal's book "Le théorème d'hyperbolisation pour les variétés fibrées de dimension 3", in the chapter on Skora's theorem.