Let
$\Phi $
the the orbit foliation of the geodesic flow of a closed hyperbolic manifold of dimension at least three. Let
$\Psi $
be another
${C}^{\infty}$
one-dimensional foliation. If
$\Phi $
is
${C}^{1}$
conjuguate to
$\Psi $
, then
$\Phi $
is
${C}^{\infty}$
conjuguate to
$\Psi $
.

Résumé – Nous classifions, à équivalence orbitale
${C}^{\infty}$
près, les flots d'Anosov quasiconformes topologiquement transitifs dont les distributions stable forte et instable forte sont de dimension au moins
$3$
. Si ces deux distributions sont de dimension au moins
$2$
, alors nous obtenons une classification partielle. Nous déduisons de ces résultats de classification le résultat de rigidité suivant :

Soit
$\Phi $
le feuilletage orbitale du flot géodésique d'une variété hyperbolique fermée de dimension au moins
$3$
. Soit
$\Psi $
un autre feuilletage
${C}^{\infty}$
de dimension
$1$
. Si
$\Phi $
et
$\Psi $
sont
${C}^{1}$
conjugué, alors
$\Phi $
et
$\Psi $
sont
${C}^{\infty}$
conjugué.

1. Introduction 1.1. Motivation Let
$M$
be a
${C}^{\infty}$
-closed manifold. A
${C}^{\infty}$
-flow
${\phi}_{t}$
generated by the non-singular vector field
$X$
is said to be an Anosov flow if there exists a
${\phi}_{t}$
-invariant splitting of the tangent bundle
$$TM=\mathbb{R}X\oplus {E}^{+}\oplus {E}^{-},$$
a Riemannian metric on
$M$
and two positive numbers
$a$
and
$b$
such that for any
${u}^{\pm}\in {E}^{\pm}$
and for any
$t\ge 0$
,
$$\parallel D{\phi}_{\mp t}\left({u}^{\pm}\right)\parallel \le a{e}^{-bt}\parallel {u}^{\pm}\parallel ,$$
where
${E}^{-}$
and
${E}^{+}$
are said to be the strong stable and strong unstable distributions of the flow. For any
$x\in M$
the leaves containing
$x$
of
${E}^{+}$
and
${E}^{-}$
are denoted respectively by
${W}_{x}^{+}$
and
${W}_{x}^{-}$
.

Define two functions on
$M\times \mathbb{R}$
as following:

$${K}^{+}(x,t)=\frac{max\{\parallel D{\phi}_{t}(u)\parallel |u\in {E}_{x}^{+},\parallel u\parallel =1\}}{min\{\parallel D{\phi}_{t}(u)\parallel |u\in {E}_{x}^{+},\parallel u\parallel =1\}}$$
and
$${K}^{-}(x,t)=\frac{max\{\parallel D{\phi}_{t}(u)\parallel |u\in {E}_{x}^{-},\parallel u\parallel =1\}}{min\{\parallel D{\phi}_{t}(u)\parallel |u\in {E}_{x}^{-},\parallel u\parallel =1\}}.$$
If
${K}^{-}$
$\left({K}^{+}\right)$
is bounded, then the Anosov flow
${\phi}_{t}$
is said to be quasiconformal on the stable (unstable) distribution. If
${K}^{+}$
and
${K}^{-}$
are both bounded, then
${\phi}_{t}$
is said to be quasiconformal. If it is the case, then the superior bound of
${K}^{+}$
and
${K}^{-}$
is said to be the distortion of
${\phi}_{t}$
. The corresponding notions for Anosov diffeomorphisms are defined similarly (see [Sa]).

Recall that two
${C}^{\infty}$
Anosov flows
${\phi}_{t}:M\to M$
and
${\psi}_{t}:N\to N$
are said to be
${C}^{k}$
flow equivalent
$(k\ge 0)$
if there exists a
${C}^{k}$
diffeomorphism
$h:M\to N$
such that
${\phi}_{t}={h}^{-1}\circ {\psi}_{t}\circ h$
for all
$t\in \mathbb{R}$
. They are said to be
${C}^{k}$
orbit equivalent
$(k\ge 0)$
if there exists a
${C}^{k}$
diffeomorphism
$h:M\to N$
sending the orbits of
${\phi}_{t}$
onto the orbits of
${\psi}_{t}$
such that the orientations of the orbits are preserved. Similarly, two
${C}^{\infty}$
foliations
$\Phi $
and
$\Psi $
are said to be
${C}^{k}$
conjuguate if there exists a
${C}^{k}$
diffeomorphism
$h:M\to N$
sending the leaves of
$\Phi $
onto those of
$\Psi $
. By convention, a
${C}^{0}$
diffeomorphism means a homeomorphism. We can prove easily the following Lemma 1.1. Let
${\phi}_{t}$
and
${\psi}_{t}$
be two
${C}^{\infty}$
Anosov flows. If they are
${C}^{1}$
orbit equivalent and
${\psi}_{t}$
is quasiconformal, then
${\phi}_{t}$
is also quasiconformal.

Proof. Denote by
$\phi :M\to N$
the
${C}^{1}$
orbit conjugacy between
${\phi}_{t}$
and
${\psi}_{t}$
and by
${\overline{\mathcal{\mathcal{F}}}}^{\pm}$
and
${\overline{\mathcal{\mathcal{F}}}}^{\pm ,0}$
the Anosov foliations of
${\psi}_{t}$
. Then we have the following Sublemma. Under the notations above,
$\phi \left({\mathcal{\mathcal{F}}}^{\pm ,0}\right)={\overline{\mathcal{\mathcal{F}}}}^{\pm ,0}$
.

Proof. Define
${\hat{\phi}}_{t}=\phi \circ {\phi}_{t}\circ {\phi}^{-1}$
. Then
${\hat{\phi}}_{t}$
is a
${C}^{1}$
flow on
$N$
with the same orbits as
${\psi}_{t}$
. So there exists a
${C}^{1}$
map
$\alpha :\mathbb{R}\times N\to \mathbb{R}$
such that
${\hat{\phi}}_{t}\left(x\right)={\psi}_{\alpha (t,x)}\left(x\right)$
. Define
${\hat{E}}^{-}=\left(D\phi \right)\left({E}^{-}\right)$
. Then it is the
${C}^{0}$
tangent bundle of the
${C}^{1}$
foliation
${\hat{\mathcal{\mathcal{F}}}}^{-}=\phi \left({\mathcal{\mathcal{F}}}^{-}\right)$
.

Let us prove first that
${\hat{E}}^{-}\subseteq {\overline{E}}^{-,0}$
. Fix a
${C}^{0}$
Riemannian metric
$g$
on
$N$
such that
${\overline{E}}^{+}$
and
${\overline{E}}^{-}$
and
$\overline{X}$
are orthogonal to each other. Since
$\phi $
is
${C}^{1}$
, then it is bi-Lipschitz. We deduce that for all
$x\in N$
and
$\hat{u}\in {\hat{E}}_{x}^{-}$
,
$\parallel D{\hat{\phi}}_{t}\left(\hat{u}\right)\parallel \to 0$
if
$t\to +\infty $
.

If
$\hat{u}={\overline{u}}^{+}+a{\overline{X}}_{x}+{\overline{u}}^{-}$
and
${\overline{u}}^{+}\ne 0$
, then by a simple calculation we get for a certain function
${b}_{x}:\mathbb{R}\to \mathbb{R},$
$$D{\hat{\phi}}_{t}\left(\hat{u}\right)=D\left({\psi}_{\alpha (t,x)}\right)\left({\overline{u}}^{+}\right)+{b}_{x}\left(t\right)\cdot {\overline{X}}_{{\hat{\phi}}_{t}\left(x\right)}+D\left({\psi}_{\alpha (t,x)}\right)\left({\overline{u}}^{-}\right).$$
So we get
$\parallel D{\hat{\phi}}_{t}\left(\hat{u}\right)\parallel \ge \parallel D\left({\psi}_{\alpha (t,x)}\right)\left({\overline{u}}^{+}\right)\parallel \to +\infty $
if
$t\to +\infty $
, which is a contradiction. We deduce that
${\hat{E}}^{-}\subseteq {\overline{E}}^{-,0}$
. So
$\phi \left({\mathcal{\mathcal{F}}}^{0}\right)\subseteq {\overline{\mathcal{\mathcal{F}}}}^{-,0}$
. Then it is easy to see that
$\phi \left({\mathcal{\mathcal{F}}}^{-,0}\right)={\overline{\mathcal{\mathcal{F}}}}^{-,0}$
, i.e.
$\phi $
sends
${C}^{1}$
diffeomorphically each leaf of
${\mathcal{\mathcal{F}}}^{-,0}$
onto a leaf of
${\overline{\mathcal{\mathcal{F}}}}^{-,0}$
. Similarly we have
$\phi \left({\mathcal{\mathcal{F}}}^{+,0}\right)={\overline{\mathcal{\mathcal{F}}}}^{+,0}$
.
$\square $
In particular we deduce from the sublemma above that
${\hat{E}}^{\pm}\oplus \mathbb{R}\overline{X}={\overline{E}}^{\pm}\oplus \mathbb{R}\overline{X}$
. By projecting parallel to the direction of
$\overline{X}$
, we get a
${C}^{0}$
section
$P$
of
$End({\hat{E}}^{+},{\overline{E}}^{+})$
and two positive constants
${A}_{1}$
and
${A}_{2}$
such that
$${A}_{1}\parallel u\parallel \le \parallel P\left(u\right)\parallel \le {A}_{2}\parallel u\parallel ,\forall u\in {\hat{E}}^{+}.$$
Then it is easy to verify that for all
$x\in N$
,
$P\circ {D}_{x}{\hat{\phi}}_{t}={D}_{x}{\psi}_{\alpha (t,x)}\circ P$
.

If
${\psi}_{t}$
is quasiconformal with distortion
$K$
, then we have the following estimation
$${\hat{K}}^{+}(x,t)=\frac{sup\{\parallel D{\hat{\phi}}_{t}({\hat{u}}^{+})\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}{inf\{\parallel D{\hat{\phi}}_{t}({\hat{u}}^{+})\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}$$
$$\le \frac{{A}_{2}}{{A}_{1}}\cdot \frac{sup\{\parallel P(D{\hat{\phi}}_{t}\left({\hat{u}}^{+}\right))\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}{inf\{\parallel P(D{\hat{\phi}}_{t}\left({\hat{u}}^{+}\right))\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}$$
$$\le (\frac{{A}_{2}}{{A}_{1}}{)}^{2}\cdot \frac{sup\{\parallel {D}_{x}{\psi}_{\alpha (t,x)}(\frac{P\left({\hat{u}}^{+}\right)}{\parallel P\left({\hat{u}}^{+}\right)\parallel})\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}{inf\{\parallel {D}_{x}{\psi}_{\alpha (t,x)}(\frac{P\left({\hat{u}}^{+}\right)}{\parallel P\left({\hat{u}}^{+}\right)\parallel})\parallel |\parallel {\hat{u}}^{+}\parallel =1,{\hat{u}}^{+}\in {\hat{E}}_{x}^{+}\}}$$
$$\le (\frac{{A}_{2}}{{A}_{1}}{)}^{2}\cdot K.$$
Similarly
${\hat{K}}^{-}$
is also bounded. So
${\hat{\phi}}_{t}$
is quasiconformal. Since
$\phi $
is a
${C}^{1}$
diffeomorphism, then it is bi-Lipschitz. We deduce that
${\phi}_{t}$
is also quasiconformal.
$\square $
It is easy to see that the geodesic flow of a closed hyperbolic manifold is quasiconformal (even conformal). Then by the previous lemma, each
${C}^{\infty}$
time change of such a flow is also quasiconformal. It is easily seen that an Anosov diffeomorphism is quasiconformal iff its suspension is quasiconformal.

So if
$\phi $
denotes a semisimple hyperbolic automorphism of a torus with two enginvalues, then its suspension is a quasiconformal Anosov flow.

It seems to be a common phenomena in mathematics that things can only be effectively studied and understood when placed in a suitable and flexible environment. Conformal structures (Anosov flows) are pretty rigid while quasiconformal structures (Anosov flows) seem to be much more flexible.

We wish to better understand the classical conformal Anosov flows, notably the geodesic flows of closed hyperbolic manifolds, by using quasiconformal techniques, which is our motivation to study general quasiconformal Anosov systems.

1.2. Main theorems In our previous paper [Fa1], we have studied the rigidity of volume-preserving Anosov flows with smooth
${E}^{+}\oplus {E}^{-}$
. In particular we have obtained the following Theorem 1.1. ([Fa1], Corollary
$1$
) Let
$\phi $
be a
${C}^{\infty}$
volume-preserving quasiconformal Anosov diffeomorphism on a closed manifold
$\Sigma $
. If the dimensions of
${E}^{+}$
and
${E}^{-}$
are at least two, then up to finite covers
$\phi $
is
${C}^{\infty}$
conjugate to a hyperbolic automorphism of a torus.

In [K-Sa], B. Kalinin and V. Sadovskaya have classified the topologically transitive quasiconformal Anosov diffeomorphisms whose strong stable and unstable distributions are of dimension at least
$3$
. Their argument, though quite elegant, meets an essential difficulty in the case that one of the strong stable and unstable distributions is two dimensional.

Based on the classification result in [K-Sa], we classify in this paper completely the quasiconformal Anosov flows whose strong stable and unstable distributions have relatively high dimensions. More precisely, we prove Theorem 1.2. Let
${\phi}_{t}$
be a
${C}^{\infty}$
topologically transitive quasiconformal Anosov flow such that
${E}^{+}$
and
${E}^{-}$
are at least three dimensional. Then up to finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
orbit equivalent either to the geodesic flow of a hyperbolic manifold or to the suspension of a hyperbolic automorphism of a torus.

Under the conditions above, if
${E}^{+}\oplus {E}^{-}$
is in addition
${C}^{1}$
, then up to a constant change of time scale and finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent either to a canonical time change of the geodesic flow of a hyperbolic manifold or to the suspension of a hyperbolic automorphism of a torus.

Recall that if
$\alpha $
is a closed
${C}^{\infty}$
$1$
-form on
$M$
such that
$1+\alpha \left(X\right)>0$
, then the flow of
$\frac{X}{1+\alpha \left(X\right)}$
is said to be a canonical time change of
${\phi}_{t}$
, where
$X$
denotes the generator of
${\phi}_{t}$
.

If one of the strong distributions is two-dimensional, then by using our Theorem
$1.1$
, we get the following partial result.

Theorem 1.3. Let
${\phi}_{t}$
be a
${C}^{\infty}$
volume-preserving quasiconformal Anosov flow such that
${E}^{+}$
is of dimension two and
${E}^{-}$
is of dimension at least two.

If
${\phi}_{t}$
has the sphere-extension property, then up to finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
orbit equivalent either to the geodesic flow of a three-dimensional hyperbolic manifold or to the suspension of a hyperbolic automorphism of a torus.

Under the conditions above, if
${E}^{+}\oplus {E}^{-}$
is in addition
${C}^{1}$
, then up to a constant change of time scale and finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent either to a canonical time change of the geodesic flow of a three-dimensional hyperbolic manifold or to the suspension of a hyperbolic automorphism of a torus.

The sphere-extension property will be defined in Subsection
$2.3$
. Let us just mention that this property is invariant under
${C}^{1}$
orbit equivalence.

Now we can get some concrete applicaions of our results above. Recall at first that flow conjugacies between Anosov flows have been and being extensively studied. The philosophical conclusion is that they exist rarely, even
${C}^{0}$
ones. Let us just mention two of the most beautiful supporting results (see also [L1] and [L2]) :

Theorem 1.4. (U. Hamenst
$\ddot{a}$
dt, [Ham2]) Let
$M$
be a closed negatively curved manifold. If the geodesic flow of
$M$
is
${C}^{0}$
flow equivalent to that of a locally symmetric space of rank one
$N$
, then
$M$
is isometric to
$N$
.

Theorem 1.5. (R. de la Llave and R. Moriyon, [LM]) Let
${\phi}_{t}$
and
${\psi}_{t}$
be two
${C}^{\infty}$
three-dimensional volume-preserving Anosov flows. If they are
${C}^{1}$
flow equivalent, then they are
${C}^{\infty}$
flow equivalent.

However there exist plenty of
${C}^{0}$
orbit conjugacies between Anosov flows.

For example, if two
${C}^{\infty}$
Anosov flows are sufficiently
${C}^{1}$
-near, then they are H
$\ddot{o}$
lder-continuous orbit equivalent by the celebrated structural stability (see [An]). A natural question to ask is whether
${C}^{1}$
orbit conjugacies between Anosov flows are rare.

We can deduce from Theorems
$1.1$
and
$1.2$
the following result showing that
${C}^{1}$
orbit conjugacies are surely rare in some cases, while H
$\ddot{o}$
lder-continuous orbit conjugacies are abundant.

Theorem 1.6. Let
${\phi}_{t}$
be a
${C}^{\infty}$
Anosov flow and
${\psi}_{t}$
be the geodesic flow of a closed hyperbolic manifold of dimension at least three. If
${\phi}_{t}$
and
${\psi}_{t}$
are
${C}^{1}$
orbit equivalent, then they are
${C}^{\infty}$
orbit equivalent.

In order to state the next result, let us recall firstly some notions.

Definition 1.1. Let
$(X,{d}_{X})$
and
$(Y,{d}_{Y})$
be two metric spaces. Then they are said to be quasi-isometric if there a map
$f:X\to Y$
and two positive numbers
$C$
and
$D$
such that the following two conditions are satisfied:

$\left(1\right)$
$\frac{1}{C}{d}_{X}(x,y)-D\le {d}_{Y}\left(f\right(x),f(y\left)\right)\le C{d}_{X}(x,y)+D,\forall x,y\in X.$
$\left(2\right)$
For any
$y\in Y$
, there exists
$x\in X$
such that
${d}_{Y}(y,f(x\left)\right)\le D$
.

Roughly speaking, two metric spaces are quasi-isometric if and only if they are bi-Lipschitz equivalent in the large scale. Recall that for any
$n\ge 2$
, a
$n$
-dimensional Riemannian manifold
$M$
is said to be hyperbolic if it has constant sectional curvature
$-1$
. We denote by
${\mathbb{H}}^{n}$
the unique simply connected hyperbolic manifold. By combining some classical results with our previous theorem, we get the following Corollary 1.1. Let
$M$
be a
$n$
-dimensional closed Riemannian manifold of negative curvature such that
$n\ge 3$
. Then we have the following relations between dynamics and geometry:

$\left(1\right)$
The geodesic flow of
$M$
is H
$\ddot{o}$
lder-continuously orbit equivalent to that of a hyperbolic manifold if and only if the universal covering space
$\stackrel{~}{M}$
with its lifted metric is quasi-isometric to
${\mathbb{H}}^{n}$
.

$\left(2\right)$
The geodesic flow of
$M$
is
${C}^{1}$
orbit equivalent to that of a hyperbolic manifold if and only if
$M$
has constant negative curvature.

Let
$g$
be the Riemannian metric of a closed hyperbolic manifold of dimension at least three. Let
${g}^{\prime}$
be a perturbed Riemannian metric of
$g$
with non-constant negative curvature. Thus by the proof of the previous corollary, the orbit foliation of the geodesic flow of
$g$
is
${C}^{0}$
conjuguate to that of
${g}^{\prime}$
. However, by the previous corollary, these two
${C}^{\infty}$
one-dimensional foliations are not
${C}^{1}$
conjuguate.

By combining a result of R. Man
$\stackrel{~}{e}$
with our Theorem
$1.6$
, we get finally the following corollary, which is the key objective of this article.

Corollary 1.2. Let
$\Phi $
be the orbit foliation of the geodesic flow of a closed hyperbolic manifold of dimension at least three. Let
$\Psi $
be another
${C}^{\infty}$
one-dimensional foliation. If
$\Phi $
and
$\Psi $
are
${C}^{1}$
conjuguate, then they are
${C}^{\infty}$
conjuguate.

1.3. The organization of the paper In Section two we recall some fundamental facts concerning quasiconformal Anosov flows and some properties of transverse
$(G,T)$
-structures of foliations.

Then in Section three we prove Theorems
$1.2$
and
$1.3$
. Finally in Section four we apply these two results to geodesic flows to deduce Theorem
$1.6$
and Corollaries
$1.1$
and
$1.2$
.

2. Preliminaries 2.1. Linearizations and smooth conformal structures Let us recall firstly the following two results established in [Sa]:

Theorem 2.1. ([Sa], Theorem
$1.3$
) Let
$f$
be a topologically transitive
${C}^{\infty}$
Anosov diffeomorphism (
${\phi}_{t}$
be a topologically mixing
${C}^{\infty}$
Anosov flow) on a closed manifold
$M$
which is quasiconformal on the unstable distribution.

Then it is conformal with respect to a Riemannian metric on this distribution which is continuous on
$M$
and
${C}^{\infty}$
along the leaves of the unstable foliation.

Theorem 2.2. ([Sa], Theorem
$1.4$
) Let
$f$
(
${\phi}_{t}$
) be a
${C}^{\infty}$
Anosov diffeomorphism (flow) on a closed manifold
$M$
with dim
${E}^{+}\ge 2$
. Suppose that it is conformal with respect to a Riemannian metric on the unstable distribution which is continuous on
$M$
and
${C}^{\infty}$
along the leaves of the unstable foliation.

Then the (weak) stable holonomy maps are conformal and the (weak) stable distribution is
${C}^{\infty}$
.

Let us recall briefly the steps to prove these two theorems in the case of flow. Denote by
${\phi}_{t}$
a topologically mixing quasiconformal Anosov flow. Then by some classical arguments (see [Su] and [Tu]), V. Sadovskaya found two measurable
${\phi}_{t}$
-invariant conformal structures
${\overline{\tau}}^{+}$
and
${\overline{\tau}}^{-}$
along respectively the leaves of
${\mathcal{\mathcal{F}}}^{+}$
and
${\mathcal{\mathcal{F}}}^{-}$
. Then as is usual for Anosov flows, these two conformal structures were pertubated to continuous
${\phi}_{t}$
-invariant ones denoted by
${\tau}^{+}$
and
${\tau}^{-}$
. Using the linearizations, she proved that along each leaf of
${\mathcal{\mathcal{F}}}^{+}$
,
${\tau}^{+}$
is isometric to a vector space with its canonical conformal struture, which has permitted her to blow up the smoothness of weak holonomy maps.

Then by using a result of J. L. Journé, she proved the smoothness of the weak stable and unstable distributions.

In [Fa1], we have proved the following lemma based on [Pl1]. For the sake of completeness, let us recall the arguments.

Lemma 2.1. Let
${\phi}_{t}$
be a
${C}^{\infty}$
topologically transitive Anosov flow. Then we have the following alternative:

$\left(1\right)$
${\phi}_{t}$
is topologically mixing,
$\left(2\right)$
${\phi}_{t}$
admits a
${C}^{\infty}$
closed global section with constant return time.

Proof. If Case
$\left(2\right)$
is true, then up to a constant change of time scale,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent to the suspension of a
${C}^{\infty}$
Anosov diffeomorphism.

Thus it is not topologically mixing. So the alternative is exclusive.

If there exists
$x\in M$
such that
${W}_{x}^{+}$
is not dense in
$M$
, then by Theorem
$1.8$
of [Pl1]
${E}^{+}\oplus {E}^{-}$
is the tangent bundle of a
${C}^{1}$
foliation
$\mathcal{\mathcal{F}}$
. In addition the leaves of
$\mathcal{\mathcal{F}}$
are all comact. So
${\phi}_{t}$
admits a
${C}^{1}$
closed global section with constant return time. Then to realize Case
$\left(2\right)$
we need only prove that
${E}^{+}\oplus {E}^{-}$
is
${C}^{\infty}$
.

Denote by
$\lambda $
the canonical
$1$
-form of
${\phi}_{t}$
. Then
$\lambda $
is, a priori, a continuous
$1$
-form on
$M$
. For each point
$y\in M$
we take a small neighborhood
${F}_{y}$
of
$y$
in the leaf containing
$y$
of
$\mathcal{\mathcal{F}}$
. Then we can construct a local
${C}^{1}$
chart
${\theta}_{y}:(-\epsilon ,\epsilon )\times {F}_{y}\to M$
such that
${\theta}_{y}(t,z)={\phi}_{t}\left(z\right)$
. In this chart we have
$\lambda =dt.$
We deduce that
${\int}_{\gamma}\lambda =0$
for each piecewise
${C}^{1}$
closed curve
$\gamma $
contained in the image of
${\theta}_{y}$
. So
$\lambda $
is locally closed (see Section two of [Pl1] for the definition). Then by Proposition
$2.1$
of [Pl1],
$\lambda $
is seen to be closed in a weak sense, i.e. for every
${C}^{1}$
immersed two-disk
$\sigma $
such that
$\partial \sigma $
is piecewise
${C}^{1}$
,
$${\int}_{\partial \sigma}\lambda =0.$$
So by integrating along the closed curves,
$\lambda $
gives an element in
$Hom\left({\pi}_{1}\right(M),\mathbb{R})$
, i.e. the space of group homomorphisms of
${\pi}_{1}\left(M\right)$
into
$\mathbb{R}$
, where
${\pi}_{1}\left(M\right)$
denotes the fundamental group of
$M$
. However we have naturally
$$Hom\left({\pi}_{1}\right(M),\mathbb{R})\sim =\left({H}_{1}\right(M,\mathbb{R}){)}^{*}\sim ={H}^{1}(M,\mathbb{R}),$$
where
${H}^{1}(M,\mathbb{R})$
denotes the first de Rham cohomology group of
$M$
. So there exists a
${C}^{\infty}$
$1$
-form
$\beta $
such that for each
${C}^{\infty}$
closed curve
$\gamma $
,
$${\int}_{\gamma}\lambda ={\int}_{\gamma}\beta .$$
So by integrating
$(\lambda -\beta )$
along curves, we get on
$M$
a well-defined continuous function
$f$
. Then for any
$y\in M$
and any
$t\in \mathbb{R}$
we have
$$(f\circ {\phi}_{t})\left(y\right)-f\left(y\right)={\int}_{0}^{t}(1-\beta (X\left)\right)\left({\phi}_{s}\right(y\left)\right)ds.$$
Since the right-hand side of this identity is a
${C}^{\infty}$
$\mathbb{R}$
-cocycle, then by [LMM]
$f$
is smooth. However by the definition of
$f$
we have
$$\lambda -\beta =df.$$
So
$\lambda $
is also smooth. We deduce that
${E}^{+}\oplus {E}^{-}(=Ker\lambda )$
is
${C}^{\infty}$
. So Case
$\left(2\right)$
is realized if
${W}_{x}^{+}$
is not dense for a certain point
$x\in M$
.

Now suppose that for all
$x\in M$
,
${W}_{x}^{+}$
is dense in
$M$
. Fix a Riemannian metric on
$M$
. For any
$x\in M$
and any
$r>0$
we denote by
${M}_{x,r}$
and
${W}_{x,r}^{+}$
the balls of center
$x$
and radius
$r$
in
$M$
and
${W}_{x}^{+}.$
Take arbitrarily two open subsets
$U$
and
$V$
in
$M$
and a small ball
${M}_{y,\epsilon}$
in
$V$
. Since
$M$
is closed and each strong unstable leaf is supposed to be dense in
$M$
, then we can find
$R<+\infty $
such that
$${W}_{x,R}^{+}\cap {M}_{y,\epsilon}\ne \varnothing ,\forall x\in M.$$
Take a small disk
${W}_{x,\delta}^{+}$
in
$U$
. Then by the Anosov property there exists
$T>0$
such that
$${\phi}_{t}\left({W}_{x,\delta}^{+}\right)\supseteq {W}_{{\phi}_{t}\left(x\right),R}^{+},\forall t\ge T.$$
So
${\phi}_{t}U\cap V\ne \varnothing ,\forall t\ge T,$
i.e.
${\phi}_{t}$
is topologically mixing.
$\square $
If
${\phi}_{t}$
is a topologically transitive quasiconformal Anosov flow such that the dimensions of
${E}^{+}$
and
${E}^{-}$
are at least two, then by the previous lemma and Theorem
$2.1$
, it preserves two continuous conformal strutures
${\tau}^{+}$
and
${\tau}^{-}$
which are
${C}^{\infty}$
along the leaves of
${\mathcal{\mathcal{F}}}^{+}$
and
${\mathcal{\mathcal{F}}}^{-}$
. Then by Theorem
$2.2$
, these two conformal structures are invariant under the weak holonomy maps.

In addition we can deduce from the previous lemma and Theorem
$2.2$
the following Lemma 2.2. Let
${\phi}_{t}$
be a
${C}^{\infty}$
topologically transitive quasiconformal Anosov flow such that the dimensions of
${E}^{+}$
and
${E}^{-}$
are at least two. Then
${E}^{+,0}$
and
${E}^{-,0}$
are both
${C}^{\infty}$
.

Based on [Sa], we have found in [Fa1] for each quasiconformal Anosov flow
${\phi}_{t}$
an unstable linearization
$\{{h}_{x}^{+}{\}}_{x\in M}$
such that for any
$x\in M$
,
${h}_{x}^{+}:{W}_{x}^{+}\to {E}_{x}^{+}$
is a
${C}^{\infty}$
diffeomorphism and the following conditions are satisfied:

$\left(1\right)$
${h}_{{\phi}_{s}\left(x\right)}^{+}\circ {\phi}_{s}={D}_{x}{\phi}_{s}\circ {h}_{x}^{+},\forall s\in \mathbb{R}$
,
$\left(2\right)$
${h}_{x}^{+}\left(x\right)=0$
and
$(D{h}_{x}^{+}{)}_{x}$
is the identity map,
$\left(3\right)$
${h}_{x}^{+}$
depends continuously on
$x$
in the
${C}^{\infty}$
topology.

Recall that the family of diffeomorphisms satisfying these three conditions is unique. Similarly we have the stable linearization
$\{{h}_{x}^{-}{\}}_{x\in M}$
of
${\phi}_{t}$
. Suppose that
${\phi}_{t}$
satisfies the conditions of Lemma
$2.2$
. For any
$x\in M$
we can extend the conformal structure
${\tau}_{x}^{+}$
at
$0\in {E}_{x}^{+}$
to all other points of
${E}_{x}^{+}$
via linear translations. If the resulting translation-invariant conformal structure on
${E}_{x}^{+}$
is denoted by
${\sigma}_{x}^{+}$
, then
$({E}_{x}^{+},{\sigma}_{x}^{+})$
is isometric to the canonical conformal structure of
${\mathbb{R}}^{n}$
if
${E}^{+}$
is
$n$
-dimensional. Similarly we have
$({E}_{x}^{-},{\sigma}_{x}^{-})$
for any
$x\in M$
.

Then by Lemma
$3.1$
of [Sa] we get for any
$x\in M$
,
$({h}_{x}^{+}{)}_{*}{\tau}^{+}{|}_{{W}_{x}^{+}}={\sigma}_{x}^{+}$
and
$({h}_{x}^{-}{)}_{*}{\tau}^{-}{|}_{{W}_{x}^{-}}={\sigma}_{x}^{-}.$
2.2. Transverse (G, T)-structures In this subsection, we consider the transverse
$(G,T)$
-structures of foliations.

Let
$\mathcal{\mathcal{F}}$
be a
${C}^{\infty}$
foliation on a connected manifold
$M$
. Denote by
${Q}_{\mathcal{\mathcal{F}}}$
the leaf space of
$\mathcal{\mathcal{F}}$
and by
$\mathcal{\mathcal{F}}\left(A\right)$
the saturation of
$\mathcal{\mathcal{F}}$
on
$A$
for any
$A\subseteq M$
. We assume that the holonomy maps of
$\mathcal{\mathcal{F}}$
are defined on connected transverse sections.

Let
$G$
be a real Lie group acting effectively and transitively on a connected manifold
$T$
. If
$\Sigma $
is a
${C}^{\infty}$
transverse section of
$\mathcal{\mathcal{F}}$
and
$\phi $
is a
${C}^{\infty}$
diffeomorphism of
$\Sigma $
onto its open image in
$T$
, then
$(\Sigma ,\phi )$
is said to be a transverse
$T$
-chart.

Two transverse
$T$
-charts
$({\Sigma}_{1},{\phi}_{1})$
and
$({\Sigma}_{2},{\phi}_{2})$
are said to be compatible if for each holonomy map
$h$
of a germ of
${\Sigma}_{1}$
to a germ of
${\Sigma}_{2}$
, the map
${\phi}_{1}\circ h\circ {\phi}_{2}^{-1}$
is locally the restriction of elements of
$G$
.

A family of transverse sections is said to be covering if each leaf of
$\mathcal{\mathcal{F}}$
intersects at least one of the sections in this family. By definition, a transverse
$(G,T)$
-structure on
$\mathcal{\mathcal{F}}$
is a maximal family of compatible transverse
$T$
-charts of which the underlying family of transverse sections is covering.

In order to define a transverse
$(G,T)$
-structure, we need just seperate out a family of covering compatible
$T$
-charts. Then by considering all the
$T$
-charts compatible with this family, we get automatically a transverse
$(G,T)$
-structure.

Denote by
$\stackrel{~}{\mathcal{\mathcal{F}}}$
the lifted foliation on the universal covering space
$\stackrel{~}{M}$
of
$M$
and denote by
$\pi $
the projection of
$\stackrel{~}{M}$
onto
$M$
. For each transverse
$(G,T)$
-structure on
$\mathcal{\mathcal{F}}$
, we get naturally a lifted transverse
$(G,T)$
-structure on
$\stackrel{~}{\mathcal{\mathcal{F}}}$
by considering the composition of
$\pi $
with the
$T$
-charts of the given transverse
$(G,T)$
-structure on
$\mathcal{\mathcal{F}}$
. Then by [Go] there exists a
${C}^{\infty}$
submersion
$\mathcal{D}:\stackrel{~}{M}\to T$
and a group homomorphism
$\mathcal{\mathscr{H}}:{\pi}_{1}\left(M\right)\to G$
satisfying the following two conditions:

$\left(1\right)$
$\mathcal{D}\left(\gamma x\right)=\mathcal{\mathscr{H}}\left(\gamma \right)\mathcal{D}\left(x\right),$
$\forall $
$x\in \stackrel{~}{M}$
,
$\forall $
$\gamma \in {\pi}_{1}\left(M\right).$
$\left(2\right)$
The lifted foliation
$\stackrel{~}{\mathcal{\mathcal{F}}}$
is defined by
$\mathcal{D}$
.

This submersion
$\mathcal{D}$
is said to be the developing map of the transverse
$(G,T)$
-structure of
$\mathcal{\mathcal{F}}$
and
$\mathcal{\mathscr{H}}$
is said to be the holonomy representation of
$\mathcal{D}$
. The transverse
$(G,T)$
-structure of
$\mathcal{\mathcal{F}}$
is said to be complete if
$\mathcal{D}$
is a
${C}^{\infty}$
fibre bundle over
$\mathcal{D}\left(\stackrel{~}{M}\right)$
.

If
${\mathcal{D}}^{\prime}$
denotes another developing map with holonomy representation
${\mathcal{\mathscr{H}}}^{\prime}$
, then by [Go] there exists a unique element
$g\in G$
such that
${\mathcal{D}}^{\prime}=g\circ \mathcal{D}$
and
${\mathcal{\mathscr{H}}}^{\prime}=g\cdot \mathcal{\mathscr{H}}\cdot {g}^{-1}$
.

Since
$\mathcal{D}$
is obtained by analytic continuation along curves (see [Go]), then for each transverse section
$\Sigma $
of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
such that
$\mathcal{D}{|}_{\Sigma}$
is a
${C}^{\infty}$
diffeomorphism onto its image,
$\mathcal{D}{|}_{\Sigma}$
is a transverse
$T$
-chart of the lifted transverse
$(G,T)$
-structure of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
.

Since
$\stackrel{~}{\mathcal{\mathcal{F}}}$
is defined by the submersion
$\mathcal{D}$
, then
$\mathcal{D}$
sends each leaf of
$\stackrel{~}{F}$
to a point of
$T$
. Thus for any
$x\in \stackrel{~}{M}$
there exists a small
${C}^{\infty}$
transverse section
$\Sigma $
containing
$x$
of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
such that each leaf of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
intersects
$\Sigma $
at most once. Then it is easily seen that each leaf of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
is closed in
$\stackrel{~}{M}$
.

Denote by
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
the leaf space of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
. Then we have the quotient map
$\overline{\mathcal{D}}:{Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}\to \mathcal{D}\left(\stackrel{~}{M}\right)$
. Since each leaf of
$\stackrel{~}{\mathcal{\mathcal{F}}}$
is closed, then
$\overline{\mathcal{D}}$
is bijective iff the
$\mathcal{D}$
-inverse image of each point of
$T$
is connected. If this is the case, then by considering the projections of small transverse
$T$
-charts,
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
becomes naturally a
${C}^{\infty}$
(seperable) manifold such that
$\overline{\mathcal{D}}$
is a
${C}^{\infty}$
diffeomorphism of
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
onto
$\mathcal{D}\left(\stackrel{~}{M}\right)$
. In addition, the fundamental group
${\pi}_{1}\left(M\right)$
of
$M$
acts naturally on
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
.

By [Hae] we have the following Proposition 2.1. Let
$({M}_{1},{\mathcal{\mathcal{F}}}_{1})$
and
$({M}_{2},{\mathcal{\mathcal{F}}}_{2})$
be two
${C}^{\infty}$
foliations with complete transverse
$(G,T)$
-structures. Suppose that their developing maps have both connected fibres and the holonomy covers of their leaves are all contractible. If the
${\pi}_{1}\left({M}_{1}\right)$
-action on
${Q}_{\stackrel{~}{{\mathcal{\mathcal{F}}}_{1}}}$
is
${C}^{\infty}$
conjugate to the
${\pi}_{1}\left({M}_{2}\right)$
-action on
${Q}_{\stackrel{~}{{\mathcal{\mathcal{F}}}_{2}}}$
, then there exists a
${C}^{\infty}$
map
$f:{M}_{1}\to {M}_{2}$
such that the following conditions are satisfied:

$\left(1\right)$
$f$
is a surjective homotopy equivalence.

$\left(2\right)$
$f$
sends each leaf of
${\mathcal{\mathcal{F}}}_{1}$
onto a leaf of
${\mathcal{\mathcal{F}}}_{2}$
and
$f$
sends different leaves to different leaves.

$\left(3\right)$
$f$
is transversally a local
${C}^{\infty}$
diffeomorphism conjugating the two transverse
$(G,T)$
-structures.

The lemma below is self-evident and will be used several times in the following.

Lemma 2.3. Let
$(M,\mathcal{\mathcal{F}})$
be a
${C}^{\infty}$
foliation with a transverse
$(G,T)$
-structure.

If
${T}_{1}$
is an open subset of
$T$
and
${G}_{1}$
is a closed Lie subgroup of
$G$
acting transitively on
${T}_{1}$
such that
$\mathcal{D}\left(\stackrel{~}{M}\right)\subseteq {T}_{1}$
and
$\mathcal{\mathscr{H}}\left({\pi}_{1}\right(M\left)\right)\subseteq {G}_{1}$
, then
$\mathcal{\mathcal{F}}$
admits a transverse
$({G}_{1},{T}_{1})$
-structure with the same developing map
$\mathcal{D}$
and the same holonomy representation
$\mathcal{\mathscr{H}}$
, which is compatible with the initial transverse
$(G,T)$
-structure.

By adapting the arguments in [Gh2] we can prove the following Lemma 2.4. Let
$(M,\mathcal{\mathcal{F}})$
be a
${C}^{\infty}$
foliation with a transverse
$(G,T)$
-structure.

If the closed leaves of
$\mathcal{\mathcal{F}}$
are dense in
$M$
and the
$\mathcal{D}$
-inverse image of each point of
$T$
is connected, then
$\mathcal{\mathscr{H}}\left({\pi}_{1}\right(M\left)\right)$
is a discrete subgroup of
$G$
.

Proof. Denote by
${\pi}_{1}$
the projection of
$\stackrel{~}{M}$
onto
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
and by
${\pi}_{2}$
the projection of
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
onto
${Q}_{\mathcal{\mathcal{F}}}$
the leaf space of
$\mathcal{\mathcal{F}}$
. Take a closed leaf
${F}_{x}$
of
$\mathcal{\mathcal{F}}$
and
$\stackrel{~}{x}\in \stackrel{~}{M}$
such that
$\pi \left(\stackrel{~}{x}\right)=x$
. Since
${F}_{x}$
is closed, then we can find a fine transverse section
$\Sigma $
passing through
$\stackrel{~}{x}$
such that
$\pi $
sends
$\Sigma $
diffeomorphically onto its image and
${F}_{x}\cap \pi (\Sigma )=\left\{x\right\}.$
So for each
$y\in \Sigma $
and
$y\ne \stackrel{~}{x}$
,
$\pi \left(y\right)$
is not in
${F}_{x}$
.

Thus
${\pi}_{2}^{-1}\left({F}_{x}\right)$
is discrete in
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
.

Since
${F}_{x}$
is closed and
${\pi}^{-1}\left({F}_{x}\right)={\pi}_{1}^{-1}\left({\pi}_{2}^{-1}\right({F}_{x}\left)\right),$
then
${\pi}_{2}^{-1}\left({F}_{x}\right)$
is closed in
${\stackrel{~}{Q}}_{\mathcal{\mathcal{F}}}$
. So the
${\pi}_{1}\left(M\right)$
-orbit of
${\stackrel{~}{F}}_{\stackrel{~}{x}}$
, i.e.
${\pi}_{2}^{-1}\left({F}_{x}\right)$
is closed and discrete in
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
.

Since the closed leaves of
$\mathcal{\mathcal{F}}$
are dense in
$M$
i.e. the union of all the closed leaves is dense, then
${\pi}_{2}$
-inverse images of these closed leaves form a dense subset
$P$
of
${Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}$
such that the
${\pi}_{1}\left(M\right)$
-orbit of each point of
$P$
is closed and discrete.

Suppose on the contrary that
$\mathcal{\mathscr{H}}\left({\pi}_{1}\right(M\left)\right)$
is not discrete in
$G$
. Since the
$\mathcal{D}$
-inverse image of each point of
$T$
is connected, then
$\mathcal{D}$
induces a
${C}^{\infty}$
diffeomorphism
$\overline{\mathcal{D}}:{Q}_{\stackrel{~}{\mathcal{\mathcal{F}}}}\to \mathcal{D}\left(\stackrel{~}{M}\right)$
. So
$\overline{\mathcal{D}}\left(P\right)$
is dense in
$\mathcal{D}\left(\stackrel{~}{M}\right)$
and the
$\mathcal{\mathscr{H}}\left({\pi}_{1}\right(M\left)\right)$
-orbit of each point of
$\overline{\mathcal{D}}\left(P\right)$
is discrete and closed in
$\mathcal{D}\left(\stackrel{~}{M}\right)$
.

Take a non-trivial one-parameter subgroup
${g}_{t}$
of the closure of
$\mathcal{\mathscr{H}}\left({\pi}_{1}\right(M\left)\right)$
in
$G$
. For each
$t\in \mathbb{R}$
,
${g}_{t}$
preserves the closed complement of
$\mathcal{D}\left(\stackrel{~}{M}\right)$
. So we have
$${g}_{t}(\mathcal{D}(\stackrel{~}{M}\left)\right)=\mathcal{D}\left(\stackrel{~}{M}\right).$$
Thus
${g}_{t}$
fixes each point in
$\overline{\mathcal{D}}\left(P\right)$
. We deduce that
${g}_{t}$
is a trivial one-parameter subgroup, which is a contradiction.
$\square $
2.3. Sphere-extension property Let
$M$
be a
${C}^{\infty}$
manifold. Let
${\mathcal{\mathcal{F}}}_{1}$
and
${\mathcal{\mathcal{F}}}_{2}$
be two continuous foliations with
${C}^{1}$
leaves on
$M$
such that
$$T{\mathcal{\mathcal{F}}}_{1}\oplus T{\mathcal{\mathcal{F}}}_{2}=TM.$$
If
${\mathcal{\mathcal{F}}}_{1}$
is a foliation by planes, i.e. each leaf of
${\mathcal{\mathcal{F}}}_{1}$
is
${C}^{1}$
diffeomorphic to a certain
${\mathbb{R}}^{n}$
, then
$({\mathcal{\mathcal{F}}}_{1},{\mathcal{\mathcal{F}}}_{2})$
is said to be a plane foliation couple. The local leaves of
${\mathcal{\mathcal{F}}}_{1}$
are natural transverse sections of
${\mathcal{\mathcal{F}}}_{2}$
and we consider only the holonomy maps of
${\mathcal{\mathcal{F}}}_{2}$
with respect to these special transverse sections.

For each leaf
${F}_{1,x}$
of
${\mathcal{\mathcal{F}}}_{1}$
we denote by
${S}_{1,x}$
its one-point compactification which is homeomorphic to a standard sphere. The point at infinity of
${S}_{1,x}$
is denoted by
$\infty $
.

Definition 2.1. Under the notations above, a plane foliation couple
$({\mathcal{\mathcal{F}}}_{1},{\mathcal{\mathcal{F}}}_{2})$
is said to have the sphere-extension property if for each holonomy map
$\theta $
of
${\mathcal{\mathcal{F}}}_{2}$
sending
$x$
to
$y$
there exists a homeomorphism
$\Theta :{S}_{1,x}\to {S}_{1,y}$
which coincides locally with
${\mathcal{\mathcal{F}}}_{2}$
-holonomy maps on
${S}_{1,x}\mathbb{\u2572}\{\infty ,{\Theta}^{-1}(\infty \left)\right\}$
and extends the germ of
$\theta $
at
$x$
.

If
${\overline{\phi}}_{t}$
is a lifted flow of an
${C}^{\infty}$
Anosov flow
${\phi}_{t}$
, then
${\overline{\phi}}_{t}$
is said to have the sphere-extension property if
$({\overline{\mathcal{\mathcal{F}}}}^{+},{\overline{\mathcal{\mathcal{F}}}}^{-,0})$
and
$({\overline{\mathcal{\mathcal{F}}}}^{-},{\overline{\mathcal{\mathcal{F}}}}^{+,0})$
have both the sphere-extension property.

Recall that
${\overline{\mathcal{\mathcal{F}}}}^{+}$
and
${\overline{\mathcal{\mathcal{F}}}}^{-}$
are both foliations by planes. The corresponding notion for Anosov diffeomorphisms is defined similarly.

Denote by
$({\stackrel{~}{\mathcal{\mathcal{F}}}}_{1},{\stackrel{~}{\mathcal{\mathcal{F}}}}_{2})$
the lifted couple on
$\stackrel{~}{M}$
of
$({\mathcal{\mathcal{F}}}_{1},{\mathcal{\mathcal{F}}}_{2})$
. Then it is easily seen that if
$({\stackrel{~}{\mathcal{\mathcal{F}}}}_{1},{\stackrel{~}{\mathcal{\mathcal{F}}}}_{2})$
has the sphere-extension property, then
$({\mathcal{\mathcal{F}}}_{1},{\mathcal{\mathcal{F}}}_{2})$
has also this property. So by considering the lifted flows and drawing pictures, we can easily see that the geodesic flows of closed negatively curved manifolds have the sphere-extension property.

It is easily verified that hyperbolic infra-nilautomorphisms have the sphere-extension property. However by [Man] each Anosov diffeomorphism defined on a infra-nilmanifold is topologically conjugate to a hyperbolic infra-nilautomorphism.

We deduce that the suspensions of Anosov diffeomorphisms on infra-nilmanifolds have the sphere-extension property.

Lemma 2.5. Let
${\phi}_{t}$
and
${\psi}_{t}$
be two
${C}^{1}$
orbit equivalent
${C}^{\infty}$
Anosov flows.

Suppose that the strong stable and strong unstable distributions of
${\psi}_{t}$
are of dimension at least two. If
${\psi}_{t}$
has the sphere-extension property, then
${\phi}_{t}$
has also this property.

Proof. Denote by
$\phi $
the
${C}^{1}$
orbit equivalence. Define
${\hat{\phi}}_{t}=\phi \circ {\phi}_{t}\circ {\phi}^{-1}$
and denote by
${\overline{E}}^{\pm}$
the strong distributions of
${\psi}_{t}$
. Define
${\hat{\mathcal{\mathcal{F}}}}^{\pm}=\phi \left({\mathcal{\mathcal{F}}}^{\pm}\right)$
and
${\hat{\mathcal{\mathcal{F}}}}^{\pm ,0}=\phi \left({\mathcal{\mathcal{F}}}^{\pm ,0}\right)$
. It is clear that
${\phi}_{t}$
has the sphere-extension property iff
${\hat{\phi}}_{t}$
has this property in the natural sense.

Since
${\phi}_{t}$
and
${\psi}_{t}$
are
${C}^{1}$
orbit equivalent, then
${\hat{\mathcal{\mathcal{F}}}}^{\pm ,0}={\overline{\mathcal{\mathcal{F}}}}^{\pm ,0}$
. Take a leaf of
${\mathcal{\mathcal{F}}}^{+}$
and take a non-periodic point
$x$
in this leaf. We can identify
${\hat{W}}_{x}^{+}$
and
${\overline{W}}_{x}^{+}$
naturally as following.

For all
$y\in {\hat{W}}_{x}^{+},$
there exists
$t\in \mathbb{R}$
such that
${\psi}_{t}\left(y\right)\in {\overline{W}}_{x}^{+}.$
If
${\hat{W}}_{x}^{+,0}$
contains no periodic orbit, this number
$t$
is unique for each
$y$
in
${\hat{W}}_{x}^{+}.$
If
${\hat{W}}_{x}^{+,0}$
contains a periodic orbit, then it contains exactly one periodic orbit.

Denote by
$T$
its mininal positive period with respect to
${\psi}_{t}$
. So if
${\psi}_{t}\left(y\right)\in {W}_{x}^{+},$
then for all
$k\in \mathbb{Z}$
,
${\psi}_{t+k\cdot T}\left(y\right)\in {\overline{W}}_{x}^{+}.$
Conversely if
${\psi}_{{t}_{1}}\left(y\right)\in {\overline{W}}_{x}^{+}$
and
${\psi}_{{t}_{2}}\left(y\right)\in {\overline{W}}_{x}^{+}$
, then
${\psi}_{{t}_{2}-{t}_{1}}{\overline{W}}_{x}^{+}={\overline{W}}_{x}^{+}$
.

Thus
${t}_{2}-{t}_{1}\in T\cdot \mathbb{Z}.$
So by associating
$t+T\cdot \mathbb{Z}$
to
$y$
, we get a well-defined
${C}^{\infty}$
map from
${\hat{W}}_{x}^{+}$
to
$\mathbb{R}/T\mathbb{Z}$
.

Thus by taking a lift if necessary, there exists a unique
${C}^{1}$
map
${\theta}_{x}:{\hat{W}}^{+}\to \mathbb{R}$
such that
$${\theta}_{x}\left(x\right)=0,{\psi}_{{\theta}_{x}\left(y\right)}\left(y\right)\in {\overline{W}}_{x}^{+},\forall y\in {\hat{W}}_{x}^{+}.$$
Define a
${C}^{1}$
map
${\hat{\eta}}_{x}:{\hat{W}}^{+}\to {\overline{W}}_{x}^{+}$
such that
$${\hat{\eta}}_{x}\left(y\right)={\psi}_{{\theta}_{x}\left(y\right)}\left(y\right).$$
Then
${\hat{\eta}}_{x}$
is easily seen to be a local
${C}^{1}$
diffeomorphism such that
$\hat{\eta}\left(x\right)=x.$
Similar we get
$\overline{\eta}:{\overline{W}}_{x}^{+}\to {\hat{W}}_{x}^{+}$
such that
$\overline{\eta}\left(x\right)=x.$
If
${\hat{W}}_{x}^{+,0}$
contains no
${\psi}_{t}$
-periodic orbit, then
$\hat{\eta}$
and
$\overline{\eta}$
are both
${C}^{1}$
diffeomorphisms.

Suppose that
${\overline{W}}_{x}^{+,0}$
contains a unique
${\psi}_{t}$
-periodic orbit of period
$T$
.

Denote by
$z$
the unique intersection point of this periodic orbit with
${\overline{W}}_{x}^{+}$
.

For each
$k\in \mathbb{Z}$
, we define
$${\Lambda}_{k}=\{y\in {\overline{W}}_{x}^{+}\mathbb{\u2572}\{z\left\}\right|\hat{\eta}\circ \overline{\eta}\left(y\right)={\psi}_{kT}\left(y\right)\}.$$
Then
${\overline{W}}_{x}^{+}\mathbb{\u2572}\left\{z\right\}$
is the disjoint union of
$\{{\Lambda}_{k}{\}}_{k\in \mathbb{Z}}$
. Each
${\Lambda}_{k}$
is closed in
${\overline{W}}_{x}^{+}\mathbb{\u2572}\left\{z\right\}$
and
$x\in {\Lambda}_{0}$
. Take
$y\in {\Lambda}_{0}$
and since
${\psi}_{-T}$
is a contracting diffeomorphism of
${\overline{W}}_{x}^{+}$
, then a small ball containing
$y$
intersects with at most finitely many
${\Lambda}_{l}$
non-trivially. We deduce that
${\Lambda}_{0}$
is open.

Since
${\overline{E}}^{+}$
is at least two-dimensional, then
${\overline{W}}_{x}^{+}\mathbb{\u2572}\left\{z\right\}$
is connected . We deduce that
${\Lambda}_{0}={\overline{W}}_{x}^{+}\mathbb{\u2572}\left\{z\right\}$
, i.e.
$\hat{\eta}\circ \overline{\eta}=Id$
. Similarly we have
$\overline{\eta}\circ \hat{\eta}=Id$
.

We identify
${\hat{W}}_{x}^{+}$
and
${\overline{W}}_{x}^{+}$
under these two sliding
${C}^{1}$
diffeomorphisms
$\overline{\eta}$
and
$\hat{\eta}$
. We can identify
${\hat{W}}_{x}^{-}$
and
${\overline{W}}_{x}^{-}$
similarly.

Since these identifications conjugate the holonomy maps and
${\psi}_{t}$
has the sphere extension property, then
${\hat{\phi}}_{t}$
has also this property. We deduce that
${\phi}_{t}$
has the sphere-extension property.
$\square $
3. Proofs of Theorems 1.2 and 1.3 3.1. Construction of a transverse geometric structure Denote by
${\phi}_{t}$
a
${C}^{\infty}$
topologically transitive quasiconformal Anosov flow such that
${E}^{+}$
and
${E}^{-}$
are of dimensions at least three. Then by Theorem
$2.1$
and Lemma
$2.2$
,
${E}^{+,0}$
and
${E}^{-,0}$
are both
${C}^{\infty}$
and there exist
${\tau}^{+}$
and
${\tau}^{-}$
two continuous
${\phi}_{t}$
-invariant conformal structures on
${E}^{+}$
and
${E}^{-}$
which are
${C}^{\infty}$
along the leaves of
${\mathcal{\mathcal{F}}}^{+}$
and
${\mathcal{\mathcal{F}}}^{-}$
.

Denote by
$\Phi $
the orbit foliation of
${\phi}_{t}$
. For each transverse section
$\Sigma $
of
$\Phi $
we get two
${C}^{\infty}$
foliations
${\mathcal{\mathcal{F}}}_{\Sigma}^{+}$
and
${\mathcal{\mathcal{F}}}_{\Sigma}^{-}$
on
$\Sigma $
by intersecting
${\mathcal{\mathcal{F}}}^{\pm ,0}$
with
$\Sigma $
.

Denote their tangent distributions by
${E}_{\Sigma}^{+}$
and
${E}_{\Sigma}^{-}$
respectively.

We can identify
${E}_{\Sigma}^{\pm}$
and
${E}^{\pm}$
by projecting
${E}^{\pm}$
onto
${E}_{\Sigma}^{\pm}$
parallel to the direction of the flow. Under this identification, we get two conformal structures
${\tau}_{\Sigma}^{+}$
and
${\tau}_{\Sigma}^{-}$
on
${E}_{\Sigma}^{+}$
and
${E}_{\Sigma}^{-}$
. Since
${\tau}_{\Sigma}^{-}$
is easily seen to be invariant under the
$\Phi $
-holonomy maps and the
${\mathcal{\mathcal{F}}}_{\Sigma}^{+}$
-holonomy maps, then
${\tau}_{\Sigma}^{-}$
is
${C}^{\infty}$
on
$\Sigma $
. Similarly we can see that
${\tau}_{\Sigma}^{+}$
is also
${C}^{\infty}$
on
$\Sigma $
. So we get on each transverse section
$\Sigma $
a
${C}^{\infty}$
geometric structure
$({\mathcal{\mathcal{F}}}_{\Sigma}^{\pm},{\tau}_{\Sigma}^{\pm})$
which is invariant under the
$\Phi $
-holonomy maps.

Denote by
${c}_{n}$
the canonical conformal structure on the
$n$
-dimensional sphere
${S}^{n}$
and by
${M}_{n}$
the isometry group of
${c}_{n}$
. Then
${M}_{n}$
acts transitively on
${S}^{n}$
and is called the M
$\ddot{o}$
bius group. Suppose that
${E}^{+}$
is of dimension
$n$
and
${E}^{-}$
is of dimension
$m$
. Then we can construct as following a transverse
$({M}_{n}\times {M}_{m},{S}^{n}\times {S}^{m})$
-structure on
$\Phi $
.

For any
$x\in M$
we denote by
${\overline{S}}_{x}^{+}$
and
${\overline{S}}_{x}^{-}$
the one-point compactifications of
${E}_{x}^{+}$
and
${E}_{x}^{-}$
. Then they admit naturally
${C}^{\infty}$
conformal structures extending
${\sigma}_{x}^{+}$
and
${\sigma}_{x}^{-}$
. Since
$$\left({h}_{x}^{+}{)}_{*}\right({\tau}^{+})={\sigma}_{x}^{+}and({h}_{x}^{-}{)}_{*}\left({\tau}^{-}\right)={\sigma}_{x}^{-},$$
then
${S}_{x}^{+}$
and
${S}_{x}^{-}$
, i.e. the one-point compactifications of
${W}_{x}^{+}$
and
${W}_{x}^{-}$
admit also natural conformal structures isometric to those of
${\overline{S}}_{x}^{+}$
and
${\overline{S}}_{x}^{-}$
under the natural extensions of
${h}_{x}^{+}$
and
${h}_{x}^{-}$
, which are denoted by
${\overline{h}}_{x}^{+}$
and
${\overline{h}}_{x}^{-}$
.

By fixing two conformal frames of
${E}_{x}^{+}$
and
${E}_{x}^{-}$
we get two
${C}^{\infty}$
conformal isometries
${\phi}_{x}^{+}:{\overline{S}}_{x}^{+}\to {S}^{n}$
and
${\phi}_{x}^{-}:{\overline{S}}_{x}^{-}\to {S}^{m}.$
Take a
${C}^{\infty}$
small transverse section
${\Sigma}_{x}$
containing
$x$
and pieces of
${W}_{x}^{+}$
and
${W}_{x}^{-}$
. Thus for
$\delta \ll 1$
we get the local diffeomorphism
$${\theta}_{x}:{W}_{x,\delta}^{+}\times {W}_{x,\delta}^{-}\to {\Sigma}_{x}$$
$$(y,z)\to {W}_{{\Sigma}_{x},y,2\delta}^{-}\cap {W}_{{\Sigma}_{x},z,2\delta}^{+}.$$
Then we define
${\phi}_{x}:{\Sigma}_{x}\to {S}^{n}\times {S}^{m}$
such that
${\phi}_{x}=({\phi}_{x}^{+}\times {\phi}_{x}^{-})\circ ({\overline{h}}_{x}^{+}\times {\overline{h}}_{x}^{-})\circ {\theta}_{x}^{-1}.$
Since
${\tau}_{\Sigma}^{+}$
and
${\tau}_{\Sigma}^{-}$
are invariant under respectively the
${\mathcal{\mathcal{F}}}_{\Sigma}^{-}$
-holonomy maps and the
${\mathcal{\mathcal{F}}}_{\Sigma}^{+}$
-holonomy maps, then by its definition,
${\phi}_{x}$
is easily seen to be a local isometry of
$({\mathcal{\mathcal{F}}}_{{\Sigma}_{x}}^{\pm},{\tau}_{{\Sigma}_{x}}^{\pm})$
to
$\left(\right\{{S}^{n}\times *\},\{*\times {S}^{m}\},{c}_{n}\times {c}_{m})$
.

Let
$h$
be any
$\Phi $
-holonomy map from a germ of
${\Sigma}_{x}$
to a germ of
${\Sigma}_{y}$
. Then it is easy to see that
${\theta}_{y}^{-1}\circ h\circ {\theta}_{x}$
is given by weak holonomy maps. We deduce that
${\phi}_{y}\circ h\circ {\phi}_{x}^{-1}=\phi \times \psi $
, where
$\phi $
and
$\psi $
are respectively local conformal isomertries of
${S}^{n}$
and
${S}^{m}$
. Since
$n,m\ge 3$
, then by the following classical theorem of Liouville,
$\phi $
and
$\psi $
can be both extended to global conformal isometries of
${S}^{n}$
and
${S}^{m}$
. So
$\left\{\right({\Sigma}_{x},{\phi}_{x}){\}}_{x\in M}$
gives a transverse
$({M}_{n}\times {M}_{m},{S}^{n}\times {S}^{m})$
-structure of
$\Phi $
.

Theorem 3.1. (Liouville) For
$n\ge 3$
, each local conformal isometry of
${S}^{n}$
defined on a connected open subset can be extended uniquely to a global conformal isometry.

3.2. Completeness Fix a developing map
$\mathcal{D}$
of the transverse
$({M}_{n}\times {M}_{m},{S}^{n}\times {S}^{m})$
-structure of
$\Phi $
defined in the previous subsection. Denote by
$\mathcal{\mathscr{H}}$
the associated holonomy representation.

Lemma 3.1. Under the notations above, each leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+}$
intersects each leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
at most once.

Proof. By the definition of
$\mathcal{D}$
, for any
$x\in \stackrel{~}{M}$
,
$\mathcal{D}\left({\stackrel{~}{W}}_{x}^{+}\right)$
must be contained in a certain subset
${S}^{n}\times b$
. Then for any
$y\in {\stackrel{~}{W}}_{x}^{+}$
, there exists
${\gamma}_{1}\times {\gamma}_{2}\in {M}_{n}\times {M}_{m}$
such that
$$({\gamma}_{1}\times {\gamma}_{2})\circ \mathcal{D}={\stackrel{~}{\phi}}_{y},$$
where
${\stackrel{~}{\phi}}_{y}$
is defined similarly as above. Denote by
${\mathcal{D}}_{1}$
the composition
$p{r}_{1}\circ \mathcal{D}$
. Then there exists an open neighborhood
${V}_{y}$
of
$y$
in
${\stackrel{~}{W}}_{x}^{+}$
such that
$${\gamma}_{1}\circ {\mathcal{D}}_{1}{|}_{{V}_{y}}={\stackrel{~}{\phi}}_{y}^{+}\circ {\stackrel{~}{h}}_{y}^{+}.$$
Since
${\stackrel{~}{h}}_{x}^{+}\circ {\stackrel{~}{{h}_{y}^{+}}}^{-1}$
sends
${\stackrel{~}{\sigma}}_{y}^{+}$
to
${\stackrel{~}{\sigma}}_{x}^{+}$
and the dimension of
${E}^{+}$
is at least two, then
${\stackrel{~}{h}}_{x}^{+}\circ {\stackrel{~}{{h}_{y}^{+}}}^{-1}$
is an affine map. Thus there exists
$\gamma \in {M}_{n}$
such that
$$\gamma \circ {\mathcal{D}}_{1}{|}_{{\stackrel{~}{W}}_{x}^{+}}={\stackrel{~}{\phi}}_{x}^{+}\circ {\stackrel{~}{h}}_{x}^{+}.$$
So
$\mathcal{D}$
sends
${\stackrel{~}{W}}_{x}^{+}$
diffeomorphically onto a set of the form
$({S}^{n}\mathbb{\u2572}a)\times b$
.

For any
$y\in {S}^{n}\mathbb{\u2572}a$
such that
$\mathcal{D}\left(z\right)=y$
and
$z\in {\stackrel{~}{W}}_{x}^{+}$
,
$\mathcal{D}$
sends
${\stackrel{~}{W}}_{z}^{-}$
diffeomorphically onto a set of the form
$y\times ({S}^{m}\mathbb{\u2572}\omega (y\left)\right)$
. So we get a well-defined map
$\omega :{S}^{n}\mathbb{\u2572}a\to {S}^{m}$
.

Now suppose that
${\stackrel{~}{W}}_{x}^{+}$
intersects
${\stackrel{~}{W}}_{x}^{-,0}$
at a point
${x}^{\prime}$
other than
$x$
. Then there exist
$y,{y}^{\prime}\in {S}^{n}$
such that
$y\ne {y}^{\prime}$
and
$$\mathcal{D}\left({W}_{x}^{-}\right)\subseteq y\times {S}^{m},\mathcal{D}\left({W}_{{x}^{\prime}}^{-}\right)\subseteq {y}^{\prime}\times {S}^{m}.$$
Denote by
${x}^{\prime \prime}$
the intersection of the
${\stackrel{~}{\phi}}_{t}$
-orbit of
${x}^{\prime}$
with
${\stackrel{~}{W}}_{x}^{-}$
. Then we have
$\mathcal{D}\left({x}^{\prime \prime}\right)\ne \mathcal{D}\left({x}^{\prime}\right)$
. However by the definition of
$\mathcal{D}$
,
$\mathcal{D}\left({x}^{\prime \prime}\right)=\mathcal{D}\left({x}^{\prime}\right)$
, which is a contradiction. We deduce that each leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+}$
intersects each leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
at most once.
$\square $
The following lemma is a direct consequence of the previous lemma, which is firstly observed by T. Barbot in [Ba].

Lemma 3.2. Under the notations above, the lifted orbit space
${Q}_{\stackrel{~}{\Phi}}$
is Hausdoff. Proof. Suppose on the contrary that there exist two different orbits
${\stackrel{~}{\Phi}}_{1}$
and
${\stackrel{~}{\Phi}}_{2}$
such that each
$\stackrel{~}{\Phi}$
-saturated open neighborhood of
${\stackrel{~}{\Phi}}_{1}$
intersects that of
${\stackrel{~}{\Phi}}_{2}$
. We want to see that these two orbits are contained in the same leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
.

Suppose that it is not the case. Denote by
${F}_{1}$
and
${F}_{2}$
the leaves of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
containing respectively these two orbits. Then by assumption the
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+}$
-saturated sets of
${F}_{1}$
and
${F}_{2}$
intersect non-trivially. We deduce that there exists a leaf
${\stackrel{~}{W}}_{x}^{+}$
intersecting
${F}_{1}$
and
${F}_{2}$
. Denote by
${V}_{1}$
and
${V}_{2}$
two disjoint open subsets of
${\stackrel{~}{W}}_{x}^{+}$
containing respectively the intersection of
${\stackrel{~}{W}}_{x}^{+}$
with
${F}_{1}$
and that of
${\stackrel{~}{W}}_{x}^{+}$
with
${F}_{2}$
. Then by assumption the
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
-saturated set of
${V}_{1}$
intersects that of
${V}_{2}$
non-trivially, which contradicts Lemma
$3.1$
.

Thus
${\stackrel{~}{\Phi}}_{1}$
and
${\stackrel{~}{\Phi}}_{2}$
are contained in the same leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
. Similar we can prove that they are contained in the same leaf of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
. Then by Lemma
$3.1$
, we have
${\stackrel{~}{\Phi}}_{1}={\stackrel{~}{\Phi}}_{2}$
, which is a contradiction.
$\square $
For each
$x\in \stackrel{~}{M}$
we construct an open subset
${U}_{x}$
of
$\stackrel{~}{M}$
such that
${U}_{x}$
is the union of the leaves of
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{-,0}$
intersecting
${\stackrel{~}{W}}_{x}^{+,0}$
. Then we can find a sequence
$\{{x}_{i}{\}}_{i=1}^{\infty}\subseteq \stackrel{~}{M}$
satisfying the following conditions:

$\left(1\right)$
${\cup}_{i\ge 1}{U}_{{x}_{i}}=\stackrel{~}{M}.$
$\left(2\right)$
For each
$k\ge 1$
,
${\Omega}_{k}={\cup}_{i=1}^{k}{U}_{{x}_{i}}$
is connected.

In the following we denote
${U}_{{x}_{i}}$
by
${U}_{i}$
. Largely inspired by the arguments in [Gh1], we prove the following lemma.