Unicité des mesures F -harmoniques. Nous proposons ici la preuve du théorème suivant :
Theorème 7.1.29. Soit (Π,M,B,CP1,F ) un fibré feuilleté projectif au dessus dont la base est une va-
riété close courbée négativement, qui paramètre les feuilles. Supposons de plus qu’il n’y a pas de mesure
de probabilité surCP1qui soit invariante par le groupe d’holonomie. Alors pour tout potentiel Hölder
F : T1B →R, il existe une unique mesure F -harmonique pour F .
Preuve. Sous ces hypothèses, le théorème6.1.10donne une correspondance bijective entre les me- sures F -harmoniques et les mesures de Gibbs associées à F , et le théorème7.1.24donne l’unicité de la mesure de Gibbs pour Gt associée à n’importe quel potentiel. Nous avons donc une preuve du
théorème ä Nous aimerions décrire en détail les désintégrations des mesures F -harmoniques. Dans la suite, nous supposerons donc les hypothèses du théorème7.1.29. Soit F : T1B →R un potentiel Hölder.
La désintégration des mesures F-harmoniques. Nous nous proposons de décrire les mesures condi- tionnelles de l’unique mesure F -harmonique pourF . Nous rappelons qu’à multiplication par une constante positivé près, il n’existe qu’une fonction F -harmonique sur la base B , notée h0.
Dans un premier temps, nous pouvons définir une famille de mesures finies sur les sphères uni- taires tangentes Tz1N , notéesωFz, en tirant en arrièreνFz parπz (oùπz: Tz1N → N (∞) est l’identifica- tion naturelle).
La section de Lyapunovσ+: T1B →T1F peut se relever en une sectionσe
+: T1N →T1N ×CP1qui
est équivariante pour l’action deπ1(B ). Elle peut être écriteσe
+(z, v) = (z, v, e
s+z(v)), oùse +
z : Tz1N →CP1, satisfait à la relation d’équivarianceρ(γ)es+z =es
+
γzDzγ, où γ ∈ π1(B ), z ∈ N . De plus, cette section com-
mute avec le feuilletage centre-instable : lorsque (z1, v1) et (z2, v2) appartiennent à la même variété centre-instable,es
+
z1(v1) =es + z2(v2).
Il est utile de considérer, dans la preuve du lemme suivant, la sectionσe+z : Tz1N →Tz1N × CP1défi- nie pour z ∈ N par (I d,es
+ z)
Lemme 7.1.30. Soitme+F la mesure définie sur T1N × CP1par intégration des mesuresσe+z∗ ωFz contre Leb(z).
1. me+
Fest invariante par l’action diagonale deπ1(B ) sur T
1N × CP1
2. La mesure quotient est le relevé canonique de l’unique mesure F -harmonique.
Preuve. Premièrement, notons que pour toutγ ∈ π1(B ) et z ∈ N , la relation Dzγ∗ωFz = ωFγzest vérifiée, à cause de la relation d’équivarianceγ ∗ νFz = νFγz. Deuxièmement, notons que par équivariance de la sectionσe
+, nous avons pour tout z,γ, (D
zγ,ρ(γ)) ◦σe + z =σe
+ γz◦ Dzγ.
Puisqueπ1(B ) agit sur N par isométries, nous avonsγ∗Leb = Leb. L’invariance deme +
Fpar l’action diagonale suit alors.
Pour conclure la preuve du lemme, il suffit de prouver que la mesure quotient est ∞-F -harmonique pourWcu. En effet, une telle mesure est unique puisque l’ensemble des mesures ∞-F -harmoniques est en correspondance bijective avec les mesures F -harmoniques (voir la proposition6.1.19), et par le théorème7.1.29, il n’y a qu’une mesure F -harmonique.
Notons queme+F est obtenue en poussant par la sectionσe+ la mesure définie sur T1N par inté-
gration contre Leb(z) des mesuresωFz. Puisque la sectionσe
+ commute avec les feuilletages centre- instables, il est suffisant de prouver que cette dernière mesure est ∞-F -harmonique pour fWcu.
Pour voir ce dernier point, il est commode de regarder l’expression de cette mesure dans l’identifi- cation T1N ' N ×N (∞) qui trivialise le feuilletage centre-instable. Cette mesure s’écrit dans N ×N (∞)
comme l’intégration contre Leb(z) des mesuresνFz = k(o, z; ξ)νFo(ξ) : c’est par définition une mesure
∞-F -harmonique. ä
Lemme 7.1.31. SoitmeFla projection deme +
Fle long des sphères unitaires tangentes.
1. meFs’obtient par intégration dees
+
z ∗ ωFz contre Leb(z).
2. meF est invariante par l’action diagonale, et la mesure quotient sur M est l’unique mesure F -
Preuve. L’invariance demeF par l’action diagonale deπ1(B ) sur N × CP
1suit directement de celle de e
m+F par l’action diagonale sur T1N × CP1, et le fait que si pr : T1N → N désigne la projection cano-
nique le long des sphères tangentes, nous avons pr ◦ (Dγ) = γ ◦ pr .
Le fait que la mesure quotient, notée mF, est l’unique mesure F -harmonique vient de la seconde partie du lemme précédent.
Finalement, notons que si prz: Tz1N ×CP1→{z}×CP1est la projection sur la seconde variable, on aes + z = prz◦σe + z, de sorte que prz∗ [eσz∗ ωFz] =es +
z ∗ ωFz : ces mesures sont les mesures conditionnelles demeFdans les {z} × CP
1. La preuve du lemme est donc achevée. ä
Theorème 7.1.32. Soit (Π,M,B,CP1,F ) un fibré feuilleté projectif au dessus dont la base est une va-
riété close courbée négativement, qui paramètre les feuilles. Supposons de plus qu’il n’y ait pas de me-
sure de probabilité surCP1qui soit invariante par le groupe d’holonomie. Soit F : T1B →R un potentiel
Hölder, appelons mFl’unique mesure F -harmonique. Alors :
1. mFse projette sur h0Leb ;
2. les mesures conditionnelles de mFdans les fibres, par rapport à h0Leb, sont données pour tout p
par : mF,p= s+p∗ " ωF p mass(ωFp) # ;
Preuve. L’unique mesure F -harmonique mFest le quotient demeF. Si p ∈ B, nous pouvons définir s + p:
Tp1B →Vp' CP1, ainsi queωFp. Par conséquent, nous avons la désintégration mF= [s+p∗ ωFp] Leb(p). Pour finir, nous rappelons que nous avons défini la fonction F -harmonique par h0(p) = mass(ωFp) sur B . Les mesures s+p∗ ωFp/h0(p) sont des mesures de probabilités, doncΠ ∗ mF= h0Leb, et :
mF= sp+∗ " ωF p mass(ωFp) # h0(p)Leb(p). CQFD. ä
2
|
Limites de grandes boules
Afin d’obtenir des mesures transverses quasi-invariantes par holonomie, il est assez classique de regarder des moyennes pondérées par des cocycles sur les grandes boules dans les feuilles : voir [GPl] pour le travail de Goodman et Plante, et [Sc,AR] pour des généralisations dans l’esprit de cette thèse. La différence principale est que nous n’utiliserons pas de propriété de Følner. Dans notre cas, puisque les feuilles sont courbées négativement, la croissance du volume des boules dans le revêtement uni- versel des feuilles est exponentielle : les effets de bord ne peuvent plus être négligés. L’idée, déjà pré- sente dans [BG] dans le contexte où la base est une surface hyperbolique, est de dire que les grandes sphères ressemblent à des horosphères, et d’utiliser les propriétés des feuilletages horosphériques. Nous renvoyons également au travail de Knieper [Kn] où l’unique mesure totalement invariante pour le feuilletage horosphérique est obtenu comme limite de moyenne sphériques.