1. Introduction 2. Preliminaries 2.1. Some generalities 2.2. Proof of Theorem 1 3. Homogeneity in dimension
$5$
3.1. Remarks about rank
$0$
and
$4$
3.2. Homogeneity in rank
$2$
4. The case of
$2$
positive Lyapunov exponents 4.1. Preparations 4.2. dim
${\mathfrak{h}}^{\prime}=1$
4.3. dim
${\mathfrak{h}}^{\prime}=2$
5. The case of 1 positive exponent and
$d\lambda \wedge \omega \not\equiv 0$
5.1. Preparations 5.2. dim
${\mathfrak{h}}^{\prime}=2$
5.3. dim
${\mathfrak{h}}^{\prime}=1$
6. The case of
$1$
positive exponent and
$d\lambda \wedge \omega \equiv 0$
6.1. Preparations 6.2. dim
${\mathfrak{h}}^{\prime}=1$
6.3. dim
${\mathfrak{h}}^{\prime}=2$
7. Appendix 1. Introduction Let
$M$
be a
${C}^{\infty}$
-closed manifold. A
${C}^{\infty}$
-flow,
${\phi}_{t}$
, generated by the non-singular vector field
$X$
is called 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
$$\forall {u}^{\pm}\in {E}^{\pm},\forall 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 called the strong stable and strong unstable distributions of the flow.

In general ,
${E}^{-}$
and
${E}^{+}$
are only continuous. If they are both
${C}^{\infty}$
subbundles of
$TM$
, then the Anosov flow is said to have smooth distributions.

This case is rather rare, see for example [
$\mathbf{K}$
], [
$\mathbf{F}\mathbf{K}$
], and [
$\mathbf{B}\mathbf{F}\mathbf{L}2$
]. Although the smoothness of these two distributions is dynamically so strong a condition, it is still quite weak geometrically. So to arrive at a classification result, one has to suppose in addition the existence of a smooth invariant geometric structure. For example, in [BFL2], the existence of an invariant contact form is assumed.

If an Anosov flow preserves a
${C}^{\infty}$
pseudo-Riemannian metric, then by definition, this flow is called geometric. In this paper, we consider the geometric Anosov flows with smooth distributions.

The classical examples of such flows are the suspensions of symplectic hyperbolic infranilautomorphisms and the geodesic flows on locally symmetric spaces of rank one. There exist also lots of non-classical algebraic models (see [To]), which makes a possible classification of such flows quite interesting.

In this paper, we obtain the classification in dimension five.

In general, given an Anosov flow with
${C}^{\infty}$
distributions
${\phi}_{t}$
, one gets a smooth
$1$
-form
$\lambda $
, such that
$$\lambda \left({E}^{\pm}\right)=0,\lambda \left(X\right)=1.$$
It is called the canonical 1-form of the flow,which is easily seen to be
${\phi}_{t}$
-invariant.

Definition.
$rank\left({\phi}_{t}\right):=2(max\{k\ge 0|{\wedge}^{k}d\lambda \not\equiv 0\})$
.

We call this even number the rank of
${\phi}_{t}$
. Here
${\wedge}^{k}d\lambda $
denotes the exterior
$k$
-th power of
$d\lambda $
, and by convention,
${\wedge}^{0}d\lambda $
$:=1.$
Note that rank(
${\phi}_{t}$
) is just the rank of the
$2$
-form
$d\lambda $
(see [Lich]). If
${\phi}_{t}$
is topologically transitive and its rank is
$2k$
, then
${\wedge}^{k}d\lambda $
vanishes nowhere on an open-dense subset of
$M$
.

For
$\forall a\in \mathbb{R}$
, denote by
$\left[a\right]$
the biggest integer, which is smaller than
$a$
.

If the dimension of
$M$
is
$m$
, then the degree of
${\wedge}^{\left[\frac{m}{2}\right]+1}d\lambda $
will be bigger than
$m$
. So we have
$$rank\left({\phi}_{t}\right)\le 2\left[\frac{m}{2}\right].$$
In Section
$2$
, we characterize the classical homogeneous models above by their ranks. More precisely, we prove Theorem 1. Let
$M$
be a
${C}^{\infty}$
closed manifold of dimension
$m$
and
${\phi}_{t}$
be a geometric Anosov flow with
${C}^{\infty}$
distributions on
$M$
, we have (i) if rank
$\left({\phi}_{t}\right)=0$
, then up to a constant change of time scale,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent to the suspension of a hyperbolic infranilautomorphism ; (ii) if rank
$\left({\phi}_{t}\right)=2\left[\frac{m}{2}\right]$
, then up to finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent to a canonical perturbation of the geodesic flow on a locally symmetric Riemannian manifold of strictly negative curvature.

A canonical perturbation of a smooth flow with generator
$X$
is (by definition) the flow of the field
$\frac{X}{1+\alpha \left(X\right)}$
, where
$\alpha $
is a
${C}^{\infty}$
closed
$1$
-form such that
$1+\alpha \left(X\right)>0.$
It should be mentioned that Theorem
$1.$
is just a more or less direct reformulation of the results of [BFL2], [BL] and [Plan].

Although there exist algebraic models of geometric Anosov flows with rank between
$0$
and
$2\left[\frac{m}{2}\right]$
, none of them is of dimension five. In fact, we prove the following Theorem 2. Let
$M$
be a closed manifold of dimension five and
${\phi}_{t}$
be a geometric Anosov flow with
${C}^{\infty}$
distributions on
$M$
, then (i) either, up to a constant change of time scale and finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent to the suspension of a symplectic hyperbolic automorphism of
${\mathbb{T}}^{4}$
; (ii) or, up to finite covers,
${\phi}_{t}$
is
${C}^{\infty}$
flow equivalent to a canonical perturbation of the geodesic flow on a three dimensional Riemannian manifold of constant negative curvature.

In the appendix, two lemmas are proved, which are used in the proof of Theorem
$2$
. Lemma
$A$
is about the completeness of a linear connection and Lemma
$B$
is about the time change of an Anosov flow with
${C}^{\infty}$
distributions. If
$M$
admits a geometric Anosov flow, then the dimension of
$M$
must be odd (see Section
$2$
). In dimension three, an Anosov flow with
${C}^{\infty}$
distributions is geometric iff it preserves a volume form (see [HK]). Such flows are classified by É. Ghys (see [Gh]). Here Theorem 2. gives a classification for the case of dimension five. We should mention that such five dimensional flows are also studied in [FK] with the purpose to understand the contact case.

Beginning with dimension seven, we can find many algebraic models of geometric Anosov flows, which are neither contact nor suspensions (see [To]). The situation will then become much more complex and a classification is still out of reach at the moment. Indeed, our proof of Theorem
$2.$
is quite specific to the case of dimension five.

2. Preliminaries. 2.1. Some generalities.

Let
${\phi}_{t}$
be an Anosov flow with
${C}^{\infty}$
distributions on a
${C}^{\infty}$
closed manifold
$M$
. Denote by
$X$
the generator of this flow. For each
${C}^{\infty}$
$2$
-form
$\omega $
on
$M$
, denote by Ker
$\omega $
the kernel of
$\omega $
, i.e. Ker
$\omega :=\{y\in TM|{i}_{y}\omega =0\}.$
Let us prove at first the following Lemma 2.1.1. Under the notations above,
${\phi}_{t}$
is geometric, iff it preserves a
${C}^{\infty}$
$2$
-form with
$\mathbb{R}X$
as kernel.

Proof. Suppose that
${\phi}_{t}$
is geometric. Denote by
$g$
a
${C}^{\infty}$
${\phi}_{t}$
-invariant pseudo-Riemannian metric. Then by the Anosov property of
${\phi}_{t}$
, we get
$$g(X,{E}^{\pm})=0,g({E}^{\pm},{E}^{\pm})=0.$$
Let
$J$
be the section of
${T}^{*}M\otimes TM$
, such that
$$J\left(X\right)=0,J\left({u}^{\pm}\right)=\pm {u}^{\pm},\forall {u}^{\pm}\in {E}^{\pm}.$$
Then
$g(J\cdot ,\cdot )$
is easily seen to be a
${C}^{\infty}$
${\phi}_{t}$
-invariant
$2$
-form, denoted by
$\omega $
. Since
$g$
is non-degenerate, then so is
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
. Again by the Anosov property, we get
${i}_{X}\omega =0.$
So the kernel of
$\omega $
is
$\mathbb{R}X$
.

Suppose that
${\phi}_{t}$
preserves a
${C}^{\infty}$
$2$
-form
$\Theta $
, such that Ker
$\Theta =\mathbb{R}X.$
Then there exists a unique
${\phi}_{t}$
-invariant symmetric
$(0,2)$
-tensor
$g$
, such that
$$g(X,X)=1,g(X,{u}^{\pm})=0,$$
$$g({u}^{+},{u}^{-})=g({u}^{-},{u}^{+})=\Theta ({u}^{+},{u}^{-}),$$
$$g({u}^{\pm},{v}^{\pm})=0,\forall {u}^{\pm},{v}^{\pm}\in {E}^{\pm}.$$
Since Ker
$\Theta =\mathbb{R}X$
, then
$g$
is non-degenerate. So
$g$
is a pseudo-Riemannian metric. Thus
${\phi}_{t}$
is geometric.
$\square $
We deduce that the following Anosov flows with
${C}^{\infty}$
distributions are geometric :

(i). Contact Anosov flows with
${C}^{\infty}$
distributions.

(ii). Suspensions of symplectic hyperbolic infranilautomorphisms.

(iii). Three dimensional volume preserving Anosov flows with
${C}^{\infty}$
distributions.

(see [HK]).

In [To], P. Tomter constructed explicitly a seven dimensional Anosov flow, which is indeed geometric. By generalizing his ideas, we can then construct many non-usual algebraic models of geometric Anosov flows. The following lemma gives another way to construct such flows Lemma 2.1.2. Under the notations above, if
${\phi}_{t}$
is geometric, then for each
${C}^{\infty}$
$1$
-form
$\beta $
, such that
${\mathcal{\mathcal{L}}}_{X}d\beta =0$
and
$\beta \left(X\right)>0,$
the flow of
$\frac{X}{\beta \left(X\right)}$
is also a geometric Anosov flow with
${C}^{\infty}$
distributions.

Proof. Denoted by
${\phi}_{t}^{\beta}$
the flow of
$\frac{X}{\beta \left(X\right)}.$
Then by Lemma
$B$
proved in the appendix,
${\phi}_{t}^{\beta}$
is also an Anosov flow with
${C}^{\infty}$
distributions.

Since
${\phi}_{t}$
is geometric, then by Lemma
$\mathrm{2.1.1}$
, it preserves a
${C}^{\infty}$
$2$
-form
$\omega $
, such that Ker
$\omega =\mathbb{R}X.$
In particular, we have
${i}_{X}\omega =0.$
Then
$${i}_{X}d\omega ={\mathcal{\mathcal{L}}}_{X}\omega -d{i}_{X}\omega =0.$$
Thus
$${\mathcal{\mathcal{L}}}_{{X}_{\beta}}\omega ={i}_{{X}_{\beta}}d\omega +d{i}_{{X}_{\beta}}\omega =0.$$
So
${\phi}_{t}^{\beta}$
preserves also
$\omega $
and Ker
$\omega =\mathbb{R}{X}_{\beta}.$
Then by Lemma
$\mathrm{2.1.1}$
,
${\phi}_{t}^{\beta}$
is also geometric.
$\square $
Let
${\phi}_{t}$
be as above and geometric. Since
${\phi}_{t}$
preserves a
${C}^{\infty}$
$2$
-form
$\omega $
, such that Ker
$\omega =\mathbb{R}X,$
then
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
is non-degenerate. By the Anosov property of
${\phi}_{t}$
, we get
$\omega ({E}^{\pm},{E}^{\pm})=0$
. So
${E}^{+}$
and
${E}^{-}$
are both Lagrangian subspaces of
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
. We deduce that
${E}^{+}$
and
${E}^{-}$
have the same dimension, denoted by
$n$
. So the dimension of
$M$
is odd.

It is easily seen that
$\lambda \wedge \left({\wedge}^{n}\omega \right)$
is a
${\phi}_{t}$
-invariant volume form. So
${\phi}_{t}$
is topologically transitive (see [HaK]). Denote by
$\nu $
the probability defined by this volume form. Then by the Multiplicative Ergodic Theorem of Oseledec, there exists a
$\nu $
-conull
${\phi}_{t}$
-invariant subset
$\Lambda $
of
$M$
and a decomposition of
$TM{|}_{\Lambda}$
into
${\phi}_{t}$
-invariant measurable subbundles,
$$TM{|}_{\Lambda}={\oplus}_{0\le i\le k}{L}_{i},$$
such that for
$\forall $
${u}_{i}\in {L}_{i}$
,
$${lim}_{t\to \pm \infty}{t}^{-1}log\parallel D{\phi}_{t}\left({u}_{i}\right)\parallel ={\chi}_{i},$$
where
${L}_{i}$
is called a Lyapunov subbundle and
${\chi}_{i}$
its Lyapunov exponent.

${L}_{i}$
is also denoted by
${L}_{{\chi}_{i}}$
.

The following lemma is due to Feres and Katok (see [FK]).

Lemma 2.1.3. Under the notations above, if
$\tau $
is a
${C}^{\infty}$
${\phi}_{t}$
-invariant tensor field of type
$(0,r)$
and
${\sum}_{1\le l\le r}{\chi}_{{i}_{l}}\ne 0$
, then
$\tau ({L}_{{i}_{1}},\cdots ,{L}_{{i}_{r}})=0.$
2.2. Proof of theorem 1.

Let
${\phi}_{t}$
be a geometric Anosov flow with
${C}^{\infty}$
distributions and suppose that
${E}^{+}$
is of dimension
$n$
. Then by the previous subsection, we have
$m=2n+1,$
where
$m$
is the dimension of
$M$
.

If rank
$\left({\phi}_{t}\right)=2\left[\frac{m}{2}\right](=2n),$
then
${\wedge}^{n}d\lambda \not\equiv 0.$
So the
${\phi}_{t}$
-invariant
${C}^{\infty}$
$m$
-form
$\lambda \wedge \left({\wedge}^{n}d\lambda \right)$
is not identically zero. Since
${\phi}_{t}$
is topologically transitive, then
$\exists c\ne 0$
, such that
$\lambda \wedge \left({\wedge}^{n}d\lambda \right)=c\cdot \lambda \wedge \left({\wedge}^{n}\omega \right).$
We deduce that
$\lambda \wedge \left({\wedge}^{n}d\lambda \right)$
vanishes nowhere, i.e.
$\lambda $
is a contact form. Then by the classification of contact Anosov flows with
${C}^{\infty}$
distributions (see [BFL2]), the case
$\left(ii\right)$
of Theorem
$1$
. is true.

If rank
$\left({\phi}_{t}\right)=0,$
then
$d\lambda \equiv 0$
. So
${E}^{+}\oplus {E}^{-}$
is integrable. By Theorem
$3.1.$
of [Plan],
${\phi}_{t}$
admits a global section
$\Sigma $
(a global section is by definition a connected closed submanifold of codimension
$1$
which intersects each orbit transversally). Denote by
$\tau $
the first return time function of
$\Sigma $
. Then the Poincaré map of
$\Sigma $
is by definition
$\psi :={\phi}_{\tau (\cdot )}(\cdot ).$
For the sake of completeness, we prove in detail the following.

Lemma 2.2.1. The previous Poincaré map
$\psi $
is a
${C}^{\infty}$
Anosov diffeomorphism with
${C}^{\infty}$
distributions, topologically transitive and preserving a
${C}^{\infty}$
linear connection.

Proof. Recall that
${E}^{+}\oplus \mathbb{R}X$
and
${E}^{-}\oplus \mathbb{R}X$
are called the unstable and stable distributions of
${\phi}_{t}$
. They are both integrable (see [HaK]). Denote by
${\mathcal{\mathcal{F}}}^{+,0}$
and
${\mathcal{\mathcal{F}}}^{-,0}$
their corresponding foliations. Since
$\Sigma $
is transversal to
$X$
, then
${\mathcal{\mathcal{F}}}^{+,0}\cap \Sigma $
gives a
${C}^{\infty}$
foliation on
$\Sigma $
. Denote by
${E}_{\Sigma}^{+}$
its
${C}^{\infty}$
tangent distribution. Similarly we denote by
${E}_{\Sigma}^{-}$
the tangent distribution of
${\mathcal{\mathcal{F}}}^{-,0}\cap \Sigma $
.

Since
${\mathcal{\mathcal{F}}}^{+,0}$
is
${\phi}_{t}$
-invariant, then the foliation
${\mathcal{\mathcal{F}}}^{+,0}\cap \Sigma $
is
$\psi $
-invariant. We deduce that
${E}_{\Sigma}^{+}$
is
$\psi $
-invariant. Similarly
${E}_{\Sigma}^{-}$
is also
$\psi $
-invariant.

Fix a Riemannian metric on
$M$
. Since
${E}^{+}{|}_{\Sigma}$
and
${E}_{\Sigma}^{+}$
are both transversal to
$\mathbb{R}X$
(along
$\Sigma $
), then we can project
${E}_{\Sigma}^{+}$
onto
${E}^{+}{|}_{\Sigma}$
with respect to
$\mathbb{R}X$
.

Denote this projection by
${P}^{+}$
. Since
$\Sigma $
is compact, then we can find two positive constants
${M}_{1}$
and
${M}_{2}$
, such that
$${M}_{1}\parallel u\parallel \le \parallel {P}^{+}u\parallel \le {M}_{2}\parallel u\parallel ,\forall u\in {E}_{\Sigma}^{+}.$$
For
$\forall x\in \Sigma $
, take
$u\in ({E}_{\Sigma}^{+}{)}_{x}$
. Then
$u$
splitts uniquely as
$$u={P}_{x}^{+}\left(u\right)+a{X}_{x},a\in \mathbb{R}.$$
We have
$$\left({D}_{x}\psi \right)\left(u\right)=\left({D}_{x}\tau \right(u)+a){X}_{\psi \left(x\right)}+\left({D}_{x}{\phi}_{\tau \left(x\right)}\right)\left({P}_{x}^{+}u\right).$$
Thus
$$\left({D}_{x}\psi \right)\left(u\right)=\left({P}_{\psi \left(x\right)}^{+}{)}^{-1}\right[\left({D}_{x}{\phi}_{\tau \left(x\right)}\right)\left({P}_{x}^{+}u\right)].$$
So for
$\forall n\in \mathbb{N},$
$$\left({D}_{x}{\psi}^{n}\right)\left(u\right)=\left({P}_{{\psi}^{n}\left(x\right)}^{+}{)}^{-1}\right({D}_{x}{\phi}_{\tau \left(x\right)+\cdots +\tau \left({\psi}^{n-1}\right(x\left)\right)}\left)\right({P}_{x}^{+}u).$$
We have a similar formula for
${E}_{\Sigma}^{-}$
. Now a simple estimation shows that
$\psi $
is an Anosov diffeomorphism with
${C}^{\infty}$
distributions,
${E}_{\Sigma}^{+}$
and
${E}_{\Sigma}^{-}$
.

Since
${\phi}_{t}$
is geometric, then it preserves a
${C}^{\infty}$
$2$
-form
$\omega $
whose kernel is
$\mathbb{R}X.$
Restrict
$\omega $
to a
${C}^{\infty}$
2-form
${\omega}_{\Sigma}$
on
$\Sigma $
. Then using the fact that
${i}_{X}\omega =0$
,
${\omega}_{\Sigma}$
is seen to be
$\psi $
-invariant. Since
${\omega}_{\Sigma}$
is non-degenerate, then
$\psi $
preserves a volume form. We deduce that
$\psi $
is topological transitive.

Now a direct calculation shows the existence of a
${C}^{\infty}$
$\psi $
-invariant connection
$\nabla $
on
$\Sigma $
, such that
$$\nabla {\omega}_{\Sigma}=0,\nabla {E}_{\Sigma}^{\pm}\subseteq {E}_{\Sigma}^{\pm},$$
$${\nabla}_{{Y}^{\pm}}{Y}^{\mp}={P}_{\Sigma}^{\mp}[{Y}^{\pm},{Y}^{\mp}],\forall {Y}^{\pm}\subseteq {E}_{\Sigma}^{\pm}.$$
$\square $
By [BL] and the previous lemma,
$\psi $
is seen to be
${C}^{\infty}$
-conjugate to a hyperbolic infranilautomorphism. Then by Corollary
$3.5.$
of [Plan], the integral manifolds of
${E}^{+}\oplus {E}^{-}$
are compact. So we can take a leaf of
${E}^{+}\oplus {E}^{-}$
as
$\Sigma $
. With respect to this section, the first return time function is contant.

Then Theorem
$1.$
follows.

3. Homogeneity in dimension 5.

3.1. Remarks about rank 0 and 4.

Now we begin to prove Theorem
$2$
. Suppose that
${\phi}_{t}$
satisfies the conditions in Theorem
$2.$
Denote by
$X$
the generator of
${\phi}_{t}$
and by
$\nu $
its invariant volume form. By Lemma
$\mathrm{2.1.1}$
,
${\phi}_{t}$
preserves a
${C}^{\infty}$
$2$
-form
$\omega $
, such that Ker
$\omega =\mathbb{R}X$
, i.e.
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
is non-degenerate. Thus by Lemma
$\mathrm{2.1.3}$
, if
$a$
is a Lyapunov exponent of
${\phi}_{t}$
with respect to
$\nu $
, then so is
$-a$
. Since
$M$
is of dimension five, then there exist only two possibilities for the Lyapunov exponents of
${\phi}_{t}$
,
$$\left(i\right).-a<0<a,$$
$$\left(ii\right).-a<-b<0<b<a.$$
Lemma 3.1.1. Under the notations above, we have
$d\omega \equiv 0.$
Proof. Since
$\omega $
is
${\phi}_{t}$
-invariant, then
$${\mathcal{\mathcal{L}}}_{X}\omega =0,{i}_{X}\omega =0.$$
So
$${i}_{X}d\omega ={\mathcal{\mathcal{L}}}_{X}\omega -d{i}_{X}\omega =0,$$
i.e.

$$d\omega (X,\cdot ,\cdot )\equiv 0.$$
If
${\phi}_{t}$
has only one positive Lyapunov exponent, i.e. the case
$\left(i\right)$
above is true, then by Lemma
$\mathrm{2.1.3}$
,
$d\omega \equiv 0$
.

If the case
$\left(ii\right)$
above is verified, then the Lyapunov subbundles are all of dimension one. Again by Lemma
$\mathrm{2.1.3}$
,
$d\omega \equiv 0$
.
$\square $
The rank of
${\phi}_{t}$
can only be
$0,$
$2,$
or
$4$
. If rank
$\left({\phi}_{t}\right)=4$
, then by Theorem
$1$
,
${\phi}_{t}$
is finitely covered by a canonical perturbation of the geodesic flow on a three dimensional locally symmetric space of strictly negative curvature.

But such a Riemannan space must have contant negative curvature. So Theorem
$2.$
is true in this case.

If rank
$\left({\phi}_{t}\right)=0$
, then by Theorem
$1$
, up to a constant change of time scale,
${\phi}_{t}$
is finitely covered by the suspension of a four dimensional hyperbolic nilautomorphism. But in dimension four, such a hyperbolic nilautomorphism must be
$({\mathbb{T}}^{4},\overline{A})$
, where
$\overline{A}$
is the induced application of an invertible hyperbolic matrix
$A$
in
$GL(4,\mathbb{Z}).$
By Lemma
$\mathrm{3.1.1}$
,
$\overline{A}$
is in addition symplectic. So Theorem
$2.$
is true in this case.

So to prove Theorem
$2$
, we need only prove the non-existence of the case of rank
$2$
. In the following, we suppose on the contrary that there exists a rank
$2$
geometric Anosov flow
${\phi}_{t}$
with
${C}^{\infty}$
distributions on a closed five dimensional manifold
$M$
. In Subsection
$3.2.$
below, this flow
${\phi}_{t}$
is proved to be homogeneous. Then in Sections
$4,$
$5$
and
$6$
, all the possible homogeneous models are eliminated by some dynamical and Lie theoretical arguments.

3.2. Homogeneity in rank 2.

Denote by
$\lambda $
the canonical
$1$
-form of
${\phi}_{t}$
. Since rank
$\left({\phi}_{t}\right)=2$
, then
$$d\lambda \not\equiv 0,d\lambda \wedge d\lambda \equiv 0.$$
Define
$U:=\{x\in M|(d\lambda {)}_{x}\ne 0\}$
. Since
${\phi}_{t}$
is topologically transitive and preserves
$d\lambda $
, then
$U$
is a
${\phi}_{t}$
-invariant open-dense subset of
$M$
. Denote by
$\pi $
the projection of
$TM$
onto
$M$
. We define
$${E}_{1}:=\{y\in {E}^{+}\oplus {E}^{-}|{i}_{y}d\lambda =0,\pi \left(y\right)\in U\}$$
and
$${E}_{1}^{\pm}:={E}_{1}\cap {E}^{\pm}.$$
Since
${\phi}_{t}$
preserves
$d\lambda $
,
${E}^{+}$
and
${E}^{-}$
, then
${E}_{1}$
,
${E}_{1}^{+}$
and
${E}_{1}^{-}$
are all
${\phi}_{t}$
-invariant.

Lemma 3.2.1.
${E}_{1}$
is a two dimensional
${C}^{\infty}$
subbundle of
$TM{|}_{U}.$
${E}_{1}^{+}$
and
${E}_{1}^{-}$
are both one dimensional
${C}^{\infty}$
subbundles of
$TM{|}_{U}$
. In addition,
${E}_{1}={E}_{1}^{+}\oplus {E}_{1}^{-}.$
Proof. Since
$d\lambda (X,\cdot )\equiv 0$
, then we view
$d\lambda $
as a section of
$({E}^{+}\oplus {E}^{-}{)}^{*}$
.

For
$\forall x\in U,$
we have
$(d\lambda {)}_{x}\ne 0.$
So near
$x$
, we can find
${C}^{\infty}$
local sections of
${E}^{+}\oplus {E}^{-}$
,
${V}_{1}$
and
${V}_{2}$
, such that
$$d\lambda ({V}_{1},{V}_{2})\equiv 1.$$
Denote by
$V$
the
${C}^{\infty}$
local distribution spanned by
${V}_{1}$
and
${V}_{2}$
and denote by
${V}^{\perp}$
the orthogonal of
$V$
with respect to
$d\lambda {|}_{{E}^{+}\oplus {E}^{-}}$
.

Since
$d\lambda {|}_{V}$
is non-degenerate, then
$$V\cap {V}^{\perp}=\left\{0\right\}.$$
For
$\forall u\in {E}^{+}\oplus {E}^{-}$
, such that
$\pi \left(u\right)$
near
$x$
, the following vector is contained in
${V}^{\perp}$
,
$$P\left(u\right):=u-d\lambda (u,{V}_{2}(\pi \left(u\right)\left)\right)\cdot {V}_{1}\left(\pi \right(u\left)\right)-d\lambda \left({V}_{1}\right(\pi \left(u\right)),u)\cdot {V}_{2}\left(\pi \right(u\left)\right).$$
So we deduce that locally
$${E}^{+}\oplus {E}^{-}=V\oplus {V}^{\perp}.$$
In addition, we see that the projection of
${E}^{+}\oplus {E}^{-}$
onto
${V}^{\perp}$
with respect to this direct sum decomposition is
${C}^{\infty}$
. So
${V}^{\perp}$
must be also
${C}^{\infty}$
.

Since
$d\lambda {|}_{V}$
is non-degenerate and
$d\lambda \wedge d\lambda \equiv 0$
, then
$$d\lambda {|}_{{V}^{\perp}}\equiv 0.$$
Thus locally
$${E}_{1}={V}^{\perp}.$$
In particular,
${E}_{1}$
is
${C}^{\infty}$
and two dimensional. Since
$d\lambda ({E}^{\pm},{E}^{\pm})\equiv 0$
, then for
$\forall u\in {E}_{1}$
, its projections to
${E}^{+}$
and
${E}^{-}$
are also contained in
${E}_{1}$
. Thus
$${E}_{1}={E}_{1}^{+}\oplus {E}_{1}^{-}.$$
If for some
$x$
in
$U$
,
$({E}_{1}^{+}{)}_{x}$
is of dimension two, then
$(d\lambda {)}_{x}$
will be zero, which contradicts our assumption. Thus
${E}_{1}^{+}$
and
${E}_{1}^{-}$
are both of dimension one. In addition, they are evidently
${C}^{\infty}.$
$\square $
Lemma 3.2.2. Under the notations above, the Lyapunov decomposition of
${\phi}_{t}$
is smooth.

Proof. By definition, the Lyapunov decomposition of
${\phi}_{t}$
is called smooth, if there exists a
${C}^{\infty}$
decomposition of
$TM$
and a
${\phi}_{t}$
-invariant
$\nu $
-conull subset
$\overline{\Lambda}$
of
$M$
, such that the Lyapunov decomposition is defined on
$\overline{\Lambda}$
and coincides on
$\overline{\Lambda}$
with this
${C}^{\infty}$
decomposition.

If
${\phi}_{t}$
has only one positive Lyapunov exponent, then its Lyapunov decomposition is just the restriction of that of Anosov onto a
$\nu $
-conull subset of
$M$
. Since
${\phi}_{t}$
has
${C}^{\infty}$
distributions, then the lemma is true in this case.

Suppose that
${\phi}_{t}$
has
$2$
positive Lyapunov exponents
$b<a$
. Then there exists a
$\nu $
-conull subset
$\Lambda $
of
$M$
, such that
$$TM{|}_{\Lambda}={L}_{1}^{+}\oplus {L}_{1}^{-}\oplus {L}_{2}^{+}\oplus {L}_{2}^{+}\oplus \mathbb{R}X,$$
where
${L}_{1}^{\pm}$
and
${L}_{2}^{\pm}$
are the Lyapunov subbundles with exponents
$\pm b$
and
$\pm a$
(see Subsections
$2.1.$
and
$3.1$
).

Since
$U$
is a
${\phi}_{t}$
-invariant open-dense subset and the flow is
$\nu $
-ergodic, then
$U$
is
$\nu $
-conull. So
$\nu (U\cap \Lambda )=1.$
Take
$x\in U\cap \Lambda $
and
${l}_{i}^{\pm}\in ({L}_{i}^{\pm}{)}_{x},i=1,2.$
By Lemma
$\mathrm{2.1.3}$
, we have
$$d\lambda ({l}_{1}^{+},{l}_{2}^{-})=0,d\lambda ({l}_{1}^{-},{l}_{2}^{+})=0.$$
Since
$(d\lambda {)}_{x}\ne 0$
, then we must have
$d\lambda ({l}_{1}^{+},{l}_{1}^{-})\ne 0$
or
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})\ne 0.$
Suppose that
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})\ne 0.$
Since
$d\lambda \wedge d\lambda \equiv 0$
, then we must have
$d\lambda ({l}_{1}^{+},{l}_{1}^{-})=0$
. So
${l}_{1}^{+}\in ({E}_{1}^{+}{)}_{x}$
, i.e.
$({L}_{1}^{+}{)}_{x}=({E}_{1}^{+}{)}_{x}.$
Similarly, we get
$({L}_{1}^{-}{)}_{x}=({E}_{1}^{-}{)}_{x}.$
Since
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
is non-degenerate and
$\omega ({l}_{1}^{+},{l}_{2}^{-})=0$
, then
$\omega ({l}_{1}^{+},{l}_{1}^{-})\ne 0$
.

We deduce that
$(d\lambda \wedge \omega {)}_{x}\ne 0.$
So
$\lambda \wedge d\lambda \wedge \omega $
is not identically zero. Then by the topological transitivity of
${\phi}_{t}$
,
$\exists c\ne 0$
, such that
$$\lambda \wedge d\lambda \wedge \omega =c\cdot \lambda \wedge \omega \wedge \omega .$$
So
$\lambda \wedge d\lambda \wedge \omega $
is nowhere zero. We deduce that
$d\lambda $
vanishes nowhere and
$U=M$
. In particular,
${E}_{1}$
and
${E}_{1}^{\pm}$
are all
${C}^{\infty}$
subbundles of
$TM.$
So by the arguments above, for
$\forall x\in \Lambda ,$
$({E}_{1}^{\pm}{)}_{x}=({L}_{1}^{\pm}{)}_{x}$
or
$({L}_{2}^{\pm}{)}_{x}.$
Define
$${\Lambda}_{i}:=\{y\in \Lambda |{E}_{1}^{\pm}\left(y\right)={L}_{i}^{\pm}\left(y\right)\},i=1,2.$$
Then
${\Lambda}_{1}$
and
${\Lambda}_{2}$
are both mesurable and
${\phi}_{t}$
-invariant. So one of them is
$\nu $
-conull. Suppose that
$\nu \left({\Lambda}_{1}\right)=1$
. Then we have
${E}_{1}^{\pm}{|}_{{\Lambda}_{1}}={L}_{1}^{\pm}{|}_{{\Lambda}_{1}}.$
By Lemma
$\mathrm{2.1.3},$
we have on
${\Lambda}_{1}$
,
$${L}_{2}^{\pm}=\left[Ker\right(v\mapsto \omega ({L}_{1}^{\mp},v)\left)\right]\cap {E}^{\pm}.$$
Define two
${\phi}_{t}$
-invariant
${C}^{\infty}$
subbundles of
$TM$
as follows,
$${E}_{2}^{\pm}:=\left[Ker\right(v\mapsto \omega ({E}_{1}^{\mp},v)\left)\right]\cap {E}^{\pm}.$$
Then we have
${E}_{2}^{\pm}{|}_{{\Lambda}_{1}}={L}_{2}^{\pm}{|}_{{\Lambda}_{1}}.$
So the Lyapunov decomposition coincides on a conull set with a
${C}^{\infty}$
decomposition of
$TM$
.

If
$\nu \left({\Lambda}_{2}\right)=1$
, then similar argument works.
$\square $
Remark 3.2.1. If
${\phi}_{t}$
has two positive Lyapunov exponents, then by the proof of Lemma
$\mathrm{3.2.2}$
, we have four
${C}^{\infty}$
line bundles on
$M$
,
${E}_{1}^{\pm}$
and
${E}_{2}^{\pm}$
.

We shall call
$$TM=\mathbb{R}X\oplus {E}_{1}^{+}\oplus {E}_{1}^{-}\oplus {E}_{2}^{+}\oplus {E}_{2}^{-}$$
the
${C}^{\infty}$
Lyapunov decomposition of
${\phi}_{t}$
. The Lyapunov exponents of the corresponding Lyapunov subbundles of
${E}_{1,2}^{\pm}$
are called respectively the Lyapunov exponents of
${E}_{1,2}^{\pm}$
.
${E}_{i}^{\pm}$
are also denoted by
${E}_{{a}_{i}^{\pm}}$
, where
${a}_{i}^{\pm}$
are the Lyapunov exponents of
${E}_{i}^{\pm}$
. If
$a$
is not a Lyapunov exponent of
${\phi}_{t}$
, then by convention,
${E}_{a}:=\left\{0\right\}.$
If
${\phi}_{t}$
has only one positive Lyapunov exponent, then the
${C}^{\infty}$
Lyapunov decomposition of
${\phi}_{t}$
means
$TM=\mathbb{R}X\oplus {E}^{+}\oplus {E}^{-}.$
Now we can construct a
${C}^{\infty}$
connection
$\nabla $
, adapted to our situation.

If the flow has two positive Lyapunov exponents, then there exists a unique
${C}^{\infty}$
connection
$\nabla $
on
$M$
, such that
$$\nabla X=0,\nabla \omega =0,\nabla {E}_{i}^{\pm}\subseteq {E}_{i}^{\pm},$$
$${\nabla}_{{Y}_{j}^{\pm}}{Y}_{i}^{\mp}={P}_{i}^{\mp}[{Y}_{j}^{\pm},{Y}_{i}^{\mp}],\forall i,j\in \{1,2\},$$
$${\nabla}_{X}{Y}_{i}^{\pm}:=[X,{Y}_{i}^{\pm}]\pm {a}_{i}{Y}_{i}^{\pm},\forall {Y}_{i}^{\pm}\subseteq {E}_{i}^{\pm},$$
where
${a}_{i}$
denotes the Lyapunov exponent of
${E}_{i}^{+}$
and
${P}_{i}^{\pm}$
represent the projections of
$TM$
onto
${E}_{i}^{\pm}$
.

If
${\phi}_{t}$
has only one positive Lyapunov exponent
$a$
, then we get a similar
${C}^{\infty}$
connection
$\nabla $
, such that
$$\nabla X=0,\nabla \omega =0,\nabla {E}^{\pm}\subseteq {E}^{\pm},$$
$${\nabla}_{{Y}^{\pm}}{Y}^{\mp}={P}^{\mp}[{Y}^{\pm},{Y}^{\mp}],$$
$${\nabla}_{X}{Y}^{\pm}=[X,{Y}^{\pm}]\pm a{Y}^{\pm},\forall {Y}^{\pm}\subseteq {E}^{\pm},$$
where
${P}^{\pm}$
represent the projections of
$TM$
onto
${E}^{\pm}$
.

If a transformation of
$M$
preserves
$X$
,
$\omega $
, and the
${C}^{\infty}$
Lyapunov decomposition, then it preserves also
$\nabla $
. In particular,
$\nabla $
is
${\phi}_{t}$
-invariant.

Lemma 3.2.3. Under the notations above, if
$K$
be a
${C}^{\infty}$
${\phi}_{t}$
-invariant tensor field of type
$(1,l)$
on
$M$
, then
$K({E}_{{a}_{1}},\cdots ,{E}_{{a}_{l}})\subseteq {E}_{{a}_{1}+\cdots +{a}_{l}}$
, where
${a}_{1},\cdots ,{a}_{l}$
are arbitrary Lyapunov exponents of
${\phi}_{t}$
. In addition, we have
$\nabla K=0$
.

Proof. By the same arguments as in Lemma
$2.5.$
of [BFL1], we get for arbitrary Lyapunov exponents,
${a}_{1},\cdots ,{a}_{l}$
,
$$K({E}_{{a}_{1}},\cdots ,{E}_{{a}_{l}})\subseteq {E}_{{a}_{1}+\cdots +{a}_{l}}.$$
Now let
${Z}_{1},\cdots ,{Z}_{l}$
be the sections of the smooth subbundles,
${E}_{{a}_{1}},\cdots ,{E}_{{a}_{l}}$
.

We have
$$\left({\nabla}_{X}K\right)({Z}_{1},\cdots ,{Z}_{l})={\nabla}_{X}\left(K\right({Z}_{1},\cdots ,{Z}_{l}\left)\right)-{\sum}_{1\le i\le l}K({Z}_{1},\cdots ,{\nabla}_{X}{Z}_{i},\cdots ,{Z}_{l})$$
$$=[X,K({Z}_{1},\cdots ,{Z}_{l}\left)\right]+\left({\sum}_{1\le i\le l}{a}_{i}\right)K({Z}_{1},\cdots ,{Z}_{l})-K\left(\right[X,{Z}_{1}]+{a}_{1}{Z}_{1},\cdots )\cdots $$
$$=[X,K({Z}_{1},\cdots ,{Z}_{l}\left)\right]-{\sum}_{1\le i\le l}K({Z}_{1},\cdots ,[X,{Z}_{i}],\cdots ,{Z}_{l})$$
$$=\left({\mathcal{\mathcal{L}}}_{X}K\right)({Z}_{1},\cdots ,{Z}_{l})=0.$$
So
${\nabla}_{X}K=0.$
Since
$\nabla K$
is a
${\phi}_{t}$
-invariant tensor of type
$(1,l+1)$
, then we have
$$\left({\nabla}_{{E}_{{a}_{0}}}K\right)({E}_{{a}_{1}},\cdots ,{E}_{{a}_{l}})\subseteq {E}_{{a}_{0}+\cdots +{a}_{l}}.$$
Since for
$\forall a\in \mathbb{R},$
$\nabla {E}_{a}\subseteq {E}_{a}$
, then
$$\left({\nabla}_{{E}_{{a}_{0}}}K\right)({E}_{{a}_{1}},\cdots ,{E}_{{a}_{l}})\subseteq {E}_{{a}_{1}+\cdots +{a}_{l}}.$$
So if
${a}_{0}\ne 0$
, we have
${\nabla}_{{E}_{{a}_{0}}}K=0.$
We deduce that
$\nabla K=0.$
$\square $
Denote by
$T$
the torsion of
$\nabla $
and by
$R$
its curvature tensor. Then by the previous lemma, we have
$$\nabla T=0,\nabla R=0,T({E}_{{a}_{1}},{E}_{{a}_{2}})\subseteq {E}_{{a}_{1}+{a}_{2}};$$
If
${a}_{1}+{a}_{2}\ne 0$
, then
$$R({E}_{{a}_{1}},{E}_{{a}_{2}})=0.$$
Denote by
$\stackrel{~}{M}$
the universal cover of
$M$
and by
$\stackrel{~}{\nabla}$
the lifted connection of
$\nabla $
. Then we have Lemme 3.2.4. Under the notations above, the group of
$\stackrel{~}{\nabla}$
-affine transformations of
$\stackrel{~}{M}$
, which preserve
$\stackrel{~}{X}$
,
$\stackrel{~}{\omega}$
, and the lifted
${C}^{\infty}$
Lyapunov decomposition, is a Lie group acting transitively on
$\stackrel{~}{M}$
.

Proof. By Proposition
$2.7.$
of [BFL1], the
$\nabla $
-geodesics, tangent to
${E}^{+}$
or
${E}^{-}$
, are complete, i.e. defined on
$\mathbb{R}.$
Since
$\nabla T=0$
and
$\nabla R=0$
, then by Lemma
$A$
proved in the appendix,
$\nabla $
is complete. So
$\stackrel{~}{\nabla}$
is also complete.

Recall that
${E}_{a}:=\left\{0\right\},$
if
$a$
is not a Lyapunov exponent of
${\phi}_{t}.$
For
$\forall a\in \mathbb{R}$
, denote by
${\stackrel{~}{P}}_{a}$
the projection of
$T\stackrel{~}{M}$
onto
${\stackrel{~}{E}}_{a}.$
Since
$\nabla {E}_{a}\subseteq {E}_{a},$
then
${\stackrel{~}{P}}_{a}$
is
$\stackrel{~}{\nabla}$
-parallel. Thus
$\{\stackrel{~}{X},\stackrel{~}{\omega},{\stackrel{~}{P}}_{a}{\}}_{a\in \mathbb{R}}$
is a family of
$\stackrel{~}{\nabla}$
-parallel tensor fields. In addition, an application preserves
$\{{\stackrel{~}{P}}_{a}{\}}_{a\in \mathbb{R}}$
, iff it preserves the lifted
${C}^{\infty}$
Lyapunov decomposition. So the lemma follows from the following classical result (see [K-No]) :

Let
$N$
be a simply connected manifold,
${\nabla}_{1}$
be a complete connection on
$N$
and
$\mathcal{S}$
be a family of parallel tensor fields. If
${\nabla}_{1}{R}^{{\nabla}_{1}}=0$
and
${\nabla}_{1}{T}^{{\nabla}_{1}}=0$
, then the group of
${\nabla}_{1}$
-affine transformations which preserve
$\mathcal{S}$
is a Lie group and acts transitively on
$N$
.
$\square $
In the sense of the previous lemma,
${\phi}_{t}$
is called homogeneous. In particular, we deduce that
$d\lambda $
vanishes nowhere. So on
$M$
, we have always two
${C}^{\infty}$
${\phi}_{t}$
-invariant line bundles
${E}_{1}^{+}$
and
${E}_{1}^{-}$
, which are quite essential for the following discussions.

4. The case of 2 positive Lyapunov exponents 4.1. Preparations Now we begin to eliminate the possible homogeneous models. In this section, we suppose that
${\phi}_{t}$
has two positive Lyapunov exponents. Then by Remark
$\mathrm{3.2.1}$
, we have
$$TM=\mathbb{R}X\oplus {E}_{1}^{+}\oplus {E}_{2}^{+}\oplus {E}_{1}^{-}\oplus {E}_{2}^{-}.$$
Up to a constant change of time scale, we suppose that the Lyapunov exponents of
${E}_{1}^{+}$
and
${E}_{2}^{+}$
are respectively
$1$
and
$a.$
In this case, the underlying geometric structure of our system is
$${g}_{1}:=(X,{E}_{1}^{+},{E}_{2}^{+},{E}_{1}^{-},{E}_{2}^{-},\omega ).$$
Let
${G}^{\prime}$
be the isometry group of
${\stackrel{~}{g}}_{1}$
and
$\Gamma $
be the fundamental group of
$M$
. By Lemma
$\mathrm{3.2.4}$
,
${G}^{\prime}$
acts transitively on
$\stackrel{~}{M}.$
The group
$\Gamma $
is contained as a discrete subgroup in
${G}^{\prime}$
. Fix
$x\in \stackrel{~}{M}$
and denote by
${H}^{\prime}$
the isotropy subgroup of
$x$
. Let
${H}_{e}^{\prime}$
be the identity component of
${H}^{\prime}$
. Then we have the linear isotropy representation
$${H}_{e}^{\prime}\stackrel{i}{\hookrightarrow}GL\left({T}_{x}\stackrel{~}{M}\right)$$
$$h\mapsto {D}_{x}h.$$
Since each element of
${H}^{\prime}$
preserves
$\nabla $
, then
$i$
is injective. For
$\forall h\in {H}_{e}^{\prime}$
,
$${D}_{x}h\left({\stackrel{~}{X}}_{x}\right)={\stackrel{~}{X}}_{x},{D}_{x}h\left({\stackrel{~}{E}}_{x}^{\pm}\right)\subseteq {\stackrel{~}{E}}_{x}^{\pm}.$$
So in the following, we identify
$i\left(h\right)$
with its restriction to
$({\stackrel{~}{E}}^{+}\oplus {\stackrel{~}{E}}^{-}{)}_{x}$
.

Take a basis
$({l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
of
$({\stackrel{~}{E}}^{+}\oplus {\stackrel{~}{E}}^{-}{)}_{x}$
, such that
${l}_{1,2}^{\pm}\in ({\stackrel{~}{E}}_{1,2}^{\pm}{)}_{x}$
. Since each element
$h$
of
${H}_{e}^{\prime}$
preserves
${\stackrel{~}{g}}_{1}$
, then we have
$${D}_{x}h=\left(\begin{array}{cccc}{\lambda}_{1}& 0& 0& 0\\ 0& {\lambda}_{2}& 0& 0\\ 0& 0& \frac{1}{{\lambda}_{1}}& 0\\ 0& 0& 0& \frac{1}{{\lambda}_{2}}\end{array}\right).$$
So
$i\left({H}_{e}^{\prime}\right)$
is contained in a closed subgroup of
$GL\left({T}_{x}\stackrel{~}{M}\right)$
, which is isomorphic to
${\mathbb{R}}^{2}$
. So we can identify
${H}_{e}^{\prime}$
with
$i\left({H}_{e}^{\prime}\right)$
and we deduce that
${H}_{e}^{\prime}$
is isomorphic to
$0$
,
$\mathbb{R}$
or
${\mathbb{R}}^{2}$
. In any case, we have
${\pi}_{1}\left({H}_{e}^{\prime}\right)=0$
.

Let
${G}_{e}^{\prime}$
be the connected component of the identity of
${G}^{\prime}$
. Then it acts also transitively on
$\stackrel{~}{M}$
. Using the long exact sequence of homotopy, we get easily
$${H}_{e}^{\prime}={H}^{\prime}\cap {G}_{e}^{\prime},{\pi}_{1}\left({G}_{e}^{\prime}\right)=0.$$
Since
$\stackrel{~}{M}\sim ={G}^{\prime}/{H}^{\prime}$
, then
$\stackrel{~}{M}$
is naturally equipped a real analytic structure.

Since the geometric structure
${\stackrel{~}{g}}_{1}$
is
${G}^{\prime}$
-invariant, then
${\stackrel{~}{g}}_{1}$
is real analytic.

Thus by [Am] (see also [C-Q]), the local Killing fields of
${\stackrel{~}{g}}_{1}$
can be extended to global ones. Since
$\nabla $
is in addition complete, then
${H}^{\prime}$
is easily seen to have finitely many connected components. We deduce that
${G}^{\prime}$
has also finitely many connected components. So up to finite covers, we can suppose that
$\Gamma \subseteq {G}_{e}^{\prime}.$
Denote by
${\mathfrak{g}}^{\prime}$
and
${\mathfrak{h}}^{\prime}$
the Lie algebras of
${G}^{\prime}$
and
${H}^{\prime}$
. For
$\forall u\in {\mathfrak{g}}^{\prime}$
, we have an induced
${C}^{\infty}$
Killing field on
$\stackrel{~}{M}$
,
$${Y}^{u}:\stackrel{~}{M}\to T\stackrel{~}{M}$$
$$a\to \frac{d}{dt}{|}_{t=0}exp\left(tu\right)a.$$
Since
$\nabla $
is complete,
$\nabla R=0$
and
$\nabla T=0$
, then we have the following classical identification of vector spaces (see Theorem 2.8. of [K-No] Ch.X)
$$j:{\mathfrak{g}}^{\prime}\stackrel{\sim}{\mapsto}{T}_{x}\stackrel{~}{M}\oplus {\mathfrak{h}}^{\prime}$$
$$u\mapsto \left({Y}^{u}\right(x),({\stackrel{~}{\nabla}}_{{Y}^{u}}-{\mathcal{\mathcal{L}}}_{{Y}^{u}}\left){|}_{x}\right),$$
where
${\mathfrak{h}}^{\prime}$
has been identified with
$Di\left({\mathfrak{h}}^{\prime}\right)$
under
$Di$
.

Pushing forward by
$j$
the Lie algebra structure of
${\mathfrak{g}}^{\prime}$
onto
${T}_{x}\stackrel{~}{M}\oplus {\mathfrak{h}}^{\prime}$
, we have for
$\forall u,v\in {T}_{x}\stackrel{~}{M}$
and
$\forall A,B\in {\mathfrak{h}}^{\prime}$
,
$$[u,v]=-{T}^{\stackrel{~}{\nabla}}(u,v)-{R}^{\stackrel{~}{\nabla}}(u,v),$$
$$[A,u]=Au,$$
$$[A,B]=A\circ B-B\circ A.$$
Denote by
$u$
the generating vector of the
$1$
-parameter subgroup
$\{{\stackrel{~}{\phi}}_{t}{\}}_{t\in \mathbb{R}}$
of
${G}^{\prime}$
. Then
${Y}^{u}=\stackrel{~}{X}$
. Under the identification
$j$
, we have
$$u={\stackrel{~}{X}}_{x}+({P}_{1}^{+}-{P}_{1}^{-}+a{P}_{2}^{+}-a{P}_{2}^{-})\in {T}_{x}\stackrel{~}{M}\oplus {\mathfrak{h}}^{\prime}.$$
If
${L}_{0}:=u-{\stackrel{~}{X}}_{x}$
, then
${L}_{0}\in {\mathfrak{h}}^{\prime}.$
We deduce that
${\mathfrak{h}}^{\prime}\sim =\mathbb{R}$
or
${\mathbb{R}}^{2}.$
Lemma 4.1.1. Under the notations above,
${E}_{1}^{+}\oplus {E}_{1}^{-}$
and
${E}_{2}^{+}\oplus {E}_{2}^{-}\oplus \mathbb{R}X$
are both integrable.

Proof. Let
$Y$
,
$Z$
be two
${C}^{\infty}$
sections of
${E}_{1}^{+}\oplus {E}_{1}^{-}$
, then
$$0=d\lambda (Y,Z)=-\lambda \left(\right[Y,Z\left]\right).$$
So
$[Y,Z]$
is a section of
${E}^{+}\oplus {E}^{-}$
.

$${i}_{[Y,Z]}d\lambda =({\mathcal{\mathcal{L}}}_{Y}{i}_{Z}-{i}_{Z}{\mathcal{\mathcal{L}}}_{Y})d\lambda $$
$$=-{i}_{Z}(d{i}_{Y}+{i}_{Y}d)d\lambda =0.$$
So
$[Y,Z]$
is also a section of
${E}_{1}^{+}\oplus {E}_{1}^{-}$
. Thus
${E}_{1}^{+}\oplus {E}_{1}^{-}$
is integrable.

Since
${E}_{2}^{+}$
and
${E}_{2}^{-}$
are both
${\phi}_{t}$
-invariant, then
$[X,{E}_{2}^{\pm}]\subseteq {E}_{2}^{\pm}.$
Define two tensor fields
${K}^{\pm}$
of type
$(1,2)$
on
$M$
, such that
$${K}^{\pm}(Y,Z)={P}_{1}^{\pm}\left[{P}_{2}^{+}\right(Y),{P}_{2}^{-}(Z\left)\right],\forall Y,Z\subseteq TM.$$
Then
${K}^{\pm}$
are both
${\phi}_{t}$
-invariant. By Lemma
$\mathrm{3.2.3}$
,
${K}^{\pm}({E}_{2}^{+},{E}_{2}^{-})\subseteq \mathbb{R}X.$
So we have
$$[{E}_{2}^{+},{E}_{2}^{-}]\subseteq {E}_{2}^{+}\oplus {E}_{2}^{-}\oplus \mathbb{R}X.$$
Thus
${E}_{2}^{+}\oplus {E}_{2}^{-}\oplus \mathbb{R}X$
is integrable.
$\square $
Up to finite covers, we suppose that
${E}^{+}$
and
${E}^{-}$
are both orientable.

The connection
$\nabla $
induces a connection
${\nabla}^{+}$
on
${\wedge}^{2}{E}^{+}$
. Denote by
${\Omega}^{+}$
its curvature form and by
${\beta}^{+}$
its connection form. Then we have
$${\Omega}^{+}(\cdot ,\cdot )=Tr\left(R\right(\cdot ,\cdot \left){|}_{{E}^{+}}\right),d{\beta}^{+}={\Omega}^{+}.$$
Lemma 4.1.2.
$d\lambda \wedge {\Omega}^{+}=0$
,
${\Omega}^{+}\wedge {\Omega}^{+}=0$
,
${\Omega}^{+}\wedge \omega =0.$
Proof. Since
${\Omega}^{+}$
is
${\phi}_{t}$
-invariant and the flow is topologically transitive, then there exists a constant
$c$
, such that
$$\lambda \wedge d\lambda \wedge {\Omega}^{+}=c\cdot \lambda \wedge \omega \wedge \omega .$$
So
$$c{\int}_{M}\lambda \wedge \omega \wedge \omega ={\int}_{M}\lambda \wedge d\lambda \wedge {\Omega}^{+}$$
$$=-{\int}_{M}d(\lambda \wedge d\lambda \wedge {\beta}^{+})={\int}_{\partial M}\lambda \wedge d\lambda \wedge {\beta}^{+}=0.$$
So
$c=0$
. We deduce that
$$d\lambda \wedge {\Omega}^{+}={i}_{X}(\lambda \wedge d\lambda \wedge {\Omega}^{+})=0.$$
In the same way, we get
${\Omega}^{+}\wedge {\Omega}^{+}=0$
.

If
$\lambda \wedge {\Omega}^{+}\wedge \omega =s\cdot \lambda \wedge \omega \wedge \omega $
, then
$$s{\int}_{M}\lambda \wedge \omega \wedge \omega ={\int}_{M}{\beta}^{+}\wedge d\lambda \wedge \omega .$$
If
$\lambda \wedge d\lambda \wedge \omega =\delta \cdot \lambda \wedge \omega \wedge \omega ,$
then
$${\beta}^{+}\wedge d\lambda \wedge \omega =\delta \cdot {\beta}^{+}\wedge \omega \wedge \omega $$
$$=\delta \cdot {\beta}^{+}\left(X\right)\lambda \wedge \omega \wedge \omega .$$
By the same argument as in Lemma
$\mathrm{2.3.3}.$
of [BFL2], we get
$${\int}_{M}{\beta}^{+}\left(X\right)\lambda \wedge \omega \wedge \omega =0.$$
So
$s=0$
, i.e.
${\Omega}^{+}\wedge \omega =0.$
$\square $
Lemma 4.1.3. Under the notations above, we have
${\Omega}^{+}=0.$
Proof. In the direction of
$X$
, the situation is always clear. So in the following, we consider only the restrictions onto
${E}^{+}\oplus {E}^{-}$
of the forms and endomorphisms.

Since
$\omega {|}_{{E}^{+}\oplus {E}^{-}}$
is non-degenerate, then we can find a section
$\psi $
of
$End({E}^{+}\oplus {E}^{-}),$
such that
$${\Omega}^{+}(\cdot ,\cdot )=\omega \left(\psi \right(\cdot ),\cdot ).$$
For
$\forall y\in M$
, take
${l}_{1,2}^{\pm}\in ({E}_{1,2}^{\pm}{)}_{y}$
such that
$({l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
forms a dual basis of
${\omega}_{y}$
, i.e.

$$\omega ({l}_{2}^{+},{l}_{2}^{-})=\omega ({l}_{1}^{+},{l}_{1}^{-})=1,\omega ({l}_{2}^{+},{l}_{1}^{-})=\omega ({l}_{1}^{+},{l}_{2}^{-})=0.$$
If
${\psi}_{y}\left({l}_{1}^{+}\right)=0,$
then in this basis, we get
$${\psi}_{y}=\left(\begin{array}{cccc}A& 0& 0& 0\\ B& 0& 0& 0\\ 0& 0& A& B\\ 0& 0& 0& 0\end{array}\right)$$
Since
${\Omega}^{+}\wedge \omega =0,$
then Tr
$\psi =2A=0.$
By Lemma
$\mathrm{2.1.3}$
,
$$0={\Omega}_{y}^{+}({l}_{2}^{+},{l}_{1}^{-})=\omega (\psi {l}_{2}^{+},{l}_{1}^{-})$$
$$=B\cdot \omega ({l}_{1}^{+},{l}_{1}^{-}).$$
So
$B=0$
. Thus
${\psi}_{y}=0.$
Now suppose that
${\psi}_{y}\left({l}_{1}^{+}\right)\ne 0$
. Since
${\Omega}^{+}\wedge {\Omega}^{+}=0$
, then det
$\left({\psi}_{y}\right)=0$
. So
$\exists {y}_{1}^{+}=\alpha {l}_{2}^{+}+\delta {l}_{1}^{+},$
$\alpha \ne 0$
, such that
${\psi}_{y}\left({y}_{1}^{+}\right)=0$
. Then in a dual basis with respect to
${\omega}_{y}$
,
$({y}_{1}^{+},{l}_{1}^{+},{y}_{1}^{-},{z}^{-}),$
we have
$${\psi}_{y}=\left(\begin{array}{cccc}0& A& 0& 0\\ 0& B& 0& 0\\ 0& 0& 0& 0\\ 0& 0& A& B\end{array}\right)$$
As above, we have Tr
$\left({\psi}_{y}\right)=2B=0$
. By Lemma
$\mathrm{2.1.3}$
,
$$0={\Omega}_{y}^{+}({l}_{1}^{+},{l}_{2}^{-})=\omega (A{y}_{1}^{+},{l}_{2}^{-})$$
$$=A\cdot \alpha \cdot \omega ({l}_{2}^{+},{l}_{2}^{-})=A\cdot \alpha .$$
So
$A=0.$
We deduce that
$\psi \equiv 0$
, i.e.
${\Omega}^{+}\equiv 0.$
$\square $
Define the following map
$${\mathfrak{g}}^{\prime}\stackrel{\chi}{\mapsto}\mathbb{R}$$
$$u+A\mapsto Tr\left(A{|}_{{\stackrel{~}{E}}_{x}^{+}}\right).$$
Since
${\Omega}^{+}\equiv 0$
, then
$\chi $
is a character of
${\mathfrak{g}}^{\prime}$
. So the kernel of
$\chi $
is an ideal of
${\mathfrak{g}}^{\prime}$
, denoted by
$\mathfrak{g}$
, We have seen that
${\mathfrak{h}}^{\prime}$
is isomorphic to
$\mathbb{R}$
or
${\mathbb{R}}^{2}$
. In the following, these two cases are considered seperately.

4.2. dim
${\mathfrak{h}}^{\prime}$
=1.

In this subsection, we suppose that dim
${\mathfrak{h}}^{\prime}=1.$
To prove the non-existence of such a flow, we shall at first calculate explicitly
${\mathfrak{g}}^{\prime}$
using the lemmas estalished in the previous subsection. Then we shall get a contradiction via the non-existence of cocompact lattice in
${\mathbb{R}}^{2}\mathbb{\setminus}\stackrel{~}{SL(2,\mathbb{R})}.$
Since
${L}_{0}\in {\mathfrak{h}}^{\prime}$
(see Subsection
$4.1$
), then
${\mathfrak{h}}^{\prime}=\mathbb{R}{L}_{0}.$
To simplify the notations, we identify
${T}_{x}\stackrel{~}{M}$
with
${T}_{x}M$
. Thus we have
$${\mathfrak{g}}^{\prime}={T}_{x}M\oplus {\mathfrak{h}}^{\prime}.$$
Denote by
$\mathfrak{g}$
the kernel of
$\chi $
(see Subsection
$4.1$
). Then
$\mathfrak{g}$
is an ideal of
${\mathfrak{g}}^{\prime}$
.

Since
$\chi \left({L}_{0}\right)=1+a>0$
, then we have
$\mathfrak{g}={T}_{x}M.$
Recall that the Lyapunov exponents of
${E}_{1}^{+}$
and
${E}_{2}^{+}$
are
$1$
and
$a$
. Now we can find explicitly
$\mathfrak{g}$
as follows. Since
$\mathfrak{g}$
(
$={T}_{x}M$
) is an ideal of
${\mathfrak{g}}^{\prime}$
, then for
$\forall u,v\in {T}_{x}M$
,
$$[u,v]=-T(u,v)-R(u,v)\in {T}_{x}M.$$
Thus
$R(u,v)=0$
and
$[u,v]=-T(u,v)$
.

Take a basis of
${T}_{x}M$
,
$({X}_{x},{l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
, such that
${l}_{1,2}^{\pm}\in ({E}_{1,2}^{\pm}{)}_{x}$
and
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})=-1$
. Extend
${l}_{1,2}^{\pm}$
to local sections of
${E}_{1,2}^{\pm}$
, denoted by
${\overline{l}}_{1,2}^{\pm}$
. By the definition of
$\nabla $
, we get
$$[{X}_{x},{l}_{1}^{\pm}]=-T({X}_{x},{l}_{1}^{\pm})=\mp {l}_{1}^{\pm}.$$
Similarly,
$$[{X}_{x},{l}_{2}^{\pm}]=\mp a{l}_{2}^{\pm}.$$
Since
${E}_{1}^{+}\oplus {E}_{1}^{-}$
is integrable by Lemma
$\mathrm{4.1.1}$
, then we get
$$[{l}_{1}^{+},{l}_{1}^{-}]=-T({l}_{1}^{+},{l}_{1}^{-})$$
$$=-\left({P}_{1}^{-}\right[{\overline{l}}_{1}^{+},{\overline{l}}_{1}^{-}]+{P}_{1}^{+}[{\overline{l}}_{1}^{+},{\overline{l}}_{1}^{-}]-[{\overline{l}}_{1}^{+},{\overline{l}}_{1}^{-}\left]\right)=0.$$
Similarly, we get
$$[{l}_{2}^{+},{l}_{2}^{-}]={X}_{x}.$$
Lemma 4.2.1. Under the notations above, we have
$1<a$
.

Proof. Suppose that
$1>a.$
Then by Lemma
$\mathrm{3.2.3}$
, we have
$$T({E}_{1}^{+},{E}_{2}^{-})\subseteq {E}_{1-a}.$$
If
$1-a\ne a$
, then
$[{l}_{1}^{+},{l}_{2}^{-}]=-T({l}_{1}^{+},{l}_{2}^{-})=0.$
If
$1-a=a$
, then
$\exists b\in \mathbb{R},$
such that
$$[{l}_{1}^{+},{l}_{2}^{-}]=b\cdot {l}_{2}^{+}.$$
So in any case,
$\exists c\in \mathbb{R}$
, such that
$[{l}_{1}^{+},{l}_{2}^{-}]=c\cdot {l}_{2}^{+}.$
Since
$T({E}_{1}^{+},{E}_{2}^{+})\subseteq {E}_{1+a}=\left\{0\right\},$
then
$[{l}_{1}^{+},{l}_{2}^{+}]=0.$
By the Jacobi identity of
${l}_{1}^{+}$
,
${l}_{2}^{+}$
and
${l}_{2}^{-}$
, we get
$$0=[{l}_{2}^{+},[{l}_{1}^{+},{l}_{2}^{-}\left]\right]+[{l}_{1}^{+},[{l}_{2}^{-},{l}_{2}^{+}\left]\right]+[{l}_{2}^{-},[{l}_{2}^{+},{l}_{1}^{+}\left]\right]$$
$$=[{l}_{2}^{+},c\cdot {l}_{2}^{+}]+[{l}_{1}^{+},-{X}_{x}]=-{l}_{1}^{+},$$
which is absurd.
$\square $
Since
$a>1$
, then we can suppose that
$[{l}_{1}^{+},{l}_{2}^{-}]=c\cdot {l}_{1}^{-}$
and
$[{l}_{1}^{-},{l}_{2}^{+}]=d\cdot {l}_{1}^{+}.$
Again by the Jacobi identity of
${l}_{1}^{+}$
,
${l}_{2}^{+}$
and
${l}_{2}^{-}$
, we have
$$0=[{l}_{2}^{+},[{l}_{1}^{+},{l}_{2}^{-}\left]\right]+[{l}_{1}^{+},[{l}_{2}^{-},{l}_{2}^{+}\left]\right]=-(1+c\cdot d){l}_{1}^{+}.$$
So
$c\cdot d=-1$
. Now replacing
${l}_{2}^{-}$
by
$\frac{1}{c}{l}_{2}^{-}$
and
${l}_{2}^{+}$
by
$c\cdot {l}_{2}^{+}$
, we get the following bracket relations of
$\mathfrak{g}$
,
$$[{X}_{x},{l}_{1}^{\pm}]=\mp {l}_{1}^{\pm},[{X}_{x},{l}_{2}^{\pm}]=\mp a{l}_{2}^{\pm},$$
$$[{l}_{1}^{+},{l}_{1}^{-}]=0,[{l}_{1}^{+},{l}_{2}^{-}]={l}_{1}^{-},$$
$$[{l}_{1}^{-},{l}_{2}^{+}]=-{l}_{1}^{+},[{l}_{2}^{+},{l}_{2}^{-}]={X}_{x}.$$
The brackets, not appeared above, vanish by Lemma
$\mathrm{3.2.3}.$
Since
$[{l}_{1}^{+},{l}_{2}^{-}]={l}_{1}^{-}$
, then
${E}_{1-a}\ne \left\{0\right\}.$
We deduce that
$a=2.$
Thus by the bracket relations above, we get clearly
$$\mathfrak{g}\sim ={\mathbb{R}}^{2}\mathbb{\setminus}\mathfrak{s}\mathfrak{l}(2,\mathbb{R}),$$
where the semi-direct product is given by matrix multiplication.

It is easily seen that the center of
${\mathfrak{g}}^{\prime}$
is
$\mathbb{R}({X}_{x}+{L}_{0})$
. Thus we have the following direct product decomposition
$${\mathfrak{g}}^{\prime}\sim =\mathfrak{g}\oplus \mathbb{R}({X}_{x}+{L}_{0}).$$
Let
$G$
be the connected subgroup of
${G}_{e}^{\prime}$
integrating
$\mathfrak{g}$
. Since
${G}_{e}^{\prime}$
is simply connected (see Subsection
$4.1$
), then
$G$
is also simply connected and
${G}_{e}^{\prime}=G\times \mathbb{R}$
, where
$\mathbb{R}$
integrates
$\mathbb{R}({X}_{x}+{L}_{0})$
in
${G}_{e}^{\prime}$
. Thus we get
$$G\sim ={\mathbb{R}}^{2}\mathbb{\setminus}\stackrel{~}{SL(2,\mathbb{R})}.$$
It is easily seen that
$G$
acts transitively on
$\stackrel{~}{M}$
. Then by the long exact sequence of homotopy,
$G\cap {H}_{e}^{\prime}$
is seen to be connected. So
$G\cap {H}_{e}^{\prime}=\left\{e\right\},$
i.e.
$G$
acts freely on
$\stackrel{~}{M}$
. Thus
$G$
is identified to
$\stackrel{~}{M}.$
Up to finite covers, we have
$\Gamma \subseteq {G}_{e}^{\prime}$
(see Subsection
$4.1$
). Let
${\Gamma}_{1}$
be the projection of
$\Gamma $
into
$G$
, with respect to the direct product
${G}_{e}^{\prime}=G\times \mathbb{R}$
. Since
${\Omega}^{+}=0$
, then by the general arguments of Section
$5.$
of [BFL1],
${\Gamma}_{1}$
is seen to be a cocompact lattice of
$G$
. Now we eliminate this case by proving Lemma 4.2.2.
${\mathbb{R}}^{2}\mathbb{\setminus}\stackrel{~}{SL(2,\mathbb{R})}$
has no cocompact lattice.

Proof. Suppose that there exists a cocompact lattice, denoted by
$\Delta .$
Define
${\Delta}_{1}:=\Delta \cap {\mathbb{R}}^{2}$
and denote by
${\Delta}_{2}$
the projection of
$\Delta $
to
$\stackrel{~}{SL(2,\mathbb{R})}$
. Then by Corollary
$8.28$
of [Ra],
${\Delta}_{1}$
is a cocompact lattice of
${\mathbb{R}}^{2}$
and
${\Delta}_{2}$
is a lattice of
$\stackrel{~}{SL(2,\mathbb{R})}$
.

Denote by
$\pi $
the natural projection of
$\stackrel{~}{SL(2,\mathbb{R})}$
onto
$SL(2,\mathbb{R})$
. Then
$\pi \left({\Delta}_{2}\right)$
preserves the lattice
${\Delta}_{1}$
for the linear action. So
$\pi \left({\Delta}_{2}\right)$
is conjugate to a subgroup of
$SL(2,\mathbb{Z})$
.

Since
$\Delta $
is cocompact, then
$\pi \left({\Delta}_{2}\right)$
is also cocompact. We deduce that
$SL(2,\mathbb{Z})$
is cocompact in
$SL(2,\mathbb{R})$
, which is absurd.
$\square $
4.3. dim
${\mathfrak{h}}^{\prime}$
=2.

In this subsection, we suppose that dim
${\mathfrak{h}}^{\prime}=2.$
To prove the non-existence of such a flow, we shall at first find
${\mathfrak{g}}^{\prime}$
. Then we shall study the action of the fundamental group of
$M$
on the space of lifted weak unstable leaves to deduce a dynamical contradiction.

Define
$S:={P}_{2}^{+}-{P}_{1}^{+}-{P}_{2}^{-}+{P}_{1}^{-}$
. Then
${\mathfrak{h}}^{\prime}$
is generated by
$S$
and
${L}_{0}$
(see Subsection
$4.1.$
). Since
$\chi \left(S\right)=0$
, then we have
$\mathfrak{g}=\mathbb{R}S\oplus {T}_{x}M$
.

As in the previous subsection, we suppose that the Lyapunov exponents of
${E}_{1}^{+}$
and
${E}_{2}^{+}$
are
$1$
and
$a$
. Take a basis of
${T}_{x}M$
,
$({X}_{x},{l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-}),$
such that
${l}_{1,2}^{\pm}\in {E}_{1,2}^{\pm}$
and
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})=-1.$
Suppose at first that
$a>1.$
Then by the same argument as in Lemma
$\mathrm{4.2.1}$
, we can find
$c$
and
$d$
, such that
$$[{l}_{1}^{+},{l}_{2}^{-}]=c\cdot {l}_{1}^{-},[{l}_{1}^{-},{l}_{2}^{+}]=d\cdot {l}_{1}^{+}.$$
By the Jacobi identity of
$S$
,
${l}_{1}^{+}$
and
${l}_{2}^{-}$
, we get
$$0=[S,[{l}_{1}^{+},{l}_{2}^{-}\left]\right]+[{l}_{1}^{+},[{l}_{2}^{-},S\left]\right]+[{l}_{2}^{-},[S,{l}_{1}^{+}\left]\right]$$
$$=c\cdot {l}_{1}^{-}+[{l}_{1}^{+},{l}_{2}^{-}]+[{l}_{2}^{-},-{l}_{1}^{+}]=3c\cdot {l}_{1}^{-}.$$
Thus
$c=0.$
Similarly we get
$d=0$
. If
$a<1$
, then we can find
${c}^{\prime}$
and
${d}^{\prime}$
, such that
$$[{l}_{1}^{+},{l}_{2}^{-}]={c}^{\prime}\cdot {l}_{2}^{+},[{l}_{1}^{-},{l}_{2}^{+}]={d}^{\prime}\cdot {l}_{2}^{-}.$$
Thus by the Jacobi identities, we get as above
${c}^{\prime}={d}^{\prime}=0$
. We deduce that
$$[{l}_{1}^{+},{l}_{2}^{-}]=0,[{l}_{1}^{-},{l}_{2}^{+}]=0.$$
Now by similar arguments as in the previous subsection, we get the following bracket relations,
$$[S,{l}_{1}^{\pm}]=\mp {l}_{1}^{\pm},[S,{l}_{2}^{\pm}]=\pm {l}_{2}^{\pm},$$
$$[{L}_{0},{l}_{1}^{\pm}]=\pm {l}_{1}^{\pm},[{L}_{0},{l}_{2}^{\pm}]=\pm a{l}_{2}^{\pm},$$
$$[{X}_{x},{l}_{1}^{\pm}]=\mp {l}_{1}^{\pm},[{X}_{x},{l}_{2}^{\pm}]=\mp a{l}_{2}^{\pm},[{l}_{2}^{+},{l}_{2}^{-}]={X}_{x}-S.$$
The brackets, not appeared above, vanish. Define three elements,
$$\alpha :=\frac{{L}_{0}+S}{a+1},\beta :=\frac{{L}_{0}-aS}{a+1},\delta :=\frac{{X}_{x}-S}{a+1}.$$
Then
${\mathfrak{g}}^{\prime}$
is decomposed as a direct product of three ideals,
$${\mathfrak{g}}^{\prime}\sim =(\mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{l}_{1}^{-}\oplus \mathbb{R}\beta )\oplus (\mathbb{R}{l}_{2}^{+}\oplus \mathbb{R}{l}_{2}^{-}\oplus \mathbb{R}\delta )\oplus \mathbb{R}(\delta +\alpha ).$$
Then by the bracket relations above, we get
$${\mathfrak{g}}^{\prime}\sim =({\mathbb{R}}^{2}\mathbb{\setminus}\mathbb{R})\times \mathfrak{s}\mathfrak{l}(2,\mathbb{R})\times \mathbb{R},$$
where the semi-direct product,
${\mathbb{R}}^{2}\mathbb{\setminus}\mathbb{R}$
, is given by the linear action on
${\mathbb{R}}^{2}$
of the order two diagonal matrices of trace zero. Since
${G}_{e}^{\prime}$
is simply-connected, then we have
$${G}_{e}^{\prime}\sim =({\mathbb{R}}^{2}\mathbb{\setminus}\mathbb{R})\times \stackrel{~}{SL(2,\mathbb{R})}\times \mathbb{R}.$$
Now we begin to study the action of
$\Gamma $
on the space of lifted weak unstable leaves. Let us recall at first some notations.

Let
${\psi}_{t}$
be a
${C}^{\infty}$
Anosov flow on a closed manifold
$N$
. Denote by
${\stackrel{~}{\psi}}_{t}$
its lifted flow on the universal covering space
$\stackrel{~}{N}.$
Denote by
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
the lifted foilation of
${\mathcal{\mathcal{F}}}^{+,0}$
and by
$\stackrel{~}{N}/{\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
the space of lifted weak unstable leaves with the quotient topology. Thus the fundamental group
${\pi}_{1}\left(N\right)$
acts naturally on
$\stackrel{~}{N}/{\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
. The following lemma has appeared in some special contexts (see for example [BFL2] and [Ba]). For the sake of completeness, we prove it in detail.

Lemma 4.3.1. Under the notations above, if
$\gamma \in {\pi}_{1}\left(N\right)$
and
$\gamma \ne e$
, then each
$\gamma $
-fixed point of
$\stackrel{~}{N}/{\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
is either contractive or repulsive.

Proof. Suppose that
${\stackrel{~}{W}}_{x}^{+,0}$
is fixed by
$\gamma .$
Then
$\exists t\in \mathbb{R}$
, such that
$$\gamma {\stackrel{~}{W}}_{x}^{+}={\stackrel{~}{\phi}}_{t}{\stackrel{~}{W}}_{x}^{+}.$$
If
$t=0$
, then we can take a curve
$l$
in
${\stackrel{~}{W}}_{x}^{+}$
, such that
$l\left(0\right)=x$
and
$l\left(1\right)=\gamma x.$
If
$s<<0$
, then
${\phi}_{s}\left(\pi \right(l\left)\right)$
will be tiny, where
$\pi $
denotes the projection of
$\stackrel{~}{N}$
onto
$N$
. Thus
${\phi}_{s}\left(\pi \right(l\left)\right)$
is homotopically trivial. We deduce that
$\pi \left(l\right)$
is also homotopically trivial, i.e.
$\gamma =e$
, which is a contradiction. So
$t\ne 0.$
By replacing
$\gamma $
by
${\gamma}^{-1}$
if necessary, we suppose that
$t<0.$
We can see as follows that
${\stackrel{~}{W}}_{x}^{+,0}$
is
$\gamma $
-contractive.

Fix a
${C}^{\infty}$
Riemannian metric
$g$
on
$N$
. Denote by
$\stackrel{~}{g}$
the lifted metric on
$\stackrel{~}{N}$
. By [An], the induced metrics on the leaves of
${\mathcal{\mathcal{F}}}^{+,0}$
are all complete.

Thus with its induced metric,
${\stackrel{~}{W}}_{x}^{+}$
is a complete metric space. Since
$\gamma $
acts isometrically, then
${\gamma}^{-n}\circ {\stackrel{~}{\phi}}_{nt}$
is a contraction of
${\stackrel{~}{W}}_{x}^{+}$
, if
$n>>1.$
Thus it admits a unique fixed point in
${\stackrel{~}{W}}_{x}^{+}$
, denoted again by
$x$
. So we get
$$\gamma x={\stackrel{~}{\phi}}_{t}x,$$
i.e. the orbit of
$x$
is fixed by
$\gamma .$
Denote by
$\overline{U}$
the saturated set of
${\stackrel{~}{W}}_{x}^{-}$
with respect to
${\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
. Then by the local product structure of
${\stackrel{~}{\phi}}_{t}$
,
$\overline{U}$
is open. Thus the projection of
${\stackrel{~}{W}}_{x}^{-}$
into
$\stackrel{~}{N}/{\mathcal{\mathcal{F}}}^{+,0}$
is an open neighborhood of
${\stackrel{~}{W}}_{x}^{+,0}$
, denoted by
$U$
. For
$\forall y\in {\stackrel{~}{W}}_{x}^{-},$
we have
$${\gamma}^{n}{\stackrel{~}{W}}_{y}^{+,0}={\stackrel{~}{W}}_{({\stackrel{~}{\phi}}_{-nt}\circ {\gamma}^{n})\left(y\right)}^{+,0}.$$
Since
$\gamma x={\stackrel{~}{\phi}}_{t}x,$
, then
$({\stackrel{~}{\phi}}_{-nt}\circ {\gamma}^{n})\left(x\right)=x.$
So
$({\stackrel{~}{\phi}}_{-nt}\circ {\gamma}^{n})\left(y\right)-----\to n\to +\infty x.$
We deduce that
${\gamma}^{n}{\stackrel{~}{W}}_{y}^{+,0}-----\to n\to +\infty {\stackrel{~}{W}}_{x}^{+,0}.$
So
$\gamma $
contracts on
$U$
.
$\square $
Now return to our geometric Anosov flow
${\phi}_{t}$
. Denote by
${P}_{e}^{\prime}$
the stabilizer of
${\stackrel{~}{W}}_{x}^{+}$
in
${G}_{e}^{\prime}$
. Then
${H}_{e}^{\prime}\subseteq {P}_{e}^{\prime}$
and
${P}_{e}^{\prime}$
is easily seen to be connected. So
${G}_{e}^{\prime}/{P}_{e}^{\prime}$
is identified to
$\stackrel{~}{M}/{\stackrel{~}{\mathcal{\mathcal{F}}}}^{+,0}$
. Define
$${\mathfrak{p}}^{+}:=\mathbb{R}{X}_{x}\oplus {\mathfrak{h}}^{\prime}\oplus \mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{l}_{2}^{+}.$$
Then
${\mathfrak{p}}^{+}$
is the Lie algebra of
${P}_{e}^{\prime}$
and
${P}_{e}^{\prime}$
is seen to be closed in
${G}_{e}^{\prime}$
. Since
${G}_{e}^{\prime}$
is simply connected (see Subsection
$4.1$
), then by the long exact sequence of homotopy, we get
${\pi}_{1}({G}_{e}^{\prime}/{P}_{e}^{\prime})=0.$
Define
${G}_{e}^{1}:=({\mathbb{R}}^{2}\mathbb{\setminus}\mathbb{R})\times SL(2,\mathbb{R})\times \mathbb{R}$
and denote by
${P}_{e}^{1}$
the connected Lie subgroup of
${G}_{e}^{1}$
with Lie algebra
${\mathfrak{p}}^{+}$
. Then
${G}_{e}^{1}/{P}_{e}^{1}$
is naturally identified to
${\mathbb{R}}^{1}\times {\mathbb{S}}^{1}$
. Denote by
$\pi $
the projection of
${G}_{e}^{\prime}$
onto
${G}_{e}^{1}$
and by
${P}_{e}^{\prime \prime}$
the group
${\pi}^{-1}\left({P}_{e}^{1}\right)$
. Then we get
$${G}_{e}^{\prime}/{P}_{e}^{\prime \prime}\sim ={G}_{e}^{1}/{P}_{e}^{1}\sim ={\mathbb{R}}^{1}\times {\mathbb{S}}^{1}.$$
We deduce that
${G}_{e}^{\prime}/{P}_{e}^{\prime}\sim ={\mathbb{R}}^{1}\times {\mathbb{R}}^{1}.$
Since
${\phi}_{t}$
preserves a volume form, then the periodic points of
${\phi}_{t}$
is dense in
$M$
. Take
$g{H}_{e}^{\prime}\in {G}_{e}^{\prime}/{H}_{e}^{\prime}$
(
$\sim =\stackrel{~}{M}$
), such that its projection in
$M$
is of period
$T$
. If
${\stackrel{~}{\phi}}_{T}\left(g{H}_{e}^{\prime}\right)=g{H}_{e}^{\prime}$
, then each orbit of
${\stackrel{~}{\phi}}_{t}$
is periodic by the homogeneity of
${\stackrel{~}{\phi}}_{t}$
. We deduce that each
${\phi}_{t}$
-orbit is periodic, which contradicts the topological transitivity of
${\phi}_{t}$
. So
${\stackrel{~}{\phi}}_{T}\left(g{H}_{e}^{\prime}\right)\ne g{H}_{e}^{\prime}.$
Now take
$\gamma \in \Gamma $
$(\subseteq {G}_{e}^{\prime})$
, such that
$\gamma \left(g{H}_{e}^{\prime}\right)={\stackrel{~}{\phi}}_{T}\left(g{H}_{e}^{\prime}\right)$
. Then we have
$\gamma \ne e$
and
$\exists h\in {H}_{e}^{\prime}$
, such that
$$\gamma =g(h\cdot exp(T({X}_{x}+{L}_{0})){g}^{-1}.$$
Since
$\gamma $
fixes the orbit of
$g{H}_{e}^{\prime}$
, then it fixes
$g{P}_{e}^{\prime}$
and
$g{P}_{e}^{\prime \prime}$
. So by Lemma
$\mathrm{4.3.1}$
, the
$\gamma $
-action on
${G}_{e}^{\prime}/{P}_{e}^{\prime \prime}$
admits at least an isolated fixed point. Then by some direct calculations, the corresponding
$\gamma $
-action on
${\mathbb{R}}^{1}\times {\mathbb{S}}^{1}$
(
$\sim ={G}_{e}^{\prime}/{P}_{e}^{\prime \prime}$
) must be as following

$$(y,[u\left]\right)\to (ex{p}^{-c}y+d,[Au\left]\right),$$
where
$c\ne 0$
and
$A$
is a matrix with two different positive eigenvalues. Here
${\mathbb{S}}^{1}$
is viewed as the set of directions, i.e.

$$\begin{array}{c}{\mathbb{R}}^{1}\times {\mathbb{S}}^{1}\stackrel{\gamma}{\to}{\mathbb{R}}^{1}\times {\mathbb{S}}^{1}\end{array}$$ | (*) |

$${\mathbb{S}}^{1}\sim =\left\{\right[u\left]\right|u\in {\mathbb{C}}^{*},u\sim v\iff u=tv,t>0\}.$$
Then
$GL(2,\mathbb{R})$
acts on
${\mathbb{S}}^{1}$
by matrix multiplication.

Up to an isomorphism of covering spaces, the projection of
${G}_{e}^{\prime}/{P}_{e}^{\prime}$
onto
${G}_{e}^{\prime}/{P}_{e}^{\prime \prime}$
is as following

$$(x,\theta )\mapsto (x,[{e}^{i\theta}\left]\right).$$
Since the
$\gamma $
-action on
${G}_{e}^{\prime}/{P}_{e}^{\prime}$
is just a lift of the
$\gamma $
-action on
${G}_{e}^{\prime}/{P}_{e}^{\prime \prime}$
, then by
$(*)$
and
$(**)$
, we clearly see that on
${G}_{e}^{\prime}/{P}_{e}^{\prime}$
,
$\gamma $
admits either a saddle or no fixed point. We deduce that
$\gamma $
admits a saddle on
${G}_{e}^{\prime}/{P}_{e}^{\prime}$
, which contradicts Lemma
$\mathrm{4.3.1}.$
5. The case of 1 positive exponent and
$d\lambda \wedge \omega \not\equiv 0$
.

$$\begin{array}{c}{\mathbb{R}}^{1}\times {\mathbb{R}}^{1}\mapsto {\mathbb{R}}^{1}\times {\mathbb{S}}^{1}\end{array}$$ | (**) |

5.1. Preparations. In this section, we suppose that
${\phi}_{t}$
has only one positive Lyapunov exponent and
$d\lambda \wedge \omega \not\equiv 0$
. Up to a constant change of time scale, we suppose that this positive exponent is
$1$
. By Lemma
$\mathrm{3.2.4}$
,
$d\lambda \wedge \omega $
vanishes nowhere.

So
$\omega {|}_{{E}_{1}^{+}\oplus {E}_{1}^{-}}$
is non-degenerate. As in Lemma
$\mathrm{3.2.2}$
, we define
$${E}_{2}^{\pm}:=\left[Ker\right(v\mapsto \omega ({E}_{1}^{\mp},v)\left)\right]\cap {E}^{\pm}.$$
Then
${E}_{2}^{+}$
and
${E}_{2}^{-}$
are both
${\phi}_{t}$
-invariant
${C}^{\infty}$
line subbundles of
$TM.$
In this case, the underlying geometric structure is
$${g}_{2}:=(X,{E}^{+},{E}^{-},\omega ).$$
Denote by
${G}^{\prime}$
the isometry group of
${\stackrel{~}{g}}_{2}$
. Then by Lemma
$\mathrm{3.2.4}$
,
${G}^{\prime}$
acts transitively on
$\stackrel{~}{M}.$
Fix
$x\in \stackrel{~}{M}$
and denote by
${H}^{\prime}$
the isotropy subgroup of
$x$
. Because of the existence of
${E}_{2}^{\pm}$
, some arguments of Subsection
$4.1.$
pass through without change. In particular, we get that
${H}_{e}^{\prime}$
is isomorphic to
$0$
,
$\mathbb{R}$
or
${\mathbb{R}}^{2}$
and
${G}_{e}^{\prime}$
is simply connected.

Denote by
${\mathfrak{g}}^{\prime}$
and
${\mathfrak{h}}^{\prime}$
the Lie algebras of
${G}^{\prime}$
and
${H}^{\prime}$
. By using the connection corresponding to the case of one positive Lyapunov exponent, we have a similar identification of
${\mathfrak{g}}^{\prime}$
and
${T}_{x}\stackrel{~}{M}\oplus {\mathfrak{h}}^{\prime}$
as in Subsection
$4.1$
. To simplify the notations, we identify
${T}_{x}\stackrel{~}{M}$
with
${T}_{x}M.$
If
${L}_{0}:={P}^{+}-{P}^{-}$
, then we get
${L}_{0}\in {\mathfrak{h}}^{\prime}$
. So
${\mathfrak{h}}^{\prime}\sim =\mathbb{R}$
or
${\mathbb{R}}^{2}$
.

Lemmas
$\mathrm{4.1.1}.$
and
$\mathrm{4.1.2}.$
are also valid here. But the proof of Lemma
$\mathrm{4.1.3}.$
does not pass through in the current case.

5.2. dim
${\mathfrak{h}}^{\prime}$
=2.

In this subsection, we suppose that
${\mathfrak{h}}^{\prime}$
is of dimension two. So if we define
$S:={P}_{2}^{+}-{P}_{1}^{+}-{P}_{2}^{-}+{P}_{1}^{-}$
, then
${\mathfrak{h}}^{\prime}$
is generated by
$S$
and
${L}_{0}.$
Lemma 5.2.1. Under the notations above, we have
${\Omega}^{+}\equiv 0.$
Proof. As Before, we consider only the restrictions onto
${E}^{+}\oplus {E}^{-}$
of the forms and endomorphisms. Take a dual basis with respect to
${\omega}_{x}{|}_{{E}_{x}^{+}\oplus {E}_{x}^{+}}$
,
$({l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
, such that
${l}_{1,2}^{\pm}\in {E}_{1,2}^{\pm}$
and
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})=-1.$
Extend locally these vectors to the sections of
${E}_{1,2}^{\pm}$
, denoted by
${\overline{l}}_{1,2}^{\pm}.$
Then we have
$$T({l}_{1}^{+},{l}_{2}^{-})={P}^{-}[{\overline{l}}_{1}^{+},{\overline{l}}_{2}^{-}]-{P}^{+}[{\overline{l}}_{2}^{-},{\overline{l}}_{1}^{+}]-[{\overline{l}}_{1}^{+},{\overline{l}}_{2}^{-}]$$
$$=d\lambda ({l}_{1}^{+},{l}_{2}^{-})\cdot {X}_{x}=0.$$
Similarly, we have
$T({l}_{1}^{+},{l}_{1}^{-})=0$
and
$T({l}_{2}^{+},{l}_{2}^{-})=-{X}_{x}.$
Thus we get the constants, such that
$$[{l}_{1}^{+},{l}_{1}^{-}]=aS+b{L}_{0},[{l}_{1}^{+},{l}_{2}^{-}]={a}^{\prime}S+{b}^{\prime}{L}_{0},$$
$$[{l}_{2}^{+},{l}_{2}^{-}]={X}_{x}+{a}^{\prime \prime}S+{b}^{\prime \prime}{L}_{0}.$$
As before, we have
$$[{l}_{1}^{\pm},{l}_{2}^{\pm}]=0,[{X}_{x},{l}_{1,2}^{\pm}]=\mp {l}_{1,2}^{\pm}.$$
By the Jacobi identity of
${l}_{1}^{+}$
,
${l}_{2}^{+}$
and
${l}_{2}^{-}$
, we get
$$0=[{l}_{1}^{+},[{l}_{2}^{+},{l}_{2}^{-}\left]\right]+[{l}_{2}^{+},[{l}_{2}^{-},{l}_{1}^{+}\left]\right]+[{l}_{2}^{-},[{l}_{1}^{+},{l}_{2}^{+}\left]\right]$$
$$=[{l}_{1}^{+},{X}_{x}+{a}^{\prime \prime}S+{b}^{\prime \prime}{L}_{0}]+[{l}_{2}^{+},-{a}^{\prime}S-{b}^{\prime}{L}_{0}]$$
$$=(1+{a}^{\prime \prime}-{b}^{\prime \prime}){l}_{1}^{+}+({a}^{\prime}+{b}^{\prime}){l}_{2}^{+}.$$
So
${a}^{\prime}+{b}^{\prime}=0.$
By the Jacobi identity of
${l}_{2}^{-}$
,
${l}_{1}^{+}$
and
${l}_{1}^{-}$
, we get
${a}^{\prime}-{b}^{\prime}=0.$
So
$[{l}_{1}^{+},{l}_{2}^{-}]=0.$
We deduce that
${\Omega}^{+}({l}_{1}^{+},{l}_{2}^{-})=0.$
Define
$\psi $
as in Lemma
$\mathrm{4.1.3}$
. View
${\psi}_{x}$
as a matrix in the basis above, then we get
$({\psi}_{x}{)}_{1,2}={\Omega}^{+}({l}_{1}^{+},{l}_{2}^{-})=0.$
Since
${\Omega}^{+}\wedge {\Omega}^{+}={\Omega}^{+}\wedge \omega =0$
, then det
$\psi $
=Tr
$\psi $
=
$0.$
So we get
$${\psi}_{x}=\left(\begin{array}{cccc}0& 0& 0& 0\\ B& 0& 0& 0\\ 0& 0& 0& B\\ 0& 0& 0& 0\end{array}\right)$$
For
$\forall h\in {H}_{e}^{\prime}$
,
$h$
preserves
${\Omega}^{+}$
. If
${\psi}_{x}\ne 0,$
then the matrix of
${D}_{x}h$
must have the following form
$${D}_{x}h=\left(\begin{array}{cccc}c& 0& 0& 0\\ d& c& 0& 0\\ 0& 0& \frac{1}{c}& -\frac{d}{{c}^{2}}\\ 0& 0& 0& \frac{1}{c}\end{array}\right)$$
But
$h$
preserves also the subbundles,
${E}_{1,2}^{\pm}$
. So
$d=0$
. We deduce that dim
${\mathfrak{h}}^{\prime}=1$
, which is a contradiction. So we get
${\psi}_{x}=0,$
i.e.
${\Omega}_{x}^{+}=0.$
Then by homogeneity,
${\Omega}^{+}\equiv 0.$
$\square $
With the help of the previous lemma, we can define as in Subsection
$4.1.$
a character
$\chi $
of
${\mathfrak{g}}^{\prime}$
. Then by similar calculations as in Subsection
$4.2$
,
${\mathfrak{g}}^{\prime}$
is seen to be the same as that of Subsection
$4.3$
, except that
$a=1$
here.

But in Subsection
$4.3$
, we have found three elements,
$\alpha $
,
$\beta $
and
$\delta $
, which have eliminated the effect of
$a$
on the structure of
${\mathfrak{g}}^{\prime}$
. So we get here the same
${G}_{e}^{\prime}$
and
${H}_{e}^{\prime}$
as in Subsection
$4.3$
. Thus the same arguments prove the non-existence of this case.

5.3. dim
${\mathfrak{h}}^{\prime}$
=1.

In this subsection, we suppose that dim
${\mathfrak{h}}^{\prime}=1.$
So
${\mathfrak{g}}^{\prime}=\mathbb{R}{L}_{0}\oplus {T}_{x}M.$
Take a basis
$({X}_{x},{l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
of
${T}_{x}M$
, such that
${l}_{1,2}^{\pm}\in ({E}_{1,2}^{\pm}{)}_{x}$
and
$d\lambda ({l}_{2}^{+},{l}_{2}^{-})=1$
. Since
${E}_{2}^{+}$
and
${E}_{2}^{-}$
are both of dimension
$1$
, then there exists a well-defined smooth function
$f$
, such that
$$d\lambda {|}_{{E}_{2}^{+}\oplus {E}_{2}^{-}}=f\cdot \omega {|}_{{E}_{2}^{+}\oplus {E}_{2}^{-}}.$$
Since
$d\lambda $
,
$\omega $
, and
${E}_{2}^{\pm}$
are all
${\phi}_{t}$
-invariant, then
$f$
is also
${\phi}_{t}$
-invariant. We deduce that
$f$
is constant. So if we multiply
$\omega $
by a constant,
$({l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
can be supposed to be dual with respect to
${\omega}_{x}{|}_{{E}_{x}^{+}\oplus {E}_{x}^{-}}$
. Using the Jacobi identities, we get directly (see Subsection
$4.2.$
)
$$[{L}_{0},{l}_{1,2}^{\pm}]=\pm {l}_{1,2}^{\pm},$$
$$[{X}_{x},{l}_{1,2}^{\pm}]=\mp {l}_{1,2}^{\pm},[{l}_{2}^{+},{l}_{2}^{-}]=-{X}_{x}-{L}_{0}.$$
The brackets, not appeared above, vanish.

Define
$\alpha :={X}_{x}+{L}_{0}$
and
$\mathfrak{g}\sim =\mathbb{R}\alpha \oplus \mathbb{R}{l}_{2}^{+}\oplus \mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{l}_{2}^{-}\oplus \mathbb{R}{l}_{1}^{-}$
. Then we get
$${\mathfrak{g}}^{\prime}\sim =\mathfrak{g}\mathbb{\setminus}\mathbb{R}{L}_{0}.$$
Denote by
${G}_{e}$
the connected Lie subgroup of
${G}_{e}^{\prime}$
with Lie algebra
$\mathfrak{g}$
. Since
${G}_{e}^{\prime}$
is simply connected, then so is
${G}_{e}$
. Thus by the bracket relations above, we get
$${G}_{e}\sim ={\mathbb{R}}^{2}\times Heis,$$
where
$Heis$
represents the three dimensional Heisenberg group. In addition, we have
${G}_{e}^{\prime}\sim ={G}_{e}\mathbb{\setminus}{H}_{e}^{\prime}$
. So
${G}_{e}$
is naturally identified to
$\stackrel{~}{M}$
as follows
$$\psi :{G}_{e}\stackrel{\sim}{\mapsto}\stackrel{~}{M}$$
$$g\mapsto gx.$$
Define
${\omega}_{1}:={\psi}^{*}\omega $
. Then
${\omega}_{1}$
is a left-invariant
$2$
-form on
${G}_{e}$
. View
${l}_{1,2}^{\pm}$
as left-invariant vector fields on
${G}_{e}$
. Then
$\mathbb{R}{l}_{2}^{+}\oplus \mathbb{R}{l}_{1}^{+}$
and
$\mathbb{R}{l}_{2}^{-}\oplus \mathbb{R}{l}_{1}^{-}$
are identified to
${\stackrel{~}{E}}^{+}$
and
${\stackrel{~}{E}}^{-}$
. The corresponding flow on
${G}_{e}$
is given by the left-invariant field
$\alpha .$
So the corresponding geometric structure on
${G}_{e}$
is given by
$${g}_{3}:=(\alpha ,\mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{l}_{2}^{+},\mathbb{R}{l}_{1}^{-}\oplus \mathbb{R}{l}_{2}^{-},{\omega}_{1}).$$
In addition, by the identification of
${\mathfrak{g}}^{\prime}$
with
${\mathfrak{h}}^{\prime}\oplus {T}_{x}M$
,
$({l}_{2}^{+},{l}_{1}^{+},{l}_{2}^{-},{l}_{1}^{-})$
is dual with respect to
${\omega}_{1}$
For
$\forall c,d\in \mathbb{R}$
, define an endomorphism of
$\mathfrak{g}$
,
${\rho}_{d}^{c}$
, such that
$${\rho}_{d}^{c}\left({l}_{1}^{\pm}\right)=ex{p}^{\pm c}{l}_{1}^{\pm},$$
$${\rho}_{d}^{c}\left({l}_{2}^{\pm}\right)=ex{p}^{\pm d}{l}_{2}^{\pm},{\rho}_{d}^{c}\left(\alpha \right)=\alpha .$$
Then
$\{{\rho}_{d}^{c}{\}}_{c,d\in \mathbb{R}}$
gives a two-parameter family of Lie algebra automorphisms of
$\mathfrak{g}$
. The corresponding isomorphisms of
${G}_{e}$
form a Lie group isomorphic to
${\mathbb{R}}^{2}$
. Then we observe easily that its action on
${G}_{e}$
preserves
${g}_{3}$
and fixes
$e$
. We deduce that dim
$\left({H}_{e}^{\prime}\right)\ge 2$
, which is contradictory to the assumption that dim
${\mathfrak{h}}^{\prime}=1$
.

6. The case of 1 positive exponent and
$d\lambda \wedge \omega \equiv 0.$
6.1. Preparations. In this section, we suppose that
${\phi}_{t}$
has only one positive Lyapunov exponent and
$d\lambda \wedge \omega \equiv 0.$
As before, we suppose that this positve exponent is
$1.$
Since
$d\lambda \wedge \omega \equiv 0,$
then
$\omega {|}_{{E}_{1}^{+}\oplus {E}_{1}^{-}}\equiv 0$
. So in this case, we have no more the canonically defined subbundles
${E}_{2}^{+}$
and
${E}_{2}^{-}$
as before (see Subsection
$5.1$
). Here the underlying geometric structure is
$${g}_{4}:=(X,{E}^{+},{E}^{-},\omega ).$$
Denote by
${G}^{\prime}$
the isometry group of
${g}_{4}$
. Fix
$x\in \stackrel{~}{M}$
and denote by
${H}^{\prime}$
the isotropy subgroup of
$x$
. Then we have
$\stackrel{~}{M}\sim ={G}^{\prime}/{H}^{\prime}.$
To simplify the notations, we identify
${T}_{x}M$
with
${T}_{x}\stackrel{~}{M}$
. Take a dual basis of
${E}_{x}^{+}\oplus {E}_{x}^{-}$
with respect to
${\omega}_{x}{|}_{{E}_{x}^{+}\oplus {E}_{x}^{-}}$
,
$({y}^{+},{l}_{1}^{+},{l}_{1}^{-},{y}^{-})$
, such that
${l}_{1}^{\pm}\in {E}_{1}^{\pm}$
and
$d\lambda ({y}^{+},{y}^{-})=1.$
Denote by
$\phi $
the section of
$End({E}^{+}\oplus {E}^{-})$
, such that
$$d\lambda (\cdot ,\cdot )=\omega (\phi \cdot ,\cdot ).$$
Since
$d\lambda \wedge \omega =0$
, then Tr
$\phi =0.$
So
$\exists B\ne 0,$
such that
$${\phi}_{x}=\left(\begin{array}{cccc}0& 0& 0& 0\\ B& 0& 0& 0\\ 0& 0& 0& B\\ 0& 0& 0& 0\end{array}\right).$$
For
$\forall h\in {H}_{e}^{\prime}$
,
${D}_{x}h$
preserves
$d{\lambda}_{x}$
. So in the basis above, the matrix of
${D}_{x}h$
must be of the following form
$${D}_{x}h=\left(\begin{array}{cccc}c& 0& 0& 0\\ d& c& 0& 0\\ 0& 0& \frac{1}{c}& -\frac{d}{{c}^{2}}\\ 0& 0& 0& \frac{1}{c}\end{array}\right)$$
So
${H}_{e}^{\prime}$
is Abelian and isomorphic to
$0$
,
$\mathbb{R}$
, or
${\mathbb{R}}^{2}$
. Then as in Subsection
$4.1$
,
${G}_{e}^{\prime}$
is seen to be simply connected.

Denote by
${\mathfrak{g}}^{\prime}$
and
${\mathfrak{h}}^{\prime}$
the Lie algebras of
${G}^{\prime}$
and
${H}^{\prime}$
. Then we get a similar identification of
${\mathfrak{g}}^{\prime}$
and
${T}_{x}M\oplus {\mathfrak{h}}^{\prime}$
as in Subsection
$5.1.$
In particular, if
${L}_{0}:={P}^{+}-{P}^{-}$
, then
${L}_{0}\in {\mathfrak{h}}^{\prime}$
. We deduce that
${\mathfrak{h}}^{\prime}\sim =\mathbb{R}$
or
${\mathbb{R}}^{2}$
. Lemma
$\mathrm{4.1.2}.$
is still valid here. But the proofs of Lemmas
$\mathrm{4.1.3}.$
and
$\mathrm{5.2.1}.$
do not pass through in the current case.

6.2. dim
${\mathfrak{h}}^{\prime}$
=1.

In this subsection, we suppose that dim
${\mathfrak{h}}^{\prime}=1.$
Then
${\mathfrak{g}}^{\prime}=\mathbb{R}{L}_{0}\oplus {T}_{x}M.$
By the Jacobi identities of
${\mathfrak{g}}^{\prime}$
, we get the following relations with respect to the dual basis in the previous subsection,
$$[{L}_{0},{y}^{\pm}]=\pm {y}^{\pm},[{L}_{0},{l}_{1}^{\pm}]=\pm {l}_{1}^{\pm},$$
$$[{X}_{x},{y}^{\pm}]=\mp {y}^{\pm},[{X}_{x},{l}_{1}^{\pm}]=\mp {l}_{1}^{\pm},$$
$$[{y}^{+},{y}^{-}]=-{X}_{x}-{L}_{0}.$$
The brackets, not appeared above, vanish.

As in Subseciton
$5.3$
, we define
$\alpha :={X}_{x}+{L}_{0}$
and
$$\mathfrak{g}:=\mathbb{R}\alpha \oplus \mathbb{R}{y}^{+}\oplus \mathbb{R}{y}^{-}\oplus \mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{l}_{1}^{-}.$$
Thus
${\mathfrak{g}}^{\prime}\sim =\mathfrak{g}\mathbb{\setminus}\mathbb{R}{L}_{0}.$
Denote by
${G}_{e}$
the connected Lie subgroup of
${G}_{e}^{\prime}$
with Lie algebra
$\mathfrak{g}$
. Then
${G}_{e}$
is naturally identified to
$\stackrel{~}{M}$
under
$\psi $
(see Subsection
$5.3.$
) and the corresponding geometric structure on
${G}_{e}$
is given by
$${g}_{5}:=(\alpha ,\mathbb{R}{l}_{1}^{+}\oplus \mathbb{R}{y}^{+},\mathbb{R}{l}_{1}^{-}\oplus \mathbb{R}{y}^{-},{\psi}^{*}\omega ).$$
In addition,
$({y}^{+},{l}_{1}^{+},{l}_{1}^{-},{y}^{-})$
is dual with respect to
${\psi}^{*}\omega .$
For
$\forall c,d\in \mathbb{R}$
, there is a unique Lie algebra automorphism of
$\mathfrak{g}$
,
${\rho}_{d}^{c}$
, such that
$${\rho}_{d}^{c}\left({y}^{\pm}\right)=ex{p}^{\pm c}({y}^{\pm}\pm d\cdot {l}_{1}^{\pm}),$$
$${\rho}_{1}^{c}\left({l}_{1}^{\pm}\right)=ex{p}^{\pm c}\cdot {l}_{1}^{\pm},{\rho}_{d}^{c}\left(\alpha \right)=\alpha .$$
Their corresponding isomorphisms of
${G}_{e}$
forms a Lie group isomorphic to
${\mathbb{R}}^{2}$
. Then we observe easily that its action on
${G}_{e}$
preserves
${g}_{5}$
and fixes
$e$
.

So dim
$\left({H}_{e}^{\prime}\right)\ge 2$
, which is a contradiction.

6.3. dim
${\mathfrak{h}}^{\prime}$
=2.

In this subsection, we suppose that dim
${\mathfrak{h}}^{\prime}=2.$
Lemma 6.2.1.
$\exists c<2$
, such that
${\Omega}^{+}=c\cdot d\lambda .$
Proof. Let
$\phi $
and
$\psi $
be the same endomorphisms as in Subsections
$4.1.$
and
$6.1.$
Take
${l}_{1}^{+}\in ({E}_{1}^{+}{)}_{x}.$
Thus
${\phi}_{x}\left({l}_{1}^{+}\right)=0$
.

Since
${\Omega}^{+}\wedge {\Omega}^{+}=0$
, then det
${\psi}_{x}=0.$
So if
${\psi}_{x}\left({l}_{1}^{+}\right)\ne 0$
, then there exists
${y}^{+}\ne 0$
, such that
${\psi}_{x}\left({y}^{+}\right)=0.$
Extend
${y}^{+}$
and
${l}_{1}^{+}$
to a dual basis,
$({y}^{+},{l}_{1}^{+},{z}^{-},{y}^{-})$
. Then in this basis, we get
$${\phi}_{x}=\left(\begin{array}{cccc}a& 0& 0& 0\\ b& 0& 0& 0\\ 0& 0& a& b\\ 0& 0& 0& 0\end{array}\right),{\psi}_{x}=\left(\begin{array}{cccc}0& A& 0& 0\\ 0& B& 0& 0\\ 0& 0& 0& 0\\ 0& 0& A& B\end{array}\right).$$
Since
${\Omega}^{+}\wedge \omega =0$
and
$d\lambda \wedge \omega =0$
, then Tr
$\phi $
= Tr
$\psi $
=
$0$
, i.e.
$a=B=0$
.

Since
$d\lambda \wedge {\Omega}^{+}=0$
, then
$b\cdot A=0.$
So we get
$A=0,$
i.e.
${\psi}_{x}\left({l}_{1}^{+}\right)=0$
, which is a contradiction.

We deduce that
${\psi}_{x}\left({l}_{1}^{+}\right)=0$
. Extend
${l}_{1}^{+}$
to a dual basis
$({y}_{1}^{+},{l}_{1}^{+},{y}_{1}^{-},{z}_{1}^{-})$
.

Thus in this basis,
${\phi}_{x}$
and
${\psi}_{x}$
are proportional. Then by homogeneity, we deduce the existence of
$c$
, such that
${\Omega}^{+}=c\cdot d\lambda .$
Denote by
$\lambda $
the canonical
$1$
-form of
${\phi}_{t}$
and by
$J$
be the section of
$End\left(TM\right)$
, such that
$$J\left(X\right)=0,J\left({u}^{\pm}\right)=\pm {u}^{\pm}.$$
We introduce another
${\phi}_{t}$
-invariant connection
$$\overline{\nabla}:=\nabla -\frac{c}{2}\lambda \otimes J.$$
Thus
$${\overline{\nabla}}_{X}{Y}^{\pm}=[X,{Y}^{\pm}]\pm (1-\frac{c}{2}){Y}^{\pm}.$$
Denote by
${\overline{\Omega}}^{+}$
the curvature form of the induced connection
${\overline{\nabla}}^{+}$
of
$\overline{\nabla}$
on
${\wedge}^{2}{E}^{+}$
. Then from the definition of
$\overline{\nabla}$
, we easily get
$${\overline{\Omega}}^{+}\equiv 0.$$
Fix a nowhere-vanishing section
${\omega}^{+}$
of
${\wedge}^{2}{E}^{+}$
. Then with respect to
${\omega}^{+}$
, the connection form of
${\overline{\nabla}}^{+}$
is given by
$$\overline{\nabla}{\omega}^{+}={\overline{\beta}}^{+}(\cdot ){\omega}^{+}.$$
So we have
$d{\overline{\beta}}^{+}={\overline{\Omega}}^{+}=0.$
Suppose that
$c\ge 2$
. Then
$1-\frac{c}{2}\le 0.$
Define
${\alpha}_{t}:=\frac{1}{t}{\int}_{t}^{0}{\phi}_{s}^{*}{\overline{\beta}}^{+}ds.$
By the arguments in Subsection
$\mathrm{4.4.2}.$
of [BFL2], if
$t<<0$
, then we have
$${\alpha}_{t}\left(X\right)>0.$$
Thus fix
$t<<0$
and denote this
${\alpha}_{t}$
by
$\alpha $
. Since
${\overline{\beta}}^{+}$
is closed, then so is
$\alpha $
.

Define
$Y:=\frac{X}{\alpha \left(X\right)}$
. By Lemma
$\mathrm{2.1.2}$
, the flow of
$Y$
,
${\phi}_{t}^{Y}$
, is also a geometric Anosov flow with smooth distributions.

Since
$\lambda $
is
${\phi}_{t}$
-invariant, then
$$0={\mathcal{\mathcal{L}}}_{X}\lambda ={i}_{X}d\lambda =\alpha \left(X\right)\left({i}_{Y}d\lambda \right).$$
So
$${\mathcal{\mathcal{L}}}_{Y}d\lambda ={i}_{Y}d\left(d\lambda \right)+d{i}_{Y}d\lambda =0,$$
i.e.
$d\lambda $
is
${\phi}_{t}^{Y}$
-invariant. Since
$\alpha $
is easily seen to be the canonical 1-form of
${\phi}_{t}^{Y}$
and
$d\alpha =0$
, then rank
$\left({\phi}_{t}^{Y}\right)=0$
. Thus by Subsection
$3.1$
,
${\phi}_{t}^{Y}$
is finitely covered by the suspension of a hyperbolic automorphism of
${\mathbb{T}}^{4}$
, which is given by a hyperbolic matrix in
$GL(4,\mathbb{Z})$
. Then by a direct calculation, using the Jordan form of this matrix,
$\lambda $
is seen to be closed (see [Fa] for the details). We deduce that rank
$\left({\phi}_{t}\right)=0$
, which is a contradiction.
$\square $
We can see that Lemma
$\mathrm{3.2.3}.$
is also true for
$\overline{\nabla}$
defined in the previous lemma. So in particular, we get
$$\overline{\nabla}\overline{R}=0,\overline{\nabla}\overline{T}=0,\overline{T}({E}_{a},{E}_{b})\subseteq {E}_{a+b},$$
and if
$a+b\ne 0,$
$\overline{R}({E}_{a},{E}_{b})=0,$
where
$\overline{T}$
and
$\overline{R}$
are the torsion and curvature tensors of
$\overline{\nabla}.$
Since the
$\overline{\nabla}$
-geodesics tangent to
${E}^{+}$
or
${E}^{-}$
are also complete, then by Lemma
$A$
in the appendix,
$\overline{\nabla}$
is complete. Thus as in Subsection
$4.1$
, we get the following identification via
$\overline{\nabla}$
$${\mathfrak{g}}^{\prime}\stackrel{\sim}{\mapsto}{T}_{x}\stackrel{~}{M}\oplus {\mathfrak{h}}^{\prime}$$
$$u\to \left({Y}^{u}\right(x),({\stackrel{~}{\overline{\nabla}}}_{{Y}^{u}}-{\mathcal{\mathcal{L}}}_{{Y}^{u}}\left){|}_{x}\right).$$
Since
${\overline{\Omega}}^{+}\equiv 0$
, then we can define a character
$\overline{\chi}$
of
${\mathfrak{g}}^{\prime}$
as in Subsection
$4.1.$
Thus
${\overline{\chi}}^{-1}\left(0\right)$
is an ideal of
${\mathfrak{g}}^{\prime}$
, denoted again by
$\mathfrak{g}$
. By the same type of arguments as before, we easily get
$$\mathfrak{g}\sim ={\mathbb{R}}^{3}\mathbb{\setminus}\mathfrak{s}\mathfrak{l}(2,\mathbb{R}).$$
Denote by
${G}_{e}$
the connected Lie subgroup of
${G}_{e}^{\prime}$
with Lie algebra
$\mathfrak{g}$
and define
${H}_{e}:={H}_{e}^{\prime}\cap {G}_{e}.$
Since
${G}_{e}^{\prime}$
is simply connected, then so is
${G}_{e}$
(see Subsection
$4.1.$
of [BFL1]). Thus by some direct calculations,
${G}_{e}$
and
${H}_{e}$
can be realized as following
$${G}_{e}\sim ={\mathbb{R}}^{3}\mathbb{\setminus}\stackrel{~}{S{O}_{0}(1,2)},$$
where
$S{O}_{0}(1,2)$
is the identity component of the isometry group of the quadratic form :
$-d{x}^{2}+d{y}^{2}+d{z}^{2}.$
The semi-direct product is given by the composition of the projection of
$\stackrel{~}{S{O}_{0}(1,2)}$
onto
$S{O}_{0}(1,2)$
and the linear action of
$S{O}_{0}(1,2)$
on
${\mathbb{R}}^{3}$
. Let
$\left(\right(0,0,1),0)\in {\mathbb{R}}^{3}\mathbb{\setminus}\mathfrak{s}\mathfrak{o}(1,2).$
Then
${H}_{e}$
is just the
$1$
-parameter subgroup generated by this vector, denoted also by
$\mathbb{R}$
.

Since
${\overline{\Omega}}^{+}\equiv 0$
, then the same argument as in Subsection
$4.2.$
of [BFL1] works in our case, if we replace the metric entropy there by
$2(1-\frac{c}{2}).$
Thus the general argument of Section
$5.$
of [BFL1] gives a discrete subgroup of
${G}_{e}$
, acting freely, properly and cocompactly on
${G}_{e}/{H}_{e}$
. Now we finish the proof by showing Lemma 6.2.2.
${\mathbb{R}}^{3}\mathbb{\setminus}\stackrel{~}{S{O}_{0}(1,2)}$
admits no discrete subgroup, which acts properly, freely and cocompactly on
$({\mathbb{R}}^{3}\mathbb{\setminus}\stackrel{~}{S{O}_{0}(1,2)})/\mathbb{R}.$
Proof. Recall that
$\mathbb{R}$
denotes
${H}_{e}$
and
${G}_{e}$
denotes
${\mathbb{R}}^{3}\mathbb{\setminus}\stackrel{~}{S{O}_{0}(1,2)}$
. Suppose the existence of a subgroup
$\Gamma $
satisfying the conditions in the lemma. Denote by
$\overline{\Gamma}$
the Zariski closure of
$\Gamma $
in
${G}_{e}$
(Here the Zariski topology of
${G}_{e}$
means the lifted topology of the Zariski topology of
${\mathbb{R}}^{3}\mathbb{\setminus}S{O}_{0}(1,2)$
by the canonical projection).

If