Académique Documents
Professionnel Documents
Culture Documents
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.
634 C. Bonatti and Remi Langevin
FIGURE 1.
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].
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.
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:
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.
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:
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
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
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.
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)\\.
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:
_ _
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:
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.