Vous êtes sur la page 1sur 12

Ergodic Theory and Dynamical

Systems
http://journals.cambridge.org/ETS

Additional services for Ergodic Theory and


Dynamical Systems:

Email alerts: Click here


Subscriptions: Click here
Commercial reprints: Click here
Terms of use : Click here

Un exemple de ot d'Anosov transitif transverse à


un tore et non conjugué à une suspension

Christian Bonatti and Remi Langevin

Ergodic Theory and Dynamical Systems / Volume 14 / Issue 04 / December 1994, pp 633 - 643
DOI: 10.1017/S0143385700008099, Published online: 19 September 2008

Link to this article: http://journals.cambridge.org/abstract_S0143385700008099

How to cite this article:


Christian Bonatti and Remi Langevin (1994). Un exemple de ot d'Anosov transitif
transverse à un tore et non conjugué à une suspension. Ergodic Theory and Dynamical
Systems, 14, pp 633-643 doi:10.1017/S0143385700008099

Request Permissions : Click here

Downloaded from http://journals.cambridge.org/ETS, IP address: 138.251.14.35 on 07 Apr 2015


Ergod. Th. & Dynam. Sys. (1994), 14, 633-643
Printed in Great Britain Copyright © Cambridge University Press

Un exemple de flot d'Anosov transitif


transverse a un tore et non conjugue a une
suspension
CHRISTIAN BONATTI AND REMI LANGEVIN
University de Bourgogne, BP 138 Departement de Mathematiques, 21004 Dijon Cedex,
France

{Received 23 November 1992 and revised 29 October 1993)

Abstract. We construct an example of transitive Anosov flow on a compact 3-manifold,


which admits a transversal torus and is not the suspension of an Anosov diffeomorphism.

0. Introduction
L'exemple le plus simple de flot d'Anosov sur une variete de dimension 3 est la
suspension du diffeormorphisme de Thom-Anosov de T2 de matrice ,^ • La fibre
T2 est un tore transverse a ce flot. Le flot geodesique sur le fibre unitaire tangent d'une
surface ferme'e de courbure de Gauss —1 est aussi un flot d'Anosov qui n'admet pas de
tore plonge' transverse.
Ces deux flots sont transitifs, c'est a dire admettent une orbite dense.
En dimension superieure ou egale a 4, Verjovsky [Ve] montre que les flots d'Anosov
dont un feuilletage invariant est de codimension 1 sont transitifs. Ceci est faux en
dimension 3, puisque Franks et Williams [F-W] ont construit en 1980 les premiers
exemples de flots d'Anosov non transitifs.
D'apres Marco Brunella [BR1] de tels flots non transitifs admettent un tore transverse.
En Janvier 1992 Etienne Ghys et Thierry Barbot ont pose la question suivante, (voir
[Ba] remarque 5.3.6):
Question. Soit M une variet6 compacte de dimension 3 et X un flot d'Anosov transitif
transverse a un tore sur M. Le flot X est-il topologiquement equivalent a une suspension?
Nous allons montrer que la reponse a cette question est negativef

THEOREM 0.1. // existe une variete compact connexe orientable M, un champ de vecteurs
X sur M qui definit unflot d'Anosov transitif ayant les proprietes suivantes: —il existe un
tore T plonge dans M transverse a X, —il existe une orbite periodique de X disjointe de
T.
t J. Christy nous signale qu'& partir des examples de son article [C] on pourrait aussi construire des exemples
analogues au notre.

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


634 C. Bonatti and Remi Langevin

COROLLAIRE 0.1. Ce champ X n 'est pas conjugue a une suspension.

Demonstration du corollaire. II suffit de montrer que, pour tout champ de vecteurs X


defini comme suspension d'un diffemorphisme d'Anosov / : T2 —*• T2, sur une varie'te'
Vf, et pour tout tore T c Vf transverse a X, toute orbite peYiodique de X rencontre T.
En effet, Vf est un fibre en tores de base Sx, et, comme / est de type Anosov, on
verifie que H\(Vf, R) — R, et que H\(Vf, R) est engendre par la classe d'une section
du fibre. Toute orbite periodique est homologue a un multiple non nul de ce generateur.
Les orbites periodiques etant denses dans Vf, l'une d'entre elles, C, coupe T. Comme
les intersections se font toujours suivant la meme orientation, 1'intersection homologique
de C avec le tore T est non nulle. II en va de meme pour toute autre orbite periodique,
puisque sa classe d'homologie est un multiple rationnel non nul de C. O

FIGURE 1.

Donnons une premiere presentation rapide de notre exemple. Considerons le champ


Y sur R 2 x S1 defini par:
Y = {f{x2 + y2)d/d0 + xd/dx - yd/dy
ou / : R + —> [0, 1] est une demi-bosse de support contenu dans [0, 1/10]. Le cercle
Y — 0 x S1 est une orbite fermee hyperbolique de Y. Considerons dans R2 le domaine:

3A x 5 1 est un tore a coins reunion de huit anneaux, quatre tangents a Y et quatre qui
lui sont transverses.
En recollant entre eux les anneaux tangents a Y opposes de fagon compatible avec le
champ Y on obtient une variete de dimension 3 de bord deux tores T\ et Tj transverses
a un champ que nous appelerons encore Y. Sur ces tores sont marques des meridiens,
venant des courbes 6 = 0 de 3A et des paralleles venant des courbes {z}x5',z e 3A. En
recollant T\ et T2 par une application isotope h la rotation de K/2 (6changeant meridien
et parallele, de maniere a ce que les vari6tes stables et instables Ws(y) at W(y) soient
transverses), on peut obtenir l'exemple cherche.
Des exemples de flots d'Anosov en dimension 3 ont deja ete construits par des
techniques analogues par Goodman [G] et Handel et Thurton [H-T], et plus recemment
par Brunella [Br2].

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


Un exemple deflot d'Anosov transitif 635

Pour des raisons techniques nous donnerons ici une autre construction. Avant de la
donner, etudions l'application de retour P sur un tore transverse T d'un flot hyperbolique
X.
Si P est definie partout le flot est une suspension. En general l'application P n'est
definie que du domaine Dom(P) dans son image \m{P). Les feuilletages stables et
instables de X ont pour trace sur T les feuilletages f et / " .

LEMME 0.1. Dom(P) est sature pour fs et Im{P) est sature pour / " .

Demonstration. Si une courbe sort de Dom(P), le temps de retour par X partant d'un
point de cette courbe tend vers l'infini, par contre la derivee de ce temps de retour le
long d'une feuille de fs est finie. •
Ce lemme restreint les choix possibles de /•', / " et P. L'exemple le plus simple
consiste a prendre pour f un feuilletage ayant deux meridiens, disons S1 x 0 et Sl x 1/2,
de T = R/Z x R/Z comme feuilles compactes, tandis que les autres feuilles spiralent
vers ces meridiens (sans former de composante de Reeb). Le feuilletage / " est construit
de maniere analogue en ayant deux paralleles comme feuilles compactes, voir Figure 2.

FIGURE 2.

Le domaine de P est: T — {les feuilles compactes de/ s }. L'application P, sur chaque


anneau de Dom(f), envoie les feuilles de / ' sur les segments de parallele ax]0, l/2[
ou a x ] l / 2 , 0 [ . Voir Figure 3.
Notre exemple est essentiellement une 'suspension' d'une telle application de retour.

1. Construction d'une variete MQ de bord deux tores muni d'un champ transverse au
bord
Dans toute la suite Sl designera le cercle R/4Z.
Notons N la variete a bord N = R x [ - 1 , 1]\ \JieZ D{{2i, 0), 1/4), que nous
munissons des coordonees x, y, et M le produit M = N x 5 1 , oil nous noterons 6
la derniere coordonnee.
Notons <>/ : R -> [—1,1] une fonction de classe C°° verifiant:

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


636 C. Bonatti and Remi Langevin

FIGURE 3.

(1) <>
/ est antisyme'trique {<p{—x) = —(p{x)).
(2) Pour tout x e R on a: <p(x + 1) = -<t>(x);
(3) 0"1(O) = Z;
(4) </) coincide avec I'identit6 sur [—1/3,1/3].

FIGURE 4.

Notons V : R ->• [0, 1] une fonction de classe C°° egale a 1 sur [-1/3,1/3] et a 0
sur R\] - 1/2, l/2[. Voir Figure 4.
Notons X le champ de vecteur sur N defini par X = —<l>(x)-ilr(y)-d/dx—yd/dy. C'est
un champ sur N, transverse au bord, et dont le temps de passage du bord M x { — 1, 1}
au bord [JieZdD((2i,0), 1/4) tend vers l'infini lorsque le point (JC, 1) ou (x, —1) tend
vers un point appartenant a (1 + 2Z) x {—1, 1}. Voir Figure 5.
On notera encore X le champ de meme expression sur M.

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


Un exemple deflot d'Anosov transitif 637

FIGURE 5.

On notera Mo la variete de dimension 3 compacte a bord egal a deux tores T2, obtenue
en quotientant M par le diffeomorphisme O : M —>• M defini par:

On notera T\ le tore correspondant a \y\ = 1 et 72 le tore correspondant a


x2 + y2 = 1/16. Ces tores sont les deux composantes connexes du bord de M o .
Le champ X construit sur M est invariant par le diffeomorphisme 4>, et done passe
au quotient en un champ de vecteur sur Mo que nous noterons Xo. Le champ Xo est
transverse aux deux tores T\ et T2 et admet une courbe de points fixes: (1, 0) x S 1 .
Ajoutons maintenant a Xo une composante sur la fibre S1 au voisinage de cette courbe
de points fixes, et dans le domaine de Mo (qui est topologiquement de la forme T2 x /)
quotient de R x {[-2/3, - 1 / 2 ] U [1/2, 2/3]} x S1
Notons a : R2 -*• R une fonction de classe C°° ayant les proprietes suivantes:
(1) Wx 6 R 2 , a{x + 2, y) = -a(x, y);
(2) a est identiquement nulle en dehors des disques D((2i + 1,0), 1/3), i e Z
(3) sur le disque £>((1, 0), 1/3), a est a valeurs dans [0, 1], ne depend que du rayon
{(x — I) 2 + y2)1'2, est egale a 1 pour des rayons assez petits et a 0 pour les rayons
proches de 1/3.
Notons p : [0, 1] ->• [0, 1] une fonction de classe C°° nulle en dehors de ]l/2, 2/3[
et strictement positive sur cet intervalle.
Posons: Yt = -(a(x,y) + t-fi(\y\)-sin((U/2)-x))d/d9. Ce champ passe au quotient
par $ en un champ sur Mo que nous noterons Y,. Nous obtenons enfin un champ Zt sur
Mo en posant Z, = XQ + Y,.

2. Holonomie du champ Z, de T\ sur T2


Le champ Z,, t > 0 est partout non nul. II ne possede qu'une orbite periodique, y,
qui correspond au cercle (1,0) x S 1 . Cette orbite periodique y est disjointe du bord
de MQ, et est hyperbolique de type selle. Les plans x — 2i + 1 et y = 0 induisent sur

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


638 C. Bonatti and Remi Langevin

wwww WWWWWWW
\ \\\\\VV\\

.\W\\\\\\\

A X X X X X X W ^Y\\\\\\

FIGURE 6.

Mo deux cylindres invariants par les champs Xo et Zt. Ces cylindres sont les varietes
respectivement stables et instables de y.
Le cylindre x = 2r + 1 induit sur T\ deux cercles qui coupent T\ en deux couronnes.
De meme, y = 0 coupe T2 en deux couronnes.
Toute orbite de Z, non contenue dans les varietes invariantes de l'orbite periodique y
entre par le bord T\ et sort par T2. L'application qui, au point d'entree associe le point
de sortie induit un diffeomorphisme de T\\Ws(y) sur T2\Wu(y), appele holonomie de
Z, de T\ sur T2, et note ht.
Pour decrire 1'holonomie h, nous aurons besoin de coordonnees sur les tores T\ et T2.
T\ est muni du systeme de coordonnees (JC,0), X e R/4Z, 6 e S1, naturellement
induit des coordonnees dans M: le point (x,6) de T\ correspond au point (x, 1,9) de
M. T\\Ws(y) est la r6union des couronnes:
C+ = {(x,d) I x e] - 1, 1[} C~ = {(JC, 6») I x e]l, 3[}.
Notons U = M n {x e] — 1, 1[}. L'adherence [7 de t/ est un domaine fondamental
du diffeomorphisme $ . Dans cette carte, Cj1" est identifie a la couronne U D {y = 1}
par (x,0) = (x, 1,0), et C\ est identifie a la couronne U (1 [y = —1} par (*, 6) =
(x-2,-1,-9).
Dans la carte U, le tore T2 est le produit S x S ' o u S est le cercle x2+y2 = 1/16 c K2-
LEMME 2.1. II existe une fonction w : TV qui a pour niveaux les orbites de X
telle que co(x, 1) = x mod 4.
Demonstration. La fonction co est definie a partir des orbites du champ X. La seule
chose a verifier est la differentiabilite de co aux points de l'axe y = 0 et le fait qu'aux

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


Un exemple deflot d'Anosov transitif 639

points de l'axe y = 0 differents de (0, ±1), dco/dy ^ 0. Cette differentiabilite est due
au fait que X admet une integrate premiere au voisinage des points (0, ±1) e N. D

Le Lemme 2.1 permet de choisir co pour coordonnee aussi sur le cercle E.

(-1.D >* Ge.D (1,1)

(-1.-D (*. -1) (-1,1)


FIGURE 7.

Voyons maintenant comment calculer l'holonomie h, de Z,: les orbites de Z, different


de celles de X par leur composante en d/36 (en particulier elles ont memes projections
sur le plan R 2 ). Pour obtenir h, il faut done essentiellement ajouter a h^ la deviation dans
la direction 6 des orbites de Z,. Cette deviation comporte deux termes, l'un provenant
du passage des orbites dans le support de a, et l'autre du passage des orbites dans le
support de p.
En traversant le support de f}, les orbites sont deviees de —t • sin((n/2) • x) • k, oil
k = f_™P(e')dt, puisque la coordonnee x est constante le long des orbites dans le
domaine ou /S est different de 0.
Notons / :] — 1, l[-> R la deviation dans la direction 6 del'orbite passant par (x, 1,0)
quand elle traverse le support de a. On verifie que / tend vers +oo en —1, vers —oo
en 1 et que sa derivee est toujours negative oil nulle, et tend vers — oo en 1 et en —1.
L'holonomie h, est alors definie par:
ht{x, 1,0) = (JC, 9 + f(x) - t • sin((n/2);t) • k)
h,(x, - 1 , 6) = (2 - x, 6 + f(x) - t • siniiU/2)x) • k)
e'est a dire dans les coordonnees choisies (JC, 9) sur T\ et (a>, 6) sur Ti = S x S1.
VJC e] - 1,1[, h,{x, e) = ix,6 + fix) - t • sin((n/2)*) • k)

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


640 C. Bonatti and Remi Langevin

et, en n'oubliant pas que a(x + 2, y) = —a(x, y),


Vx €]1, 3[, h,(x, 0) = (4- x, -G + f(x-2) + t- sin((n/2)jc) • k).

3. Un champ de vecteur de type Anosov


Notons A : T\ —*• 7<> l'application definie par A(x, 9) = (9, —x), et notons M la variete
obtenue en identifiant T2 a T\ par A, et notons X,, t > 0, le champ induit par Z,;
il existe une structure differentiable sur M compatible avec celle de Mo et rendant X,
differentiable.

LEMME 3.1. Le champ X, preserve une forme volume.

Demonstration. Montrons d'abord que le champ Z, preserve un volume. Remarquons


que le champ X preserve sur N\(l, 0) • (2Z + 1) la forme dco A dx, ou r est le temps
de parcours sur les orbites du champ X. Cette forme coincide sur (0, ±1) x R avec la
forme dx A dy.
Au voisinage des points (1,0)- (2Z + 1) la forme dx A dy est invariante par X. En
effet, soit § un voisinage de (1,0) sur lequel X = (x — 1)9/9* - yd/dy, done sur & la
forme dx A dy est invariante par X.
Sur J ? \ ( 1 , 0) les deux formes dco A dx et dx A dy sont proportionnelles. Elles sont
invariantes par X, done on a l'egalite: dco A dx = S(co). dx A dy ou la fonction 8(co)
est continue, positive, bornee et bornee loin de zero, comme on le voit en examinant
l'egalite sur le bord de •&. Ceci montre que dco A dx s'etend en (1,0) par S(\) • dx A dy,
et done s'etend de meme aux singularites (1, 0) • (2Z+ 1) de X. Comme la composante
de Z, sur d/dd ne depend pas de 6 le champ Z, preserve le volume dco A dx A d9. Sur
les deux composantes du bord le volume est, au signe pres, respectivement dco Ad6 Adx
et dx A d6 A dx. Comme Pimage de dx A d6 par l'application de recollement A est
dco A dd, le champ X, preserve aussi le volume dco A dO A dx. •
Remarque. On en deduit que le champ X, est transitif.
Notons T le tore, transverse a Xt, correspondant aux tores Tt de Mo, et munissons T
des coordonnees (x,8) induites de celles de T\.
La composee A oh, induit alors sur T l'application de premier retour sur T du champ
Xt, que nous noterons P,. Dans les coordonnees (x, 9), P, s'e'erit:

VJC e] - 1, 1[, P,(x, 9) = (9 + f(x) - t • sin((n/2)jc) • it, -x)

Vx €]1,3[, P,(x,9) = (-9 + f(x - 2) + t • s'm((U/2)x) • k, x - 4).


Demonstration du theoreme. Montrons que pour t > 0 assez grand, X, est un flot
d'Anosov satisfaisant les conditions du theoreme. Fixons sur le tore T la metrique
riemannienne qui fait de (d/dx, d/dO) une base orthonormee.

LEMME 3.2. Pour tout t > 0 assez grand, il existe sur le tore T un champ de cones
continu, [c'(p)}p€T, O-vec les proprietes suivantes:
(1) Pour tout p e T, c' (p) est un cone symetrique ferme dans I'espace tangent au point
p a T. De plus c' (p) varie continument avec p.

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


Un exemple de flot d'Anosov transitif 641

(2) Pour tout p de la forme (x, ±1), le cone c'(p) est reduita la droite dirigee par d/dx.
(3) Pour tout p ou P, est definie, c'est a dire les points p = (x, 9), x ^ ± 1 , I'image
Dp Pt (c' (p)) du cone c' (p) par la differentielle de Pt en p est incluse dans I'interieur
ducdnec'(P,(p)).
(4) II existe X > 1 tel que pour tout p = (x, 9), x ^ ±1, pour tout vecteur v e c'(p),
on ait:
M\v\\ < \\DpP,(v)\\.

Demonstration. II faut essentiellement calculer la differentielle de l'application Pt. Elle


est definie par:
Wx e] - 1, 1[, D{x<9)P,(d/d9) = d/dx,
Vx e]l, 3[, D(x9)Pt(d/d9) = -d/dx,
Vx e] - 1, 1[, D(x<9)P,(d/dx) = -3/361 + (/'OO - tk(n/2)cos((n/2)x))d/dx,
Vjt e]l, 3[, D(x,e)Pt(d/dx) = +3/361 + (f'(x - 2) - tk(U/2) cos((U/2)(x - 2))d/dx.
Ce qui est important dans ces formules est que le terme (f'(x)—tk(U/2) cos((n/2)x))
est strictement negatif quand x e] — 1, 1[, tend vers —oo quand x tend vers ± 1 ; de plus
son module peut etre minore par une constante arbitraire, (que Ton choisit done tres
grande) quand on choisit t > 0 suffisamment grand.
II en va de meme quand x e ] l , 3[, puisque la formule est la meme, en remplagant x
par(*-2)e]-l,l[.
Notons c le champ de cones constant defini par:
ad/dx + bd/dO e c O \a\ > 2\b\.
Le champ de cones DPt(c) est a priori defini sur I'image de Pt, c'est a dire sur
{6 ^ ±1}. Cependant Pt(p) tend vers {9 = ±1} si et seulement si p tend vers [x = ±1},
et done si et seulement si / ' tend vers oo, ce qui implique que le cone DpP,(c) degenere
en la droite dirigee par 3/3JC.
Remarquons que, pour t > 0 assez grand, la differentielle de l'application P,, dans
le repere (3/3x, 3/30) est de la forme: " ^ oil A est une fonction de x et de t plus
L J
grande qu'une grande constante positive Ao. Les deux valeurs propres de la matrice,
racines de X2 + AX + 1 = 0 , sont negatives, une dont le module est de l'ordre de A
et une dont le module est de l'ordre de 1/(A). La direction propre correspondant a la
valeur propre X de module de l'ordre de A est si x e] — 1, 1[ et done ±1 = — 1:
-A
solution de
1
LPJ I-
on doit done avoir —a de l'ordre de Xf5, done \(i\ <£ |a|, ce qui implique que cette
direction est proche de l'axe des x. On montre de meme qu'un vecteur ™ directeur de
la direction propre correspondant a la valeur propre de module de l'ordre de I/A satisfait
|/J| ^> |a| et done que la direction propre correspondante est proche de l'axe des y (le
cas x e]l, 3[, ±1 = +1 est analogue).
La position des directions propres et la taille des valeurs propres impliquent que pour
tout t assez grand, c\ est contenu dans l'interieur de c, et Ton en deduit que DP,(c't)

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


642 C. Bonatti and Remi Langevin

est un champ de cones defini sur [9 ^ ±1}, contenu dans l'interieur de cj, et done se
prolongeant par continuite sur {8 = ±1}. •
LEMME 3.2 bis. Pour tout t > 0 assez grand, il existe sur le tore T un champ de cones
continu, {cs(p)}per> avec les proprietes suivantes:
(1) Pour tout p e T, cx(p) est un cone symetrique ferme dans I'espace tangent au point
p a T, c'(p) varie continument avec p, et ['intersection c'(p) C\ cx(p) est riduite a
I'origine de I'espace tangent en p a T.
(2) Pour tout p de la forme (±1,0), le cone cs(p) est reduit a la droite dirigie par
d/dO.
(3) Pour tout p oil P~l est definie, e'est a dire les points p = (x, 6), 0 ^ ±1, I'image
DpP^x{cs{p)) du cone cs(p) par la dijferentielle de P~x en p est incluse dans
l'interieur du cone cs(P~l(p)).
(4) // existe X > 1 tel que pour tout p = (x, 6), 6 ^ ± 1 , pour tout vecteur v e
on ait:

Demonstration. La matrice de DpP~l est de la forme [_,°_^] (si x e] — 1,1[), les


valeurs propres sont racines de X2 + AX + 1 = 0 et comme prece'demment le module de
l'une est de l'ordre de A, et celui de l'autre de l'ordre de I/A. Les directions propres
dont un vecteur directeur est de la forme:

_ _
sont encore voisines des axes, ce qui permet de repeter le raisonnement precedent. Le
cas x e ] l , 3[ est analogue. •
L'existence des champs de cones c' et cs entraine le:

COROLLAIRE 3.3. Pour t > 0 assez grand, il existe sur le tore T deux champs de droites
Is et I', invariants par P,, et verifiant:
(1) pour tout p e (x = ±1), Is {p) est la droite dirigee par 3/30;
(2) pour tout p e (0 = ±1), Is(p) est la droite dirigee par d/dx;
(3) pour tout p oil Pt est definie, pour tout v e /'(/?) on a:

\\v\\ <X\\DpP,(v)\\ouX> 1;

(4) pour tout p oil Pf1 est definie, pour tout v e Is(p) on a:

M\v\\ < \\DPP-\V)\\OUX> 1.

Demonstration. On montre que CCZ™ DP"(c') est une intersection decroissante de


champs de cones qui converge vers un champ de droites continu /', qui verifie, bien sur,
les points (2) et (3) du corollaire. De meme, n"=o° DP~n(cx) est un champ de droites
continu Is qui verifie les points (1) et (4) du corollaire. •
Fin de la demonstration du theoreme. Desormais nous noterons X le champ X,, pour
une valeur de t fixee assez grande pour pouvoir appliquer les Lemmes 3.2 et 3.2 bis et
le Corollaire 3.3. On notera P = Pt son application de premier retour sur T.

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35


Un exemple deflot d'Anosov transitif 643

Rappelons que y est une orbite periodique du champ X, et que c'est la seule orbite
de X ne recontrant pas le tore transverse T. Notons r' le champ de 2-plans defini sur
M\y de la facon suivante:
(1) pour tout p e T, r'(p) est le plan engendre par X(p) et par la droite l'(p).
(2) Pour tout p e M\y l'orbite de p rencontre T en au moins un point q. Le plan
x'(p) est alors l'image de r'(q) par la differentielle du flot de X. Le fait que I'
soit invariant par P permet de montrer que T'(/?) est bien defini de fagon unique
de cette maniere.
On definit de facon analogue le champ de 2-plans r v sur M\y, invariant par le flot
de X et ddfini en tout point de T par X et la droite Is.
Le lemme suivant acheve la demonstration du theoreme:

LEMME 3.4. (1) Les champs de plans r' et Xs sont transverses sur M\y.
(2) Les champs de plans r' et rs se prolongent par continuite sur y en deux champs de
plans transverses, et tangents respectivement a W'(y) et Ws(y).

Demonstration. L'item (1) est obtenu en remarquant que, puisque r1 et r v sont transverses
sur T, ils le restent quand on les transporte dans M\y par le flot de X. L'item (2) est
essentiellement consequence du 'X-lemma': r' est un champ de plans contenant le champ
de vecteurs X, invariant par le flot de X et transverse a Ws(y). Le 'A.-lemma' assure
done qu'il se prolonge par continuite en un champ de plans tangent a W(y). Meme
chose pour r s . •
Remarque. La variete M est une variete graphee, c'est a dire que, si on la decoupe
suivant un nombre fini de tores plonges disjoints, on obtient un fibre en cercle sur une
surface compacte a bord (voir Waldhausen [Wa]). En effet la vari6te Mo du § 2 est un
fibre en cercle de base un plan projectif prive de deux disques, et M est obtenue en
recollant les deux composantes du bord de MQ.

REFERENCES

[Ba] Thierry Barbot. G6ometrie transverse des flots d'Anosov. These. Lyon decembre 1992.
[Brl] Marco Brunella. Separating the basic sets of a nontrasitive Anosov flow. Preprint SISSA 22/92/M
Trieste fevrier 1992.
[Br2] Marco Brunella. On the discrete Godbillon-Vey invariant and Dehn surgeries on geodesic flows, a
paraitre aux annales de la faculte des sicneces de Toulouse.
[C] J. Christy. Branched surfaces and attractors. Trans. Amer. Math. Soc. 339 (1993), 759-785.
[F-W] J. Franks and R.F. Williams. Anomalous Anosov Flows, Global Theory of Dynamical Systems.
Springer Lecture Notes in Mathematics 819. Springer: Berlin, 1980, pp. 158-174.
[Go] S. Goodman. Dehn surgery on Anosov flows Geometric Dynamics, Springer Lecture Notes in
Mathematics 1007. Springer: Berlin, 1983. pp. 300-307.
[H-T] M. Handel & W. Thurston. Anosov flows on new 3-manifolds. Invent. Math. 59 (1980), 95-103.
[Ve] A. Verjovsky. Codimension 1 Anosov flows. Bol. Soc. Math. Mexicana 19 (1974), 49-77.
[Wa] F. Waldhausen. Eine Klasse von 3-dimensionalen Mannigfaltigkeiten. 2, Invent. Math. 3 (1967),
308-333.

http://journals.cambridge.org Downloaded: 07 Apr 2015 IP address: 138.251.14.35